Researcher Evidence Record

Max Willsey

This bounded record lists 14 Pith paper rows and 0 imported work rows attributed to this corpus identity. The enumerated, non-disputed paper rows include cs.PL, cs.DB, cs.GR work dated 2019 to 2026. The record describes sources and coverage; it makes no judgment about the person.

Compiled coverage vector

Measured lane counts only. Not a trust score or person verdict.

Identity 2 canonical identity row plus typed public identifiers Pith papers 14 attributed paper rows in the Pith corpus, itemized below Imported works 0 imported works beyond the paper ledger Current reviews 2 of 14 papers carrying a current Pith review; presence, not outcome Sourced citations 3 of 14 works with a source-named citation count Coauthors 30 distinct coauthors across shared paper rows

Enumerated paper scope: 4 fields (cs.PL, cs.DB, cs.GR, +1 more) · 2019-2026 sources: authors, author_identifiers · paper_authors · author_works · current_verdicts · cited_works

A sourced case file for attributed work. It is neither a profile score nor a verdict about this researcher.

Attributed works

A bounded ledger from the Pith paper and imported-work queries. Counts and source confidence stay with each work.

2026 Pith paper

Finite Functional Programming

cs.PL provisional current review present

paper paper evidence challenge this paper

Sources and evidence

Authorship source

backfill

Printed name

Max Willsey

Author position

2

Identity state

provisional

Source confidence

0.7

Review coverage

Measured: a current Pith review exists.

Citation counts

No source count is attached to this work row.
2025 Pith paper
Optimism in Equality Saturation

cs.PL provisional current review present

paper citation record paper evidence challenge this paper
Sources and evidence
Authorship source

backfill

Printed name

Max Willsey

Author position

3

Identity state

provisional

Source confidence

0.7

Review coverage

Measured: a current Pith review exists.

Citation counts

1 pith inbound references from cited_work_pith_inbound_counts
2025 Pith paper

Stream programs are monoid homomorphisms with state

cs.PL provisional measured, no current review

paper paper evidence challenge this paper

Sources and evidence

Authorship source

arxiv_oai

Printed name

Max Willsey

Author position

3

Identity state

provisional

Source confidence

0.7

Review coverage

Measured: no current Pith review exists.

Citation counts

No source count is attached to this work row.
2023 Pith paper
Better Together: Unifying Datalog and Equality Saturation

cs.PL provisional measured, no current review

paper citation record paper evidence challenge this paper
Sources and evidence
Authorship source

arxiv_oai

Printed name

Max Willsey

Author position

8

Identity state

provisional

Source confidence

0.7

Review coverage

Measured: no current Pith review exists.

Citation counts

1 pith inbound references from cited_work_pith_inbound_counts
2023 Pith paper

Free Join: Unifying Worst-Case Optimal and Traditional Joins

cs.DB provisional measured, no current review

paper paper evidence challenge this paper

Sources and evidence

Authorship source

arxiv_oai

Printed name

Max Willsey

Author position

2

Identity state

provisional

Source confidence

0.7

Review coverage

Measured: no current Pith review exists.

Citation counts

No source count is attached to this work row.
2022 Pith paper

babble: Learning Better Abstractions with E-Graphs and Anti-Unification

cs.PL provisional measured, no current review

paper paper evidence challenge this paper

Sources and evidence

Authorship source

arxiv_oai

Printed name

Max Willsey

Author position

4

Identity state

provisional

Source confidence

0.7

Review coverage

Measured: no current Pith review exists.

Citation counts

No source count is attached to this work row.
2022 Pith paper

Small Proofs from Congruence Closure

cs.PL provisional measured, no current review

paper paper evidence challenge this paper

Sources and evidence

Authorship source

arxiv_oai

Printed name

Max Willsey

Author position

3

Identity state

provisional

Source confidence

0.7

Review coverage

Measured: no current Pith review exists.

Citation counts

No source count is attached to this work row.
2021 Pith paper

Rewrite Rule Inference Using Equality Saturation

cs.PL provisional measured, no current review

paper paper evidence challenge this paper

Sources and evidence

Authorship source

arxiv_oai

Printed name

Max Willsey

Author position

2

Identity state

provisional

Source confidence

0.7

Review coverage

Measured: no current Pith review exists.

Citation counts

No source count is attached to this work row.
2021 Pith paper

Relational E-Matching

cs.DB provisional measured, no current review

paper paper evidence challenge this paper

Sources and evidence

Authorship source

arxiv_oai

Printed name

Max Willsey

Author position

3

Identity state

provisional

Source confidence

0.7

Review coverage

Measured: no current Pith review exists.

Citation counts

No source count is attached to this work row.
2021 Pith paper

Co-Optimization of Design and Fabrication Plans for Carpentry: Supplemental Material

cs.GR provisional measured, no current review

paper paper evidence challenge this paper

Sources and evidence

Authorship source

arxiv_oai

Printed name

Max Willsey

Author position

2

Identity state

provisional

Source confidence

0.7

Review coverage

Measured: no current Pith review exists.

Citation counts

No source count is attached to this work row.
2021 Pith paper

Co-Optimization of Design and Fabrication Plans for Carpentry

cs.GR provisional measured, no current review

paper paper evidence challenge this paper

Sources and evidence

Authorship source

arxiv_oai

Printed name

Max Willsey

Author position

2

Identity state

provisional

Source confidence

0.7

Review coverage

Measured: no current Pith review exists.

Citation counts

No source count is attached to this work row.
2021 Pith paper
Equality Saturation for Tensor Graph Superoptimization

cs.AI provisional measured, no current review

paper citation record paper evidence challenge this paper
Sources and evidence
Authorship source

arxiv_oai

Printed name

Max Willsey

Author position

4

Identity state

provisional

Source confidence

0.7

Review coverage

Measured: no current Pith review exists.

Citation counts

6 pith inbound references from cited_work_pith_inbound_counts
2020 Pith paper

egg: Fast and Extensible Equality Saturation

cs.PL provisional measured, no current review

paper paper evidence challenge this paper

Sources and evidence

Authorship source

arxiv_oai

Printed name

Max Willsey

Author position

1

Identity state

provisional

Source confidence

0.7

Review coverage

Measured: no current Pith review exists.

Citation counts

No source count is attached to this work row.
2019 Pith paper

Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations

cs.PL provisional measured, no current review

paper paper evidence challenge this paper

Sources and evidence

Authorship source

arxiv_oai

Printed name

Max Willsey

Author position

2

Identity state

provisional

Source confidence

0.7

Review coverage

Measured: no current Pith review exists.

Citation counts

No source count is attached to this work row.

Evidence apparatus

The machinery behind this record. Every lane states whether Pith measured it, did not query it, could not reach it, or withheld it.

Lane	State	Observed	Boundary and source
identity	Measured	2	Canonical identity row plus public typed identifiers. source=authors, author_identifiers
papers	Measured	14 of 14 bounded rows	Rows attributed to this author UUID in the Pith corpus. source=paper_authors
works	Measured zero	0 of 0 bounded rows	Imported works not duplicated by the paper ledger. source=author_works
reviews	Measured	2 of 14 bounded rows	Coverage count only. No review outcome is projected onto the person. source=current_verdicts
citations	Measured	3 of 14 bounded rows	Counts remain itemized by work and source. source=cited_works
coauthors	Measured	30 of 14 bounded rows	Shared-work edges from admitted paper rows. source=paper_authors
account	Unavailable	No public count of 1 bounded rows	Account metadata is separate from corpus evidence. source=users.author_id

Public identity sources

name variant
Max Willsey backfill
confidence 0.6

identity history

Enumerated research scope

Fields and dates come only from enumerated, non-disputed Pith paper rows. They do not claim career completeness.

cs.PL9 rows
cs.DB2 rows
cs.GR2 rows
cs.AI1 rows
20191 rows
20201 rows
20215 rows
20222 rows
20232 rows
20252 rows
20261 rows

Shared-work index

Adam Anderson2 shared rows
paper_authors
Adriana Schulz3 shared rows
paper_authors
Alvin Cheung1 shared rows
paper_authors
Amy Zhu3 shared rows
paper_authors
Brett Saiki1 shared rows
paper_authors
Chandrakana Nandi6 shared rows
paper_authors
Dan Grossman2 shared rows
paper_authors
Dan Suciu1 shared rows
paper_authors
David Cao2 shared rows
paper_authors
Eli Rosenthal1 shared rows
paper_authors
Eva Darulova1 shared rows
paper_authors
Haisen Zhao2 shared rows
paper_authors
Jacques Pienaar1 shared rows
paper_authors
James R. Wilcox1 shared rows
paper_authors
Justin Solomon2 shared rows
paper_authors
Michael Arntzenius2 shared rows
paper_authors
Nadia Polikarpova1 shared rows
paper_authors
Oliver Flatt3 shared rows
paper_authors
Pavel Panchekha2 shared rows
paper_authors
Philip Zucker1 shared rows
paper_authors
Phitchaya Mangpo Phothilimtha1 shared rows
paper_authors
Rose Kunkel1 shared rows
paper_authors
Russel Arbore1 shared rows
paper_authors
Samuel Coward1 shared rows
paper_authors
Sudip Roy1 shared rows
paper_authors
Tyler Hou1 shared rows
paper_authors
Yichen Yang1 shared rows
paper_authors
Yihong Zhang2 shared rows
paper_authors
Yisu Remy Wang6 shared rows
paper_authors
Zachary Tatlock9 shared rows
paper_authors

Record scope

The work queries are bounded. Missing rows may mean measured zero, an unavailable source, a query that did not run, or private data that Pith withheld. The lane table keeps those cases separate.

Paper findings remain attached to papers. They do not become findings about this researcher.

Self-published account annex

Linked Pith account

Unavailable No public Pith account is linked to this corpus identity.

The account lane is self-published. Linking proves account control only and changes no corpus fact.