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

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

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

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

101. **[An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: The AxSL Logic ↗](https://doi.org/10.1145/3632863)**Angus Hammond, Zongyuan Liu, Thibaut Pérami et al.*8 citations*
102. **[Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers ↗](https://doi.org/10.1145/3633280)**Fuga Kawamata, Hiroshi Unno, Taro Sekiyama et al.*8 citations*
103. **[CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs ↗](https://doi.org/10.1145/3674653)**Cole Kurashige, Ruyi Ji, Aditya Giridharan et al.*8 citations*
104. **[Forge: A Tool and Language for Teaching Formal Methods ↗](https://doi.org/10.1145/3649833)**Tim Nelson, Ben Greenman, Siddhartha Prasad et al.*8 citations*
105. **[Learning Abstraction Selection for Bayesian Program Analysis ↗](https://doi.org/10.1145/3649845)**Y. M. Zhang, Yuanfeng Shi, Xin Zhang*8 citations*
106. **[Probabilistic Programming with Programmable Variational Inference ↗](https://doi.org/10.1145/3656463)**McCoy R. Becker, Alexander K. Lew, Xiaoyan Wang et al.*8 citations*
107. **[Quantum Probabilistic Model Checking for Time-Bounded Properties ↗](https://doi.org/10.1145/3689731)**Seungmin Jeon, Kyeongmin Cho, Chan Gu Kang et al.*8 citations*
108. **[Sound Borrow-Checking for Rust via Symbolic Semantics ↗](https://doi.org/10.1145/3674640)**Son Ho, Aymeric Fromherz, Jonathan Protzenko*8 citations*
109. **[Soundly Handling Linearity ↗](https://doi.org/10.1145/3632896)**Wenhao Tang, Daniel Hillerström, Sam Lindley et al.*8 citations*
110. **[Weighted Context-Free-Language Ordered Binary Decision Diagrams ↗](https://doi.org/10.1145/3689760)**Meghana Aparna Sistla, Swarat Chaudhuri, Thomas Reps*8 citations*
111. **[A Family of Fast and Memory Efficient Lock- and Wait-Free Reclamation ↗](https://doi.org/10.1145/3658851)**Ruslan Nikolaev, Binoy Ravindran*7 citations*
112. **[A HAT Trick: Automatically Verifying Representation Invariants using Symbolic Finite Automata ↗](https://doi.org/10.1145/3656433)**Zhe Zhou, Qianchuan Ye, Benjamin Delaware et al.*7 citations*
113. **[Automatic Parallelism Management ↗](https://doi.org/10.1145/3632880)**Sam Westrick, Matthew T. Fluet, Mike Rainey et al.*7 citations*
114. **[Compiling with Abstract Interpretation ↗](https://doi.org/10.1145/3656392)**Dorian Lesbre, Matthieu Lemerre*7 citations*
115. **[Descend: A Safe GPU Systems Programming Language ↗](https://doi.org/10.1145/3656411)**Bastian Köpcke, Sergei Petrovich Gorlatch, Michel Steuwer*7 citations*
116. **[Distributions for Compositionally Differentiating Parametric Discontinuities ↗](https://doi.org/10.1145/3649843)**Jesse Michel, Kevin Mu, Xuanda Yang et al.*7 citations*
117. **[Efficient Bottom-Up Synthesis for Programs with Local Variables ↗](https://doi.org/10.1145/3632894)**Xiang Li, Xiangyu Zhou, Rui Dong et al.*7 citations*
118. **[FPCC: Detecting Floating-Point Errors via Chain Conditions ↗](https://doi.org/10.1145/3689764)**Xin Yi, Hengbiao Yu, Liqian Chen et al.*7 citations*
119. **[Finding ∀∃ Hyperbugs using Symbolic Execution ↗](https://doi.org/10.1145/3689761)**Arthur Correnson, Tobias Nießen, Bernd Finkbeiner et al.*7 citations*
120. **[Functional Ownership through Fractional Uniqueness ↗](https://doi.org/10.1145/3649848)**Daniel Marshall, Dominic A. Orchard*7 citations*
121. **[HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing ↗](https://doi.org/10.1145/3689768)**Yiyu Zhang, Tianyi Liu, Yueyang Wang et al.*7 citations*
122. **[HiPy: Extracting High-Level Semantics from Python Code for Data Processing ↗](https://doi.org/10.1145/3689737)**Michael Jungmair, Alexis Engelke, Jana Giceva*7 citations*
123. **[Implementation and Synthesis of Math Library Functions ↗](https://doi.org/10.1145/3632874)**Ian Briggs, Yash Lad, Pavel Panchekha*7 citations*
124. **[Lexical Effect Handlers, Directly ↗](https://doi.org/10.1145/3689770)**Cong Ma, Zhaoyi Ge, Edward Lee et al.*7 citations*
125. **[Mechanizing Refinement Types ↗](https://doi.org/10.1145/3632912)**Michael H. Borkowski, Niki Vazou, Ranjit Jhala*7 citations*
126. **[On Learning Polynomial Recursive Programs ↗](https://doi.org/10.1145/3632876)**Alex Buna, Vincent Cheval, Mahsa Shirmohammadi et al.*7 citations*
127. **[On-the-Fly Static Analysis via Dynamic Bidirected Dyck Reachability ↗](https://doi.org/10.1145/3632884)**Shankara Narayanan Krishna, Aniket Lal, Andreas Pavlogiannis et al.*7 citations*
128. **[PolyJuice: Detecting Mis-compilation Bugs in Tensor Compilers with Equality Saturation Based Rewriting ↗](https://doi.org/10.1145/3689757)**Chijin Zhou, Bingzhou Qian, Gwihwan Go et al.*7 citations*
129. **[Practical Verification of Smart Contracts using Memory Splitting ↗](https://doi.org/10.1145/3689796)**Shelly Grossman, John Toman, Alexander Bakst et al.*7 citations*
130. **[ReLU Hull Approximation ↗](https://doi.org/10.1145/3632917)**Zhongkui Ma, Jiaying Li, Guangdong Bai*7 citations*
131. **[Recursive Program Synthesis using Paramorphisms ↗](https://doi.org/10.1145/3656381)**Qiantan Hong, Alex Aiken*7 citations*
132. **[Robust Resource Bounds with Static Analysis and Bayesian Inference ↗](https://doi.org/10.1145/3656380)**Long Pham, Feras A. Saad, Jan Hoffmann*7 citations*
133. **[Sound Gradual Verification with Symbolic Execution ↗](https://doi.org/10.1145/3632927)**Conrad Zimmerman, Jenna DiVincenzo, Jonathan Aldrich*7 citations*
134. **[Stream Types ↗](https://doi.org/10.1145/3656434)**Joseph W. Cutler, Christopher Watson, Emeka Nkurumeh et al.*7 citations*
135. **[Strong Invariants Are Hard: On the Hardness of Strongest Polynomial Invariants for (Probabilistic) Programs ↗](https://doi.org/10.1145/3632872)**Julian Müllner, Marcel Moosbrugger, Laura Kovács*7 citations*
136. **[The Essence of Generalized Algebraic Data Types ↗](https://doi.org/10.1145/3632866)**Filip Sieczkowski, Sergei Stepanenko, Jonathan Sterling et al.*7 citations*
137. **[UniSparse: An Intermediate Language for General Sparse Format Customization ↗](https://doi.org/10.1145/3649816)**Jie Liu, Zhongyuan Zhao, Zijian Ding et al.*7 citations*
138. **[With a Few Square Roots, Quantum Computing Is as Easy as Pi ↗](https://doi.org/10.1145/3632861)**Jacques Carette, Chris Heunen, Robin Kaarsgaard et al.*7 citations*
139. **[Abstracting Effect Systems for Algebraic Effect Handlers ↗](https://doi.org/10.1145/3674641)**T. Yoshioka, Taro Sekiyama, Atsushi Igarashi*6 citations*
140. **[Automated Verification of Fundamental Algebraic Laws ↗](https://doi.org/10.1145/3656408)**George Zakhour, Pascal Weisenburger, Guido Salvaneschi*6 citations*
141. **[Boosting the Performance of Alias-Aware IFDS Analysis with CFL-Based Environment Transformers ↗](https://doi.org/10.1145/3689804)**Haofeng Li, Chenghang Shi, Jie Lu et al.*6 citations*
142. **[Closure-Free Functional Programming in a Two-Level Type Theory ↗](https://doi.org/10.1145/3674648)**András Kovács*6 citations*
143. **[Compilation of Modular and General Sparse Workspaces ↗](https://doi.org/10.1145/3656426)**Genghan Zhang, Olivia Hsu, Fredrik Kjølstad*6 citations*
144. **[Compiling Probabilistic Programs for Variable Elimination with Information Flow ↗](https://doi.org/10.1145/3656448)**Jianlin Li, Eric Wang, Yizhou Zhang*6 citations*
145. **[Concurrent Immediate Reference Counting ↗](https://doi.org/10.1145/3656383)**Jaehwang Jung, Jeonghyeon Kim, Matthew Parkinson et al.*6 citations*
146. **[Consolidating Smart Contracts with Behavioral Contracts ↗](https://doi.org/10.1145/3656416)**Guannan Wei, Danning Xie, Wuqi Zhang et al.*6 citations*
147. **[Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis ↗](https://doi.org/10.1145/3689789)**Benjamin Mariano, Ziteng Wang, Shankara Pailoor et al.*6 citations*
148. **[Degrees of Separation: A Flexible Type System for Safe Concurrency ↗](https://doi.org/10.1145/3649853)**Yichen Xu, Aleksander Boruch-Gruszecki, Martin Odersky*6 citations*
149. **[Dependency-Aware Code Naturalness ↗](https://doi.org/10.1145/3689794)**Chen Yang, Junjie Chen, Jiajun Jiang et al.*6 citations*
150. **[Effect Handlers for C via Coroutines ↗](https://doi.org/10.1145/3689798)**Mario Alvarez-Picallo, Teodoro Freund, Dan R. Ghica et al.*6 citations*
151. **[Efficient CHAD ↗](https://doi.org/10.1145/3632878)**Tom Smeding, Matthijs Vákár*6 citations*
152. **[Enriched Presheaf Model of Quantum FPC ↗](https://doi.org/10.1145/3632855)**Takeshi Tsukada, Kazuyuki Asada*6 citations*
153. **[Equivalence and Similarity Refutation for Probabilistic Programs ↗](https://doi.org/10.1145/3656462)**Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný et al.*6 citations*
154. **[Falcon: A Scalable Analytical Cache Model ↗](https://doi.org/10.1145/3656452)**Arjun Pitchanathan, Kunwar Shaanjeet Singh Grover, Tobias Grosser*6 citations*
155. **[HOL4P4: Mechanized Small-Step Semantics for P4 ↗](https://doi.org/10.1145/3649819)**Anoud Alshnakat, Didrik Lundberg, Roberto Guanciale et al.*6 citations*
156. **[HybridSA: GPU Acceleration of Multi-pattern Regex Matching using Bit Parallelism ↗](https://doi.org/10.1145/3689771)**Alexis Le Glaunec, Lingkun Kong, Konstantinos Mamouras*6 citations*
157. **[Hypra: A Deductive Program Verifier for Hyper Hoare Logic ↗](https://doi.org/10.1145/3689756)**Thibault Dardinier, Anqi Li, Péter Müller*6 citations*
158. **[Jacdac: Service-Based Prototyping of Embedded Systems ↗](https://doi.org/10.1145/3656405)**Thomas Ball, Peli de Halleux, James Devine et al.*6 citations*
159. **[Modular Hardware Design of Pipelined Circuits with Hazards ↗](https://doi.org/10.1145/3656378)**Minseong Jang, J. G. Rhee, Woojin Lee et al.*6 citations*
160. **[Multris: Functional Verification of Multiparty Message Passing in Separation Logic ↗](https://doi.org/10.1145/3689762)**Jonas Kastberg Hinrichsen, Jules Jacobs, Robbert Krebbers*6 citations*
161. **[Optimal Program Synthesis via Abstract Interpretation ↗](https://doi.org/10.1145/3632858)**Stephen Mell, Steve Zdancewic, Osbert Bastani*6 citations*
162. **[Qubit Recycling Revisited ↗](https://doi.org/10.1145/3656428)**Hanru Jiang*6 citations*
163. **[Quest Complete: The Holy Grail of Gradual Security ↗](https://doi.org/10.1145/3656442)**Tianyu Chen, Jeremy G. Siek*6 citations*
164. **[Realistic Realizability: Specifying ABIs You Can Count On ↗](https://doi.org/10.1145/3689755)**Andrew Wagner, Zachary Eisbach, Amal Ahmed*6 citations*
165. **[SpEQ: Translation of Sparse Codes using Equivalences ↗](https://doi.org/10.1145/3656445)**Avery Laird, Bangtian Liu, Nikolaj Bjørner et al.*6 citations*
166. **[SparseAuto: An Auto-scheduler for Sparse Tensor Computations using Recursive Loop Nest Restructuring ↗](https://doi.org/10.1145/3689730)**Adhitha Dias, Logan S. Anderson, Kirshanthan Sundararajah et al.*6 citations*
167. **[Staged Compilation with Module Functors ↗](https://doi.org/10.1145/3674649)**Tsung-Ju Chiang, Jeremy Yallop, Leo White et al.*6 citations*
168. **[Static Analysis for Checking the Disambiguation Robustness of Regular Expressions ↗](https://doi.org/10.1145/3656461)**Konstantinos Mamouras, Alexis Le Glaunec, Wu Angela Li et al.*6 citations*
169. **[The Functional Essence of Imperative Binary Search Trees ↗](https://doi.org/10.1145/3656398)**Anton Lorenzen, Daan Leijen, Wouter Swierstra et al.*6 citations*
170. **[Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language ↗](https://doi.org/10.1145/3656438)**G. Parthasarathy, Thibault Dardinier, Benjamin Bonneau et al.*6 citations*
171. **[VarLifter: Recovering Variables and Types from Bytecode of Solidity Smart Contracts ↗](https://doi.org/10.1145/3689711)**Yichuan Li, Wei Song, Jeff Huang*6 citations*
172. **[Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks ↗](https://doi.org/10.1145/3689787)**Doehyun Baek, Jakob Getz, Yusung Sim et al.*6 citations*
173. **[A Coq Mechanization of JavaScript Regular Expression Semantics ↗](https://doi.org/10.1145/3674666)**Noé De Santo, Aurèle Barrière, Clément Pit-Claudel*5 citations*
174. **[AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects ↗](https://doi.org/10.1145/3649826)**Wolf Honoré, Longfei Qiu, Y. K. Kim et al.*5 citations*
175. **[Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System ↗](https://doi.org/10.1145/3674662)**Satoshi Kura, Hiroshi Unno*5 citations*
176. **[Compiler Support for Sparse Tensor Convolutions ↗](https://doi.org/10.1145/3689721)**Peiming Liu, Alexander J Root, Anlun Xu et al.*5 citations*
177. **[Compiling Conditional Quantum Gates without Using Helper Qubits ↗](https://doi.org/10.1145/3656436)**Keli Huang, Jens Palsberg*5 citations*
178. **[Context-Free Language Reachability via Skewed Tabulation ↗](https://doi.org/10.1145/3656451)**Yuxiang Lei, Camille Bossut, Yulei Sui et al.*5 citations*
179. **[Crabtree: Rust API Test Synthesis Guided by Coverage and Type ↗](https://doi.org/10.1145/3689733)**Yoshiki Takashima, Chanhee Cho, Ruben Martins et al.*5 citations*
180. **[Deciding Asynchronous Hyperproperties for Recursive Programs ↗](https://doi.org/10.1145/3632844)**Jens Oliver Gutsfeld, Markus Müller-Olm, Christoph Ohrem*5 citations*
181. **[Diffy: Data-Driven Bug Finding for Configurations ↗](https://doi.org/10.1145/3656385)**Siva Kesava Reddy Kakarla, Francis Y. Yan, Ryan Beckett*5 citations*
182. **[EasyBC: A Cryptography-Specific Language for Security Analysis of Block Ciphers against Differential Cryptanalysis ↗](https://doi.org/10.1145/3632871)**Pu Sun, Fu Song, Yuqi Chen et al.*5 citations*
183. **[Effects and Coeffects in Call-by-Push-Value ↗](https://doi.org/10.1145/3689750)**Cassia Torczon, Emmanuel Suárez Acevedo, Shubh Agrawal et al.*5 citations*
184. **[Fusing Direct Manipulations into Functional Programs ↗](https://doi.org/10.1145/3632883)**Xing Zhang, Ruifeng Xie, Guanchen Guo et al.*5 citations*
185. **[GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables ↗](https://doi.org/10.1145/3656409)**Mathieu Huot, Matin Ghavami, Alexander K. Lew et al.*5 citations*
186. **[Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs ↗](https://doi.org/10.1145/3649839)**Martin Avanzini, Gilles Barthe, Benjamin Grégoire et al.*5 citations*
187. **[Inference of Robust Reachability Constraints ↗](https://doi.org/10.1145/3632933)**Yanis Sellami, Guillaume Girol, Frédéric Recoules et al.*5 citations*
188. **[Iris-MSWasm: Elucidating and Mechanising the Security Invariants of Memory-Safe WebAssembly ↗](https://doi.org/10.1145/3689722)**Maxime Legoupil, June Rousseau, Aïna Linn Georges et al.*5 citations*
189. **[Jmvx: Fast Multi-threaded Multi-version Execution and Record-Replay for Managed Languages ↗](https://doi.org/10.1145/3689769)**David Schwartz, Ankith Kowshik, Luís Pina*5 citations*
190. **[Model Checking Distributed Protocols in Must ↗](https://doi.org/10.1145/3689778)**Constantin Enea, Dimitra Giannakopoulou, Michalis Kokologiannakis et al.*5 citations*
191. **[Modular Synthesis of Efficient Quantum Uncomputation ↗](https://doi.org/10.1145/3689785)**Hristo Venev, Timon Gehr, Dimitar I. Dimitrov et al.*5 citations*
192. **[Optimistic Stack Allocation and Dynamic Heapification for Managed Runtimes ↗](https://doi.org/10.1145/3656389)**Aditya Anand, S S S N V Adithya, Swapnil Rustagi et al.*5 citations*
193. **[Polynomial Time and Dependent Types ↗](https://doi.org/10.1145/3632918)**Robert Atkey*5 citations*
194. **[Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers ↗](https://doi.org/10.1145/3689740)**Linpeng Zhang, Noam Zilberstein, Benjamin Lucien Kaminski et al.*5 citations*
195. **[Reducing Static Analysis Unsoundness with Approximate Interpretation ↗](https://doi.org/10.1145/3656424)**Mathias Rud Laursen, Wenyuan Xu, Anders Møller*5 citations*
196. **[RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly ↗](https://doi.org/10.1145/3656444)**Michael Fitzgibbons, Zoe Paraskevopoulou, Noble Mushtak et al.*5 citations*
197. **[SMT2Test: From SMT Formulas to Effective Test Cases ↗](https://doi.org/10.1145/3689719)**Chengyu Zhang, Zhendong Su*5 citations*
198. **[Securing Verified IO Programs Against Unverified Code in F* ↗](https://doi.org/10.1145/3632916)**Cezar-Constantin Andrici, Ştefan Ciobâcă, Cătălin Hriţcu et al.*5 citations*
199. **[StarMalloc: Verifying a Modern, Hardened Memory Allocator ↗](https://doi.org/10.1145/3689773)**Antonin Reitz, Aymeric Fromherz, Jonathan Protzenko*5 citations*
200. **[Tachis: Higher-Order Separation Logic with Credits for Expected Costs ↗](https://doi.org/10.1145/3689753)**Philipp G. Haselwarter, Kwing Hei Li, Markus de Medeiros et al.*5 citations*

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

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