Max Willsey -

Registered user since Fri 8 Dec 2017

Name:Max Willsey

Country:United States

Affiliation:University of Washington

Personal website:https://www.mwillsey.com

Contributions

POPL 2024	Committee Member in Program Committee within the POPL-track
PLDI 2023	Committee Member in SRC Reviewers within the SRC-track Author of Better Together: Unifying Datalog and Equality Saturation within the PLDI Research Papers-track
EGRAPHS 2023	PC Chair in Program Committee within the EGRAPHS 2023-track Committee Member in Organizing Committee within the EGRAPHS 2023-track
POPL 2023	Author of babble: Learning Better Abstractions with E-Graphs and Anti-unification within the POPL-track
EGRAPHS 2022	Author of Welcome within the EGRAPHS 2022-track Committee Member in Organizing Committee within the EGRAPHS 2022-track Session Chair of Thinking Alike (part of EGRAPHS 2022) Session Chair of Opening (part of EGRAPHS 2022)
PLDI 2022	Presenter of Build your own optimizer with egg! within the Tutorials-track Author of (POPL 2021) egg: Fast and Extensible Equality Saturation within the SIGPLAN Track-track Author of (POPL 2022) Relational E-Matching within the SIGPLAN Track-track
POPL 2022	Author of Relational E-matching within the POPL-track
SPLASH 2021	Author of Rewrite Rule Inference Using Equality Saturation within the OOPSLA-track Author of Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations within the SIGPLAN Papers-track Author of Rewrite Rule Inference Using Equality Saturation within the Posters-track
POPL 2021	Author of egg: Fast and Extensible Equality Saturation within the POPL-track
PLDI 2020	Author of Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations within the PLDI Research Papers-track
Off the Beaten Track 2018	Author of Extensible Semantics for Fluidics within the Off the Beaten Track 2018-track