Max Willsey
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2019–2026
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FLOPS | Finite Functional Programming - or, LAMBDA: The Ultimate Predicate. | Michael Arntzenius, Max Willsey |
| 2025 | ICDT | Database Theory in Action: Search-Based Program Optimization. | Yihong Zhang, Dan Suciu, Yisu Remy Wang, Max Willsey |
| 2022 | FMCAD | Small Proofs from Congruence Closure. | Oliver Flatt, Samuel Coward, Max Willsey, Zachary Tatlock, Pavel Panchekha |
| 2020 | PLDI | Synthesizing structured CAD models with equality saturation and inverse transformations. | Chandrakana Nandi, Max Willsey, Adam Anderson, James R. Wilcox, Eva Darulova, Dan Grossman, Zachary Tatlock |
| 2019 | ASPLOS | Puddle: A Dynamic, Error-Correcting, Full-Stack Microfluidics Platform. | Max Willsey, Ashley P. Stephenson, Chris Takahashi, Pranav Vaid, Bichlien H. Nguyen, Michal Piszczek, Christine Betts, Sharon Newman, Sarang Joshi, Karin Strauss, Luis Ceze |
| 2019 | ICCAD | Scaling Microfluidics to Complex, Dynamic Protocols: Invited Paper. | Max Willsey, Ashley P. Stephenson, Chris Takahashi, Bichlien H. Nguyen, Karin Strauss, Luis Ceze |