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: SIGIR, WWW, SIGKDD, WSDM, TOIS, ACL +2 · junior 2+ first-author in 5y or senior 5+ papers in 5y · 7,017 experts meet it · 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›reactive system verification topic 9 papers · 30 experts
Sub-topics 2 · with their number of papers; shaded topics divide further
Experts on reactive system verification 30 · 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
Daniel Ricketts 0001
dblp:245/4990
0.2 12014 5 · 0 since 2021 2016 none
Zachary Tatlock
dblp:24/2888
0.2 12014 44 · 16 since 2021 2025 verified
Valentin Robert
dblp:121/0003
0.2 12014 4 · 2 since 2021 2026 corroborated
Dongseok Jang
dblp:12/483
0.2 12014 4 · 0 since 2021 2014 none
Sorin Lerner
dblp:11/3644
0.2 12014 68 · 17 since 2021 2026 verified
Thierry Jéron
dblp:50/6556
0.1 12007 45 · 7 since 2021 2025 corroborated
Hervé Marchand
dblp:44/4811
0.1 12007 22 · 0 since 2021 2019 corroborated
Vlad Rusu
dblp:42/834
0.1 12007 34 · 5 since 2021 2024 corroborated
Camille Constant
dblp:37/2571
0.1 12007 1 · 0 since 2021 2007 none
Hyoungki Lee
dblp:35/3702
0.1 12005 3 · 0 since 2021 2005 none
Kyo Chul Kang
dblp:15/3530
0.1 12005 44 · 0 since 2021 2014 none
Moonzoo Kim
dblp:11/6551
0.1 12005 49 · 4 since 2021 2025 corroborated
Partha S. Roop
dblp:r/ParthaSRoop
0.0 12009 108 · 28 since 2021 2026 verified
Zoran A. Salcic
dblp:99/3221
0.0 12009 103 · 18 since 2021 2025 verified
Li Hsien Yoong
dblp:33/7057
0.0 12009 5 · 0 since 2021 2015 none
Valeriy Vyatkin
dblp:30/3746
0.0 12009 267 · 57 since 2021 2026 verified
Lalita Jategaonkar Jagadeesan
dblp:j/LJJagadeesan
0.0 11998 25 · 3 since 2021 2025 none
Michael Colón
dblp:78/1656
0.0 11998 11 · 0 since 2021 2011 none
Christopher Colby
dblp:64/204
0.0 11998 8 · 0 since 2021 2020 none
Tomás E. Uribe
dblp:44/5604
0.0 11998 15 · 0 since 2021 2007 none
Patrice Godefroid
dblp:20/1639
0.0 11998 78 · 1 since 2021 2021 none
Lars Pareto
dblp:p/LarsPareto
0.0 11996 14 · 0 since 2021 2016 none
John Hughes 0001
dblp:h/JohnHughes
0.0 11996 38 · 2 since 2021 2024 verified
Amr Sabry
dblp:65/6934
0.0 11996 38 · 7 since 2021 2025 verified
Pascal Raymond
dblp:74/1263
0.0 11991 25 · 5 since 2021 2026 corroborated
Daniel Pilaud
dblp:71/6260
0.0 11991 4 · 0 since 2021 1999 none
Paul Caspi
dblp:19/4978
0.0 11991 40 · 0 since 2021 2010 none
Nicolas Halbwachs
dblp:01/680
0.0 11991 39 · 0 since 2021 2019 verified
Frédéric Boussinot
dblp:71/5457
0.0 11991 7 · 0 since 2021 2006 none
Robert de Simone
dblp:66/6899
0.0 11991 49 · 0 since 2021 2020 corroborated
page 1 of 1