Leaderboards/Logic, programming, and type systems

Logic, programming, and type systems

Last updated July 7, 2026

Rising Stars

New and hot

Rising Stars Researchers

1
L. Cheng
Hong Kong University of Science and Technology
2
Trieu H. Trinh
Google (United States)
3
Yusuke Fujiwara
Kyoto University
4
Sven Keidel
Technische Universität Darmstadt
5
Milla Valnet
Sorbonne Université
6
Emily First
University of California San Diego
7
Eashan Hatti
Yale University
8
Michael Sammler
Institute of Science and Technology Austria
9
Alireza Mahzoon
University of Bremen
10
Kevin Batz
University College London

Rising Stars Papers

1
Solving olympiad geometry without human demonstrations
Nature|2024
254 cit.
2
Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs
Proceedings of the ACM on Programming Languages|2024
11 cit.
3
Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification
Unknown Journal|2025
4 cit.
4
Polynomial Formal Verification of Arithmetic Circuits
Foundations and Trends® in Electronic Design Automation|2024
1 cit.
5
The Ultimate Conditional Syntax
Proceedings of the ACM on Programming Languages|2024
1 cit.
6
Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back
Proceedings of the ACM on Programming Languages|2025
1 cit.
7
Chamelon : un minimiseur pour et en OCaml
HAL (Le Centre pour la Communication Scientifique Directe)|2024
0 cit.
8
Endangered by the Language But Saved by the Compiler: Robust Safety via Semantic Back-Translation
Proceedings of the ACM on Programming Languages|2026
0 cit.
9
Quantifier Elimination and Craig Interpolation: The Quantitative Way
RWTH Publications (RWTH Aachen)|2025
0 cit.
10
DelExp: a Relational Container Abstraction with Applications to Compositional Analysis
HAL (Le Centre pour la Communication Scientifique Directe)|2026
0 cit.

Emerging Leaders

Gaining momentum

Emerging Leaders Researchers

1
JF Bastien
Apple (United States)
2
Oleksandr Zinenko
Google (United States)
3
Lionel Parreaux
Hong Kong University of Science and Technology
4
Thang Luong
Stanford University
5
Karol Pąk
University of Białystok
6
Théo Winterhalter
Centre Inria de Saclay
7
Dominique Devriese
KU Leuven
8
John Van Tassel
Boston College
9
Ambrus Kaposi
University of Nottingham
10
Anaïs Querol
IMDEA Software Institute

Emerging Leaders Papers

1
Solving olympiad geometry without human demonstrations
Nature|2024
254 cit.
2
FreshLLMs: Refreshing Large Language Models with Search Engine Augmentation
Unknown Journal|2024
54 cit.
3
MLstruct: principal type inference in a Boolean algebra of structural types
Proceedings of the ACM on Programming Languages|2022
27 cit.
4
High-Performance GPU-to-CPU Transpilation and Optimization via High-Level Parallel Constructs
Unknown Journal|2023
25 cit.
5
Verified symbolic execution with Kripke specification monads (and no meta-programming)
Proceedings of the ACM on Programming Languages|2022
12 cit.
6
When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism
Proceedings of the ACM on Programming Languages|2024
10 cit.
7
Correct and Complete Type Checking and Certified Erasure for <scp>Coq</scp> , in <scp>Coq</scp>
Journal of the ACM|2024
9 cit.
8
Fast and Optimal Extraction for Sparse Equality Graphs
Proceedings of the ACM on Programming Languages|2024
9 cit.
9
CHERI-TrEE: Flexible enclaves on capability machines
Unknown Journal|2023
8 cit.
10
Plausible sealing for gradual parametricity
Proceedings of the ACM on Programming Languages|2022
7 cit.

Current Senior Leaders

Established & currently active

Current Senior Leaders Researchers

1
Matthias Felleisen
Rice University
2
Moshe Y. Vardi
Rice University
3
Philip Wadler
University of Edinburgh
4
Martin Rinard
National University of Singapore
5
Gordon Plotkin
University of Edinburgh
6
Frank Pfenning
Carnegie Mellon University
7
Vikram Adve
University of Illinois Urbana-Champaign
8
Simon Peyton Jones
University of Glasgow
9
David Makinson
The University of Queensland
10
Sergio Yovine
Verimag

Current Senior Leaders Papers

1
On the logic of theory change: Partial meet contraction and revision functions
Journal of Symbolic Logic|1985
3.2k cit.
2
LLVM: A compilation framework for lifelong program analysis &amp; transformation
Unknown Journal|2004
2.5k cit.
3
A Structural Approach to Operational Semantics
Unknown Journal|2004
2k cit.
4
The algorithmic analysis of hybrid systems
Theoretical Computer Science|1995
1.9k cit.
5
An Automata-Theoretic Approach to Automatic Program Verification
ORBi (University of Liège)|1986
1.3k cit.
6
Imperative functional programming
Unknown Journal|1993
1.2k cit.
7
The complexity of relational query languages (Extended Abstract)
Unknown Journal|1982
1.2k cit.
8
Call-by-name, call-by-value and the λ-calculus
Theoretical Computer Science|1975
1.2k cit.
9
A Syntactic Approach to Type Soundness
Information and Computation|1994
1.1k cit.
10
LCF considered as a programming language
Theoretical Computer Science|1977
1.1k cit.

Reagents for Logic, programming, and type systems

Citation-validated products used in this field

🔥 Trending

Gaining adoption fast

⭐ Top Rated

Best all-around

🌟 All-Time

Most validated

Cell Signaling TechnologyEvidence 66

Caspase-1 (D7F10) Rabbit Monoclonal Antibody (BSA and Azide Free)

#85315$865
View Evidence →
Cell Signaling TechnologyEvidence 69

MDM2 (F7W7X) Rabbit Monoclonal Antibody (BSA and Azide Free)

#62464$865
View Evidence →