Demo Data from SIGIR 2026 / recruitment
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 by research domain — the database's own venue-derived domains; a paper can belong to several; active = at least one paper since 2021
Artificial intelligence and machine learning
419,855 active · 726,626 total · 856,312 papers
NeurIPS · AAAI · ESWA · CVPR · ICML · EAAI
Graphics, computer vision, multimedia, augmented reality and games
220,290 active · 419,218 total · 473,177 papers
AAAI · ICASSP · MTA · CVPR · INTERSPEECH · ICCV
Applied, interdisciplinary, general and emerging computing
306,612 active · 637,688 total · 436,260 papers
TGARS · IGARSS · TITS · TII · CogSci · Bioinformatics
Systems, architecture and hardware
148,087 active · 345,638 total · 325,499 papers
IROS · ICRA · VTC · ISCAS · TJSC · IECON
Computer networks
105,468 active · 214,616 total · 249,845 papers
IOT · ICC · GLOBECOM · TWC · TCOM · TMC
Databases, data management, data science and information retrieval
134,049 active · 269,256 total · 249,104 papers
IEEE BigData · CIKM · SIGKDD · TKDE · AEI · SIGIR
Theory of computation
38,447 active · 105,648 total · 202,645 papers
TIT · TCS · DAM · SODA · STOC · ICALP
Human-computer interaction and ubiquitous computing
114,847 active · 268,055 total · 198,672 papers
CHI · SMC · TSMC · SIGCSE · PACMHCI · IJHCI
Software engineering, systems software and programming languages
76,605 active · 178,952 total · 173,661 papers
DATE · COMPSAC · CoDIT · PACM PL · TSC · JSS
Security and privacy
57,527 active · 109,981 total · 102,399 papers
TIFS · TDSC · USENIX Security · TrustCom · CCS · JISA
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.
Artificial intelligence
231,922 experts · 238,182 papers
33 areas · 23,066 topics
Theoretical computer science
84,688 experts · 103,442 papers
15 areas · 12,358 topics
Computer architecture, parallel and distributed computing, and storage systems
119,266 experts · 88,175 papers
18 areas · 10,819 topics
Computer graphics and multimedia
99,217 experts · 74,150 papers
13 areas · 7,821 topics
Computer networks
79,947 experts · 72,281 papers
18 areas · 9,664 topics
Databases, data mining, and information retrieval
83,822 experts · 68,869 papers
17 areas · 7,059 topics
Network and information security
67,706 experts · 53,290 papers
15 areas · 5,550 topics
Interdisciplinary, comprehensive, and emerging computing
111,858 experts · 46,353 papers
9 areas · 5,108 topics
Human-computer interaction and pervasive computing
77,670 experts · 43,820 papers
16 areas · 4,757 topics
Software engineering, system software, and programming languages
53,122 experts · 40,802 papers
14 areas · 4,459 topics
Software engineering, system software, and programming languages›Programming languages and type systems
area
6,812 papers · 9,789 experts
Sub-topics
103 · with their number of papers; shaded topics divide further
type systems 810language design 581language semantics 530domain-specific languages 323type theory 275type inference 263object-oriented programming 220lambda calculus 183functional programming 155logic programming 144abstract data types 94type checking 77aspect-oriented programming 76module systems 60program equivalence 50probabilistic programming 48specification language 40inheritance 36logical relations 35rust 32grammar formalisms 29functional language 28metaprogramming 28parametricity 27term rewriting 27language implementation 26webassembly 24bytecode verification 23information flow control 23evaluation strategies 22programming environment 22language-based security 21syntax 21lazy evaluation 20type system metatheory 20computational effects 19control structures 19dynamic languages 19control operators 18probabilistic programs 18programming paradigms 17control flow 16extensibility 16data types 15language specification 14program schemata 14method dispatch 13programming models 13heap-manipulating programs 12higher-order languages 12concurrent programming languages 10declarative languages 10distributed programming languages 10interoperability 9program specification 9equational theory 8program manipulation 7very high level languages 6metatheory 4proof theory 4rewriting systems 4state transition systems 3
Show 41 smaller topics (under 10 papers each)
managed languages 9grammar engineering 8equational reasoning 7simulation 7coinduction 6lambda expressions 6object sharing 6persistent programming languages 6pointer manipulation 6block-structured languages 5development environment 5elaboration 4equational logic 4exact real arithmetic 4first-class objects 4language comparison 4library design 4list processing 4method combination 4mutable data structures 4program structure 4relational model 4statically typed languages 4systems programming language 4taylor expansion 4visual languages 4behavioural conformance 3encoding 3formal language 3grammar specification 3graph models 3higher-order frame rules 3language-based safety 3lazy initialization 3local variables 3metalanguage 3mobile code 3partial equivalence relations 3sequential programming languages 3serialization 3structured programs 3
Experts on Programming languages and type systems
9,789 · by weight: papers on the topic counted with recency (1 for a paper about it, 0.3 as context, halved every five years), summed over the area's topics