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

[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

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

367 papers · page 1 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/)

**1** [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](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/2/)

1. **[Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach ↗](https://doi.org/10.1145/3649828)**Haonan Li, Hao Yu, Yizhuo Zhai et al.*148 citations*
2. **[WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models ↗](https://doi.org/10.1145/3689736)**Chenyuan Yang, Yinlin Deng, Runyu Lu et al.*82 citations*
3. **[Thunks and Debits in Separation Logic with Time Credits ↗](https://doi.org/10.1145/3632892)**François Pottier, Armaël Guéneau, Jacques-Henri Jourdan et al.*44 citations*
4. **[Allo: A Programming Model for Composable Accelerator Design ↗](https://doi.org/10.1145/3656401)**Hongzheng Chen, Niansong Zhang, Shaojie Xiang et al.*40 citations*
5. **[PyDex: Repairing Bugs in Introductory Python Assignments using LLMs ↗](https://doi.org/10.1145/3649850)**Jialu Zhang, José Cambronero, Sumit Gulwani et al.*40 citations*
6. **[Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs ↗](https://doi.org/10.1145/3689735)**Federico Cassano, John Gouwar, Francesca Lucchetti et al.*38 citations*
7. **[CYCLE: Learning to Self-Refine the Code Generation ↗](https://doi.org/10.1145/3649825)**Yangruibo Ding, Marcus J. Min, Gail E. Kaiser et al.*35 citations*
8. **[RefinedRust: A Type System for High-Assurance Verification of Rust Programs ↗](https://doi.org/10.1145/3656422)**Lennard Gäher, Michael Sammler, Ralf Jung et al.*31 citations*
9. **[Bringing the WebAssembly Standard up to Speed with SpecTec ↗](https://doi.org/10.1145/3656440)**Dongjun Youn, Wonho Shin, Jaehyun Lee et al.*30 citations*
10. **[Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization ↗](https://doi.org/10.1145/3649835)**Joseph W. Cutler, Craig Disselkoen, Aaron Eline et al.*30 citations*
11. **[Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties ↗](https://doi.org/10.1145/3656437)**Thibault Dardinier, Péter Müller*30 citations*
12. **[Drowzee: Metamorphic Testing for Fact-Conflicting Hallucination Detection in Large Language Models ↗](https://doi.org/10.1145/3689776)**Ningke Li, Yuekang Li, Yi Liu et al.*27 citations*
13. **[Boosting Compiler Testing by Injecting Real-World Code ↗](https://doi.org/10.1145/3656386)**Shaohua Li, Theodoros Theodoridis, Zhendong Su*25 citations*
14. **[A Tensor Compiler with Automatic Data Packing for Simple and Efficient Fully Homomorphic Encryption ↗](https://doi.org/10.1145/3656382)**Aleksandar Krastev, Nikola Samardzic, Simon Langowski et al.*23 citations*
15. **[Asynchronous Probabilistic Couplings in Higher-Order Separation Logic ↗](https://doi.org/10.1145/3632868)**Simon Oddershede Gregersen, Alejandro Aguirre, Philipp G. Haselwarter et al.*23 citations*
16. **[Quarl: A Learning-Based Quantum Circuit Optimizer ↗](https://doi.org/10.1145/3649831)**Zikun Li, Jinjun Peng, Yixuan Mei et al.*23 citations*
17. **[Efficient Matching of Regular Expressions with Lookaround Assertions ↗](https://doi.org/10.1145/3632934)**Konstantinos Mamouras, Agnishom Chattopadhyay*20 citations*
18. **[Validation of Modern JSON Schema: Formalization and Complexity ↗](https://doi.org/10.1145/3632891)**Lyes Attouche, Mohamed-Amine Baazizi, Dario Colazzo et al.*20 citations*
19. **[Don’t Write, but Return: Replacing Output Parameters with Algebraic Data Types in C-to-Rust Translation ↗](https://doi.org/10.1145/3656406)**Jaemin Hong, Sukyoung Ryu*17 citations*
20. **[Synthetiq: Fast and Versatile Quantum Circuit Synthesis ↗](https://doi.org/10.1145/3649813)**Anouk Paradis, Jasper Dekoninck, Benjamin Bichsel et al.*17 citations*
21. **[API-Driven Program Synthesis for Testing Static Typing Implementations ↗](https://doi.org/10.1145/3632904)**Thodoris Sotiropoulos, Stefanos Chaliasos, Zhendong Su*16 citations*
22. **[Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects ↗](https://doi.org/10.1145/3649821)**Noam Zilberstein, Angelina Saliling, Alexandra Silva*16 citations*
23. **[Quantitative Bounds on Resource Usage of Probabilistic Programs ↗](https://doi.org/10.1145/3649824)**Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer et al.*16 citations*
24. **[Symbolic Execution for Quantum Error Correction Programs ↗](https://doi.org/10.1145/3656419)**Wang Sheng Fang, Mingsheng Ying*16 citations*
25. **[A Learning-Based Approach to Static Program Slicing ↗](https://doi.org/10.1145/3649814)**Aashish Yadavally, Yi Li, Shaohua Wang et al.*15 citations*
26. **[Oxidizing OCaml with Modal Memory Management ↗](https://doi.org/10.1145/3674642)**Anton Lorenzen, Leo White, Stephen Dolan et al.*15 citations*
27. **[SimuQ: A Framework for Programming Quantum Hamiltonian Simulation with Analog Compilation ↗](https://doi.org/10.1145/3632923)**Yuxiang Peng, Jacob Young, Pengyu Liu et al.*15 citations*
28. **[Total Type Error Localization and Recovery with Holes ↗](https://doi.org/10.1145/3632910)**Eric Zhao, Raef Maroof, A Ambedkar Dukkipati et al.*15 citations*
29. **[When Your Infrastructure Is a Buggy Program: Understanding Faults in Infrastructure as Code Ecosystems ↗](https://doi.org/10.1145/3689799)**Georgios-Petros Drosos, Thodoris Sotiropoulos, Georgios Alexopoulos et al.*15 citations*
30. **[An Iris Instance for Verifying CompCert C Programs ↗](https://doi.org/10.1145/3632848)**William Mansky, Ke Du*14 citations*
31. **[Efficient Static Vulnerability Analysis for JavaScript with Multiversion Dependency Graphs ↗](https://doi.org/10.1145/3656394)**Mafalda Ferreira, Miguel Monteiro, Tiago Brito et al.*14 citations*
32. **[Identifying and Correcting Programming Language Behavior Misconceptions ↗](https://doi.org/10.1145/3649823)**Kuang-Chen Lu, Shriram Krishnamurthi*14 citations*
33. **[Refined Input, Degraded Output: The Counterintuitive World of Compiler Behavior ↗](https://doi.org/10.1145/3656404)**Theodoros Theodoridis, Zhendong Su*14 citations*
34. **[Rustlantis: Randomized Differential Testing of the Rust Compiler ↗](https://doi.org/10.1145/3689780)**Qian Wang, Ralf Jung*14 citations*
35. **[Solving Infinite-State Games via Acceleration ↗](https://doi.org/10.1145/3632899)**Philippe Heim, Rayna Dimitrova*14 citations*
36. **[Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement ↗](https://doi.org/10.1145/3632851)**Amin Timany, Simon Oddershede Gregersen, Léo Stefanesco et al.*14 citations*
37. **[Automatically Reducing Privilege for Access Control Policies ↗](https://doi.org/10.1145/3689738)**Loris D’Antoni, Shuo Ding, Amit Goel et al.*13 citations*
38. **[Decision and Complexity of Dolev-Yao Hyperproperties ↗](https://doi.org/10.1145/3632906)**Itsaka Rakotonirina, Gilles Barthe, Clara Schneidewind*13 citations*
39. **[Modular Denotational Semantics for Effects with Guarded Interaction Trees ↗](https://doi.org/10.1145/3632854)**Dan Frumin, Amin Timany, Lars Birkedal*13 citations*
40. **[Scaling Type-Based Points-to Analysis with Saturation ↗](https://doi.org/10.1145/3656417)**Christian Wimmer, Codruţ Stancu, David Kozák et al.*13 citations*
41. **[Semantic Code Refactoring for Abstract Data Types ↗](https://doi.org/10.1145/3632870)**Shankara Pailoor, Yuepeng Wang, Işıl Dillig*13 citations*
42. **[Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving ↗](https://doi.org/10.1145/3656432)**Peixin Wang, Tengshun Yang, Hongfei Fu et al.*13 citations*
43. **[VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints ↗](https://doi.org/10.1145/3649849)**Yang He, P. Zhao, Xinyu Wang et al.*13 citations*
44. **[Verification of Neural Networks’ Global Robustness ↗](https://doi.org/10.1145/3649847)**Anan Kabaha, Dana Drachsler-Cohen*13 citations*
45. **[Verified Extraction from Coq to OCaml ↗](https://doi.org/10.1145/3656379)**Yannick Forster, Matthieu Sozeau, Nicolas Tabareau*13 citations*
46. **[When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism ↗](https://doi.org/10.1145/3632890)**Lionel Parreaux, Aleksander Boruch-Gruszecki, Andong Fan et al.*13 citations*
47. **[Calculational Design of InCorrectness Transformational Program Logics by Abstract Interpretation ↗](https://doi.org/10.1145/3632849)**Patrick M. Cousot*12 citations*
48. **[Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing ↗](https://doi.org/10.1145/3632889)**Jules Jacobs, Jonas Kastberg Hinrichsen, Robbert Krebbers*12 citations*
49. **[Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis ↗](https://doi.org/10.1145/3656400)**Peisen Yao, Jinguo Zhou, Xiao Xiao et al.*12 citations*
50. **[Hydra: Generalizing Peephole Optimizations with Program Synthesis ↗](https://doi.org/10.1145/3649837)**Manasij Mukherjee, John David Regehr*12 citations*
51. **[Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures ↗](https://doi.org/10.1145/3632905)**Francesca Randone, Luca Bortolussi, Emilio Incerto et al.*12 citations*
52. **[LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs ↗](https://doi.org/10.1145/3656423)**Longfei Qiu, Y. K. Kim, Ji-Yong Shin et al.*12 citations*
53. **[Linear Matching of JavaScript Regular Expressions ↗](https://doi.org/10.1145/3656431)**Aurèle Barrière, Clément Pit-Claudel*12 citations*
54. **[Mostly Automated Verification of Liveness Properties for Distributed Protocols with Ranking Functions ↗](https://doi.org/10.1145/3632877)**Jianan Yao, Runzhou Tao, Ronghui Gu et al.*12 citations*
55. **[Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs ↗](https://doi.org/10.1145/3632856)**Guannan Wei, Oliver Bračevac, Songlin Jia et al.*12 citations*
56. **[Positive Almost-Sure Termination: Complexity and Proof Rules ↗](https://doi.org/10.1145/3632879)**Rupak Majumdar, V. R. Sathiyanarayana*12 citations*
57. **[Predictive Monitoring against Pattern Regular Languages ↗](https://doi.org/10.1145/3632915)**Zhendong Ang, Umang Mathur*12 citations*
58. **[Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA on TSO Architectures ↗](https://doi.org/10.1145/3689781)**Guillaume Ambal, Brijesh Dongol, Haggai Eran et al.*12 citations*
59. **[VST-A: A Foundationally Sound Annotation Verifier ↗](https://doi.org/10.1145/3632911)**Litao Zhou, Jianxing Qin, Qinshi Wang et al.*12 citations*
60. **[Validating SMT Solvers for Correctness and Performance via Grammar-Based Enumeration ↗](https://doi.org/10.1145/3689795)**Dominik Winterer, Zhendong Su*12 citations*
61. **[Commutativity Simplifies Proofs of Parameterized Programs ↗](https://doi.org/10.1145/3632925)**Azadeh Farzan, Dominik Klumpp, Andreas Podelski*11 citations*
62. **[Decalf: A Directed, Effectful Cost-Aware Logical Framework ↗](https://doi.org/10.1145/3632852)**Harrison Grodin, Yue Niu, Jonathan Sterling et al.*11 citations*
63. **[Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions ↗](https://doi.org/10.1145/3649844)**Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen et al.*11 citations*
64. **[Fast and Optimal Extraction for Sparse Equality Graphs ↗](https://doi.org/10.1145/3689801)**Amir Kafshdar Goharshady, Chun Kit Lam, Lionel Parreaux*11 citations*
65. **[How Hard Is Weak-Memory Testing? ↗](https://doi.org/10.1145/3632908)**Soham Chakraborty, Shankara Narayanan Krishna, Umang Mathur et al.*11 citations*
66. **[Polymorphic Type Inference for Dynamic Languages ↗](https://doi.org/10.1145/3632882)**Giuseppe Castagna, Mickaël Laurent, Kim Ngoc Nguyen*11 citations*
67. **[Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs ↗](https://doi.org/10.1145/3632935)**Kevin Batz, Tom Jannik Biskup, Joost-Pieter Katoen et al.*11 citations*
68. **[Programming-by-Demonstration for Long-Horizon Robot Tasks ↗](https://doi.org/10.1145/3632860)**Noah Patton, Kia Rahmani, Meghana Missula et al.*11 citations*
69. **[Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-deterministic Observers ↗](https://doi.org/10.1145/3632885)**Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno et al.*11 citations*
70. **[Solvable Polynomial Ideals: The Ideal Reflection for Program Analysis ↗](https://doi.org/10.1145/3632867)**John Cyphert, Zachary Kincaid*11 citations*
71. **[A Case for Synthesis of Recursive Quantum Unitary Programs ↗](https://doi.org/10.1145/3632901)**Haowei Deng, Runzhou Tao, Yuxiang Peng et al.*10 citations*
72. **[A Formalization of Core Why3 in Coq ↗](https://doi.org/10.1145/3632902)**Joshua M. Cohen, Philip Johnson-Freyd*10 citations*
73. **[Bit Blasting Probabilistic Programs ↗](https://doi.org/10.1145/3656412)**Poorva Garg, Steven Holtzen, Guy Van den Broeck et al.*10 citations*
74. **[Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug Finding ↗](https://doi.org/10.1145/3656443)**Qiuping Yi, Yifan Yu, Guowei Yang*10 citations*
75. **[Enhanced Enumeration Techniques for Syntax-Guided Synthesis of Bit-Vector Manipulations ↗](https://doi.org/10.1145/3632913)**Yuantian Ding, Xiaokang Qiu*10 citations*
76. **[Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs ↗](https://doi.org/10.1145/3674635)**Alejandro Aguirre, Philipp G. Haselwarter, Markus de Medeiros et al.*10 citations*
77. **[Fully Composable and Adequate Verified Compilation with Direct Refinements between Open Modules ↗](https://doi.org/10.1145/3632914)**Ling Zhang, Yuting Wang, WU Jin-hua et al.*10 citations*
78. **[Mechanised Hypersafety Proofs about Structured Data ↗](https://doi.org/10.1145/3656403)**Vladimir Gladshtein, Qiyuan Zhao, Willow Ahrens et al.*10 citations*
79. **[Non-termination Proving at Scale ↗](https://doi.org/10.1145/3689720)**Azalea Raad, Julien Vanegue, Peter W. O’Hearn*10 citations*
80. **[On Model-Checking Higher-Order Effectful Programs ↗](https://doi.org/10.1145/3632929)**Ugo Dal Lago, Alexis Ghyselen*10 citations*
81. **[Seneca: Taint-Based Call Graph Construction for Java Object Deserialization ↗](https://doi.org/10.1145/3649851)**Joanna C. S. Santos, Mehdi Tarrit Mirakhorli, Ali Shokri*10 citations*
82. **[Sound and Partially-Complete Static Analysis of Data-Races in GPU Programs ↗](https://doi.org/10.1145/3689797)**Dennis Liew, Tiago Cogumbreiro, Julien Lange*10 citations*
83. **[Statically Contextualizing Large Language Models with Typed Holes ↗](https://doi.org/10.1145/3689728)**Andrew Blinn, Xiang Li, June Hyung Kim et al.*10 citations*
84. **[The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation ↗](https://doi.org/10.1145/3656397)**Charles Yuan, Michael Carbin*10 citations*
85. **[A Two-Phase Infinite/Finite Low-Level Memory Model: Reconciling Integer–Pointer Casts, Finite Space, and undef at the LLVM IR Level of Abstraction ↗](https://doi.org/10.1145/3674652)**Calvin Beck, Irene Yoon, Hanxi Chen et al.*9 citations*
86. **[A Universal, Sound, and Complete Forward Reasoning Technique for Machine-Verified Proofs of Linearizability ↗](https://doi.org/10.1145/3632924)**Prasad Jayanti, Siddhartha Jayanti, Uğur Yavuz et al.*9 citations*
87. **[Associated Effects: Flexible Abstractions for Effectful Programming ↗](https://doi.org/10.1145/3656393)**Matthew Lutze, Magnus Madsen*9 citations*
88. **[Coarser Equivalences for Causal Concurrency ↗](https://doi.org/10.1145/3632873)**Azadeh Farzan, Umang Mathur*9 citations*
89. **[Cocoon: Static Information Flow Control in Rust ↗](https://doi.org/10.1145/3649817)**Ada Lamba, Max Taylor, Vincent Beardsley et al.*9 citations*
90. **[Flan: An Expressive and Efficient Datalog Compiler for Program Analysis ↗](https://doi.org/10.1145/3632928)**Supun Abeysinghe, Anxhelo Xhebraj, Tiark Rompf*9 citations*
91. **[Foundational Integration Verification of a Cryptographic Server ↗](https://doi.org/10.1145/3656446)**Andres Erbsen, Jade Philipoom, Dustin Jamner et al.*9 citations*
92. **[Generating Well-Typed Terms That Are Not “Useless” ↗](https://doi.org/10.1145/3632919)**Justine Frank, Benjamin Quiring, Leonidas Lampropoulos*9 citations*
93. **[Guided Equality Saturation ↗](https://doi.org/10.1145/3632900)**Thomas Kœhler, Andrés Goens, Siddharth Bhat et al.*9 citations*
94. **[Input-Relational Verification of Deep Neural Networks ↗](https://doi.org/10.1145/3656377)**Debangshu Banerjee, Changming Xu, Gagandeep Singh*9 citations*
95. **[KATch: A Fast Symbolic Verifier for NetKAT ↗](https://doi.org/10.1145/3656454)**Mark Moeller, Jules Jacobs, Olivier Savary Belanger et al.*9 citations*
96. **[Minotaur: A SIMD-Oriented Synthesizing Superoptimizer ↗](https://doi.org/10.1145/3689766)**Zhengyang Liu, Stefan Mada, John David Regehr*9 citations*
97. **[ParDiff: Practical Static Differential Analysis of Network Protocol Parsers ↗](https://doi.org/10.1145/3649854)**Mingwei Zheng, Qingkai Shi, Xuwei Liu et al.*9 citations*
98. **[Plume: Efficient and Complete Black-Box Checking of Weak Isolation Levels ↗](https://doi.org/10.1145/3689742)**Si Liu, Long Gu, Hengfeng Wei et al.*9 citations*
99. **[Quantum Control Machine: The Limits of Control Flow in Quantum Programming ↗](https://doi.org/10.1145/3649811)**Charles Yuan, Agnes Villanyi, Michael Carbin*9 citations*
100. **[SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques ↗](https://doi.org/10.1145/3656435)**Elvira Albert, María García de la Banda, Alejandro Hernández-Cerezo et al.*9 citations*

**1** [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](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/2/)

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