Popular repositories Loading

1. Artifact-DataDepSimplify Artifact-DataDepSimplify Public

   PLDI 2019 Artifact for "Sparse Computation Data Dependence Simplification for Efficient Compiler-Generated Inspectors"

   C 6 3

2. IEGenLib IEGenLib Public

   Inspector/Executor Generation Library for manipulating sets and relations with uninterpreted function symbols.

   C 3 12

3. Artifact-SparseLoopParallelism Artifact-SparseLoopParallelism Public

   Code that calls CHiLL to do data dependence analysis, uses IEGenLib to represent deps, and then converts them to Z3 problems along with user-defined assertions.

   C 2

4. AthanPumaDemo AthanPumaDemo Public

   C 1

5. LoopChainIR LoopChainIR Public

   The code repository for the internal representation data structure that holds a loop chain execution schedule.

   C++ 4

6. DiamondTilingViz DiamondTilingViz Public

   Various approaches to visualizing diamond tilings.

   C++ 2