Elamur Research⌕
☰
home / venues / Proceedings of the ACM on Programming… / 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

1 2 3 4

  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
  26. Oxidizing OCaml with Modal Memory Management ↗Anton Lorenzen, Leo White, Stephen Dolan et al.15 citations
  27. SimuQ: A Framework for Programming Quantum Hamiltonian Simulation with Analog Compilation ↗Yuxiang Peng, Jacob Young, Pengyu Liu et al.15 citations
  28. Total Type Error Localization and Recovery with Holes ↗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 ↗Georgios-Petros Drosos, Thodoris Sotiropoulos, Georgios Alexopoulos et al.15 citations
  30. An Iris Instance for Verifying CompCert C Programs ↗William Mansky, Ke Du14 citations
  31. Efficient Static Vulnerability Analysis for JavaScript with Multiversion Dependency Graphs ↗Mafalda Ferreira, Miguel Monteiro, Tiago Brito et al.14 citations
  32. Identifying and Correcting Programming Language Behavior Misconceptions ↗Kuang-Chen Lu, Shriram Krishnamurthi14 citations
  33. Refined Input, Degraded Output: The Counterintuitive World of Compiler Behavior ↗Theodoros Theodoridis, Zhendong Su14 citations
  34. Rustlantis: Randomized Differential Testing of the Rust Compiler ↗Qian Wang, Ralf Jung14 citations
  35. Solving Infinite-State Games via Acceleration ↗Philippe Heim, Rayna Dimitrova14 citations
  36. Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement ↗Amin Timany, Simon Oddershede Gregersen, Léo Stefanesco et al.14 citations
  37. Automatically Reducing Privilege for Access Control Policies ↗Loris D’Antoni, Shuo Ding, Amit Goel et al.13 citations
  38. Decision and Complexity of Dolev-Yao Hyperproperties ↗Itsaka Rakotonirina, Gilles Barthe, Clara Schneidewind13 citations
  39. Modular Denotational Semantics for Effects with Guarded Interaction Trees ↗Dan Frumin, Amin Timany, Lars Birkedal13 citations
  40. Scaling Type-Based Points-to Analysis with Saturation ↗Christian Wimmer, Codruţ Stancu, David Kozák et al.13 citations
  41. Semantic Code Refactoring for Abstract Data Types ↗Shankara Pailoor, Yuepeng Wang, Işıl Dillig13 citations
  42. Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving ↗Peixin Wang, Tengshun Yang, Hongfei Fu et al.13 citations
  43. VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints ↗Yang He, P. Zhao, Xinyu Wang et al.13 citations
  44. Verification of Neural Networks’ Global Robustness ↗Anan Kabaha, Dana Drachsler-Cohen13 citations
  45. Verified Extraction from Coq to OCaml ↗Yannick Forster, Matthieu Sozeau, Nicolas Tabareau13 citations
  46. When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism ↗Lionel Parreaux, Aleksander Boruch-Gruszecki, Andong Fan et al.13 citations
  47. Calculational Design of [In]Correctness Transformational Program Logics by Abstract Interpretation ↗Patrick M. Cousot12 citations
  48. Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing ↗Jules Jacobs, Jonas Kastberg Hinrichsen, Robbert Krebbers12 citations
  49. Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis ↗Peisen Yao, Jinguo Zhou, Xiao Xiao et al.12 citations
  50. Hydra: Generalizing Peephole Optimizations with Program Synthesis ↗Manasij Mukherjee, John David Regehr12 citations
  51. Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures ↗Francesca Randone, Luca Bortolussi, Emilio Incerto et al.12 citations
  52. LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs ↗Longfei Qiu, Y. K. Kim, Ji-Yong Shin et al.12 citations
  53. Linear Matching of JavaScript Regular Expressions ↗Aurèle Barrière, Clément Pit-Claudel12 citations
  54. Mostly Automated Verification of Liveness Properties for Distributed Protocols with Ranking Functions ↗Jianan Yao, Runzhou Tao, Ronghui Gu et al.12 citations
  55. Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs ↗Guannan Wei, Oliver Bračevac, Songlin Jia et al.12 citations
  56. Positive Almost-Sure Termination: Complexity and Proof Rules ↗Rupak Majumdar, V. R. Sathiyanarayana12 citations
  57. Predictive Monitoring against Pattern Regular Languages ↗Zhendong Ang, Umang Mathur12 citations
  58. Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA on TSO Architectures ↗Guillaume Ambal, Brijesh Dongol, Haggai Eran et al.12 citations
  59. VST-A: A Foundationally Sound Annotation Verifier ↗Litao Zhou, Jianxing Qin, Qinshi Wang et al.12 citations
  60. Validating SMT Solvers for Correctness and Performance via Grammar-Based Enumeration ↗Dominik Winterer, Zhendong Su12 citations
  61. Commutativity Simplifies Proofs of Parameterized Programs ↗Azadeh Farzan, Dominik Klumpp, Andreas Podelski11 citations
  62. Decalf: A Directed, Effectful Cost-Aware Logical Framework ↗Harrison Grodin, Yue Niu, Jonathan Sterling et al.11 citations
  63. Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions ↗Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen et al.11 citations
  64. Fast and Optimal Extraction for Sparse Equality Graphs ↗Amir Kafshdar Goharshady, Chun Kit Lam, Lionel Parreaux11 citations
  65. How Hard Is Weak-Memory Testing? ↗Soham Chakraborty, Shankara Narayanan Krishna, Umang Mathur et al.11 citations
  66. Polymorphic Type Inference for Dynamic Languages ↗Giuseppe Castagna, Mickaël Laurent, Kim Ngoc Nguyen11 citations
  67. Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs ↗Kevin Batz, Tom Jannik Biskup, Joost-Pieter Katoen et al.11 citations
  68. Programming-by-Demonstration for Long-Horizon Robot Tasks ↗Noah Patton, Kia Rahmani, Meghana Missula et al.11 citations
  69. Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-deterministic Observers ↗Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno et al.11 citations
  70. Solvable Polynomial Ideals: The Ideal Reflection for Program Analysis ↗John Cyphert, Zachary Kincaid11 citations
  71. A Case for Synthesis of Recursive Quantum Unitary Programs ↗Haowei Deng, Runzhou Tao, Yuxiang Peng et al.10 citations
  72. A Formalization of Core Why3 in Coq ↗Joshua M. Cohen, Philip Johnson-Freyd10 citations
  73. Bit Blasting Probabilistic Programs ↗Poorva Garg, Steven Holtzen, Guy Van den Broeck et al.10 citations
  74. Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug Finding ↗Qiuping Yi, Yifan Yu, Guowei Yang10 citations
  75. Enhanced Enumeration Techniques for Syntax-Guided Synthesis of Bit-Vector Manipulations ↗Yuantian Ding, Xiaokang Qiu10 citations
  76. Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs ↗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 ↗Ling Zhang, Yuting Wang, WU Jin-hua et al.10 citations
  78. Mechanised Hypersafety Proofs about Structured Data ↗Vladimir Gladshtein, Qiyuan Zhao, Willow Ahrens et al.10 citations
  79. Non-termination Proving at Scale ↗Azalea Raad, Julien Vanegue, Peter W. O’Hearn10 citations
  80. On Model-Checking Higher-Order Effectful Programs ↗Ugo Dal Lago, Alexis Ghyselen10 citations
  81. Seneca: Taint-Based Call Graph Construction for Java Object Deserialization ↗Joanna C. S. Santos, Mehdi Tarrit Mirakhorli, Ali Shokri10 citations
  82. Sound and Partially-Complete Static Analysis of Data-Races in GPU Programs ↗Dennis Liew, Tiago Cogumbreiro, Julien Lange10 citations
  83. Statically Contextualizing Large Language Models with Typed Holes ↗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 ↗Charles Yuan, Michael Carbin10 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 ↗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 ↗Prasad Jayanti, Siddhartha Jayanti, Uğur Yavuz et al.9 citations
  87. Associated Effects: Flexible Abstractions for Effectful Programming ↗Matthew Lutze, Magnus Madsen9 citations
  88. Coarser Equivalences for Causal Concurrency ↗Azadeh Farzan, Umang Mathur9 citations
  89. Cocoon: Static Information Flow Control in Rust ↗Ada Lamba, Max Taylor, Vincent Beardsley et al.9 citations
  90. Flan: An Expressive and Efficient Datalog Compiler for Program Analysis ↗Supun Abeysinghe, Anxhelo Xhebraj, Tiark Rompf9 citations
  91. Foundational Integration Verification of a Cryptographic Server ↗Andres Erbsen, Jade Philipoom, Dustin Jamner et al.9 citations
  92. Generating Well-Typed Terms That Are Not “Useless” ↗Justine Frank, Benjamin Quiring, Leonidas Lampropoulos9 citations
  93. Guided Equality Saturation ↗Thomas Kœhler, Andrés Goens, Siddharth Bhat et al.9 citations
  94. Input-Relational Verification of Deep Neural Networks ↗Debangshu Banerjee, Changming Xu, Gagandeep Singh9 citations
  95. KATch: A Fast Symbolic Verifier for NetKAT ↗Mark Moeller, Jules Jacobs, Olivier Savary Belanger et al.9 citations
  96. Minotaur: A SIMD-Oriented Synthesizing Superoptimizer ↗Zhengyang Liu, Stefan Mada, John David Regehr9 citations
  97. ParDiff: Practical Static Differential Analysis of Network Protocol Parsers ↗Mingwei Zheng, Qingkai Shi, Xuwei Liu et al.9 citations
  98. Plume: Efficient and Complete Black-Box Checking of Weak Isolation Levels ↗Si Liu, Long Gu, Hengfeng Wei et al.9 citations
  99. Quantum Control Machine: The Limits of Control Flow in Quantum Programming ↗Charles Yuan, Agnes Villanyi, Michael Carbin9 citations
  100. SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques ↗Elvira Albert, María García de la Banda, Alejandro Hernández-Cerezo et al.9 citations

1 2 3 4

↑ back to top

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