ACM Transactions on Programming Languages and Systems

Papers
(The median citation count of ACM Transactions on Programming Languages and Systems is 2. The table below lists those papers that are above that threshold based on CrossRef citation counts [max. 250 papers]. The publications cover those that have been published in the past four years, i.e., from 2021-05-01 to 2025-05-01.)
ArticleCitations
A Derivative-based Parser Generator for Visibly Pushdown Grammars38
Prophecy Made Simple26
Sound Static Data Race Verification for C: Is the Race Lost?17
Omnisemantics: Smooth Handling of Nondeterminism15
Nested Session Types12
Runtime Complexity Bounds Using Squeezers11
Bounded Verification of Multi-threaded Programs via Lazy Sequentialization11
Conditional Independence by Typing10
On Time-sensitive Control Dependencies10
Synthesizing Invariants for Polynomial Programs by Semidefinite Programming9
A Type Discipline for Message Passing Parallel Programs9
A Layered Approach to Intensional Analysis in Type Theory8
Armed Cats8
Types for Complexity of Parallel Computation in Pi-calculus8
An Extended Account of Trace-relating Compiler Correctness and Secure Compilation8
Universal Composability Is Robust Compilation8
Safe-by-default Concurrency for Modern Programming Languages7
Deep Dive into ZGC: A Modern Garbage Collector in OpenJDK7
Choral: Object-oriented Choreographic Programming6
(De/Re)-Composition of Data-Parallel Computations via Multi-Dimensional Homomorphisms6
For a Few Dollars More: Verified Fine-Grained Algorithm Analysis Down to LLVM5
Observational Equality Meets CIC5
Generic Bidirectional Typing for Dependent Type Theories5
Strong-separation Logic4
What’s Decidable About Causally Consistent Shared Memory?3
LoRe: A Programming Model for Verifiably Safe Local-first Software3
The Systematic Design of Responsibility Analysis by Abstract Interpretation3
Two Parametricities Versus Three Universal Types3
Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search3
Towards Porting Operating Systems with Program Synthesis3
A Brookes-Style Denotational Semantics for Release/Acquire Concurrency3
Contextual Linear Types for Differential Privacy3
Prisma : A Tierless Language for Enforcing Contract-client Protocols in Decentralized Applications3
Polynomial Bounds of CFLOBDDs against BDDs3
Passport: Improving Automated Formal Verification Using Identifiers3
Capturing Types2
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages2
A Relational Program Logic with Data Abstraction and Dynamic Framing2
A Model Checker for Operator Precedence Languages2
The Tortoise and the Hare Algorithm for Finite Lists, Compositionally2
Satisfiability Modulo Ordering Consistency Theory for SC, TSO, and PSO Memory Models2
Side-channel Elimination via Partial Control-flow Linearization2
Introduction to the Special Issue on ESOP 20212
Multiple Input Parsing and Lexical Analysis2
CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams2
SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq2
On Polymorphic Sessions and Functions2
Gradual C0: Symbolic Execution for Gradual Verification2
0.04643702507019