---
title: "Proceedings of the ACM on Programming Languages 2024 — all"
description: "All 367 papers of Proceedings of the ACM on Programming Languages 2024 · page 4 of 4, the most cited first; those with our summary link to it."
canonical: "https://research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2024/papers/page/4/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2024/papers/page/4/)

[home](https://md.research.elamur.ai/free/en/) / [venues](https://md.research.elamur.ai/free/en/venues/) / [Proceedings of the ACM on Programming…](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/) / [2024](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2024/) / [papers](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2024/papers/) / page 4

# Proceedings of the ACM on Programming Languages 2024: all accepted papers

367 papers · page 4 of 4 · the most cited first · [← Proceedings of the ACM on Programming Languages 2024](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2024/)

[← prev](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2024/papers/page/3/) [1](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2024/papers/) [2](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2024/papers/page/2/) [3](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2024/papers/page/3/) **4**

301. **[Sensitivity by Parametricity ↗](https://doi.org/10.1145/3689726)**Elisabet Lobo-Vesga, Alejandro Russo, Marco Gaboardi et al.*2 citations*
302. **[Shoggoth: A Formal Foundation for Strategic Rewriting ↗](https://doi.org/10.1145/3633211)**Xueying Qin, Liam O’Connor, Rob van Glabbeek et al.*2 citations*
303. **[Snapshottable Stores ↗](https://doi.org/10.1145/3674637)**Clément Allain, Basile Clément, Alexandre Moine et al.*2 citations*
304. **[Space-Efficient Polymorphic Gradual Typing, Mostly Parametric ↗](https://doi.org/10.1145/3656441)**Atsushi Igarashi, Shota Ozaki, Taro Sekiyama et al.*2 citations*
305. **[The Ultimate Conditional Syntax ↗](https://doi.org/10.1145/3689746)**Luyu Cheng, Lionel Parreaux*2 citations*
306. **[Verified Lock-Free Session Channels with Linking ↗](https://doi.org/10.1145/3689732)**Thomas Somers, Robbert Krebbers*2 citations*
307. **[A Lightweight Polyglot Code Transformation Language ↗](https://doi.org/10.1145/3656429)**Ameya Ketkar, Daniel Ramos, Lazaro Clapp et al.*1 citation*
308. **[A Pure Demand Operational Semantics with Applications to Program Analysis ↗](https://doi.org/10.1145/3649852)**Scott F. Smith, Robert Zhang*1 citation*
309. **[A Runtime System for Interruptible Query Processing: When Incremental Computing Meets Fine-Grained Parallelism ↗](https://doi.org/10.1145/3689772)**Jeff Eymer, Philip Dexter, Joseph Raskind et al.*1 citation*
310. **[AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming ↗](https://doi.org/10.1145/3689774)**Robert Schenck, Nikolaj Hey Hinnerskov, Troels Henriksen et al.*1 citation*
311. **[Automated Robustness Verification of Concurrent Data Structure Libraries against Relaxed Memory Models ↗](https://doi.org/10.1145/3689802)**Kartik Nagar, Anmol Sahoo, Romit Roy Chowdhury et al.*1 citation*
312. **[Blame-Correct Support for Receiver Properties in Recursively-Structured Actor Contracts ↗](https://doi.org/10.1145/3674643)**Bram Vandenbogaerde, Quentin Stiévenart, Coen De Roover*1 citation*
313. **[Call-by-Unboxed-Value ↗](https://doi.org/10.1145/3674654)**Paul Downen*1 citation*
314. **[Compositional Semantics for Shared-Variable Concurrency ↗](https://doi.org/10.1145/3656399)**Mikhail Svyatlovskiy, Shai Mermelstein, Ori Lahav*1 citation*
315. **[Compositionality and Observational Refinement for Linearizability with Crashes ↗](https://doi.org/10.1145/3689792)**Arthur Oliveira Vale, Zhongye Wang, Yixuan Chen et al.*1 citation*
316. **[Computing Precise Control Interface Specifications ↗](https://doi.org/10.1145/3689743)**Eric Hayden Campbell, Hossein Hojjat, Nate Foster*1 citation*
317. **[CoolerSpace: A Language for Physically Correct and Computationally Efficient Color Programming ↗](https://doi.org/10.1145/3689741)**Ethan Chen, Jiwon Chang, Yuhao Zhu*1 citation*
318. **[Deriving Dependently-Typed OOP from First Principles ↗](https://doi.org/10.1145/3649846)**David Binder, Ingo Skupin, Tim Süberkrüb et al.*1 citation*
319. **[Double-Ended Bit-Stealing for Algebraic Data Types ↗](https://doi.org/10.1145/3674628)**Martin Elsman*1 citation*
320. **[Effectful Software Contracts ↗](https://doi.org/10.1145/3632930)**Cameron Moy, Christos Dimoulas, Matthias Felleisen*1 citation*
321. **[Example-Based Reasoning about the Realizability of Polymorphic Programs ↗](https://doi.org/10.1145/3674636)**Niek Mulleners, Johan T. Jeuring, Bastiaan J. Heeren*1 citation*
322. **[Extending the C/C++ Memory Model with Inline Assembly ↗](https://doi.org/10.1145/3689749)**Paulo Emílio de Vilhena, Ori Lahav, Viktor Vafeiadis et al.*1 citation*
323. **[Floating-Point TVPI Abstract Domain ↗](https://doi.org/10.1145/3656395)**Joao Rivera, Franz Franchetti, Markus Püschel*1 citation*
324. **[Fully Verified Instruction Scheduling ↗](https://doi.org/10.1145/3689739)**Ziteng Yang, Jun Shirako, Vivek Sarkar*1 citation*
325. **[Gradient: Gradual Compartmentalization via Object Capabilities Tracked in Types ↗](https://doi.org/10.1145/3689751)**Aleksander Boruch-Gruszecki, Adrien Ghosn, Mathias Payer et al.*1 citation*
326. **[Gradually Typed Languages Should Be Vigilant! ↗](https://doi.org/10.1145/3649842)**Olek Gierczak, Lucy Menon, Christos Dimoulas et al.*1 citation*
327. **[Hashing Modulo Context-Sensitive α-Equivalence ↗](https://doi.org/10.1145/3656459)**Lasse Blaauwbroek, Miroslav Olšák, Herman Geuvers*1 citation*
328. **[Imperative Compositional Programming: Type Sound Distributive Intersection Subtyping with References via Bidirectional Typing ↗](https://doi.org/10.1145/3689782)**Wenjia Ye, Yaozhu Sun, Bruno C. d. S. Oliveira*1 citation*
329. **[Intensional Functions ↗](https://doi.org/10.1145/3689714)**Zachary Palmer, Nathaniel Wesley Filardo, Ke Wu*1 citation*
330. **[Maximum Consensus Floating Point Solutions for Infeasible Low-Dimensional Linear Programs with Convex Hull as the Intermediate Representation ↗](https://doi.org/10.1145/3656427)**Mridul Aanjaneya, Santosh Nagarakatte*1 citation*
331. **[Message-Observing Sessions ↗](https://doi.org/10.1145/3649859)**Ryan Kavanagh, Brigitte Pientka*1 citation*
332. **[Modeling Dynamic (De)Allocations of Local Memory for Translation Validation ↗](https://doi.org/10.1145/3649863)**Abhishek Rose, Sorav Bansal*1 citation*
333. **[Monotonicity and the Precision of Program Analysis ↗](https://doi.org/10.1145/3632897)**Marco Campion, Mila Dalla Preda, Roberto Giacobazzi et al.*1 citation*
334. **[On the Expressive Power of Languages for Static Variability ↗](https://doi.org/10.1145/3689747)**Paul Maximilian Bittner, Alexander Schultheiß, Benjamin Moosherr et al.*1 citation*
335. **[On the Operational Theory of the CPS-Calculus: Towards a Theoretical Foundation for IRs ↗](https://doi.org/10.1145/3674630)**Paulo Henrique Torrens, Dominic A. Orchard, Cristiano Damiani Vasconcellos*1 citation*
336. **[Programmable MCMC with Soundly Composed Guide Programs ↗](https://doi.org/10.1145/3689748)**Long Pham, Di Wang, Feras A. Saad et al.*1 citation*
337. **[Reachability in Continuous Pushdown VASS ↗](https://doi.org/10.1145/3633279)**A. R. Balasubramanian, Rupak Majumdar, Ramanathan S. Thinniyam et al.*1 citation*
338. **[Reward Augmentation in Reinforcement Learning for Testing Distributed Systems ↗](https://doi.org/10.1145/3689779)**Andrea Borgarelli, Constantin Enea, Rupak Majumdar et al.*1 citation*
339. **[SMT Theory Arbitrage: Approximating Unbounded Constraints using Bounded Theories ↗](https://doi.org/10.1145/3656387)**Benjamin Mikek, Qirun Zhang*1 citation*
340. **[Scaling Abstraction Refinement for Program Analyses in Datalog using Graph Neural Networks ↗](https://doi.org/10.1145/3689765)**Zhenyu Yan, Xin Zhang, Peng Di*1 citation*
341. **[Semantics Lifting for Syntactic Sugar ↗](https://doi.org/10.1145/3689758)**Zhichao Guan, Yiyuan Cao, Tailai Yu et al.*1 citation*
342. **[Syntactic Code Search with Sequence-to-Tree Matching: Supporting Syntactic Search with Incomplete Code Fragments ↗](https://doi.org/10.1145/3656460)**Gabriel Matute, Wode Ni, Titus Barik et al.*1 citation*
343. **[Synthesizing Formal Semantics from Executable Interpreters ↗](https://doi.org/10.1145/3689724)**Jiangyi Liu, Charlie Murphy, Anvay Grover et al.*1 citation*
344. **[Taypsi: Static Enforcement of Privacy Policies for Policy-Agnostic Oblivious Computation ↗](https://doi.org/10.1145/3649861)**Qianchuan Ye, Benjamin Delaware*1 citation*
345. **[Unifying Static and Dynamic Intermediate Languages for Accelerator Generators ↗](https://doi.org/10.1145/3689790)**Caleb Kim, Pai Li, Anshuman Mohan et al.*1 citation*
346. **[libLISA: Instruction Discovery and Analysis on x86-64 ↗](https://doi.org/10.1145/3689723)**Jos Craaijo, Freek Verbeek, Binoy Ravindran*1 citation*
347. **[A Case for First-Class Environments ↗](https://doi.org/10.1145/3689800)**Jinhao Tan, Bruno C. d. S. Oliveira
348. **[Beyond Trees: Calculating Graph-Based Compilers (Functional Pearl) ↗](https://doi.org/10.1145/3674638)**Patrick Bahr, Graham Hutton
349. **[DisLog: A Separation Logic for Disentanglement ↗](https://doi.org/10.1145/3632853)**Alexandre Moine, Sam Westrick, Stephanie Balzer
350. **[Disentanglement with Futures, State, and Interaction ↗](https://doi.org/10.1145/3632895)**Jatin Arora, Stefan K. Muller, Umut A. Acar
351. **[Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions ↗](https://doi.org/10.18154/rwth-2024-05212)**Lutz Klinkenberg, Blumenthal, Christian, Chen, Mingshuai et al.
352. **[Extending the C/C++ Memory Model with Inline Assembly – Technical Appendix ↗](https://doi.org/10.5281/zenodo.13625916)**Paulo Emílio de Vilhena, Ori Lahav, Viktor Vafeiadis et al.
353. **[Functional Programming in Financial Markets (Experience Report) ↗](https://doi.org/10.1145/3674633)**Atze Dijkstra, José Pedro Magalhães, Pierre Néron
354. **[Gradual Indexed Inductive Types ↗](http://dx.doi.org/10.1145/3674644)**Stefan Malewski, Kenji Maillard, Nicolas Tabareau et al.
355. **[Inductive Diagrams for Causal Reasoning ↗](https://doi.org/10.1145/3649830)**Jonathan Castello, Patrick Redmond, Lindsey Kuper
356. **[MEA2: A Lightweight Field-Sensitive Escape Analysis with Points-to Calculation for Golang ↗](https://doi.org/10.1145/3689759)**Boyao Ding, Qingwei Li, Yu Zhang et al.
357. **[Making Sense of Multi-threaded Application Performance at Scale with NonSequitur ↗](https://doi.org/10.1145/3689793)**Augustine Wong, Paul Bucci, Ivan Beschastnikh et al.
358. **[Mark–Scavenge: Waiting for Trash to Take Itself Out ↗](https://doi.org/10.1145/3689791)**Jonas Norlinder, Erik Österlund, David Black-Schaffer et al.
359. **[Mechanizing the CMP Abstraction for Parameterized Verification ↗](https://doi.org/10.1145/3649858)**Yongjian Li, Bohua Zhan, Jun Pang
360. **[Parallel Algebraic Effect Handlers ↗](https://doi.org/10.1145/3674651)**Ningning Xie, Daniel Johnson, Dougal Maclaurin et al.
361. **[Pipelines and Beyond: Graph Types for ADTs with Futures ↗](https://doi.org/10.1145/3632859)**Francis Rinaldi, june wunder, Arthur Azevedo de Amorim et al.
362. **[Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs ↗](https://doi.org/10.18154/rwth-2024-01610)**Kevin Batz, Tom Jannik Biskup, Katoen, Joost-Pieter et al.
363. **[Quantitative Robustness for Vulnerability Assessment ↗](https://doi.org/10.1145/3656407)**Guillaume Girol, Guilhem Lacombe, Sébastien Bardin
364. **[Specification and Verification for Unrestricted Algebraic Effects and Handling ↗](https://doi.org/10.1145/3674656)**Yahui Song, Darius Foo, Wei-Ngan Chin
365. **[The Functional, the Imperative, and the Sudoku: Getting Good, Bad, and Ugly to Get Along (Functional Pearl) ↗](https://doi.org/10.1145/3674631)**Manuel Serrano, Robert Bruce Findler
366. **[The Long Way to Deforestation: A Type Inference and Elaboration Technique for Removing Intermediate Data Structures ↗](https://doi.org/10.1145/3674634)**Yijia Chen, Lionel Parreaux
367. **[TorchQL: A Programming Framework for Integrity Constraints in Machine Learning ↗](http://dx.doi.org/10.1145/3649841)**Aaditya Naik, A. Stein, Yinjun Wu et al.

[← prev](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2024/papers/page/3/) [1](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2024/papers/) [2](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2024/papers/page/2/) [3](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2024/papers/page/3/) **4**

- [← back to](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2024/) — Proceedings of the ACM on Programming Languages 2024