ACM Transactions on Programming Languages and Systems

Papers
(The TQCC of ACM Transactions on Programming Languages and Systems is 4. 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 2020-04-01 to 2024-04-01.)
ArticleCitations
A Principled Approach to Selective Context Sensitivity for Pointer Analysis24
RustHorn: CHC-based Verification for Rust Programs22
Armed Cats16
Debugging Large-scale Datalog13
Obsidian12
Compositional Programming10
What’s Decidable About Causally Consistent Shared Memory?10
Gradualizing the Calculus of Inductive Constructions8
Inferring Lower Runtime Bounds for Integer Programs8
A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust7
Ranking and Repulsing Supermartingales for Reachability in Randomized Programs6
Deep Dive into ZGC: A Modern Garbage Collector in OpenJDK6
Polymorphic Iterable Sequential Effect Systems6
Semantic Correctness of Dependence-based Slicing for Interprocedural, Possibly Nonterminating Programs5
Bounded Verification of Multi-threaded Programs via Lazy Sequentialization5
CHAD: Combinatory Homomorphic Automatic Differentiation5
An Extended Account of Trace-relating Compiler Correctness and Secure Compilation5
CSim 2 5
Symbolic Disintegration with a Variety of Base Measures5
TF-Coder: Program Synthesis for Tensor Manipulations5
Passport: Improving Automated Formal Verification Using Identifiers4
A Theory of Slicing for Imperative Probabilistic Programs4
Robustly Safe Compilation, an Efficient Form of Secure Compilation4
Revisiting Iso-Recursive Subtyping4
0.019935131072998