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›dynamic verification›runtime assertion checking topic 9 papers · 19 experts · broader topic added to organise its sub-topics
Experts on runtime assertion checking 19 · 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
Lionel C. Briand
dblp:93/1501
0.3 22014 388 · 81 since 2021 2026 verified
Yvan Labiche
dblp:52/1881
0.3 22014 107 · 4 since 2021 2026 verified
Wladimir Araujo
dblp:36/5044
0.3 22014 4 · 0 since 2021 2014 none
Patrice Chalin
dblp:c/PatriceChalin
0.1 12008 17 · 0 since 2021 2013 corroborated
Frédéric Rioux
dblp:54/1575
0.1 12008 1 · 0 since 2021 2008 none
Jean-Marc Jézéquel
dblp:j/JeanMarcJezequel
0.1 12006 118 · 16 since 2021 2025 conflict
Yves Le Traon
dblp:95/5206
0.1 12006 271 · 84 since 2021 2026 verified
Benoit Baudry
dblp:57/3320
0.1 12006 158 · 30 since 2021 2026 verified
Patrick H. Worley
dblp:67/4971
0.0 12002 21 · 0 since 2021 2016 none
Jeffrey S. Vetter
dblp:13/5280
0.0 12002 140 · 25 since 2021 2026 corroborated
Richard G. Hamlet
dblp:h/RichardGHamlet
0.0 12000 26 · 0 since 2021 2001 none
Sergio Antoy
dblp:15/4904
0.0 12000 35 · 0 since 2021 2017 corroborated
Gary T. Leavens
dblp:66/2755
0.0 12007 58 · 7 since 2021 2024 verified
Frédéric Dadeau
dblp:81/6800
0.0 12005 23 · 0 since 2021 2020 corroborated
Mark Utting
dblp:43/3091
0.0 12005 22 · 6 since 2021 2023 verified
Fabrice Bouquet
dblp:23/2889
0.0 12005 26 · 4 since 2021 2025 verified
Bruno Legeard
dblp:03/4157
0.0 12005 30 · 6 since 2021 2026 verified
Edward J. McCluskey
dblp:m/EdwardJMcCluskey
0.0 11994 173 · 0 since 2021 2016 none
Nirmal Saxena
dblp:03/1575
0.0 11994 35 · 5 since 2021 2025 verified
page 1 of 1