index.md

layout
default

- Assistant Professor - [EECS at UC Berkeley](https://eecs.berkeley.edu/) - Soda Hall, 725 - [mwillsey@eecs.berkeley.edu](mailto:mwillsey@eecs.berkeley.edu)

I'm an Assistant Professor in EECS at UC Berkeley. My research aims to make program optimization more robust, powerful, and accessible. Along the way, I use techniques from programming languages, databases, and systems.

Check out these pages for info on my current projects:

• The egg project uses e-graphs to build new kinds of program optimizers.
  • See also the GitHub pages for egg and egglog.
• The EGRAPHS Community, a community for e-graphs researchers consisting of a forum, a workshop, and a monthly seminary series.

I am looking for students in the 2024-25 application cycle.

News

• 2024.06 The third EGRAPHS workshop, EGRAPHS 2024, took place at PLDI 2024 in Copenhagen! Check out the program, which includes videos!
• 2024.05 Our SIGMOD paper unifying traditional hash joins with worst-case optimal joins was selected as a SIGMOD Record Research Highlight.
• 2024.01 I've started as an Assistant Professor position at EECS at UC Berkeley!
• 2023.04 Our work connecting egg to Datalog will appear at PLDI 2023.
• 2023.01 Our POPL 2023 paper shows how to use e-graph anti-unification to learn library functions from a body of code.
• 2021.10 Our paper on inferring rewrites using equality saturation was a Distinguished Paper at OOPSLA 2021.
• 2021.09 Our paper connecting e-matching to relational databases was accepted to POPL 2022.
• 2020.10 Our paper on egg will appear at POPL 2021 as a Distinguished Paper! \ Check out the 5 min or 30 min video talks. {: .time-list}

Teaching

{% for course in site.data.teaching %}
• {{ course.when }} {{ course.number }}: {{ course.title }} {% if course.note %}
  {{ course.note }} {% endif %}
{% endfor %}

Papers

{% for paper in site.categories.papers %} {% unless paper.hide %} {% include paper.html title=1 paper=paper elem="li" %} {% endunless %} {% endfor %}