Scholar
Max Willsey
Google Scholar ID: zko9-RwAAAAJ
UC Berkeley
Programming Languages
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,233
H-index
14
i10-index
16
Publications
20
Co-authors
21
list available
Publications
4 items
Equality saturation theory exploration `a la carte
2026
Cited
0
Finite Functional Programming
2026
Cited
0
Optimism in Equality Saturation
2025
Cited
0
Stream programs are monoid homomorphisms with state
2025
Cited
0
Co-authors
12 total
Zachary Tatlock
University of Washington
Remy Wang
Assistant Professor of Computer Science, UCLA
Luis Ceze
Professor of Computer Science and Engineering, University of Washington
Karin Strauss
Microsoft Research
Pavel Panchekha
University of Utah, Kahlert School of Computing
Dan Grossman
Computer Science, University of Washington
Dan Suciu
University of Washington
Sudip Roy
Cohere
