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›system verification›kernel verification topic 23 papers · 87 experts · broader topic added to organise its sub-topics
Experts on kernel verification 87 · 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
Kaiyuan Zhang 0001
dblp:147/6644-1
0.3 12017 10 · 3 since 2021 2026 conflict
Ming Fu
dblp:33/5051
0.2 12016 29 · 12 since 2021 2026 conflict
Joshua Lockerman
dblp:180/8181
0.2 12016 4 · 0 since 2021 2018 none
Hao Chen 0023
dblp:175/3324-23
0.2 12016 11 · 6 since 2021 2026 conflict
Fengwei Xu
dblp:168/2359
0.2 12016 2 · 1 since 2021 2024 unresolved
Xinyu Feng 0001
dblp:06/3494-1
0.2 12016 48 · 9 since 2021 2025 conflict
Shu-Chun Weng
dblp:54/1737
0.2 12015 11 · 0 since 2021 2019 none
Haozhong Zhang
dblp:155/8131
0.2 12015 4 · 0 since 2021 2018 none
Jérémie Koenig
dblp:153/2656
0.2 12015 11 · 6 since 2021 2025 verified
Tahina Ramananandro
dblp:04/10
0.2 12015 25 · 12 since 2021 2026 verified
Gernot Heiser
dblp:h/GernotHeiser
0.2 22016 64 · 8 since 2021 2025 verified
Kevin Elphinstone
dblp:e/KElphinstone
0.2 22016 14 · 0 since 2021 2019 reported
Yongwang Zhao
dblp:70/2470
0.1 12021 58 · 21 since 2021 2026 verified
Chengtao Cao
dblp:27/4827
0.1 12021 3 · 1 since 2021 2021 none
Jean Raphael Ngnie Sighom
dblp:207/4550
0.1 12021 1 · 1 since 2021 2021 none
Shihong Zou
dblp:16/4301
0.1 12021 39 · 12 since 2021 2026 corroborated
Andrew Baumann
dblp:53/6957
0.1 12019 22 · 2 since 2021 2024 corroborated
Thomas Sewell
dblp:98/1593
0.1 12009 20 · 6 since 2021 2025 conflict
Rafal Kolanski
dblp:87/2179
0.1 12009 7 · 0 since 2021 2014 none
David A. Cock
dblp:76/5940
0.1 12009 15 · 7 since 2021 2024 verified
Gerwin Klein
dblp:74/2171
0.1 12009 53 · 5 since 2021 2026 verified
Simon Winwood
dblp:73/608
0.1 12009 6 · 1 since 2021 2024 corroborated
Dhammika Elkaduwe
dblp:65/6124
0.1 12009 1 · 0 since 2021 2009 none
Kai Engelhardt
dblp:54/1933
0.1 12009 14 · 0 since 2021 2018 none
Harvey Tuch
dblp:53/6157
0.1 12009 6 · 0 since 2021 2012 none
Philip Derrin
dblp:45/5675
0.1 12009 4 · 0 since 2021 2009 none
June Andronick
dblp:11/6441
0.1 12009 23 · 2 since 2021 2022 none
Michael Norrish
dblp:10/3457
0.1 12009 56 · 15 since 2021 2025 verified
David Costanzo
dblp:84/11041
0.1 12016 5 · 0 since 2021 2020 none
Jonathan S. Shapiro
dblp:s/JonathanSShapiro
0.0 12004 10 · 0 since 2021 2008 none
Hao Chen 0003
dblp:86/475-3
0.0 12004 81 · 22 since 2021 2026 conflict
Matthew Stillerman
dblp:73/4772
0.0 11995 3 · 0 since 2021 2006 none
Carla Marceau
dblp:49/4371
0.0 11995 10 · 0 since 2021 2006 none
David Guaspari
dblp:40/2258
0.0 11995 6 · 0 since 2021 2017 none
Mike Seager
dblp:120/5186
0.0 11995 1 · 0 since 2021 1995 none
Ben L. Di Vito
dblp:84/4357
0.0 21990 5 · 0 since 2021 2000 none
E. R. Anderson 0001
dblp:52/5522
0.0 11990 4 · 0 since 2021 1992 none
Michael L. Johnston
dblp:319/7158
0.0 11990 1 · 0 since 2021 1990 none
Paul H. Palmquist
dblp:319/6792
0.0 11990 1 · 0 since 2021 1990 none
William R. Bevier
dblp:30/5078
0.0 11989 9 · 0 since 2021 1997 none
← Prev page 2 of 3 Next →