ACM Transactions on Programming Languages and Systems

Papers
(The H4-Index of ACM Transactions on Programming Languages and Systems is 9. 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
A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust12
Ranking and Repulsing Supermartingales for Reachability in Randomized Programs12
Compositional Programming11
Polymorphic Iterable Sequential Effect Systems10
Gradualizing the Calculus of Inductive Constructions10
Passport: Improving Automated Formal Verification Using Identifiers9
Deep Dive into ZGC: A Modern Garbage Collector in OpenJDK9
0.023094892501831