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›program equivalence›full abstraction topic 58 papers · 101 experts · broader topic added to organise its sub-topics
Experts on full abstraction 101 · 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
Dariusz Biernacki
dblp:03/6365
0.3 12017 36 · 7 since 2021 2025 verified
Davide Sangiorgi
dblp:s/DavideSangiorgi
0.3 22016 112 · 14 since 2021 2026 verified
Valeria Vignudelli
dblp:150/6785
0.2 12016 11 · 5 since 2021 2024 corroborated
Ori Lahav 0001
dblp:84/7458
0.2 12024 65 · 28 since 2021 2026 verified
Shai Mermelstein
dblp:380/9899
0.2 12024 1 · 1 since 2021 2024 reported
Mikhail Svyatlovskiy
dblp:330/4379
0.2 12024 1 · 1 since 2021 2024 reported
Cédric Fournet
dblp:f/CedricFournet
0.2 12013 99 · 12 since 2021 2026 verified
Juan Chen 0002
dblp:54/2717-2
0.2 12013 8 · 0 since 2021 2014 conflict
Pierre-Évariste Dagand
dblp:50/3978
0.2 12013 17 · 2 since 2021 2024 unresolved
Benjamin Livshits
dblp:46/2924
0.2 12013 94 · 24 since 2021 2025 verified
Pierre-Yves Strub
dblp:35/5080
0.2 12013 61 · 17 since 2021 2026 verified
Nikhil Swamy
dblp:11/5568
0.2 12013 48 · 12 since 2021 2026 conflict
Moshe Y. Vardi
dblp:v/MosheYVardi
0.1 12009 457 · 61 since 2021 2026 conflict
Sumit Nain
dblp:26/5333
0.1 12009 12 · 0 since 2021 2014 none
Alan Jeffrey
dblp:89/740
0.1 42002 47 · 1 since 2021 2022 verified
Søren B. Lassen
dblp:36/1149
0.1 12006 9 · 0 since 2021 2013 none
Julian Rathke
dblp:42/3485
0.1 22002 28 · 0 since 2021 2013 none
Paola Quaglia
dblp:85/3701
0.1 12005 13 · 0 since 2021 2016 verified
David Walker 0008
dblp:53/5714-8
0.1 12005 14 · 0 since 2021 2005 corroborated
Marcelo P. Fiore
dblp:39/1403
0.0 22002 50 · 9 since 2021 2026 verified
Eugenio Moggi
dblp:m/EugenioMoggi
0.0 12002 34 · 3 since 2021 2026 verified
Ramesh Viswanathan
dblp:77/761
0.0 21998 24 · 1 since 2021 2021 corroborated
Jon G. Riecke
dblp:51/4246
0.0 21997 21 · 0 since 2021 2002 none
Michael Marz
dblp:67/6097
0.0 11999 1 · 0 since 2021 1999 none
Russell Harmer
dblp:36/1754
0.0 11999 21 · 5 since 2021 2026 verified
Thomas Streicher
dblp:30/6722
0.0 11999 39 · 2 since 2021 2021 verified
Guy McCusker
dblp:05/4200
0.0 11999 21 · 4 since 2021 2026 corroborated
Alexander Rohr
dblp:02/5027
0.0 11999 1 · 0 since 2021 1999 none
Bengt Jonsson 0001
dblp:j/BengtJonsson
0.0 11998 118 · 15 since 2021 2026 verified
Matthew Hennessy
dblp:h/MatthewHennessy
0.0 11998 121 · 0 since 2021 2018 none
Chrysafis Hartonas
dblp:98/2097
0.0 11998 7 · 0 since 2021 2019 corroborated
Adolfo Piperno
dblp:84/356
0.0 11998 21 · 0 since 2021 2018 none
Sven-Olof Nyström
dblp:67/5486
0.0 11998 3 · 0 since 2021 2003 none
Mariangiola Dezani-Ciancaglini
dblp:56/4575
0.0 11998 97 · 14 since 2021 2026 verified
Ugo de'Liguoro
dblp:38/6398
0.0 11998 35 · 6 since 2021 2025 verified
Anders Sandholm 0001
dblp:33/2327
0.0 11997 10 · 3 since 2021 2023 none
Abbas Edalat
dblp:e/AbbasEdalat
0.0 11996 54 · 4 since 2021 2025 verified
Stephen D. Brookes
dblp:30/3507
0.0 11996 24 · 0 since 2021 2019 corroborated
Martín Hötzel Escardó
dblp:12/4811
0.0 11996 46 · 8 since 2021 2025 verified
Albert R. Meyer
dblp:m/ARMeyer
0.0 21993 65 · 0 since 2021 2002 conflict
← Prev page 2 of 3 Next →