Pinned Loading

1. Deadlock-detection Deadlock-detection Public

   Implementation prototype of a deadlock detection paper. It is based on the ideology to identify false positives and reduce manual comprehension.

   LLVM 2

2. Generating-SSA-form Generating-SSA-form Public

   Generates IR for a given file which is then converted to it's SSA(Static Single Assignment) form.

   Python 4 5

3. Traffic-simulation Traffic-simulation Public

   This project will try to emulate a traffic based system, whereas shortest and the fastest path are dynamically calculated after the vehicle moves to the end of every node. This project involves dev…

   Java 4 3

4. Parallel-Computing Parallel-Computing Public

   Parallelised stencil codes for 3D heat solver and parallelised matrix multiplication using openMP. Various parallel implemntations including optimisations like tiling, time skewing and blocking.

   C 6 3

5. PRUNERS/archer PRUNERS/archer Public

   Archer, a data race detection tool for large OpenMP applications

   C 62 13

6. bondhugula/pluto bondhugula/pluto Public

   Pluto: An automatic polyhedral parallelizer and locality optimizer

   C 267 65