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.
Experts on inductive invariant inference 37 · 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
Sharon Shoham
dblp:92/128
1.5 32022 95 · 32 since 2021 2026 verified
Shmuel Sagiv
dblp:s/SSagiv
0.9 22021 157 · 10 since 2021 2024 verified
James R. Wilcox
dblp:38/10688-1
0.9 22021 19 · 5 since 2021 2024 verified
Yotam M. Y. Feldman
dblp:193/0778
0.9 22021 11 · 4 since 2021 2024 verified
Lan Lu
dblp:92/7133
0.8 12024 9 · 8 since 2021 2026 conflict
in pool Boon Thau Loo
dblp:75/3108
0.8 12024 125 · 27 since 2021 2026 verified
Brendan Massey
dblp:334/4655
0.8 12024 1 · 1 since 2021 2024 reported
Haoxian Chen 0001
dblp:158/6303-1
0.8 12024 13 · 10 since 2021 2026 conflict
Yuepeng Wang 0001
dblp:133/3844
0.8 12024 25 · 15 since 2021 2025 conflict
Subhajit Roy 0001
dblp:95/621
0.6 12022 61 · 33 since 2021 2026 conflict
Arie Gurfinkel
dblp:44/3532
0.6 12022 121 · 30 since 2021 2026 verified
Sumit Lahiri
dblp:325/0902
0.6 12022 4 · 4 since 2021 2024 corroborated
Hari Govind V. K.
dblp:204/2535
0.6 12022 10 · 5 since 2021 2024 reported
Deepak D'Souza
dblp:97/4727
0.5 12021 50 · 14 since 2021 2026 reported
Grigory Fedyukovich
dblp:43/8810
0.5 12021 64 · 26 since 2021 2026 corroborated
Sumanth Prabhu S
dblp:206/6798-1
0.5 12021 11 · 6 since 2021 2026 corroborated
Kumar Madhukar
dblp:134/8956
0.5 12021 14 · 7 since 2021 2025 corroborated
Shaz Qadeer
dblp:q/ShazQadeer
0.4 12020 106 · 6 since 2021 2026 none
Thomas A. Henzinger
dblp:h/ThomasAHenzinger
0.4 12020 383 · 69 since 2021 2026 verified
James Worrell 0001
dblp:90/2367
0.4 12020 180 · 55 since 2021 2026 verified
Shaull Almagor
dblp:88/8556
0.4 12020 53 · 27 since 2021 2026 verified
Constantin Enea
dblp:72/2839
0.4 12020 75 · 22 since 2021 2026 verified
Joël Ouaknine
dblp:55/4663
0.4 12020 156 · 46 since 2021 2026 verified
Suha Orhun Mutluergil
dblp:170/4198
0.4 12020 7 · 2 since 2021 2023 verified
Edon Kelmendi
dblp:140/7385
0.4 12020 14 · 7 since 2021 2025 corroborated
Bernhard Kragl
dblp:138/6924
0.4 12020 10 · 2 since 2021 2021 verified
Aman Goel
dblp:55/7029
0.4 12019 18 · 9 since 2021 2026 conflict
Karem A. Sakallah
dblp:34/5374
0.4 12019 122 · 5 since 2021 2025 verified
Baris Kasikci
dblp:31/11029
0.4 12019 67 · 46 since 2021 2026 verified
Haojun Ma
dblp:241/7464
0.4 12019 4 · 2 since 2021 2022 corroborated
Manos Kapritsos
dblp:23/6695
0.4 12019 24 · 10 since 2021 2026 verified
Jean-Baptiste Jeannin
dblp:11/10454
0.4 12019 29 · 13 since 2021 2026 verified
Jun Sun 0001
dblp:s/JunSun1
0.3 12017 324 · 120 since 2021 2026 conflict
Henri Hansen
dblp:99/3222
0.3 12017 15 · 1 since 2021 2026 verified
Shangwei Lin 0001
dblp:55/4730-1
0.3 12017 71 · 21 since 2021 2026 verified
Yang Liu 0003
dblp:51/3710-3
0.3 12017 609 · 343 since 2021 2026 conflict
David Sanán
dblp:22/111
0.3 12017 38 · 12 since 2021 2025 verified
page 1 of 1