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 2022-06-01 to 2026-06-01.)
ArticleCitations
A Derivative-based Parser Generator for Visibly Pushdown Grammars20
Editorial: Embracing the Empirical with the New PL Experiments Track19
Sound Static Data Race Verification for C: Is the Race Lost?17
Nested Session Types14
Runtime Complexity Bounds Using Squeezers13
Omnisemantics: Smooth Handling of Nondeterminism13
Rate-Based Session Types for IoT Systems11
A Type Discipline for Message Passing Parallel Programs10
Synthesizing Invariants for Polynomial Programs by Semidefinite Programming10
A Layered Approach to Intensional Analysis in Type Theory10
Universal Composability Is Robust Compilation9
Types for Complexity of Parallel Computation in Pi-calculus9
A Modular Approach to Metatheoretic Reasoning for Extensible Languages9
Deep Dive into ZGC: A Modern Garbage Collector in OpenJDK8
Scaling Inter-procedural Dataflow Analysis on the Cloud7
Observational Equality Meets CIC6
(De/Re)-Composition of Data-Parallel Computations via Multi-Dimensional Homomorphisms6
Choral: Object-oriented Choreographic Programming6
Generic Bidirectional Typing for Dependent Type Theories6
Outcome Logic: A Unified Approach to the Metatheory of Program Logics with Branching Effects5
Strong-separation Logic5
Contextual Linear Types for Differential Privacy5
For a Few Dollars More: Verified Fine-Grained Algorithm Analysis Down to LLVM5
Trocq: Proof Transfer for Free, Beyond Equivalence and Univalence4
Two Parametricities Versus Three Universal Types4
Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search4
A Typed Intermediate Representation for Dynamic Languages4
Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software3
Prisma : A Tierless Language for Enforcing Contract-client Protocols in Decentralized Applications3
Vy ZX: Formal Verification of a Graphical Quantum Language3
Towards Porting Operating Systems with Program Synthesis3
Coma, an Intermediate Verification Language with Explicit Abstraction Barriers3
Monadic Intersection Types, Relationally, and Ordered3
Capturing Types2
SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq2
Polynomial Bounds of CFLOBDDs against BDDs2
LoRe: A Programming Model for Verifiably Safe Local-first Software2
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages2
CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams2
A Brookes-Style Denotational Semantics for Release/Acquire Concurrency2
Side-channel Elimination via Partial Control-flow Linearization2
Satisfiability Modulo Ordering Consistency Theory for SC, TSO, and PSO Memory Models2
The Linear Session Abstract Machine2
StreamAlloc: A Framework for Analyzing and Transforming CUDA Code to Enable Asynchronous Execution2
Passport: Improving Automated Formal Verification Using Identifiers2
0.13231682777405