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 2020-09-01 to 2024-09-01.)
ArticleCitations
RustHorn: CHC-based Verification for Rust Programs28
Armed Cats16
Obsidian14
A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust12
What’s Decidable About Causally Consistent Shared Memory?12
Compositional Programming11
Ranking and Repulsing Supermartingales for Reachability in Randomized Programs11
Gradualizing the Calculus of Inductive Constructions10
Inferring Lower Runtime Bounds for Integer Programs10
Polymorphic Iterable Sequential Effect Systems10
Passport: Improving Automated Formal Verification Using Identifiers9
Deep Dive into ZGC: A Modern Garbage Collector in OpenJDK8
TF-Coder: Program Synthesis for Tensor Manipulations7
Bounded Verification of Multi-threaded Programs via Lazy Sequentialization7
CSim 2 5
CHAD: Combinatory Homomorphic Automatic Differentiation5
On Polymorphic Sessions and Functions5
CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams5
Conditional Independence by Typing5
Semantic Correctness of Dependence-based Slicing for Interprocedural, Possibly Nonterminating Programs5
An Extended Account of Trace-relating Compiler Correctness and Secure Compilation5
0.018718004226685