Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Max Willsey
conf.researchr.org general profile
ECOOP 2025 profile
PLDI 2020 profile
PLDI 2022 profile
PLDI 2023 profile
PLDI 2024 profile
PLDI 2025 profile
POPL 2018 profile
POPL 2021 profile
POPL 2022 profile
POPL 2023 profile
POPL 2024 profile
SPLASH 2021 profile
SPLASH 2023 profile
Registered user since Fri 8 Dec 2017
Name:
Max Willsey
Country:
United States
Affiliation:
UC Berkeley
Personal website:
https://www.mwillsey.com
Contributions
2025
ECOOP
Committee Member in Programme Committee within the Technical Papers-track
PLDI
Committee Member in PLDI Review Committee within the PLDI Research Papers-track
2024
Sparse
Author of Equality Saturation and Joins within the Sparse-track
Author of Panel: Compilation Frameworks within the Sparse-track
PLMW
Author of A Tour of Program Optimization within the PLMW@PLDI 2024-track
EGRAPHS
Committee Member in Program Committee within the EGRAPHS 2024-track
Committee Member in Organizing Committee within the EGRAPHS 2024-track
Author of Welcome within the EGRAPHS 2024-track
POPL
Committee Member in Program Committee within the POPL-track
2023
SPLASH
Author of Equality Saturation Theory Exploration à la Carte within the OOPSLA-track
PLDI
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
PC Chair in Program Committee within the EGRAPHS 2023-track
Committee Member in Organizing Committee within the EGRAPHS 2023-track
POPL
Author of babble: Learning Better Abstractions with E-Graphs and Anti-unification within the POPL-track
2022
EGRAPHS
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
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
Author of Relational E-matching within the POPL-track
2021
SPLASH
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
Author of egg: Fast and Extensible Equality Saturation within the POPL-track
2020
PLDI
Author of Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations within the PLDI Research Papers-track
2018
Off the Beaten Track
Author of Extensible Semantics for Fluidics within the Off the Beaten Track 2018-track
Share
x
Sat 23 Nov 22:12
