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.
VLDB 2026 Research / recruitment

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›concurrent program verification›multithreaded program verification topic 13 papers · 37 experts · broader topic added to organise its sub-topics
Experts on multithreaded program verification 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
Zhihang Sun
dblp:295/3595
0.5 12021 12 · 12 since 2021 2026 conflict
Hongyu Fan
dblp:152/9288
0.5 12021 10 · 9 since 2021 2026 conflict
Fei He 0001
dblp:13/6794-1
0.5 12021 66 · 26 since 2021 2026 conflict
Wei Dong 0006
dblp:92/748-6
0.4 12020 67 · 27 since 2021 2026 conflict
Ji Wang 0001
dblp:64/856-1
0.4 12020 174 · 70 since 2021 2026 conflict
Liangze Yin
dblp:23/10811
0.4 12020 31 · 13 since 2021 2026 corroborated
Wanwei Liu
dblp:04/5600
0.4 12020 54 · 26 since 2021 2026 verified
Bernd Fischer 0002
dblp:27/3809-2
0.3 22015 83 · 12 since 2021 2026 conflict
Salvatore La Torre
dblp:33/5041
0.2 12015 71 · 4 since 2021 2026 verified
Truc L. Nguyen
dblp:147/4379
0.2 12015 10 · 0 since 2021 2017 none
Omar Inverso
dblp:125/8727
0.2 12015 36 · 14 since 2021 2024 verified
Gennaro Parlato
dblp:11/1029
0.2 12015 55 · 8 since 2021 2026 verified
Daniel Kroening
dblp:k/DanielKroening
0.2 12014 200 · 22 since 2021 2026 verified
Dan Grossman
dblp:g/DanGrossman
0.2 12014 66 · 5 since 2021 2024 corroborated
Javier Esparza
dblp:e/JEsparza
0.2 12014 183 · 30 since 2021 2026 verified
Luis Ceze
dblp:95/5263
0.2 12014 93 · 7 since 2021 2025 verified
Tom Bergan
dblp:90/2307
0.2 12014 10 · 0 since 2021 2015 none
Tomás Poch
dblp:74/5230
0.2 12014 7 · 0 since 2021 2014 none
Alexander Kaiser 0001
dblp:73/4541-1
0.2 12014 9 · 0 since 2021 2017 corroborated
Thomas Wahl
dblp:72/5272
0.2 12014 46 · 4 since 2021 2022 conflict
Pierre Ganty
dblp:16/5983
0.2 12014 54 · 12 since 2021 2026 verified
Andrey Rybalchenko
dblp:r/AndreyRybalchenko
0.1 12011 64 · 1 since 2021 2021 none
Corneliu Popeea
dblp:78/3366
0.1 12011 22 · 0 since 2021 2014 none
Ashutosh Gupta 0001
dblp:65/3925-1
0.1 12011 32 · 11 since 2021 2026 conflict
Gaël Patin
dblp:29/611
0.1 12007 1 · 0 since 2021 2007 none
Mihaela Sighireanu
dblp:27/1531
0.1 12007 40 · 7 since 2021 2026 verified
Tayssir Touili
dblp:23/6190
0.1 12007 67 · 11 since 2021 2026 corroborated
Lucas C. Cordeiro
dblp:42/4311
0.1 22011 81 · 35 since 2021 2025 verified
Sanjit A. Seshia
dblp:s/SanjitASeshia
0.0 12002 179 · 49 since 2021 2026 verified
Shaz Qadeer
dblp:q/ShazQadeer
0.0 12002 106 · 6 since 2021 2026 none
Cormac Flanagan
dblp:f/CormacFlanagan
0.0 12002 72 · 1 since 2021 2024 corroborated
Tulika Mitra
dblp:22/5985
0.0 12002 162 · 44 since 2021 2026 verified
Abhik Roychoudhury
dblp:04/5884
0.0 12002 170 · 47 since 2021 2026 verified
Matthew B. Dwyer
dblp:d/MatthewBDwyer
0.0 12000 129 · 29 since 2021 2025 verified
Robby
dblp:98/4700
0.0 12000 42 · 9 since 2021 2025 none
John Hatcliff
dblp:52/5739
0.0 12000 68 · 13 since 2021 2025 corroborated
James C. Corbett
dblp:42/5495
0.0 12000 27 · 0 since 2021 2013 none
page 1 of 1