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 2021-06-01 to 2025-06-01.)
ArticleCitations
A Derivative-based Parser Generator for Visibly Pushdown Grammars39
Sound Static Data Race Verification for C: Is the Race Lost?26
Prophecy Made Simple18
Nested Session Types15
Bounded Verification of Multi-threaded Programs via Lazy Sequentialization15
Omnisemantics: Smooth Handling of Nondeterminism12
Runtime Complexity Bounds Using Squeezers11
On Time-sensitive Control Dependencies10
A Type Discipline for Message Passing Parallel Programs10
Conditional Independence by Typing10
A Modular Approach to Metatheoretic Reasoning for Extensible Languages9
Synthesizing Invariants for Polynomial Programs by Semidefinite Programming9
A Layered Approach to Intensional Analysis in Type Theory9
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
Armed Cats8
Deep Dive into ZGC: A Modern Garbage Collector in OpenJDK7
Safe-by-default Concurrency for Modern Programming Languages6
Generic Bidirectional Typing for Dependent Type Theories6
(De/Re)-Composition of Data-Parallel Computations via Multi-Dimensional Homomorphisms6
Choral: Object-oriented Choreographic Programming5
Strong-separation Logic5
For a Few Dollars More: Verified Fine-Grained Algorithm Analysis Down to LLVM5
Observational Equality Meets CIC5
0.026576995849609