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›model checking›partial order reduction›dynamic partial order reduction topic 19 papers · 39 experts · broader topic added to organise its sub-topics
Experts on dynamic partial order reduction 39 · 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
Viktor Vafeiadis
dblp:69/1549
2.1 32025 92 · 25 since 2021 2026 verified
Iason Marmanis
dblp:313/0290
2.1 32025 6 · 6 since 2021 2025 corroborated
Michalis Kokologiannakis
dblp:204/3706
2.1 32025 22 · 16 since 2021 2025 verified
Konstantinos Sagonas
dblp:s/KonstantinosFSagonas
1.2 32024 90 · 15 since 2021 2026 verified
Bengt Jonsson 0001
dblp:j/BengtJonsson
1.2 32024 118 · 15 since 2021 2026 verified
Parosh Aziz Abdulla
dblp:a/PAAbdulla
1.2 32024 161 · 25 since 2021 2026 verified
Miguel Isabel
dblp:177/0262
1.1 32019 11 · 5 since 2021 2024 verified
Elvira Albert
dblp:a/ElviraAlbert
1.0 32019 122 · 20 since 2021 2026 verified
Miguel Gómez-Zamalloa
dblp:26/669
1.0 32019 40 · 2 since 2021 2023 verified
Mohamed Faouzi Atig
dblp:42/4028
0.8 12024 80 · 16 since 2021 2026 corroborated
Sarbojit Das
dblp:353/2026
0.8 12024 2 · 2 since 2021 2024 corroborated
Krishnendu Chatterjee
dblp:92/5602
0.7 22019 305 · 70 since 2021 2026 conflict
Andreas Pavlogiannis
dblp:47/8037
0.7 22019 60 · 34 since 2021 2026 verified
Peter J. Stuckey
dblp:s/PeterJStuckey
0.7 22019 384 · 78 since 2021 2026 verified
Maria Garcia de la Banda
dblp:b/MariaJGarciadelaBanda
0.7 22019 69 · 12 since 2021 2025 verified
Jie Su 0002
dblp:73/4961-2
0.6 12022 12 · 12 since 2021 2026 conflict
Zuchao Yang
dblp:337/1054
0.6 12022 3 · 3 since 2021 2023 corroborated
Jiyu Yang
dblp:337/0615
0.6 12022 7 · 7 since 2021 2025 conflict
Vladimir Gladstein
dblp:313/0522
0.6 12022 1 · 1 since 2021 2022 reported
Bin Yu 0008
dblp:27/116-8
0.6 12022 27 · 25 since 2021 2026 conflict
Cong Tian 0001
dblp:00/5365-1
0.6 12022 144 · 66 since 2021 2026 verified
Stavros Aronis
dblp:86/10871
0.5 22017 7 · 0 since 2021 2018 verified
Chao Wang 0001
dblp:w/ChaoWang
0.4 22015 123 · 23 since 2021 2026 conflict
Markus Kusano
dblp:139/6963
0.4 22015 12 · 0 since 2021 2019 none
Viktor Toman
dblp:215/3408
0.4 12019 5 · 2 since 2021 2021 corroborated
Albert Rubio
dblp:29/6684
0.3 12018 73 · 15 since 2021 2025 verified
Kapil Vaidya
dblp:188/6341
0.3 12018 11 · 9 since 2021 2025 corroborated
Marek Chalupa
dblp:178/3862
0.3 12018 30 · 21 since 2021 2026 verified
Puri Arenas
dblp:a/PuriArenas
0.3 12017 29 · 0 since 2021 2018 verified
Naling Zhang
dblp:163/3176
0.2 12015 1 · 0 since 2021 2015 none
Jeff Huang 0001
dblp:68/4706-1
0.1 22016 57 · 15 since 2021 2025 verified
Shiyou Huang
dblp:187/9672
0.1 12016 4 · 0 since 2021 2019 none
Martin T. Vechev
dblp:93/2189
0.1 12015 189 · 83 since 2021 2025 verified
Anders Møller
dblp:55/6739
0.1 12015 75 · 8 since 2021 2025 verified
Dimitar Dimitrov 0004
dblp:44/4685-2
0.1 12015 10 · 2 since 2021 2025 verified
Veselin Raychev
dblp:28/8412
0.1 12015 23 · 3 since 2021 2025 none
Casper Svenning Jensen
dblp:01/11523
0.1 12015 3 · 0 since 2021 2015 none
Cormac Flanagan
dblp:f/CormacFlanagan
0.1 12005 72 · 1 since 2021 2024 corroborated
Patrice Godefroid
dblp:20/1639
0.1 12005 78 · 1 since 2021 2021 none
page 1 of 1