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›Program verification›invariant generation›inductive assertions topic 20 papers · 45 experts · broader topic added to organise its sub-topics
Experts on inductive assertions 45 · 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
Nathanaël Fijalkow
dblp:93/8654
0.9 12025 59 · 22 since 2021 2026 verified
James Worrell 0001
dblp:90/2367
0.9 12025 180 · 55 since 2021 2026 verified
Joël Ouaknine
dblp:55/4663
0.9 12025 156 · 46 since 2021 2026 verified
Amaury Pouly
dblp:47/9960
0.9 12025 34 · 11 since 2021 2026 corroborated
Pierre Ohlmann
dblp:194/3147
0.9 12025 26 · 20 since 2021 2026 verified
Engel Lefaucheux
dblp:155/5136
0.9 12025 32 · 22 since 2021 2026 verified
Shmuel Sagiv
dblp:s/SSagiv
0.5 22016 157 · 10 since 2021 2024 verified
Sharon Shoham
dblp:92/128
0.5 22016 95 · 32 since 2021 2026 verified
Oded Padon
dblp:155/8122
0.5 22016 40 · 20 since 2021 2026 verified
Karl Mattsson
dblp:436/3976
0.3 12026 1 · 1 since 2021 2026 reported
Peter Backeman
dblp:166/0910
0.3 12026 9 · 5 since 2021 2026 corroborated
Bai Xue 0001
dblp:74/2716-1
0.3 12025 42 · 24 since 2021 2026 verified
Hao Wu 0085
dblp:72/4250-85
0.3 12025 8 · 8 since 2021 2026 conflict
Naijun Zhan
dblp:63/1911
0.3 12025 114 · 51 since 2021 2026 verified
Zhi-Hong Yang
dblp:43/8113
0.3 12025 10 · 8 since 2021 2026 corroborated
Qiuye Wang
dblp:172/8095
0.3 12025 7 · 5 since 2021 2025 corroborated
Lihong Zhi
dblp:04/4911
0.3 12025 48 · 11 since 2021 2026 corroborated
Kenneth L. McMillan
dblp:m/KennethLMcMillan
0.2 12016 103 · 10 since 2021 2026 conflict
Neil Immerman
dblp:i/NeilImmerman
0.2 12016 82 · 3 since 2021 2024 verified
Aurojit Panda
dblp:55/925
0.2 12016 67 · 28 since 2021 2026 verified
Aleksandr Karbyshev
dblp:27/8279
0.2 12016 9 · 0 since 2021 2018 verified
Thomas W. Reps
dblp:r/TWReps
0.1 12019 209 · 37 since 2021 2026 verified
Zachary Kincaid
dblp:61/6578
0.1 12019 38 · 13 since 2021 2026 verified
John Cyphert
dblp:211/9268
0.1 12019 9 · 3 since 2021 2024 verified
Jason Breck
dblp:148/1307
0.1 12019 8 · 0 since 2021 2020 none
M. H. van Emden
dblp:v/MaartenHvanEmden
0.0 21981 17 · 0 since 2021 2014 none
Keith L. Clark
dblp:c/KeithLClark
0.0 11981 18 · 0 since 2021 2015 none
Ben Wegbreit
dblp:31/5520
0.0 31976 24 · 0 since 2021 2007 none
Neil D. Jones
dblp:j/NeilDJones
0.0 11980 66 · 0 since 2021 2018 corroborated
James C. King
dblp:92/1703
0.0 11980 5 · 0 since 2021 1980 none
Steven S. Muchnick
dblp:02/6379
0.0 11980 11 · 0 since 2021 1986 none
Leslie Lamport
dblp:l/LeslieLamport
0.0 11977 86 · 3 since 2021 2025 verified
David A. Patterson 0001
dblp:p/DAPatterson
0.0 11976 100 · 4 since 2021 2026 conflict
Raymond T. Yeh
dblp:77/385
0.0 11976 41 · 0 since 2021 2005 none
Charles Reynolds
dblp:68/2743
0.0 11976 5 · 0 since 2021 2020 unresolved
W. W. Bledsoe
dblp:w/WWBledsoe
0.0 11975 22 · 0 since 2021 1993 none
Stephen A. Cook
dblp:c/StephenACook
0.0 11975 85 · 1 since 2021 2021 none
Ralph L. London
dblp:71/5810
0.0 11975 6 · 0 since 2021 1978 none
Donald I. Good
dblp:55/332
0.0 11975 4 · 0 since 2021 1979 none
Derek C. Oppen
dblp:36/2612
0.0 11975 15 · 0 since 2021 1983 none
page 1 of 2 Next →