Compsys Tools
Array Contraction
- Bee - Source-to-source array contraction under scheduling constraints
- Cl@k - Critical Lattice Kernel Library
Program termination
- RanK - A tool to prove program termination/and to estimate computational complexity (WCCC)
- WTC - Termination/Complexity bounding Benchmarks
- SToP - Scalable Termination analysis of C Programs
- Termite - Termination in the large (now on
github !) (PLDI 2015)
Others
- Simplication - Simplification of Boolean Affine Formulas
- CART - Constant Aspect Ratio Tiling
(source-code)
- Aspic Invariant Generator.
From other teams