Projects

Sidewinder is a framework for creating and customizing program state visualizations using transformations on an underlying compound graph data structure.

Theia is a generic framework for program state visualization that uses formal abstract machine definitions to produce complete, continuous, and consistent visualizations.

Relay is an intermediate representation for TVM that supports expressive models, encourages composable passes, and eases portability across hardware backends to achieve state-of-the-art inference performance.

Momentum is a project effort estimation tool that makes it easy to reason about uncertainty.