Research Expertise and Interest

programming optimization, programming languages

Research Description

Max Willsey is an assistant professor in Division of Computer Science. His research aims to make program optimization more robust, powerful, and accessible. Along the way, he uses techniques from programming languages, databases, and systems. His current focus is egg, a toolkit for program optimization and synthesis powered by e-graphs and equality saturation. He's applied it to domains like improving floating point accuracy, shrinking 3D models, and linear algebra optimization. He organizes the EGRAPHS Community, a community for e-graphs researchers consisting of a forum, a workshop, and a monthly seminary series.

He did his PhD and postdoc at the University of Washington in the programming languages (PLSE) group.