ACM Transactions on Programming Languages and Systems

Papers
(The H4-Index of ACM Transactions on Programming Languages and Systems is 8. 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
What’s Decidable About Causally Consistent Shared Memory?10
Compositional Programming10
Gradualizing the Calculus of Inductive Constructions8
Inferring Lower Runtime Bounds for Integer Programs8
0.015416145324707