ACM Transactions on Programming Languages and Systems

Papers
(The TQCC of ACM Transactions on Programming Languages and Systems is 6. 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-09-01 to 2025-09-01.)
ArticleCitations
A Derivative-based Parser Generator for Visibly Pushdown Grammars44
Prophecy Made Simple16
Sound Static Data Race Verification for C: Is the Race Lost?15
Nested Session Types14
Bounded Verification of Multi-threaded Programs via Lazy Sequentialization13
Runtime Complexity Bounds Using Squeezers12
Omnisemantics: Smooth Handling of Nondeterminism12
On Time-sensitive Control Dependencies12
Rate-Based Session Types for IoT Devices11
Conditional Independence by Typing11
A Type Discipline for Message Passing Parallel Programs10
Synthesizing Invariants for Polynomial Programs by Semidefinite Programming10
A Layered Approach to Intensional Analysis in Type Theory9
A Modular Approach to Metatheoretic Reasoning for Extensible Languages9
Types for Complexity of Parallel Computation in Pi-calculus8
An Extended Account of Trace-relating Compiler Correctness and Secure Compilation8
Observational Equality Meets CIC7
Generic Bidirectional Typing for Dependent Type Theories7
Universal Composability Is Robust Compilation7
Choral: Object-oriented Choreographic Programming7
Deep Dive into ZGC: A Modern Garbage Collector in OpenJDK7
Outcome Logic: A Unified Approach to the Metatheory of Program Logics with Branching Effects6
0.019128084182739