---
title: "Proceedings of the ACM on Programming Languages 2024 — all"
description: "All 367 papers of Proceedings of the ACM on Programming Languages 2024 · page 3 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/3/"
---
[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/3/)

[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 3

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

367 papers · page 3 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/2/) [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** [4](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2024/papers/page/4/) [next →](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2024/papers/page/4/)

201. **[The Logical Essence of Well-Bracketed Control Flow ↗](https://doi.org/10.1145/3632862)**Amin Timany, Armaël Guéneau, Lars Birkedal*5 citations*
202. **[Understanding and Finding Java Decompiler Bugs ↗](https://doi.org/10.1145/3649860)**Yifei Lu, Weidong Hou, Minxue Pan et al.*5 citations*
203. **[V-Star: Learning Visibly Pushdown Grammars from Program Inputs ↗](https://doi.org/10.1145/3656458)**Xiaodong Jia, Gang Tan*5 citations*
204. **[VESTA: Power Modeling with Language Runtime Events ↗](https://doi.org/10.1145/3656402)**Joseph Raskind, Timur Babakol, Khaled Mahmoud et al.*5 citations*
205. **[A Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code ↗](https://doi.org/10.1145/3689712)**Julien Simonnet, Matthieu Lemerre, Mihaela Sighireanu*4 citations*
206. **[A Low-Level Look at A-Normal Form ↗](https://doi.org/10.1145/3689717)**William J. Bowman*4 citations*
207. **[A Proof Recipe for Linearizability in Relaxed Memory Separation Logic ↗](https://doi.org/10.1145/3656384)**Sunho Park, Jaewoo Kim, Ike Mulder et al.*4 citations*
208. **[An Infinite Needle in a Finite Haystack: Finding Infinite Counter-Models in Deductive Verification ↗](https://doi.org/10.1145/3632875)**Neta Elad, Oded Padon, Sharon Shoham*4 citations*
209. **[Automating Unrealizability Logic: Hoare-Style Proof Synthesis for Infinite Sets of Programs ↗](https://doi.org/10.1145/3689715)**Shaan Nagy, Jinwoo Kim, Thomas Reps et al.*4 citations*
210. **[Compiled, Extensible, Multi-language DSLs (Functional Pearl) ↗](https://doi.org/10.1145/3674627)**Michael Ballantyne, Mitch Gamburg, Jason Hemann*4 citations*
211. **[Daedalus: Safer Document Parsing ↗](https://doi.org/10.1145/3656410)**Iavor S. Diatchki, Mike Dodds, Harrison Goldstein et al.*4 citations*
212. **[Evaluating the Effectiveness of Deep Learning Models for Foundational Program Analysis Tasks ↗](https://doi.org/10.1145/3649829)**Qian Chen, Chenyang Yu, Ruyan Liu et al.*4 citations*
213. **[Explicit Effects and Effect Constraints in ReML ↗](https://doi.org/10.1145/3632921)**Martin Elsman*4 citations*
214. **[FlowCert: Translation Validation for Asynchronous Dataflow via Dynamic Fractional Permissions ↗](https://doi.org/10.1145/3689729)**Zhengyao Lin, Joshua Gancher, Bryan Jeffery Parno*4 citations*
215. **[From Batch to Stream: Automatic Generation of Online Algorithms ↗](https://doi.org/10.1145/3656418)**Ziteng Wang, Shankara Pailoor, Aaryan Prakash et al.*4 citations*
216. **[Full Iso-Recursive Types ↗](https://doi.org/10.1145/3689718)**Litao Zhou, Qianyong Wan, Bruno C. d. S. Oliveira*4 citations*
217. **[Higher Order Bayesian Networks, Exactly ↗](https://doi.org/10.1145/3632926)**Claudia Faggian, Daniele Pautasso, Gabriele Vanoni*4 citations*
218. **[Higher-Order Model Checking of Effect-Handling Programs with Answer-Type Modification ↗](https://doi.org/10.1145/3689805)**Taro Sekiyama, Hiroshi Unno*4 citations*
219. **[Ill-Typed Programs Don’t Evaluate ↗](https://doi.org/10.1145/3632909)**Steven Ramsay, Charlie Walpole*4 citations*
220. **[Inductive Approach to Spacer ↗](https://doi.org/10.1145/3656457)**Takeshi Tsukada, Hiroshi Unno*4 citations*
221. **[Internal Parametricity, without an Interval ↗](https://doi.org/10.1145/3632920)**Thorsten Altenkirch, Yorgo Chamoun, Ambrus Kaposi et al.*4 citations*
222. **[Iterative-Epoch Online Cycle Elimination for Context-Free Language Reachability ↗](https://doi.org/10.1145/3649862)**Pei Xu, Yuxiang Lei, Yulei Sui et al.*4 citations*
223. **[Monotone Procedure Summarization via Vector Addition Systems and Inductive Potentials ↗](https://doi.org/10.1145/3689777)**Nikhil Pimpalkhare, Zachary Kincaid*4 citations*
224. **[Newtonian Program Analysis of Probabilistic Programs ↗](https://doi.org/10.1145/3649822)**Di Wang, Thomas Reps*4 citations*
225. **[Nominal Recursors as Epi-Recursors ↗](https://doi.org/10.1145/3632857)**Andrei Popescu*4 citations*
226. **[Numerical Fuzz: A Type System for Rounding Error Analysis ↗](https://doi.org/10.1145/3656456)**Ariel Kellison, Justin Hsu*4 citations*
227. **[Orthologic with Axioms ↗](https://doi.org/10.1145/3632881)**Simon Guilloud, Viktor Kunčak*4 citations*
228. **[PROMPT: A Fast and Extensible Memory Profiling Framework ↗](https://doi.org/10.1145/3649827)**Ziyang Xu, Yebin Chon, Yian Su et al.*4 citations*
229. **[Persimmon: Nested Family Polymorphism with Extensible Variant Types ↗](https://doi.org/10.1145/3649836)**Anastasiya Kravchuk-Kirilyuk, Gary Feng, Jonas Iskander et al.*4 citations*
230. **[Profiling Programming Language Learning ↗](https://doi.org/10.1145/3649812)**Will Crichton, Shriram Krishnamurthi*4 citations*
231. **[Regular Abstractions for Array Systems ↗](https://doi.org/10.1145/3632864)**Chih-Duo Hong, Anthony W. Lin*4 citations*
232. **[SPORE: Combining Symmetry and Partial Order Reduction ↗](https://doi.org/10.1145/3656449)**Michalis Kokologiannakis, Iason Marmanis, Viktor Vafeiadis*4 citations*
233. **[Story of Your Lazy Function’s Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs ↗](http://dx.doi.org/10.1145/3674626)**Li-yao Xia, Laura Israel, Maite Kramarz et al.*4 citations*
234. **[Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis ↗](https://doi.org/10.1145/3656415)**Ruyi Ji, Yuwei Zhao, Nadia Polikarpova et al.*4 citations*
235. **[Synchronous Programming with Refinement Types ↗](https://doi.org/10.1145/3674657)**Jiawei Chen, José Luiz Vargas de Mendonça, Bereket Shimels Ayele et al.*4 citations*
236. **[The Complex(ity) Landscape of Checking Infinite Descent ↗](https://doi.org/10.1145/3632888)**Liron Cohen, Adham Jabarin, Andrei Popescu et al.*4 citations*
237. **[Wavefront Threading Enables Effective High-Level Synthesis ↗](https://doi.org/10.1145/3656420)**Blake Pelton, Adam Sapek, Ken Eguro et al.*4 citations*
238. **[A Core Calculus for Documents: Or, Lambda: The Ultimate Document ↗](https://doi.org/10.1145/3632865)**Will Crichton, Shriram Krishnamurthi*3 citations*
239. **[A Modal Type Theory of Expected Cost in Higher-Order Probabilistic Programs ↗](https://doi.org/10.1145/3689725)**Vineet Rajani, Gilles Barthe, Deepak Garg*3 citations*
240. **[A Safe Low-Level Language for Computer Algebra and Its Formally Verified Compiler ↗](https://doi.org/10.1145/3674629)**Guillaume Melquiond, Josué Moreau*3 citations*
241. **[Algebraic Effects Meet Hoare Logic in Cubical Agda ↗](https://doi.org/10.1145/3632898)**Donnacha Oisín Kidney, Zhixuan Yang, Nicolas Wu*3 citations*
242. **[Almost-Sure Termination by Guarded Refinement ↗](https://doi.org/10.1145/3674632)**Simon Oddershede Gregersen, Alejandro Aguirre, Philipp G. Haselwarter et al.*3 citations*
243. **[An Algebraic Language for Specifying Quantum Networks ↗](https://doi.org/10.1145/3656430)**Anita Buckley, Pavel Chuprikov, Rodrigo Otoni et al.*3 citations*
244. **[Automating Pruning in Top-Down Enumeration for Program Synthesis Problems with Monotonic Semantics ↗](https://doi.org/10.1145/3689744)**Keith J. C. Johnson, R. Krishnan, Thomas Reps et al.*3 citations*
245. **[Compilation of Shape Operators on Sparse Arrays ↗](https://doi.org/10.1145/3689752)**Alexander J Root, Bobby Yan, Peiming Liu et al.*3 citations*
246. **[Dependent Ghosts Have a Reflection for Free ↗](https://doi.org/10.1145/3674647)**Théo Winterhalter*3 citations*
247. **[Design and Implementation of an Aspect-Oriented C Programming Language ↗](https://doi.org/10.1145/3649834)**Zhe Chen, Yunlong Zhu, Z.R. Wang*3 citations*
248. **[Finding Cross-Rule Optimization Bugs in Datalog Engines ↗](https://doi.org/10.1145/3649815)**Chi Zhang, Linzhang Wang, Manuel Rigger*3 citations*
249. **[Hyperblock Scheduling for Verified High-Level Synthesis ↗](https://doi.org/10.1145/3656455)**Yann Herklotz, John Wickerson*3 citations*
250. **[Internalizing Indistinguishability with Dependent Types ↗](https://doi.org/10.1145/3632886)**Yiyun Liu, Jonathan Chan, Jessica Shi et al.*3 citations*
251. **[IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications ↗](https://doi.org/10.1145/3656391)**Chujun Geng, Spyros Blanas, Michael D. Bond et al.*3 citations*
252. **[Live Verification in an Interactive Proof Assistant ↗](https://doi.org/10.1145/3656439)**Samuel Gruetter, Viktor Fukala, Adam J. Chlipala*3 citations*
253. **[Making Formulog Fast: An Argument for Unconventional Datalog Evaluation ↗](https://doi.org/10.1145/3689754)**Aaron Bembenek, Michael Greenberg, Stephen Chong*3 citations*
254. **[Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations ↗](https://doi.org/10.1145/3689727)**Luke Geeson, James Brotherston, W. Dijkstra et al.*3 citations*
255. **[Multiverse Notebook: Shifting Data Scientists to Time Travelers ↗](https://doi.org/10.1145/3649838)**Shigeyuki Sato, Tomoki Nakamaru*3 citations*
256. **[NetBlocks: Staging Layouts for High-Performance Custom Host Network Stacks ↗](https://doi.org/10.1145/3656396)**Ajay Brahmakshatriya, Chris Rinard, Manya Ghobadi et al.*3 citations*
257. **[PP-CSA: Practical Privacy-Preserving Software Call Stack Analysis ↗](https://doi.org/10.1145/3649856)**Zhaoyu Wang, Pingchuan Ma, Huaijin Wang et al.*3 citations*
258. **[Parametric Subtyping for Structural Parametric Polymorphism ↗](https://doi.org/10.1145/3632932)**Henry DeYoung, Andreia Mordido, Frank Pfenning et al.*3 citations*
259. **[Parikh’s Theorem Made Symbolic ↗](https://doi.org/10.1145/3632907)**Matthew Hague, Artur Jeż, Anthony W. Lin*3 citations*
260. **[Polyregular Functions on Unordered Trees of Bounded Height ↗](https://doi.org/10.1145/3632887)**Mikołaj Bojańczyk, Bartek Klin*3 citations*
261. **[Probabilistic Programming Interfaces for Random Graphs: Markov Categories, Graphons, and Nominal Sets ↗](https://doi.org/10.1145/3632903)**Nathanael Ackerman, Cameron E. Freer, Younesse Kaddar et al.*3 citations*
262. **[Quiver: Guided Abductive Inference of Separation Logic Specifications in Coq ↗](https://doi.org/10.1145/3656413)**Simon Spies, Lennard Gäher, Michael Sammler et al.*3 citations*
263. **[Quotient Haskell: Lightweight Quotient Types for All ↗](https://doi.org/10.1145/3632869)**B Hewer, Graham Hutton*3 citations*
264. **[Ramsey Quantifiers in Linear Arithmetics ↗](https://doi.org/10.1145/3632843)**Pascal Bergsträßer, Moses Ganardi, Anthony W. Lin et al.*3 citations*
265. **[Refinement Type Refutations ↗](https://doi.org/10.1145/3689745)**Robin Webbers, Klaus v. Gleissenthall, Ranjit Jhala*3 citations*
266. **[Reward-Guided Synthesis of Intelligent Agents with Control Structures ↗](https://doi.org/10.1145/3656447)**Guofeng Cui, Yuning Wang, Wenjie Qiu et al.*3 citations*
267. **[Statistical Testing of Quantum Programs via Fixed-Point Amplitude Amplification ↗](https://doi.org/10.1145/3689716)**Chan Gu Kang, Joonghoon Lee, Hakjoo Oh*3 citations*
268. **[The ART of Sharing Points-to Analysis: Reusing Points-to Analysis Results Safely and Efficiently ↗](https://doi.org/10.1145/3689803)**Shashin Halalingaiah, Vijay Sundaresan, Daryl Maier et al.*3 citations*
269. **[Type Inference Logics ↗](https://doi.org/10.1145/3689786)**Denis Carnier, François Pottier, Steven Keuchel*3 citations*
270. **[Type-Based Gradual Typing Performance Optimization ↗](https://doi.org/10.1145/3632931)**John Peter Campora, Mohammad Wahiduzzaman Khan, Sheng Chen*3 citations*
271. **[Unboxed Data Constructors: Or, How cpp Decides a Halting Problem ↗](https://doi.org/10.1145/3632893)**Nicolas Chataing, Stephen Dolan, Gabriel Scherer et al.*3 citations*
272. **[Verification under Intel-x86 with Persistency ↗](https://doi.org/10.1145/3656425)**Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani et al.*3 citations*
273. **[A Constraint Solving Approach to Parikh Images of Regular Languages ↗](https://doi.org/10.1145/3649855)**Amanda Stjerna, Philipp Rümmer*2 citations*
274. **[A Typed Multi-level Datalog IR and Its Compiler Framework ↗](https://doi.org/10.1145/3689767)**David Klopp, Sebastian Thore Erdweg, André Pacak*2 citations*
275. **[A Verified Compiler for a Functional Tensor Language ↗](https://doi.org/10.1145/3656390)**Amanda Liu, Gilbert Bernstein, Adam J. Chlipala et al.*2 citations*
276. **[Abstract Interpreters: A Monadic Approach to Modular Verification ↗](https://doi.org/10.1145/3674646)**Sébastien Michelland, Yannick Zakowski, Laure Gonnord*2 citations*
277. **[Accurate Data Race Prediction in the Linux Kernel through Sparse Fourier Learning ↗](https://doi.org/10.1145/3649840)**Gabriel Ryan, Burcu Cetin, Yongwhan Lim et al.*2 citations*
278. **[Automated Verification of Parametric Channel-Based Process Communication ↗](https://doi.org/10.1145/3689784)**Georgian-Vlad Saioc, Julien Lange, Anders Møller*2 citations*
279. **[Compilation of Qubit Circuits to Optimized Qutrit Circuits ↗](https://doi.org/10.1145/3656388)**Ritvik Sharma, Sara Achour*2 citations*
280. **[Compiling Recurrences over Dense and Sparse Arrays ↗](http://dx.doi.org/10.1145/3649820)**Shiv Sundram, Muhammad Usman Tariq, Fredrik Kjølstad*2 citations*
281. **[Concurrent Data Structures Made Easy ↗](https://doi.org/10.1145/3689775)**Callista Le, Kiran Gopinathan, Koon Wen Lee et al.*2 citations*
282. **[Contextual Typing ↗](https://doi.org/10.1145/3674655)**Xu Xue, Bruno C. d. S. Oliveira*2 citations*
283. **[Decidable Subtyping of Existential Types for Julia ↗](https://doi.org/10.1145/3656421)**Julia Belyakova, Benjamin Chung, Ross Tate et al.*2 citations*
284. **[Deriving with Derivatives: Optimizing Incremental Fixpoints for Higher-Order Flow Analysis ↗](https://doi.org/10.1145/3674650)**Benjamin Quiring, David Van Horn*2 citations*
285. **[Equivalence by Canonicalization for Synthesis-Backed Refactoring ↗](https://doi.org/10.1145/3656453)**Justin P. Lubin, Jeremy Ferguson, Kevin Ye et al.*2 citations*
286. **[Fulfilling OCaml Modules with Transparency ↗](https://doi.org/10.1145/3649818)**Clément Blaudeau, Didier Rémy, Gabriel Radanne*2 citations*
287. **[Grokking the Sequent Calculus (Functional Pearl) ↗](https://doi.org/10.1145/3674639)**David Binder, Marco Tzschentke, Marius Müller et al.*2 citations*
288. **[How to Bake a Quantum Π ↗](https://doi.org/10.1145/3674625)**Jacques Carette, Chris Heunen, Robin Kaarsgaard et al.*2 citations*
289. **[Internal and Observational Parametricity for Cubical Agda ↗](https://doi.org/10.1145/3632850)**Antoine Van Muylder, Andreas Nuyts, Dominique Devriese*2 citations*
290. **[Law and Order for Typestate with Borrowing ↗](https://doi.org/10.1145/3689763)**Hannes Saffrich, Yuki Nishida, Peter J. Thiemann*2 citations*
291. **[Merging Gradual Typing ↗](https://doi.org/10.1145/3689734)**Wenjia Ye, Bruno C. d. S. Oliveira, Matías Toro*2 citations*
292. **[Object-Oriented Fixpoint Programming with Datalog ↗](https://doi.org/10.1145/3689713)**David Klopp, Sebastian Thore Erdweg, André Pacak*2 citations*
293. **[PL4XGL: A Programming Language Approach to Explainable Graph Learning ↗](https://doi.org/10.1145/3656464)**Minseok Jeon, Jihyeok Park, Hakjoo Oh*2 citations*
294. **[Predictable Verification using Intrinsic Definitions ↗](https://doi.org/10.1145/3656450)**Adithya Murali, Cody Rivera, P. Madhusudan*2 citations*
295. **[Program Analysis for Adaptive Data Analysis ↗](https://doi.org/10.1145/3656414)**Jiawen Liu, Weihao Qu, Marco Gaboardi et al.*2 citations*
296. **[QuAC: Quick Attribute-Centric Type Inference for Python ↗](https://doi.org/10.1145/3689783)**Jifeng Wu, Caroline Lemieux*2 citations*
297. **[Qualifying System F\<:: Some Terms and Conditions May Apply ↗](http://dx.doi.org/10.1145/3649832)**Edward Lee, Yaoyu Zhao, Ondřej Lhoták et al.*2 citations*
298. **[Refinement Composition Logic ↗](https://doi.org/10.1145/3674645)**Youngju Song, DongJae Lee*2 citations*
299. **[Scenario-Based Proofs for Concurrent Objects ↗](https://doi.org/10.1145/3649857)**Constantin Enea, Eric Koskinen*2 citations*
300. **[Semantic-Type-Guided Bug Finding ↗](https://doi.org/10.1145/3689788)**Kelvin Qian, Scott F. Smith, Brandon Stride et al.*2 citations*

[← prev](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2024/papers/page/2/) [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** [4](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2024/papers/page/4/) [next →](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2024/papers/page/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