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.
Computer architecture, parallel and distributed computing, and storage systems›Distributed systems›distributed system verification topic 20 papers · 61 experts
Sub-topics 2 · with their number of papers; shaded topics divide further
Experts on distributed system verification 61 · 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
Ankush Desai
dblp:19/9862
1.3 22023 21 · 9 since 2021 2026 corroborated
Gregory V. Chockler
dblp:c/GregoryChockler
1.0 12026 46 · 12 since 2021 2026 verified
Azalea Raad
dblp:84/9528
1.0 12026 44 · 26 since 2021 2026 verified
Viktor Vafeiadis
dblp:69/1549
1.0 12026 92 · 25 since 2021 2026 verified
Mark Madler
dblp:402/4813
1.0 12026 1 · 1 since 2021 2026 reported
George Hodgkins
dblp:351/5935
1.0 12026 2 · 2 since 2021 2026 reported
Guillaume Ambal
dblp:283/1893
1.0 12026 7 · 7 since 2021 2026 corroborated
Joseph Izraelevitz
dblp:147/3375
1.0 12026 24 · 9 since 2021 2026 corroborated
Brijesh Dongol
dblp:01/4516
1.0 12026 78 · 37 since 2021 2026 verified
Ivan Beschastnikh
dblp:98/5324
0.9 12025 65 · 26 since 2021 2026 verified
Finn Hackett
dblp:274/7979
0.9 12025 3 · 2 since 2021 2025 corroborated
Yu Huang 0002
dblp:h/YuHuang2
0.8 12024 46 · 13 since 2021 2025 conflict
Xiaoxing Ma
dblp:67/3058
0.8 12024 162 · 56 since 2021 2026 verified
Ruize Tang
dblp:373/4608
0.8 12024 3 · 3 since 2021 2025 corroborated
Xudong Sun 0013
dblp:283/7782
0.8 12024 10 · 9 since 2021 2026 verified
Yuyang Wei
dblp:245/9938
0.8 12024 8 · 7 since 2021 2026 conflict
Lingzhi Ouyang
dblp:234/6112
0.8 12024 5 · 5 since 2021 2025 corroborated
Sanjit A. Seshia
dblp:s/SanjitASeshia
0.7 12023 179 · 49 since 2021 2026 verified
Federico Mora 0002
dblp:82/5093-2
0.7 12023 14 · 11 since 2021 2025 verified
Nuda Zhang
dblp:266/7674
0.7 12023 5 · 4 since 2021 2025 reported
Manos Kapritsos
dblp:23/6695
0.7 12023 24 · 10 since 2021 2026 verified
Upamanyu Sharma
dblp:228/0290
0.7 12023 6 · 4 since 2021 2023 corroborated
Lauren Pick
dblp:223/5412
0.7 12023 8 · 6 since 2021 2025 corroborated
Elizabeth Polgreen
dblp:183/7353
0.7 12023 27 · 22 since 2021 2026 verified
Aarti Gupta
dblp:18/2229
0.7 12023 156 · 32 since 2021 2026 verified
Xi Wang 0005
dblp:08/5760-5
0.5 22017 30 · 2 since 2021 2023 conflict
Marijn Heule
dblp:h/MarijnHeule
0.5 12021 125 · 65 since 2021 2026 verified
Bryan Parno
dblp:49/6324
0.5 12021 78 · 37 since 2021 2026 verified
Ruben Martins
dblp:14/8296
0.5 12021 52 · 25 since 2021 2026 corroborated
Travis Hance
dblp:122/8102
0.5 12021 10 · 7 since 2021 2026 corroborated
Ilya Sergey
dblp:77/9770
0.4 12019 58 · 26 since 2021 2026 verified
Vaastav Anand
dblp:228/5717
0.3 12018 5 · 3 since 2021 2023 corroborated
Arvind Krishnamurthy
dblp:k/AKrishnamurthy
0.3 12017 173 · 34 since 2021 2026 corroborated
Kaiyuan Zhang 0001
dblp:147/6644-1
0.3 12017 10 · 3 since 2021 2026 conflict
Pedro Fonseca 0001
dblp:11/3119-1
0.3 12017 32 · 19 since 2021 2026 verified
Michael D. Ernst
dblp:e/MDErnst
0.2 12015 157 · 20 since 2021 2026 verified
Thomas E. Anderson
dblp:a/ThomasEAnderson
0.2 12015 134 · 16 since 2021 2026 conflict
James R. Wilcox
dblp:38/10688-1
0.2 12015 19 · 5 since 2021 2024 verified
Zachary Tatlock
dblp:24/2888
0.2 12015 44 · 16 since 2021 2025 verified
Doug Woos
dblp:149/9232
0.2 12015 9 · 0 since 2021 2019 none
page 1 of 2 Next →