PLDI 2023
Proceedings of the ACM on Programming Languages, Volume 7, Number PLDI
Powered by
Conference Publishing Consulting

Proceedings of the ACM on Programming Languages, Volume 7, Number PLDI, June 17–21, 2023, Orlando, FL, United States

PLDI – Journal Issue

Contents - Abstracts - Authors

Frontmatter

Title Page
Editorial Message
Sponsors

Papers

Formally Verified Samplers from Probabilistic Programs with Loops and Conditioning
Alexander Bagnall ORCID logo, Gordon Stewart ORCID logo, and Anindya Banerjee ORCID logo
(Ohio University, USA; Bedrock Systems, USA; IMDEA Software Institute, Spain)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Mostly Automated Proof Repair for Verified Libraries
Kiran GopinathanORCID logo, Mayank KeoliyaORCID logo, and Ilya SergeyORCID logo
(National University of Singapore, Singapore)
Publisher's Version Published Artifact Info Artifacts Available Artifacts Reusable
Modular Control Plane Verification via Temporal Invariants
Timothy Alberdingk Thijm ORCID logo, Ryan Beckett ORCID logo, Aarti Gupta ORCID logo, and David Walker ORCID logo
(Princeton University, USA; Microsoft Research, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
A Lineage-Based Referencing DSL for Computer-Aided Design
Dan Cascaval ORCID logo, Rastislav Bodik ORCID logo, and Adriana Schulz ORCID logo
(University of Washington, USA; Google, USA)
Publisher's Version
WasmRef-Isabelle: A Verified Monadic Interpreter and Industrial Fuzzing Oracle for WebAssembly
Conrad Watt ORCID logo, Maja Trela ORCID logo, Peter Lammich ORCID logo, and Florian Märkl ORCID logo
(University of Cambridge, UK; Jane Street, UK; University of Twente, Netherlands; TU Munich, Germany)
Publisher's Version Published Artifact Artifacts Available
cuCatch: A Debugging Tool for Efficiently Catching Memory Safety Violations in CUDA Applications
Mohamed Tarek Ibn Ziad ORCID logo, Sana Damani ORCID logo, Aamer Jaleel ORCID logo, Stephen W. Keckler ORCID logo, and Mark Stephenson ORCID logo
(NVIDIA, USA)
Publisher's Version
Lilac: A Modal Separation Logic for Conditional Probability
John M. Li ORCID logo, Amal AhmedORCID logo, and Steven Holtzen ORCID logo
(Northeastern University, USA)
Publisher's Version
Discrete Adversarial Attack to Models of Code
Fengjuan Gao ORCID logo, Yu Wang ORCID logo, and Ke Wang ORCID logo
(Nanjing University of Science and Technology, China; Nanjing University, China; Visa Research, USA)
Publisher's Version Archive submitted (340 kB)
HEaaN.MLIR: An Optimizing Compiler for Fast Ring-Based Homomorphic Encryption
Sunjae Park ORCID logo, Woosung Song ORCID logo, Seunghyeon Nam ORCID logo, Hyeongyu Kim ORCID logo, Junbum Shin ORCID logo, and Juneyoung Lee ORCID logo
(Seoul National University, South Korea; Google, South Korea; CryptoLab, South Korea; Amazon Web Services, USA)
Publisher's Version Info
Garbage-Collection Safety for Region-Based Type-Polymorphic Programs
Martin Elsman ORCID logo
(University of Copenhagen, Denmark)
Publisher's Version Published Artifact Archive submitted (580 kB) Artifacts Available Artifacts Reusable
CQS: A Formally-Verified Framework for Fair and Abortable Synchronization
Nikita Koval ORCID logo, Dmitry Khalanskiy ORCID logo, and Dan Alistarh ORCID logo
(JetBrains, Netherlands; JetBrains, Germany; IST Austria, Austria)
Publisher's Version
Generalized Policy-Based Noninterference for Efficient Confidentiality-Preservation
Shamiek Mangipudi ORCID logo, Pavel Chuprikov ORCID logo, Patrick EugsterORCID logo, Malte Viering ORCID logo, and Savvas Savvides ORCID logo
(USI Lugano, Switzerland; TU Darmstadt, Germany; Purdue University, USA)
Publisher's Version
Memento: A Framework for Detectable Recoverability in Persistent Memory
Kyeongmin ChoORCID logo, Seungmin Jeon ORCID logo, Azalea RaadORCID logo, and Jeehoon KangORCID logo
(KAIST, South Korea; Imperial College London, UK)
Publisher's Version Published Artifact Info Artifacts Available Artifacts Reusable
Recursive State Machine Guided Graph Folding for Context-Free Language Reachability
Yuxiang Lei ORCID logo, Yulei Sui ORCID logo, Shin Hwei Tan ORCID logo, and Qirun Zhang ORCID logo
(University of New South Wales, Australia; Concordia University, Canada; Georgia Institute of Technology, USA)
Publisher's Version Published Artifact Archive submitted (340 kB) Artifacts Available Artifacts Reusable
Modular Hardware Design with Timeline Types
Rachit NigamORCID logo, Pedro Henrique Azevedo de AmorimORCID logo, and Adrian SampsonORCID logo
(Cornell University, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Performal: Formal Verification of Latency Properties for Distributed Systems
Tony Nuda Zhang ORCID logo, Upamanyu Sharma ORCID logo, and Manos Kapritsos ORCID logo
(University of Michigan, USA; Massachusetts Institute of Technology, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Mosaic: An Interoperable Compiler for Tensor Algebra
Manya Bansal ORCID logo, Olivia Hsu ORCID logo, Kunle Olukotun ORCID logo, and Fredrik Kjolstad ORCID logo
(Stanford University, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Loop Rerolling for Hardware Decompilation
Zachary D. Sisco ORCID logo, Jonathan BalkindORCID logo, Timothy SherwoodORCID logo, and Ben Hardekopf ORCID logo
(University of California at Santa Barbara, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Architecture-Preserving Provable Repair of Deep Neural Networks
Zhe TaoORCID logo, Stephanie Nawas ORCID logo, Jacqueline Mitchell ORCID logo, and Aditya V. ThakurORCID logo
(University of California at Davis, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Better Together: Unifying Datalog and Equality Saturation
Yihong Zhang ORCID logo, Yisu Remy Wang ORCID logo, Oliver Flatt ORCID logo, David Cao ORCID logo, Philip Zucker ORCID logo, Eli Rosenthal ORCID logo, Zachary Tatlock ORCID logo, and Max WillseyORCID logo
(University of Washington, USA; University of California at San Diego, USA; Draper Laboratory, USA; Google, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations
Jihyeok ParkORCID logo, Dongjun YounORCID logo, Kanguk Lee ORCID logo, and Sukyoung RyuORCID logo
(Korea University, South Korea; KAIST, South Korea)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional
Defunctionalization with Dependent Types
Yulong Huang ORCID logo and Jeremy YallopORCID logo
(University of Cambridge, UK)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional
Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis
Wenjie Ma ORCID logo, Shengyuan Yang ORCID logo, Tian Tan ORCID logo, Xiaoxing Ma ORCID logo, Chang XuORCID logo, and Yue Li ORCID logo
(Nanjing University, China)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Dynamic Partial Order Reduction for Checking Correctness against Transaction Isolation Levels
Ahmed Bouajjani ORCID logo, Constantin Enea ORCID logo, and Enrique Román-Calvo ORCID logo
(University Paris Cité, France; CNRS, France; IRIF, France; LIX, France; École Polytechnique, France; Institut Polytechnique de Paris, France)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Collecting Cyclic Garbage across Foreign Function Interfaces: Who Takes the Last Piece of Cake?
Tetsuro Yamazaki ORCID logo, Tomoki NakamaruORCID logo, Ryota Shioya ORCID logo, Tomoharu Ugawa ORCID logo, and Shigeru Chiba ORCID logo
(University of Tokyo, Japan)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Verified Density Compilation for a Probabilistic Programming Language
Joseph Tassarotti ORCID logo and Jean-Baptiste Tristan ORCID logo
(New York University, USA; Amazon Web Services, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Conflict-Driven Synthesis for Layout Engines
Junrui Liu ORCID logo, Yanju Chen ORCID logo, Eric Atkinson ORCID logo, Yu FengORCID logo, and Rastislav Bodik ORCID logo
(University of California at Santa Barbara, USA; Massachusetts Institute of Technology, USA; Google, USA)
Publisher's Version
Psym: Efficient Symbolic Exploration of Distributed Systems
Lauren Pick ORCID logo, Ankush Desai ORCID logo, and Aarti Gupta ORCID logo
(University of California at Berkeley, USA; University of Wisconsin-Madison, USA; Amazon Web Services, USA; Princeton University, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
ImageEye: Batch Image Processing using Program Synthesis
Celeste Barnaby ORCID logo, Qiaochu Chen ORCID logo, Roopsha Samanta ORCID logo, and Işıl Dillig ORCID logo
(University of Texas at Austin, USA; Purdue University, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional
Responsive Parallelism with Synchronization
Stefan K. Muller ORCID logo, Kyle Singer ORCID logo, Devyn Terra Keeney ORCID logo, Andrew Neth ORCID logo, Kunal Agrawal ORCID logo, I-Ting Angelina Lee ORCID logo, and Umut A. Acar ORCID logo
(Illinois Institute of Technology, USA; Washington University in St. Louis, USA; Carnegie Mellon University, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
A Type System for Safe Intermittent Computing
Milijana Surbatovich ORCID logo, Naomi Spargo ORCID logo, Limin Jia ORCID logo, and Brandon Lucia ORCID logo
(Carnegie Mellon University, USA)
Publisher's Version
Optimal Reads-From Consistency Checking for C11-Style Memory Models
Hünkar Can Tunç ORCID logo, Parosh Aziz Abdulla ORCID logo, Soham Chakraborty ORCID logo, Shankaranarayanan Krishna ORCID logo, Umang Mathur ORCID logo, and Andreas PavlogiannisORCID logo
(Aarhus University, Denmark; Uppsala University, Sweden; TU Delft, Netherlands; IIT Bombay, India; National University of Singapore, Singapore)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks
Mark Niklas Müller ORCID logo, Marc Fischer ORCID logo, Robin Staab ORCID logo, and Martin VechevORCID logo
(ETH Zurich, Switzerland)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Fair Operational Semantics
Dongjae Lee ORCID logo, Minki Cho ORCID logo, Jinwoo Kim ORCID logo, Soonwon Moon ORCID logo, Youngju Song ORCID logo, and Chung-Kil Hur ORCID logo
(Seoul National University, South Korea; Inha University, South Korea; MPI-SWS, Germany)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Synthesizing Quantum-Circuit Optimizers
Amanda Xu ORCID logo, Abtin Molavi ORCID logo, Lauren Pick ORCID logo, Swamit Tannu ORCID logo, and Aws Albarghouthi ORCID logo
(University of Wisconsin-Madison, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Trace-Guided Inductive Synthesis of Recursive Functional Programs
Yongwei Yuan ORCID logo, Arjun Radhakrishna ORCID logo, and Roopsha Samanta ORCID logo
(Purdue University, USA; Microsoft, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Parallelism in a Region Inference Context
Martin Elsman ORCID logo and Troels Henriksen ORCID logo
(University of Copenhagen, Denmark)
Publisher's Version Published Artifact Archive submitted (460 kB) Artifacts Available Artifacts Reusable
Don’t Look UB: Exposing Sanitizer-Eliding Compiler Optimizations
Raphael Isemann ORCID logo, Cristiano Giuffrida ORCID logo, Herbert Bos ORCID logo, Erik van der Kouwe ORCID logo, and Klaus von Gleissenthall ORCID logo
(Vrije Universiteit Amsterdam, Netherlands)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Proving and Disproving Equivalence of Functional Programming Assignments
Dragana MilovančevićORCID logo and Viktor Kunčak ORCID logo
(EPFL, Switzerland)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
PureCake: A Verified Compiler for a Lazy Functional Language
Hrutvik KanabarORCID logo, Samuel Vivien ORCID logo, Oskar Abrahamsson ORCID logo, Magnus O. MyreenORCID logo, Michael Norrish ORCID logo, Johannes Åman Pohjola ORCID logo, and Riccardo Zanetti ORCID logo
(University of Kent, UK; ENS, France; Chalmers University of Technology, Sweden; Australian National University, Australia; University of New South Wales, Australia)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Better Defunctionalization through Lambda Set Specialization
William Brandon ORCID logo, Benjamin Driscoll ORCID logo, Frank Dai ORCID logo, Wilson Berkow ORCID logo, and Mae MilanoORCID logo
(Massachusetts Institute of Technology, USA; Stanford University, USA; University of California at Berkeley, USA)
Publisher's Version Published Artifact Archive submitted (420 kB) Artifacts Available Artifacts Reusable
Taype: A Policy-Agnostic Language for Oblivious Computation
Qianchuan Ye ORCID logo and Benjamin DelawareORCID logo
(Purdue University, USA)
Publisher's Version Published Artifact Archive submitted (430 kB) Artifacts Available Artifacts Reusable
Derivative Based Nonbacktracking Real-World Regex Matching with Backtracking Semantics
Dan Moseley ORCID logo, Mario Nishio ORCID logo, Jose Perez Rodriguez ORCID logo, Olli Saarikivi ORCID logo, Stephen Toub ORCID logo, Margus VeanesORCID logo, Tiki Wan ORCID logo, and Eric Xu ORCID logo
(Microsoft, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Automated Expected Value Analysis of Recursive Programs
Martin Avanzini ORCID logo, Georg Moser ORCID logo, and Michael Schaper ORCID logo
(Inria, France; Universität Innsbruck, Austria; Build Informed, Austria)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Interval Parsing Grammars for File Format Parsing
Jialun Zhang ORCID logo, Greg Morrisett ORCID logo, and Gang TanORCID logo
(Pennsylvania State University, USA; Cornell University, USA)
Publisher's Version Published Artifact Archive submitted (850 kB) Artifacts Available Artifacts Reusable
Iris-Wasm: Robust and Modular Verification of WebAssembly Programs
Xiaojia Rao ORCID logo, Aïna Linn Georges ORCID logo, Maxime Legoupil ORCID logo, Conrad Watt ORCID logo, Jean Pichon-Pharabod ORCID logo, Philippa Gardner ORCID logo, and Lars BirkedalORCID logo
(Imperial College London, UK; Aarhus University, Denmark; University of Cambridge, UK)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Cakes That Bake Cakes: Dynamic Computation in CakeML
Thomas Sewell ORCID logo, Magnus O. MyreenORCID logo, Yong Kiam Tan ORCID logo, Ramana Kumar ORCID logo, Alexander Mihajlovic ORCID logo, Oskar Abrahamsson ORCID logo, and Scott Owens ORCID logo
(University of Cambridge, UK; Chalmers University of Technology, Sweden; Unaffiliated, Singapore; Unaffiliated, UK)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Compound Memory Models
Andrés Goens ORCID logo, Soham Chakraborty ORCID logo, Susmit Sarkar ORCID logo, Sukarn Agarwal ORCID logo, Nicolai Oswald ORCID logo, and Vijay Nagarajan ORCID logo
(University of Edinburgh, UK; TU Delft, Netherlands; University of St Andrews, UK; NVIDIA Research, Switzerland)
Publisher's Version Published Artifact Archive submitted (110 kB) Info Artifacts Available Artifacts Functional
Indexed Streams: A Formal Intermediate Representation for Fused Contraction Programs
Scott Kovach ORCID logo, Praneeth Kolichala ORCID logo, Tiancheng Gu ORCID logo, and Fredrik Kjolstad ORCID logo
(Stanford University, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional
flap: A Deterministic Parser with Fused Lexing
Jeremy YallopORCID logo, Ningning Xie ORCID logo, and Neel Krishnaswami ORCID logo
(University of Cambridge, UK; University of Toronto, Canada)
Publisher's Version Published Artifact Info Artifacts Available Artifacts Reusable
An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits
Yu-Fang Chen ORCID logo, Kai-Min Chung ORCID logo, Ondřej LengálORCID logo, Jyun-Ao Lin ORCID logo, Wei-Lun Tsai ORCID logo, and Di-De Yen ORCID logo
(Academia Sinica, Taiwan; Brno University of Technology, Czechia; National Taiwan University, Taiwan; MPI-SWS, Germany)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Covering All the Bases: Type-Based Verification of Test Input Generators
Zhe Zhou ORCID logo, Ashish Mishra ORCID logo, Benjamin DelawareORCID logo, and Suresh Jagannathan ORCID logo
(Purdue University, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
Joel Kuepper ORCID logo, Andres ErbsenORCID logo, Jason Gross ORCID logo, Owen Conoly ORCID logo, Chuyue SunORCID logo, Samuel Tian ORCID logo, David Wu ORCID logo, Adam ChlipalaORCID logo, Chitchanok Chuengsatiansup ORCID logo, Daniel Genkin ORCID logo, Markus Wagner ORCID logo, and Yuval Yarom ORCID logo
(University of Adelaide, Australia; Massachusetts Institute of Technology, USA; Stanford University, USA; University of Melbourne, Australia; Georgia Institute of Technology, USA; Monash University, Australia; Ruhr University Bochum, Germany)
Publisher's Version Published Artifact Info Artifacts Available Artifacts Reusable
Reliable Actors with Retry Orchestration
Olivier TardieuORCID logo, David GroveORCID logo, Gheorghe-Teodor Bercea ORCID logo, Paul Castro ORCID logo, Jaroslaw Cwiklik ORCID logo, and Edward Epstein ORCID logo
(IBM Research, USA)
Publisher's Version Published Artifact Artifacts Available
Search-Based Regular Expression Inference on a GPU
Mojtaba Valizadeh ORCID logo and Martin Berger ORCID logo
(University of Sussex, UK; Montanarius, UK; Huawei, UK)
Publisher's Version Artifacts Reusable
Beyond Backtracking: Connections in Fine-Grained Concurrent Separation Logic
Ike MulderORCID logo, Łukasz Czajka ORCID logo, and Robbert KrebbersORCID logo
(Radboud University Nijmegen, Netherlands; TU Dortmund, Germany)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Type-Checking CRDT Convergence
George Zakhour ORCID logo, Pascal Weisenburger ORCID logo, and Guido SalvaneschiORCID logo
(University of St. Gallen, Switzerland)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Parameterized Algebraic Protocols
Andreia MordidoORCID logo, Janek Spaderna ORCID logo, Peter ThiemannORCID logo, and Vasco T. VasconcelosORCID logo
(University of Lisbon, Portugal; University of Freiburg, Germany)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Leveraging Rust Types for Program Synthesis
Jonáš Fiala ORCID logo, Shachar Itzhaky ORCID logo, Peter Müller ORCID logo, Nadia PolikarpovaORCID logo, and Ilya SergeyORCID logo
(ETH Zurich, Switzerland; Technion, Israel; University of California at San Diego, USA; National University of Singapore, Singapore)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A
Zongyuan Liu ORCID logo, Sergei Stepanenko ORCID logo, Jean Pichon-Pharabod ORCID logo, Amin TimanyORCID logo, Aslan Askarov ORCID logo, and Lars BirkedalORCID logo
(Aarhus University, Denmark)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Scallop: A Language for Neurosymbolic Programming
Ziyang Li ORCID logo, Jiani Huang ORCID logo, and Mayur Naik ORCID logo
(University of Pennsylvania, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Obtaining Information Leakage Bounds via Approximate Model Counting
Seemanta Saha ORCID logo, Surendra Ghentiyala ORCID logo, Shihua Lu ORCID logo, Lucas Bang ORCID logo, and Tevfik Bultan ORCID logo
(University of California at Santa Barbara, USA; Harvey Mudd College, USA)
Publisher's Version
Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs
Shankara Pailoor ORCID logo, Yanju Chen ORCID logo, Franklyn Wang ORCID logo, Clara Rodríguez ORCID logo, Jacob Van Geffen ORCID logo, Jason Morton ORCID logo, Michael Chu ORCID logo, Brian Gu ORCID logo, Yu FengORCID logo, and Işıl Dillig ORCID logo
(Veridise, USA; Harvard University, USA; 0xparc, USA; Complutense University of Madrid, Spain; ZKonduit, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Flux: Liquid Types for Rust
Nico Lehmann ORCID logo, Adam T. Geller ORCID logo, Niki VazouORCID logo, and Ranjit JhalaORCID logo
(University of California at San Diego, USA; University of British Columbia, Canada; IMDEA Software Institute, Spain)
Publisher's Version Artifacts Reusable
Efficient Parallel Functional Programming with Effects
Jatin Arora ORCID logo, Sam WestrickORCID logo, and Umut A. Acar ORCID logo
(Carnegie Mellon University, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Absynthe: Abstract Interpretation-Guided Synthesis
Sankha Narayan GuriaORCID logo, Jeffrey S. Foster ORCID logo, and David Van HornORCID logo
(University of Maryland, USA; Tufts University, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Extensible Metatheory Mechanization via Family Polymorphism
Ende Jin ORCID logo, Nada Amin ORCID logo, and Yizhou ZhangORCID logo
(University of Waterloo, Canada; Harvard University, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Repairing Regular Expressions for Extraction
Nariyoshi Chida ORCID logo and Tachio Terauchi ORCID logo
(NTT Social Informatics Laboratories, Japan; Waseda University, Japan)
Publisher's Version
Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation
Yongho Yoon ORCID logo, Woosuk Lee ORCID logo, and Kwangkeun Yi ORCID logo
(Seoul National University, South Korea; Hanyang University, South Korea)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity
Marco Eilers ORCID logo, Thibault DardinierORCID logo, and Peter Müller ORCID logo
(ETH Zurich, Switzerland)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Probabilistic Programming with Stochastic Probabilities
Alexander K. LewORCID logo, Matin Ghavamizadeh ORCID logo, Martin C. Rinard ORCID logo, and Vikash K. MansinghkaORCID logo
(Massachusetts Institute of Technology, USA)
Publisher's Version
Sound Dynamic Deadlock Prediction in Linear Time
Hünkar Can Tunç ORCID logo, Umang Mathur ORCID logo, Andreas PavlogiannisORCID logo, and Mahesh Viswanathan ORCID logo
(Aarhus University, Denmark; National University of Singapore, Singapore; University of Illinois at Urbana-Champaign, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Merging Inductive Relations
Jacob Prinz ORCID logo and Leonidas LampropoulosORCID logo
(University of Maryland, College Park, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Functional
Cutting the Cake: A Language for Fair Division
Noah Bertram ORCID logo, Alex Levinson ORCID logo, and Justin Hsu ORCID logo
(Cornell University, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Program Reconditioning: Avoiding Undefined Behaviour When Finding and Reducing Compiler Bugs
Bastien Lecoeur ORCID logo, Hasan Mohsin ORCID logo, and Alastair F. DonaldsonORCID logo
(Imperial College London, UK)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel Languages
Vsevolod Livinskii ORCID logo, Dmitry Babokin ORCID logo, and John Regehr ORCID logo
(University of Utah, USA; Intel Corporation, USA)
Publisher's Version
Embedding Hindsight Reasoning in Separation Logic
Roland Meyer ORCID logo, Thomas Wies ORCID logo, and Sebastian Wolff ORCID logo
(TU Braunschweig, Germany; New York University, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Putting Weak Memory in Order via a Promising Intermediate Representation
Sung-Hwan LeeORCID logo, Minki Cho ORCID logo, Roy Margalit ORCID logo, Chung-Kil Hur ORCID logo, and Ori LahavORCID logo
(Seoul National University, South Korea; Tel Aviv University, Israel)
Publisher's Version Info
Synthesizing MILP Constraints for Efficient and Robust Optimization
Jingbo Wang ORCID logo, Aarti Gupta ORCID logo, and Chao Wang ORCID logo
(University of Southern California, USA; Princeton University, USA)
Publisher's Version
Incremental Verification of Neural Networks
Shubham UgareORCID logo, Debangshu Banerjee ORCID logo, Sasa MisailovicORCID logo, and Gagandeep SinghORCID logo
(University of Illinois at Urbana-Champaign, USA; VMware Research, USA)
Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
Prompting Is Programming: A Query Language for Large Language Models
Luca Beurer-Kellner ORCID logo, Marc Fischer ORCID logo, and Martin VechevORCID logo
(ETH Zurich, Switzerland)
Publisher's Version Published Artifact Info Artifacts Available Artifacts Reusable
One Pixel Adversarial Attacks via Sketched Programs
Tom Yuviler ORCID logo and Dana Drachsler-Cohen ORCID logo
(Technion, Israel)
Publisher's Version
Register Tiling for Unstructured Sparsity in Neural Network Inference
Lucas Wilkinson ORCID logo, Kazem CheshmiORCID logo, and Maryam Mehri DehnaviORCID logo
(University of Toronto, Canada; McMaster University, Canada)
Publisher's Version Published Artifact Info Artifacts Available Artifacts Reusable

proc time: 22.12