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-11-01 to 2024-11-01.)
ArticleCitations
RustHorn: CHC-based Verification for Rust Programs30
Armed Cats16
What’s Decidable About Causally Consistent Shared Memory?14
Ranking and Repulsing Supermartingales for Reachability in Randomized Programs12
A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust12
Compositional Programming11
Gradualizing the Calculus of Inductive Constructions10
Polymorphic Iterable Sequential Effect Systems10
Passport: Improving Automated Formal Verification Using Identifiers9
Deep Dive into ZGC: A Modern Garbage Collector in OpenJDK9
Bounded Verification of Multi-threaded Programs via Lazy Sequentialization8
TF-Coder: Program Synthesis for Tensor Manipulations7
Fast Graph Simplification for Interleaved-Dyck Reachability6
Securing Interruptible Enclaved Execution on Small Microprocessors6
An Extended Account of Trace-relating Compiler Correctness and Secure Compilation6
Semantic Correctness of Dependence-based Slicing for Interprocedural, Possibly Nonterminating Programs5
Conditional Independence by Typing5
CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams5
On Polymorphic Sessions and Functions5
CSim 2 5
CHAD: Combinatory Homomorphic Automatic Differentiation5
Robustly Safe Compilation, an Efficient Form of Secure Compilation5
0.018872022628784