CompOpt4Apps: Compiler Optimizations For Applications Research Group
Popular repositories Loading
-
Artifact-DataDepSimplify
Artifact-DataDepSimplify PublicPLDI 2019 Artifact for "Sparse Computation Data Dependence Simplification for Efficient Compiler-Generated Inspectors"
-
Artifact-SparseLoopParallelism
Artifact-SparseLoopParallelism PublicCode 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
-
-
LoopChainIR
LoopChainIR PublicThe code repository for the internal representation data structure that holds a loop chain execution schedule.
C++ 4
-
Repositories
- AthanPumaDemo Public
CompOpt4Apps/AthanPumaDemo’s past year of commit activity - Artifact-DataDepSimplify Public
PLDI 2019 Artifact for "Sparse Computation Data Dependence Simplification for Efficient Compiler-Generated Inspectors"
CompOpt4Apps/Artifact-DataDepSimplify’s past year of commit activity - IanHydroframeWork Public
CompOpt4Apps/IanHydroframeWork’s past year of commit activity - cuda-research Public
CompOpt4Apps/cuda-research’s past year of commit activity - ians_cool_test_repo Public
CompOpt4Apps/ians_cool_test_repo’s past year of commit activity - 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.
CompOpt4Apps/Artifact-SparseLoopParallelism’s past year of commit activity - VariationsOnATheme Public
CompOpt4Apps/VariationsOnATheme’s past year of commit activity