ACM Transactions on Programming Languages and Systems

Papers
(The H4-Index of ACM Transactions on Programming Languages and Systems is 10. 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 2021-11-01 to 2025-11-01.)
ArticleCitations
Sound Static Data Race Verification for C: Is the Race Lost?16
A Derivative-based Parser Generator for Visibly Pushdown Grammars16
Prophecy Made Simple15
Bounded Verification of Multi-threaded Programs via Lazy Sequentialization14
Nested Session Types13
Omnisemantics: Smooth Handling of Nondeterminism13
Runtime Complexity Bounds Using Squeezers12
On Time-sensitive Control Dependencies12
Conditional Independence by Typing11
Rate-Based Session Types for IoT Systems11
A Layered Approach to Intensional Analysis in Type Theory10
A Type Discipline for Message Passing Parallel Programs10
Synthesizing Invariants for Polynomial Programs by Semidefinite Programming10
0.02972412109375