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-08-01 to 2026-08-01.)
ArticleCitations
A Derivative-based Parser Generator for Visibly Pushdown Grammars22
Editorial: Embracing the Empirical with the New PL Experiments Track21
Sound Static Data Race Verification for C: Is the Race Lost?18
Omnisemantics: Smooth Handling of Nondeterminism15
A Type Discipline for Message Passing Parallel Programs14
Rate-Based Session Types for IoT Systems14
A Layered Approach to Intensional Analysis in Type Theory13
Synthesizing Invariants for Polynomial Programs by Semidefinite Programming13
A Modular Approach to Metatheoretic Reasoning for Extensible Languages11
Universal Composability Is Robust Compilation10
Deep Dive into ZGC: A Modern Garbage Collector in OpenJDK10
Scaling Inter-procedural Dataflow Analysis on the Cloud9
(De/Re)-Composition of Data-Parallel Computations via Multi-Dimensional Homomorphisms9
Generic Bidirectional Typing for Dependent Type Theories9
Observational Equality Meets CIC8
Choral: Object-oriented Choreographic Programming7
Outcome Logic: A Unified Approach to the Metatheory of Program Logics with Branching Effects7
Two Parametricities Versus Three Universal Types6
A Typed Intermediate Representation for Dynamic Languages6
Contextual Linear Types for Differential Privacy6
Prisma : A Tierless Language for Enforcing Contract-client Protocols in Decentralized Applications5
Trocq: Proof Transfer for Free, Beyond Equivalence and Univalence5
Vy ZX: Formal Verification of a Graphical Quantum Language5
Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search5
Project Everest: Perspectives from Developing Industrial-Grade High-Assurance Software5
0.21661400794983