Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Reviewers in the wild

The CS expert database: 1,777,551 experts · 2,837,695 papers in CCF A–C and ICORE A*–C venues · 10 venue-derived domains · snapshot 2026-09-22.

Experts who meet the recruitment bar

The bar is a setting of the venue, one per role; it is edited on its own page.
Reviewer bar: SIGMOD, VLDB, ICDE, PODS, SIGKDD · junior 2+ first-author in 5y or senior 4+ papers in 5y · change the bar
List the experts who meet it

Experts by research domain — the database's own venue-derived domains; a paper can belong to several; active = at least one paper since 2021

Experts by expertise

The expertise taxonomy: 90,661 topics extracted from 634,694 papers of 537,692 experts, organised under the ten CCF categories and 168 areas. Pick a category, then narrow down to a topic; every level lists its experts by weight.
Software engineering, system software, and programming languages›Programming languages and type systems›term rewriting›equality saturation topic 15 papers · 61 experts · broader topic added to organise its sub-topics
Experts on equality saturation 61 · by weight: papers on the topic counted with recency (1 for a paper about it, 0.3 as context, halved every five years)
ExpertWeight Papers on topicLast on topic All papersLastORCID
Zachary Tatlock
dblp:24/2888
3.1 62023 44 · 16 since 2021 2025 verified
Max Willsey
dblp:194/2846
3.0 52023 18 · 13 since 2021 2026 verified
Chandrakana Nandi
dblp:157/8240
2.3 42023 15 · 11 since 2021 2025 corroborated
Oliver Flatt
dblp:262/3988
1.8 32023 7 · 7 since 2021 2026 corroborated
Yisu Remy Wang
dblp:185/9964
1.7 32023 16 · 14 since 2021 2026 verified
Michel Steuwer
dblp:35/10101
1.6 22025 36 · 22 since 2021 2026 verified
Andres Goens
dblp:144/4631
1.6 22025 23 · 12 since 2021 2026 verified
Thomas Koehler 0005
dblp:09/1281-5
1.6 22025 5 · 4 since 2021 2026 verified
David Cao
dblp:182/4532
1.3 22023 3 · 3 since 2021 2023 corroborated
Brett Saiki
dblp:300/4283
1.2 22023 5 · 5 since 2021 2025 corroborated
Amy Zhu
dblp:257/3279
1.2 22023 5 · 4 since 2021 2024 corroborated
Albert Cohen 0001
dblp:81/858-1
0.9 12025 104 · 14 since 2021 2026 verified
Arya Vohra
dblp:426/2617
0.9 12025 1 · 1 since 2021 2025 reported
Leo Seojun Lee
dblp:426/2387
0.9 12025 1 · 1 since 2021 2025 reported
Rudi Schneider
dblp:412/5680
0.9 12025 2 · 2 since 2021 2026 reported
Jakub Bachurski
dblp:378/4848
0.9 12025 1 · 1 since 2021 2025 reported
Marcus Rossel
dblp:377/7507
0.9 12025 2 · 2 since 2021 2026 corroborated
William S. Moses
dblp:183/6515
0.9 12025 15 · 11 since 2021 2026 verified
Oleksandr Zinenko
dblp:157/2803
0.9 12025 17 · 11 since 2021 2025 verified
Amir Shaikhha
dblp:143/6186
0.9 12025 40 · 24 since 2021 2026 corroborated
Phitchaya Mangpo Phothilimthana
dblp:127/3128
0.9 12025 21 · 9 since 2021 2025 verified
Ethan Chen
dblp:95/10695
0.8 12024 15 · 13 since 2021 2026 conflict
Tobias Grosser
dblp:91/9231
0.8 12024 58 · 34 since 2021 2026 verified
Philip W. Trinder
dblp:87/4953
0.8 12024 48 · 4 since 2021 2024 verified
Chun Kit Lam
dblp:78/9801
0.8 12024 6 · 5 since 2021 2026 corroborated
Yuhao Zhu 0001
dblp:72/8314-1
0.8 12024 76 · 44 since 2021 2025 conflict
Jiwon Chang
dblp:375/9694
0.8 12024 3 · 3 since 2021 2025 corroborated
Siddharth Bhat
dblp:208/1904
0.8 12024 9 · 8 since 2021 2025 corroborated
Lionel Parreaux
dblp:181/5785
0.8 12024 19 · 13 since 2021 2026 verified
Amir Kafshdar Goharshady
dblp:169/9728
0.8 12024 54 · 37 since 2021 2026 verified
Kwangkeun Yi
dblp:y/KwangkeunYi
0.7 12023 57 · 4 since 2021 2026 verified
Woosuk Lee
dblp:57/2881
0.7 12023 20 · 10 since 2021 2026 corroborated
Cynthia Richey
dblp:362/6002
0.7 12023 2 · 2 since 2021 2026 corroborated
Ryan Tjoa
dblp:353/1954
0.7 12023 3 · 3 since 2021 2025 corroborated
Anjali Pal
dblp:344/4440
0.7 12023 1 · 1 since 2021 2023 reported
Philip Zucker
dblp:289/6347
0.7 12023 2 · 2 since 2021 2024 corroborated
Yihong Zhang 0004
dblp:274/6505-4
0.7 12023 6 · 6 since 2021 2025 verified
DongKwon Lee
dblp:266/9443
0.7 12023 2 · 1 since 2021 2023 reported
Rose Kunkel
dblp:231/5134
0.7 12023 3 · 2 since 2021 2023 corroborated
Eli Rosenthal
dblp:200/8606
0.7 12023 1 · 1 since 2021 2023 reported
page 1 of 2 Next →