Projects

Current

• AnyDSL
• The Region Vectorizer
• PMEvo
• UniAna
• PICO
• MemInstrument
• AnICA

Past

• Sierra
• The LVC Verified Compiler
• Sambamba
• Whole-Function Vectorization
• AnySL
• FpDebug
• SSA Construction
• SSA Register Allocation