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›language semantics›c semantics topic 7 papers · 27 experts · broader topic added to organise its sub-topics
Experts on c semantics 27 · 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
Peter Sewell
dblp:74/185
1.0 32019 86 · 19 since 2021 2026 verified
Kayvan Memarian
dblp:28/10810
1.0 32019 16 · 8 since 2021 2026 verified
Victor B. F. Gomes
dblp:139/0605
0.8 22019 11 · 1 since 2021 2022 verified
Robert N. M. Watson
dblp:70/2118
0.6 22019 34 · 8 since 2021 2025 verified
Alex Richardson 0001
dblp:75/10952-1
0.4 12019 11 · 2 since 2021 2024 verified
Brooks Davis
dblp:57/429
0.4 12019 18 · 4 since 2021 2024 corroborated
Stella Lau
dblp:244/8329
0.4 12019 5 · 4 since 2021 2024 corroborated
Jean Pichon-Pharabod
dblp:160/7730
0.4 12019 20 · 11 since 2021 2026 verified
Stephen Kell
dblp:04/480
0.4 12019 14 · 3 since 2021 2026 corroborated
Fernando Magno Quintão Pereira
dblp:p/FMQPereira
0.3 12018 89 · 22 since 2021 2026 verified
Marcus R. de Araújo
dblp:211/9180
0.3 12018 1 · 0 since 2021 2018 none
Rodrigo Geraldo Ribeiro
dblp:204/6610
0.3 12018 7 · 3 since 2021 2025 verified
Leandro T. C. Melo
dblp:183/1862
0.3 12018 4 · 0 since 2021 2020 none
David Chisnall
dblp:85/1618
0.2 12016 27 · 9 since 2021 2025 verified
James Lingard
dblp:180/8223
0.2 12016 1 · 0 since 2021 2016 none
Justus Matthiesen
dblp:161/9139
0.2 12016 1 · 0 since 2021 2016 none
Kyndylan Nienhuis
dblp:160/7732
0.2 12016 5 · 0 since 2021 2020 none
Jia-Guang Sun 0001
dblp:s/JiaGuangSun-1
0.1 12019 173 · 20 since 2021 2025 conflict
Ming Gu 0001
dblp:76/2502-1
0.1 12019 134 · 19 since 2021 2026 unresolved
Aquinas Hobor
dblp:26/3410
0.1 12019 30 · 4 since 2021 2025 none
Anshuman Mohan
dblp:251/2040
0.1 12019 5 · 3 since 2021 2024 corroborated
Qinxiang Cao
dblp:141/1017
0.1 12019 24 · 20 since 2021 2026 corroborated
Min Zhou 0001
dblp:10/2513-0001
0.1 12019 36 · 8 since 2021 2025 conflict
Sriram K. Rajamani
dblp:r/SriramKRajamani
0.0 12001 92 · 3 since 2021 2023 verified
Todd D. Millstein
dblp:93/4679
0.0 12001 90 · 18 since 2021 2026 verified
Rupak Majumdar
dblp:71/1981
0.0 12001 252 · 59 since 2021 2026 verified
Thomas Ball 0001
dblp:296/1574-1
0.0 12001 87 · 8 since 2021 2026 verified
page 1 of 1