data-flow-analysis-framework
Design and implement data-flow analyses for compiler optimization
a5c-ai
244
optimization-correctness-verifier
Verify correctness of compiler optimizations using formal methods
a5c-ai
244
ssa-transformation-library
SSA-form transformations and optimizations for compiler development
a5c-ai
244