---
title: "Proceedings of the ACM on Programming Languages 2024"
description: "Proceedings of the ACM on Programming Languages 2024 — papers: 1 paper in the Elamur Research library, with our summaries, ranked by…"
canonical: "https://research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2024/"
---
[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/)

[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

# Proceedings of the ACM on Programming Languages 2024 — papers

The works of Proceedings of the ACM on Programming Languages published in 2024 that our library holds (publisher: Association for Computing Machinery): 1 work, listed below with the most cited first; each has a page with our summary, its key points and its references.

[**367** works that year](#all) · [**1** work in our library](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2024/#works) · [**28** citations of these works](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2024/#works)

## Most cited papers

By their OpenAlex citations; a paper with our summary links to its page here, the others to the original.

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*

## All works of the year (367)

The most cited first; 1 with our summary link to their page here, the others to the original.

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*

[See all 367 papers in 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/)

## Works with our summary in our library (1)

The most cited first (OpenAlex citations plus our library's).

1. **[AutoVerus: Automated Proof Generation for Rust Code](https://md.research.elamur.ai/free/en/papers/yang-2024-autoverus-automated-proof-generation-rust/) [Proceedings of the ACM on Programming Languages](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/)**Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, et al.*2024 · 28 citations*

## Fields

[Computer Science (1)](https://md.research.elamur.ai/free/en/shelves/computer-science/)

## Top authors

Authors with a page who published here most often: their works here, and the citations of those works.

[🧑‍🔬**Chenyuan Yang**1 work here · 28 citations](https://md.research.elamur.ai/free/en/authors/chenyuan-yang/) · [🧑‍🔬**Fan Yang**1 work here · 28 citations](https://md.research.elamur.ai/free/en/authors/fan-yang/) · [🧑‍🔬**Md Rakib Hossain Misu**1 work here · 28 citations](https://md.research.elamur.ai/free/en/authors/md-rakib-hossain-misu/) · [🧑‍🔬**Shuai Lu**1 work here · 28 citations](https://md.research.elamur.ai/free/en/authors/shuai-lu/) · [🧑‍🔬**Shuvendu Lahiri**1 work here · 28 citations](https://md.research.elamur.ai/free/en/authors/shuvendu-lahiri/) · [🧑‍🔬**Yeyun Gong**1 work here · 28 citations](https://md.research.elamur.ai/free/en/authors/yeyun-gong/)

## Top institutions

Institutions on the bylines of its works here, by the number of works.

[🏢**Microsoft** Redmond · United States 1 work here](https://md.research.elamur.ai/free/en/companies/microsoft/) · [🎓**University of Illinois Urbana-Champaign** Urbana · United States 1 work here](https://md.research.elamur.ai/free/en/universities/university-of-illinois-urbana-champaign/) · [🎓**University of Toronto** Toronto · Canada 1 work here](https://md.research.elamur.ai/free/en/universities/university-of-toronto/) · [🎓**University of California, Irvine** Irvine · United States 1 work here](https://md.research.elamur.ai/free/en/universities/university-of-california-irvine/) · [🎓**University of Chicago** Chicago · United States 1 work here](https://md.research.elamur.ai/free/en/universities/university-of-chicago/) · [🏢**Microsoft Research Asia** Beijing · China 1 work here](https://md.research.elamur.ai/free/en/companies/microsoft-research-asia/) · [🎓**Columbia University** New York · United States 1 work here](https://md.research.elamur.ai/free/en/universities/columbia-university/)

works and citations from OpenAlex and our library.

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