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)