ACM Transactions on Programming Languages and Systems

Papers
(The TQCC of ACM Transactions on Programming Languages and Systems is 5. 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-05-01 to 2026-05-01.)
ArticleCitations
A Derivative-based Parser Generator for Visibly Pushdown Grammars20
Editorial: Embracing the Empirical with the New PL Experiments Track18
Sound Static Data Race Verification for C: Is the Race Lost?17
Nested Session Types14
Rate-Based Session Types for IoT Systems13
Runtime Complexity Bounds Using Squeezers13
Omnisemantics: Smooth Handling of Nondeterminism13
Synthesizing Invariants for Polynomial Programs by Semidefinite Programming11
A Layered Approach to Intensional Analysis in Type Theory10
A Modular Approach to Metatheoretic Reasoning for Extensible Languages10
A Type Discipline for Message Passing Parallel Programs10
Universal Composability Is Robust Compilation10
Scaling Inter-procedural Dataflow Analysis on the Cloud9
Deep Dive into ZGC: A Modern Garbage Collector in OpenJDK9
Types for Complexity of Parallel Computation in Pi-calculus9
(De/Re)-Composition of Data-Parallel Computations via Multi-Dimensional Homomorphisms7
Generic Bidirectional Typing for Dependent Type Theories7
Observational Equality Meets CIC6
Outcome Logic: A Unified Approach to the Metatheory of Program Logics with Branching Effects6
Choral: Object-oriented Choreographic Programming6
A Typed Intermediate Representation for Dynamic Languages5
Two Parametricities Versus Three Universal Types5
Contextual Linear Types for Differential Privacy5
For a Few Dollars More: Verified Fine-Grained Algorithm Analysis Down to LLVM5
Strong-separation Logic5
0.48396277427673