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 analysis›specification mining›dynamic invariant detection topic 16 papers · 39 experts · broader topic added to organise its sub-topics
Experts on dynamic invariant detection 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
Deepak Kapur
dblp:k/DeepakKapur
0.5 32014 147 · 10 since 2021 2025 verified
Stephanie Forrest
dblp:24/2144
0.5 32014 83 · 14 since 2021 2025 verified
ThanhVu Nguyen
dblp:19/7057
0.5 32014 39 · 19 since 2021 2026 corroborated
Westley Weimer
dblp:05/4127
0.5 32014 115 · 27 since 2021 2025 verified
Yannis Smaragdakis
dblp:s/YSmaragdakis
0.4 42013 101 · 4 since 2021 2025 verified
Juan C. Alonso
dblp:299/8769
0.4 22023 8 · 8 since 2021 2026 verified
Christoph Csallner
dblp:44/5831
0.2 32008 32 · 6 since 2021 2026 verified
Antonio Ruiz Cortés
dblp:c/AntonioRuizCortes
0.2 12023 115 · 30 since 2021 2026 verified
Sergio Segura
dblp:97/1263
0.2 12023 49 · 18 since 2021 2026 verified
Sarfraz Khurshid
dblp:k/SarfrazKhurshid
0.2 12014 160 · 10 since 2021 2026 corroborated
Neha Rungta
dblp:66/4832
0.2 12014 37 · 9 since 2021 2025 corroborated
Suzette Person
dblp:44/603
0.2 12014 22 · 1 since 2021 2021 none
Guowei Yang 0001
dblp:43/3366-1
0.2 12014 42 · 26 since 2021 2026 conflict
Lingming Zhang 0001
dblp:27/7057-1
0.2 12014 111 · 48 since 2021 2025 conflict
Christoph Reichenbach
dblp:98/4527
0.2 12013 26 · 9 since 2021 2025 verified
Kaituo Li
dblp:64/7615
0.2 12013 6 · 0 since 2021 2014 none
Michal Young
dblp:07/2946
0.2 12013 32 · 2 since 2021 2023 none
Matthew Staats
dblp:88/6925
0.1 12012 26 · 0 since 2021 2016 none
Shin Hong
dblp:28/7539
0.1 12012 27 · 13 since 2021 2025 corroborated
Gregg Rothermel
dblp:25/6796
0.1 12012 144 · 5 since 2021 2025 conflict
Moonzoo Kim
dblp:11/6551
0.1 12012 49 · 4 since 2021 2025 corroborated
Bertrand Meyer 0001
dblp:m/BertrandMeyer
0.1 12011 95 · 7 since 2021 2026 verified
Carlo A. Furia
dblp:78/6422
0.1 12011 80 · 28 since 2021 2026 corroborated
Yu Pei 0001
dblp:76/8304-1
0.1 12011 43 · 25 since 2021 2026 verified
Michael Steindorfer
dblp:73/10043
0.1 12011 1 · 0 since 2021 2011 none
Martín Nordio
dblp:18/6586
0.1 12011 20 · 0 since 2021 2017 none
Hannes Roth
dblp:09/10043
0.1 12011 1 · 0 since 2021 2011 none
Yi Wei 0001
dblp:04/470-1
0.1 12011 8 · 0 since 2021 2014 corroborated
Alexander Horton
dblp:02/10045
0.1 12011 1 · 0 since 2021 2011 unresolved
Michael D. Ernst
dblp:e/MDErnst
0.1 22004 157 · 20 since 2021 2026 verified
Tao Xie 0001
dblp:x/TaoXie
0.1 12008 315 · 91 since 2021 2026 conflict
Nikolai Tillmann
dblp:81/6785
0.1 12008 59 · 1 since 2021 2022 corroborated
Yuriy Brun
dblp:51/1518
0.0 12004 80 · 17 since 2021 2026 verified
Monica S. Lam
dblp:l/MonicaSLam
0.0 12002 109 · 14 since 2021 2025 conflict
Sudheendra Hangal
dblp:13/2537
0.0 12002 12 · 0 since 2021 2020 none
Jeremy W. Nimmer
dblp:01/3287
0.0 12002 2 · 0 since 2021 2002 none
Roong-Ko Doong
dblp:13/6747
0.0 12006 2 · 0 since 2021 2006 none
Marat Boshernitsan
dblp:03/5124
0.0 12006 4 · 0 since 2021 2008 none
Alberto Savoia
dblp:02/6463
0.0 12006 3 · 0 since 2021 2007 none
page 1 of 1