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 2021-05-01 to 2025-05-01.)
ArticleCitations
A Derivative-based Parser Generator for Visibly Pushdown Grammars38
Prophecy Made Simple26
Sound Static Data Race Verification for C: Is the Race Lost?17
Omnisemantics: Smooth Handling of Nondeterminism15
Nested Session Types12
Runtime Complexity Bounds Using Squeezers11
Bounded Verification of Multi-threaded Programs via Lazy Sequentialization11
On Time-sensitive Control Dependencies10
Conditional Independence by Typing10
A Type Discipline for Message Passing Parallel Programs9
Synthesizing Invariants for Polynomial Programs by Semidefinite Programming9
0.10969591140747