All

6 repositories

loop-fission
Public
Benchmarks of loop fission algorithm.
dependency-analysis program-analysis automatic-parallelization
dependency-analysis program-analysis automatic-parallelization loop-optimization program-transformation
C
•
Other
•0•6•0•0•Updated May 1, 2026May 1, 2026
pymwp
Public
A static analyzer of variable value growth for C programs.
program-analysis mwp-analysis implicit-computational-complexity
program-analysis mwp-analysis implicit-computational-complexity
Python
•
GNU General Public License v3.0
•1•5•6•0•Updated Jan 14, 2026Jan 14, 2026
ifspec
Public
The IFSPEC information flow control benchmark suite.
Java
•
Other
•0•0•0•0•Updated Jun 23, 2025Jun 23, 2025
tyni
Public
Anytime non-interference analyzer.
Python
•0•0•0•0•Updated Feb 23, 2025Feb 23, 2025
.github
Public
HTML
•0•0•0•0•Updated Nov 10, 2023Nov 10, 2023
LQICM_On_C_Toy_Parser
Public
This Loop Quasi-Invariant Chunk Motion pass use the "pyCParser" to modify C programs' AST and produce an optimized one semantically equivalent.
Python
•
Creative Commons Zero v1.0 Universal
•4•4•0•0•Updated Mar 5, 2021Mar 5, 2021

ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.