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 2022-08-01 to 2026-08-01.)
ArticleCitations
A Derivative-based Parser Generator for Visibly Pushdown Grammars22
Editorial: Embracing the Empirical with the New PL Experiments Track21
Sound Static Data Race Verification for C: Is the Race Lost?18
Omnisemantics: Smooth Handling of Nondeterminism15
A Type Discipline for Message Passing Parallel Programs14
Rate-Based Session Types for IoT Systems14
Synthesizing Invariants for Polynomial Programs by Semidefinite Programming13
A Layered Approach to Intensional Analysis in Type Theory13
A Modular Approach to Metatheoretic Reasoning for Extensible Languages11
Deep Dive into ZGC: A Modern Garbage Collector in OpenJDK10
Universal Composability Is Robust Compilation10
0.070696115493774