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›equivalence checking›semantic equivalence checking topic 5 papers · 28 experts · broader topic added to organise its sub-topics
Experts on semantic equivalence checking 28 · 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
Mikael Brockman
dblp:382/0995
0.8 12024 1 · 1 since 2021 2024 none
Dxo
dblp:381/9720
0.8 12024 1 · 1 since 2021 2024 none
Mate Soos
dblp:32/7137
0.8 12024 21 · 13 since 2021 2025 verified
Sheena Panthaplackel
dblp:255/5631
0.8 12024 7 · 5 since 2021 2024 none
Martin Lundfall
dblp:245/1029
0.8 12024 1 · 1 since 2021 2024 none
Zoe Paraskevopoulou
dblp:167/1599
0.8 12024 11 · 6 since 2021 2026 corroborated
Miltiadis Allamanis
dblp:121/4943
0.8 12024 38 · 16 since 2021 2024 verified
Shing-Chi Cheung
dblp:c/SCCheung
0.6 12022 192 · 62 since 2021 2026 verified
Ming Wen 0001
dblp:99/1109-1
0.6 12022 69 · 52 since 2021 2025 conflict
Haiming Chen 0001
dblp:75/248-1
0.6 12022 60 · 18 since 2021 2026 conflict
Meiziniu Li
dblp:280/0059
0.6 12022 7 · 7 since 2021 2026 corroborated
Jialun Cao
dblp:224/1601
0.6 12022 32 · 26 since 2021 2026 verified
Yeting Li
dblp:185/7953
0.6 12022 36 · 23 since 2021 2026 verified
Gabriel Rodríguez 0001
dblp:99/616-1
0.2 12024 22 · 5 since 2021 2025 verified
Zhiru Zhang
dblp:81/4227
0.2 12024 131 · 59 since 2021 2026 corroborated
Louis-Noël Pouchet
dblp:41/5129
0.2 12024 76 · 14 since 2021 2026 corroborated
Emily Tucker
dblp:372/1865
0.2 12024 2 · 2 since 2021 2025 corroborated
Hongzheng Chen
dblp:236/6631
0.2 12024 16 · 13 since 2021 2026 verified
Niansong Zhang
dblp:229/0489
0.2 12024 15 · 14 since 2021 2026 corroborated
Debjit Pal
dblp:15/9843
0.2 12024 22 · 14 since 2021 2026 verified
Scott Wadsworth
dblp:59/8264
0.2 12013 1 · 0 since 2021 2013 none
Shuvendu K. Lahiri
dblp:32/2903
0.2 12013 81 · 23 since 2021 2026 verified
Chris Hawblitzel
dblp:22/3053
0.2 12013 33 · 8 since 2021 2026 corroborated
Kshama Pawar
dblp:133/8194
0.2 12013 1 · 0 since 2021 2013 none
Dave Detlefs
dblp:133/8176
0.2 12013 1 · 0 since 2021 2013 none
Sedar Gokbulut
dblp:133/8132
0.2 12013 1 · 0 since 2021 2013 none
Hammad Hashmi
dblp:133/8120
0.2 12013 1 · 0 since 2021 2013 none
Lakshan Fernando
dblp:133/8118
0.2 12013 1 · 0 since 2021 2013 none
page 1 of 1