📰 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.

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 ↗Haonan Li, Hao Yu, Yizhuo Zhai et al.148 citations
2. WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models ↗Chenyuan Yang, Yinlin Deng, Runyu Lu et al.82 citations
3. Thunks and Debits in Separation Logic with Time Credits ↗François Pottier, Armaël Guéneau, Jacques-Henri Jourdan et al.44 citations
4. Allo: A Programming Model for Composable Accelerator Design ↗Hongzheng Chen, Niansong Zhang, Shaojie Xiang et al.40 citations
5. PyDex: Repairing Bugs in Introductory Python Assignments using LLMs ↗Jialu Zhang, José Cambronero, Sumit Gulwani et al.40 citations
6. Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs ↗Federico Cassano, John Gouwar, Francesca Lucchetti et al.38 citations
7. CYCLE: Learning to Self-Refine the Code Generation ↗Yangruibo Ding, Marcus J. Min, Gail E. Kaiser et al.35 citations
8. RefinedRust: A Type System for High-Assurance Verification of Rust Programs ↗Lennard Gäher, Michael Sammler, Ralf Jung et al.31 citations
9. Bringing the WebAssembly Standard up to Speed with SpecTec ↗Dongjun Youn, Wonho Shin, Jaehyun Lee et al.30 citations
10. Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization ↗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 ↗Haonan Li, Hao Yu, Yizhuo Zhai et al.148 citations
2. WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models ↗Chenyuan Yang, Yinlin Deng, Runyu Lu et al.82 citations
3. Thunks and Debits in Separation Logic with Time Credits ↗François Pottier, Armaël Guéneau, Jacques-Henri Jourdan et al.44 citations
4. Allo: A Programming Model for Composable Accelerator Design ↗Hongzheng Chen, Niansong Zhang, Shaojie Xiang et al.40 citations
5. PyDex: Repairing Bugs in Introductory Python Assignments using LLMs ↗Jialu Zhang, José Cambronero, Sumit Gulwani et al.40 citations
6. Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs ↗Federico Cassano, John Gouwar, Francesca Lucchetti et al.38 citations
7. CYCLE: Learning to Self-Refine the Code Generation ↗Yangruibo Ding, Marcus J. Min, Gail E. Kaiser et al.35 citations
8. RefinedRust: A Type System for High-Assurance Verification of Rust Programs ↗Lennard Gäher, Michael Sammler, Ralf Jung et al.31 citations
9. Bringing the WebAssembly Standard up to Speed with SpecTec ↗Dongjun Youn, Wonho Shin, Jaehyun Lee et al.30 citations
10. Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization ↗Joseph W. Cutler, Craig Disselkoen, Aaron Eline et al.30 citations
11. Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties ↗Thibault Dardinier, Péter Müller30 citations
12. Drowzee: Metamorphic Testing for Fact-Conflicting Hallucination Detection in Large Language Models ↗Ningke Li, Yuekang Li, Yi Liu et al.27 citations
13. Boosting Compiler Testing by Injecting Real-World Code ↗Shaohua Li, Theodoros Theodoridis, Zhendong Su25 citations
14. A Tensor Compiler with Automatic Data Packing for Simple and Efficient Fully Homomorphic Encryption ↗Aleksandar Krastev, Nikola Samardzic, Simon Langowski et al.23 citations
15. Asynchronous Probabilistic Couplings in Higher-Order Separation Logic ↗Simon Oddershede Gregersen, Alejandro Aguirre, Philipp G. Haselwarter et al.23 citations
16. Quarl: A Learning-Based Quantum Circuit Optimizer ↗Zikun Li, Jinjun Peng, Yixuan Mei et al.23 citations
17. Efficient Matching of Regular Expressions with Lookaround Assertions ↗Konstantinos Mamouras, Agnishom Chattopadhyay20 citations
18. Validation of Modern JSON Schema: Formalization and Complexity ↗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 ↗Jaemin Hong, Sukyoung Ryu17 citations
20. Synthetiq: Fast and Versatile Quantum Circuit Synthesis ↗Anouk Paradis, Jasper Dekoninck, Benjamin Bichsel et al.17 citations
21. API-Driven Program Synthesis for Testing Static Typing Implementations ↗Thodoris Sotiropoulos, Stefanos Chaliasos, Zhendong Su16 citations
22. Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects ↗Noam Zilberstein, Angelina Saliling, Alexandra Silva16 citations
23. Quantitative Bounds on Resource Usage of Probabilistic Programs ↗Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer et al.16 citations
24. Symbolic Execution for Quantum Error Correction Programs ↗Wang Sheng Fang, Mingsheng Ying16 citations
25. A Learning-Based Approach to Static Program Slicing ↗Aashish Yadavally, Yi Li, Shaohua Wang et al.15 citations

See all 367 papers in 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 CodeProceedings of the ACM on Programming LanguagesChenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, et al.2024 · 28 citations

📚 Fields

🖥️Computer Science (1)

🧑‍🔬 Top authors

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

🏛️ Top institutions

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

🏢MicrosoftRedmond · United States1 work here🎓University of Illinois Urbana-ChampaignUrbana · United States1 work here🎓University of TorontoToronto · Canada1 work here🎓University of California, IrvineIrvine · United States1 work here🎓University of ChicagoChicago · United States1 work here🏢Microsoft Research AsiaBeijing · China1 work here🎓Columbia UniversityNew York · United States1 work here

works and citations from OpenAlex and our library.

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/venues/proceedings-of-the-acm-on-programming-languages/2024/