ztatlock / crossbot Goto Github PK

I'm currently working on some new and continuing research projects:

• egg: a new e-graph library for compiler optimizations and program synthesis
• Titanic: a framework for analyzing floating point accuracy and number systems
• Szalinski: a tool to decompile constructive solid geometry expressions to parameterized CAD programs (PLDI 2020)
• TVM Relay: a functional compiler IR for machine learning compilers (MAPL 2018)
• FPBench: benchmarks, compilers, and standards for the floating-point research community (NSV 2016, NSV 2020)
• Herbie: a tool to automatically improve floating point accuracy (PLDI 2015, NSV 2020)

Some of our past research projects:

• Reincarnate: a tool to decompile 3D triangle meshes to constructive solid geometry expressions (ICFP 2018)
• Verdi and Verdi Raft: verifying implementations of distributed systems in Coq (PLDI 2015, CPP 2016)