Max Willsey

Artificial Intelligence · 2020

A researcher in the Science corpus: 1 paper; trusts 2 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 8 citations into it
• Computational Theory and Mathematics — 6 citations into it

Whom Max Willsey trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Leonardo de Moura
2. Nikolaj S. Bjørner
3. David Detlefs
4. Varot Premtoon
5. Ross Tate
6. Pavel Panchekha
7. Oded Padon
8. Greg Nelson
9. Zachary Tatlock
10. James Koppel

Papers from Max Willsey's perspective

Ordered by how strongly the researchers Max Willsey trusts endorse each paper. Same corpus, a different order for every researcher.

1. Simplify: a theorem prover for program checking (JACM)
2. Efficient E-Matching for SMT Solvers (CADE)
3. Equality saturation: a new approach to optimization
4. Superoptimizer: a look at the smallest program
5. Semantic code search via equational reasoning
6. Z3: An Efficient SMT Solver
7. Automatically improving accuracy for floating point expressions
8. TASO: optimizing deep learning computation with automatic generation of graph substitutions (Symposium on Operating Systems Principles)
9. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
10. Denali: a goal-directed superoptimizer

Their papers

• egg: Fast and extensible equality saturation (2020) — 295 citations