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

1 2 3 4

  1. An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: The AxSL Logic ↗Angus Hammond, Zongyuan Liu, Thibaut Pérami et al.8 citations
  2. Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers ↗Fuga Kawamata, Hiroshi Unno, Taro Sekiyama et al.8 citations
  3. CCLemma: E-Graph Guided Lemma Discovery for Inductive Equational Proofs ↗Cole Kurashige, Ruyi Ji, Aditya Giridharan et al.8 citations
  4. Forge: A Tool and Language for Teaching Formal Methods ↗Tim Nelson, Ben Greenman, Siddhartha Prasad et al.8 citations
  5. Learning Abstraction Selection for Bayesian Program Analysis ↗Y. M. Zhang, Yuanfeng Shi, Xin Zhang8 citations
  6. Probabilistic Programming with Programmable Variational Inference ↗McCoy R. Becker, Alexander K. Lew, Xiaoyan Wang et al.8 citations
  7. Quantum Probabilistic Model Checking for Time-Bounded Properties ↗Seungmin Jeon, Kyeongmin Cho, Chan Gu Kang et al.8 citations
  8. Sound Borrow-Checking for Rust via Symbolic Semantics ↗Son Ho, Aymeric Fromherz, Jonathan Protzenko8 citations
  9. Soundly Handling Linearity ↗Wenhao Tang, Daniel Hillerström, Sam Lindley et al.8 citations
  10. Weighted Context-Free-Language Ordered Binary Decision Diagrams ↗Meghana Aparna Sistla, Swarat Chaudhuri, Thomas Reps8 citations
  11. A Family of Fast and Memory Efficient Lock- and Wait-Free Reclamation ↗Ruslan Nikolaev, Binoy Ravindran7 citations
  12. A HAT Trick: Automatically Verifying Representation Invariants using Symbolic Finite Automata ↗Zhe Zhou, Qianchuan Ye, Benjamin Delaware et al.7 citations
  13. Automatic Parallelism Management ↗Sam Westrick, Matthew T. Fluet, Mike Rainey et al.7 citations
  14. Compiling with Abstract Interpretation ↗Dorian Lesbre, Matthieu Lemerre7 citations
  15. Descend: A Safe GPU Systems Programming Language ↗Bastian Köpcke, Sergei Petrovich Gorlatch, Michel Steuwer7 citations
  16. Distributions for Compositionally Differentiating Parametric Discontinuities ↗Jesse Michel, Kevin Mu, Xuanda Yang et al.7 citations
  17. Efficient Bottom-Up Synthesis for Programs with Local Variables ↗Xiang Li, Xiangyu Zhou, Rui Dong et al.7 citations
  18. FPCC: Detecting Floating-Point Errors via Chain Conditions ↗Xin Yi, Hengbiao Yu, Liqian Chen et al.7 citations
  19. Finding ∀∃ Hyperbugs using Symbolic Execution ↗Arthur Correnson, Tobias Nießen, Bernd Finkbeiner et al.7 citations
  20. Functional Ownership through Fractional Uniqueness ↗Daniel Marshall, Dominic A. Orchard7 citations
  21. HardTaint: Production-Run Dynamic Taint Analysis via Selective Hardware Tracing ↗Yiyu Zhang, Tianyi Liu, Yueyang Wang et al.7 citations
  22. HiPy: Extracting High-Level Semantics from Python Code for Data Processing ↗Michael Jungmair, Alexis Engelke, Jana Giceva7 citations
  23. Implementation and Synthesis of Math Library Functions ↗Ian Briggs, Yash Lad, Pavel Panchekha7 citations
  24. Lexical Effect Handlers, Directly ↗Cong Ma, Zhaoyi Ge, Edward Lee et al.7 citations
  25. Mechanizing Refinement Types ↗Michael H. Borkowski, Niki Vazou, Ranjit Jhala7 citations
  26. On Learning Polynomial Recursive Programs ↗Alex Buna, Vincent Cheval, Mahsa Shirmohammadi et al.7 citations
  27. On-the-Fly Static Analysis via Dynamic Bidirected Dyck Reachability ↗Shankara Narayanan Krishna, Aniket Lal, Andreas Pavlogiannis et al.7 citations
  28. PolyJuice: Detecting Mis-compilation Bugs in Tensor Compilers with Equality Saturation Based Rewriting ↗Chijin Zhou, Bingzhou Qian, Gwihwan Go et al.7 citations
  29. Practical Verification of Smart Contracts using Memory Splitting ↗Shelly Grossman, John Toman, Alexander Bakst et al.7 citations
  30. ReLU Hull Approximation ↗Zhongkui Ma, Jiaying Li, Guangdong Bai7 citations
  31. Recursive Program Synthesis using Paramorphisms ↗Qiantan Hong, Alex Aiken7 citations
  32. Robust Resource Bounds with Static Analysis and Bayesian Inference ↗Long Pham, Feras A. Saad, Jan Hoffmann7 citations
  33. Sound Gradual Verification with Symbolic Execution ↗Conrad Zimmerman, Jenna DiVincenzo, Jonathan Aldrich7 citations
  34. Stream Types ↗Joseph W. Cutler, Christopher Watson, Emeka Nkurumeh et al.7 citations
  35. Strong Invariants Are Hard: On the Hardness of Strongest Polynomial Invariants for (Probabilistic) Programs ↗Julian Müllner, Marcel Moosbrugger, Laura Kovács7 citations
  36. The Essence of Generalized Algebraic Data Types ↗Filip Sieczkowski, Sergei Stepanenko, Jonathan Sterling et al.7 citations
  37. UniSparse: An Intermediate Language for General Sparse Format Customization ↗Jie Liu, Zhongyuan Zhao, Zijian Ding et al.7 citations
  38. With a Few Square Roots, Quantum Computing Is as Easy as Pi ↗Jacques Carette, Chris Heunen, Robin Kaarsgaard et al.7 citations
  39. Abstracting Effect Systems for Algebraic Effect Handlers ↗T. Yoshioka, Taro Sekiyama, Atsushi Igarashi6 citations
  40. Automated Verification of Fundamental Algebraic Laws ↗George Zakhour, Pascal Weisenburger, Guido Salvaneschi6 citations
  41. Boosting the Performance of Alias-Aware IFDS Analysis with CFL-Based Environment Transformers ↗Haofeng Li, Chenghang Shi, Jie Lu et al.6 citations
  42. Closure-Free Functional Programming in a Two-Level Type Theory ↗András Kovács6 citations
  43. Compilation of Modular and General Sparse Workspaces ↗Genghan Zhang, Olivia Hsu, Fredrik Kjølstad6 citations
  44. Compiling Probabilistic Programs for Variable Elimination with Information Flow ↗Jianlin Li, Eric Wang, Yizhou Zhang6 citations
  45. Concurrent Immediate Reference Counting ↗Jaehwang Jung, Jeonghyeon Kim, Matthew Parkinson et al.6 citations
  46. Consolidating Smart Contracts with Behavioral Contracts ↗Guannan Wei, Danning Xie, Wuqi Zhang et al.6 citations
  47. Control-Flow Deobfuscation using Trace-Informed Compositional Program Synthesis ↗Benjamin Mariano, Ziteng Wang, Shankara Pailoor et al.6 citations
  48. Degrees of Separation: A Flexible Type System for Safe Concurrency ↗Yichen Xu, Aleksander Boruch-Gruszecki, Martin Odersky6 citations
  49. Dependency-Aware Code Naturalness ↗Chen Yang, Junjie Chen, Jiajun Jiang et al.6 citations
  50. Effect Handlers for C via Coroutines ↗Mario Alvarez-Picallo, Teodoro Freund, Dan R. Ghica et al.6 citations
  51. Efficient CHAD ↗Tom Smeding, Matthijs Vákár6 citations
  52. Enriched Presheaf Model of Quantum FPC ↗Takeshi Tsukada, Kazuyuki Asada6 citations
  53. Equivalence and Similarity Refutation for Probabilistic Programs ↗Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný et al.6 citations
  54. Falcon: A Scalable Analytical Cache Model ↗Arjun Pitchanathan, Kunwar Shaanjeet Singh Grover, Tobias Grosser6 citations
  55. HOL4P4: Mechanized Small-Step Semantics for P4 ↗Anoud Alshnakat, Didrik Lundberg, Roberto Guanciale et al.6 citations
  56. HybridSA: GPU Acceleration of Multi-pattern Regex Matching using Bit Parallelism ↗Alexis Le Glaunec, Lingkun Kong, Konstantinos Mamouras6 citations
  57. Hypra: A Deductive Program Verifier for Hyper Hoare Logic ↗Thibault Dardinier, Anqi Li, Péter Müller6 citations
  58. Jacdac: Service-Based Prototyping of Embedded Systems ↗Thomas Ball, Peli de Halleux, James Devine et al.6 citations
  59. Modular Hardware Design of Pipelined Circuits with Hazards ↗Minseong Jang, J. G. Rhee, Woojin Lee et al.6 citations
  60. Multris: Functional Verification of Multiparty Message Passing in Separation Logic ↗Jonas Kastberg Hinrichsen, Jules Jacobs, Robbert Krebbers6 citations
  61. Optimal Program Synthesis via Abstract Interpretation ↗Stephen Mell, Steve Zdancewic, Osbert Bastani6 citations
  62. Qubit Recycling Revisited ↗Hanru Jiang6 citations
  63. Quest Complete: The Holy Grail of Gradual Security ↗Tianyu Chen, Jeremy G. Siek6 citations
  64. Realistic Realizability: Specifying ABIs You Can Count On ↗Andrew Wagner, Zachary Eisbach, Amal Ahmed6 citations
  65. SpEQ: Translation of Sparse Codes using Equivalences ↗Avery Laird, Bangtian Liu, Nikolaj Bjørner et al.6 citations
  66. SparseAuto: An Auto-scheduler for Sparse Tensor Computations using Recursive Loop Nest Restructuring ↗Adhitha Dias, Logan S. Anderson, Kirshanthan Sundararajah et al.6 citations
  67. Staged Compilation with Module Functors ↗Tsung-Ju Chiang, Jeremy Yallop, Leo White et al.6 citations
  68. Static Analysis for Checking the Disambiguation Robustness of Regular Expressions ↗Konstantinos Mamouras, Alexis Le Glaunec, Wu Angela Li et al.6 citations
  69. The Functional Essence of Imperative Binary Search Trees ↗Anton Lorenzen, Daan Leijen, Wouter Swierstra et al.6 citations
  70. Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language ↗G. Parthasarathy, Thibault Dardinier, Benjamin Bonneau et al.6 citations
  71. VarLifter: Recovering Variables and Types from Bytecode of Solidity Smart Contracts ↗Yichuan Li, Wei Song, Jeff Huang6 citations
  72. Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks ↗Doehyun Baek, Jakob Getz, Yusung Sim et al.6 citations
  73. A Coq Mechanization of JavaScript Regular Expression Semantics ↗Noé De Santo, Aurèle Barrière, Clément Pit-Claudel5 citations
  74. AdoB: Bridging Benign and Byzantine Consensus with Atomic Distributed Objects ↗Wolf Honoré, Longfei Qiu, Y. K. Kim et al.5 citations
  75. Automated Verification of Higher-Order Probabilistic Programs via a Dependent Refinement Type System ↗Satoshi Kura, Hiroshi Unno5 citations
  76. Compiler Support for Sparse Tensor Convolutions ↗Peiming Liu, Alexander J Root, Anlun Xu et al.5 citations
  77. Compiling Conditional Quantum Gates without Using Helper Qubits ↗Keli Huang, Jens Palsberg5 citations
  78. Context-Free Language Reachability via Skewed Tabulation ↗Yuxiang Lei, Camille Bossut, Yulei Sui et al.5 citations
  79. Crabtree: Rust API Test Synthesis Guided by Coverage and Type ↗Yoshiki Takashima, Chanhee Cho, Ruben Martins et al.5 citations
  80. Deciding Asynchronous Hyperproperties for Recursive Programs ↗Jens Oliver Gutsfeld, Markus Müller-Olm, Christoph Ohrem5 citations
  81. Diffy: Data-Driven Bug Finding for Configurations ↗Siva Kesava Reddy Kakarla, Francis Y. Yan, Ryan Beckett5 citations
  82. EasyBC: A Cryptography-Specific Language for Security Analysis of Block Ciphers against Differential Cryptanalysis ↗Pu Sun, Fu Song, Yuqi Chen et al.5 citations
  83. Effects and Coeffects in Call-by-Push-Value ↗Cassia Torczon, Emmanuel Suárez Acevedo, Shubh Agrawal et al.5 citations
  84. Fusing Direct Manipulations into Functional Programs ↗Xing Zhang, Ruifeng Xie, Guanchen Guo et al.5 citations
  85. GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables ↗Mathieu Huot, Matin Ghavami, Alexander K. Lew et al.5 citations
  86. Hopping Proofs of Expectation-Based Properties: Applications to Skiplists and Security Proofs ↗Martin Avanzini, Gilles Barthe, Benjamin Grégoire et al.5 citations
  87. Inference of Robust Reachability Constraints ↗Yanis Sellami, Guillaume Girol, Frédéric Recoules et al.5 citations
  88. Iris-MSWasm: Elucidating and Mechanising the Security Invariants of Memory-Safe WebAssembly ↗Maxime Legoupil, June Rousseau, Aïna Linn Georges et al.5 citations
  89. Jmvx: Fast Multi-threaded Multi-version Execution and Record-Replay for Managed Languages ↗David Schwartz, Ankith Kowshik, Luís Pina5 citations
  90. Model Checking Distributed Protocols in Must ↗Constantin Enea, Dimitra Giannakopoulou, Michalis Kokologiannakis et al.5 citations
  91. Modular Synthesis of Efficient Quantum Uncomputation ↗Hristo Venev, Timon Gehr, Dimitar I. Dimitrov et al.5 citations
  92. Optimistic Stack Allocation and Dynamic Heapification for Managed Runtimes ↗Aditya Anand, S S S N V Adithya, Swapnil Rustagi et al.5 citations
  93. Polynomial Time and Dependent Types ↗Robert Atkey5 citations
  94. Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers ↗Linpeng Zhang, Noam Zilberstein, Benjamin Lucien Kaminski et al.5 citations
  95. Reducing Static Analysis Unsoundness with Approximate Interpretation ↗Mathias Rud Laursen, Wenyuan Xu, Anders Møller5 citations
  96. RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly ↗Michael Fitzgibbons, Zoe Paraskevopoulou, Noble Mushtak et al.5 citations
  97. SMT2Test: From SMT Formulas to Effective Test Cases ↗Chengyu Zhang, Zhendong Su5 citations
  98. Securing Verified IO Programs Against Unverified Code in F* ↗Cezar-Constantin Andrici, Ştefan Ciobâcă, Cătălin Hriţcu et al.5 citations
  99. StarMalloc: Verifying a Modern, Hardened Memory Allocator ↗Antonin Reitz, Aymeric Fromherz, Jonathan Protzenko5 citations
  100. Tachis: Higher-Order Separation Logic with Credits for Expected Costs ↗Philipp G. Haselwarter, Kwing Hei Li, Markus de Medeiros et al.5 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/page/2/