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›Concurrent programming›concurrency verification topic 40 papers · 107 experts
Sub-topics 3 · with their number of papers; shaded topics divide further
Experts on concurrency verification 107 · 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
Marieke Huisman
dblp:76/6612
0.1 12014 112 · 36 since 2021 2026 verified
Stefan Blom
dblp:44/699
0.1 12014 27 · 1 since 2021 2021 none
Aysu Betin Can
dblp:31/6100
0.0 12004 21 · 4 since 2021 2024 corroborated
Tevfik Bultan
dblp:07/3368
0.0 12004 124 · 13 since 2021 2025 verified
Rupak Majumdar
dblp:71/1981
0.0 12003 252 · 59 since 2021 2026 verified
Ranjit Jhala
dblp:47/4244
0.0 12003 104 · 22 since 2021 2026 verified
Sanjit A. Seshia
dblp:s/SanjitASeshia
0.0 12002 179 · 49 since 2021 2026 verified
Cormac Flanagan
dblp:f/CormacFlanagan
0.0 12002 72 · 1 since 2021 2024 corroborated
Rance Cleaveland
dblp:c/RCleaveland
0.0 21996 96 · 6 since 2021 2025 verified
Twan Basten
dblp:b/TwanBasten
0.0 12001 145 · 14 since 2021 2026 verified
Dragan Bosnacki
dblp:38/2132
0.0 12001 27 · 0 since 2021 2019 none
Gérard Basler
dblp:95/3093
0.0 12009 6 · 0 since 2021 2012 none
Thomas Wahl
dblp:72/5272
0.0 12009 46 · 4 since 2021 2022 conflict
Michele Mazzucchi
dblp:25/7082
0.0 12009 2 · 0 since 2021 2010 none
Sriram K. Rajamani
dblp:r/SriramKRajamani
0.0 11997 92 · 3 since 2021 2023 verified
Robert K. Brayton
dblp:b/RobertKBrayton
0.0 11997 270 · 3 since 2021 2025 verified
Rajeev Alur
dblp:a/RAlur
0.0 11997 244 · 28 since 2021 2025 verified
Orna Grumberg
dblp:g/OrnaGrumberg
0.0 12005 120 · 6 since 2021 2025 verified
Ishai Rabinovitz
dblp:71/5241
0.0 12005 5 · 0 since 2021 2011 none
Scott A. Smolka
dblp:s/ScottASmolka
0.0 11996 135 · 19 since 2021 2025 verified
Philip M. Lewis
dblp:l/PhilipMLewis
0.0 11996 28 · 0 since 2021 2006 none
Oleg Sokolsky
dblp:31/4030
0.0 11996 117 · 16 since 2021 2026 verified
Steve Sims
dblp:22/1650
0.0 11996 7 · 1 since 2021 2024 corroborated
Lori A. Clarke
dblp:c/LoriAClarke
0.0 11994 58 · 1 since 2021 2025 none
Martin Leucker
dblp:l/MartinLeucker
0.0 12001 101 · 28 since 2021 2026 verified
Thomas Noll 0001
dblp:31/248-1
0.0 12001 48 · 6 since 2021 2022 verified
Hassen Saïdi
dblp:43/691
0.0 11999 15 · 1 since 2021 2026 none
← Prev page 3 of 3