ACM Transactions on Programming Languages and Systems

Papers
(The median citation count of ACM Transactions on Programming Languages and Systems is 2. 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-02-01 to 2025-02-01.)
ArticleCitations
A Relational Program Logic with Data Abstraction and Dynamic Framing30
Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search16
Focusing on Refinement Typing14
Adversities in Abstract Interpretation - Accommodating Robustness by Abstract Interpretation12
Typed–Untyped Interactions: A Comparative Analysis12
Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigms11
Homeostasis: Design and Implementation of a Self-Stabilizing Compiler10
What’s Decidable About Causally Consistent Shared Memory?10
A Derivative-based Parser Generator for Visibly Pushdown Grammars9
A Layered Approach to Intensional Analysis in Type Theory9
A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust9
TeraHeap : Exploiting Flash Storage for Mitigating DRAM Pressure in Managed Big Data Frameworks7
A Programming Language for Data Privacy with Accuracy Estimations6
Armed Cats6
A First-order Logic with Frames6
A Model Checker for Operator Precedence Languages5
Limits and Difficulties in the Design of Under-Approximation Abstract Domains5
Prophecy Made Simple5
On Polymorphic Sessions and Functions5
Polymorphic Iterable Sequential Effect Systems5
Introduction to the Special Issue on ESOP 20215
RustHorn: CHC-based Verification for Rust Programs4
Robustly Safe Compilation, an Efficient Form of Secure Compilation4
TF-Coder: Program Synthesis for Tensor Manipulations4
An Extended Account of Trace-relating Compiler Correctness and Secure Compilation4
Prisma : A Tierless Language for Enforcing Contract-client Protocols in Decentralized Applications4
LoRe: A Programming Model for Verifiably Safe Local-first Software3
Nested Session Types3
Exploiting Partially Context-sensitive Profiles to Improve Performance of Hot Code3
Multiple Input Parsing and Lexical Analysis3
Deep Dive into ZGC: A Modern Garbage Collector in OpenJDK3
Synchronous Deterministic Parallel Programming for Multi-Cores with ForeC3
Types for Complexity of Parallel Computation in Pi-calculus3
Bounded Abstract Effects2
A Fresh Look at Zones and Octagons2
Securing Interruptible Enclaved Execution on Small Microprocessors2
Immutability and Encapsulation for Sound OO Information Flow Control2
Bounded Verification of Multi-threaded Programs via Lazy Sequentialization2
Optimization-Aware Compiler-Level Event Profiling2
Universal Composability Is Robust Compilation2
Towards Porting Operating Systems with Program Synthesis2
Omnisemantics: Smooth Handling of Nondeterminism2
Passport: Improving Automated Formal Verification Using Identifiers2
Gradual C0: Symbolic Execution for Gradual Verification2
CHAD: Combinatory Homomorphic Automatic Differentiation2
0.19608497619629