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›Program verification›model checking›counterexample generation topic 13 papers · 41 experts · broader topic added to organise its sub-topics
Experts on counterexample generation 41 · 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
Ruzica Piskac
dblp:p/RuzicaPiskac
0.6 12022 63 · 32 since 2021 2026 verified
John C. Kolesar
dblp:322/0412
0.6 12022 5 · 5 since 2021 2025 corroborated
William T. Hallahan
dblp:208/7435
0.6 12022 9 · 4 since 2021 2025 verified
Myungho Lee
dblp:61/107
0.4 12019 39 · 15 since 2021 2026 conflict
Dowon Song
dblp:228/5390
0.4 12019 4 · 2 since 2021 2025 corroborated
Hakjoo Oh
dblp:13/7537
0.4 12019 70 · 26 since 2021 2026 corroborated
Hamid Bagheri
dblp:88/2247
0.3 12026 63 · 24 since 2021 2026 conflict
Nazareno Aguirre
dblp:69/610
0.3 12026 73 · 29 since 2021 2026 corroborated
Germán Regis
dblp:33/4870
0.3 12026 22 · 11 since 2021 2026 corroborated
Simón Gutiérrez Brida
dblp:203/0017
0.3 12026 11 · 9 since 2021 2026 corroborated
Ariel Godio
dblp:203/0015
0.3 12026 4 · 3 since 2021 2026 corroborated
ThanhVu Nguyen
dblp:19/7057
0.3 12026 39 · 19 since 2021 2026 corroborated
Marcelo F. Frias
dblp:13/1323
0.3 12026 60 · 20 since 2021 2026 verified
Daniel Kroening
dblp:k/DanielKroening
0.2 22013 200 · 22 since 2021 2026 verified
Georg Weissenbacher
dblp:15/3636
0.2 22013 52 · 14 since 2021 2026 verified
Andrew C. Myers
dblp:m/AndrewCMyers
0.2 12015 92 · 9 since 2021 2026 verified
David Van Horn
dblp:77/2466
0.2 12015 36 · 7 since 2021 2025 verified
Phuc C. Nguyen
dblp:132/9068
0.2 12015 7 · 1 since 2021 2021 none
Chinawat Isradisaikul
dblp:130/6626
0.2 12015 2 · 0 since 2021 2015 none
Matt Lewis
dblp:10/5971
0.2 12013 13 · 2 since 2021 2023 reported
Daniel Kifer
dblp:84/114
0.1 12020 75 · 18 since 2021 2026 verified
Yuxin Wang 0004
dblp:68/1041-4
0.1 12020 8 · 4 since 2021 2023 verified
Danfeng Zhang
dblp:23/3719
0.1 12020 47 · 19 since 2021 2025 conflict
Zeyu Ding 0001
dblp:227/8862-1
0.1 12020 7 · 3 since 2021 2023 verified
Andrey Rybalchenko
dblp:r/AndreyRybalchenko
0.1 12008 64 · 1 since 2021 2021 none
Thomas A. Henzinger
dblp:h/ThomasAHenzinger
0.1 12008 383 · 69 since 2021 2026 verified
Rupak Majumdar
dblp:71/1981
0.1 12008 252 · 59 since 2021 2026 verified
Ashutosh Gupta 0001
dblp:65/3925-1
0.1 12008 32 · 11 since 2021 2026 conflict
Ru-Gang Xu
dblp:00/2144
0.1 12008 8 · 0 since 2021 2009 none
Kaile Su
dblp:80/5001
0.1 12015 110 · 17 since 2021 2026 conflict
Chenyi Zhang 0001
dblp:78/918-1
0.1 12015 37 · 9 since 2021 2025 conflict
Lijun Wu 0001
dblp:68/1284-1
0.1 12015 12 · 6 since 2021 2026 conflict
Shaowei Cai 0001
dblp:45/8399
0.1 12015 129 · 66 since 2021 2026 verified
Xiaosong Zhang 0001
dblp:26/3075-1
0.1 12015 187 · 121 since 2021 2026 conflict
Shlomo Zilberstein
dblp:z/ShlomoZilberstein
0.0 12004 146 · 29 since 2021 2026 verified
Lori A. Clarke
dblp:c/LoriAClarke
0.0 12004 58 · 1 since 2021 2025 none
George S. Avrunin
dblp:a/GeorgeSAvrunin
0.0 12004 33 · 0 since 2021 2018 verified
Jianbin Tan
dblp:28/930
0.0 12004 4 · 1 since 2021 2025 reported
Stefan Leue
dblp:20/6822
0.0 12004 45 · 6 since 2021 2025 verified
Daniel Jackson 0001
dblp:80/1906-1
0.0 21996 72 · 5 since 2021 2024 conflict
page 1 of 2 Next →