PLDI 2025
Proceedings of the ACM on Programming Languages, Volume 9, Number PLDI

Title Page

Editorial Message

Sponsors

Verifying General-Purpose RCU for Reclamation in Relaxed Memory Separation Logic
Jaehwang Jung, Sunho Park, Janggun Lee, Jeho Yeon, and Jeehoon Kang
(KAIST, Republic of Korea)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Leveraging Immutability to Validate Hazard Pointers for Optimistic Traversals
Janggun Lee, Jeonghyeon Kim, and Jeehoon Kang
(KAIST, Republic of Korea)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Verifying Lock-Free Traversals in Relaxed Memory Separation Logic
Sunho Park, Jaehwang Jung, Janggun Lee, and Jeehoon Kang
(KAIST, Republic of Korea)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

RefinedProsa: Connecting Response-Time Analysis with C Verification for Interrupt-Free Schedulers
Kimaya Bedarkar, Laila Elbeheiry, Michael Sammler, Lennard Gäher, Björn Brandenburg, Derek Dreyer, and Deepak Garg
(MPI-SWS, Germany; ETH Zurich, Switzerland; IST Austria, Austria)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Nola: Later-Free Ghost State for Verifying Termination in Iris
Yusuke Matsushita and Takeshi Tsukada
(Kyoto University, Japan; Chiba University, Japan)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Random Variate Generation with Formal Guarantees
Feras A. Saad and Wonyeol Lee
(Carnegie Mellon University, USA; POSTECH, Republic of Korea)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Efficient Timestamping for Sampling-Based Race Detection
Minjian Zhang, Daniel Wee Soong Lim, Mosaad Al Thokair, Umang Mathur, and Mahesh Viswanathan
(University of Illinois at Urbana-Champaign, USA; National University of Singapore, Singapore; Saudi Aramco, Saudi Arabia)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Optimizing Ancilla-Based Quantum Circuits with SPARE
Ritvik Sharma and Sara Achour
(Stanford University, USA)

Publisher's Version Published Artifact Artifacts Available

Relaxing Alias Analysis: Exploring the Unexplored Space
Michel Weber, Theodoros Theodoridis, and Zhendong Su
(ETH Zurich, Switzerland)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Support Triangle Machine
Jiaying Li and Chunxue Hao
(OmniVision Technologies, Singapore; China CITIC Bank, China)

Publisher's Version

Ripple: Asynchronous Programming for Spatial Dataflow Architectures
Souradip Ghosh, Yufei Shi, Brandon Lucia, and Nathan Beckmann
(Carnegie Mellon University, USA)

Publisher's Version

StacKAT: Infinite State Network Verification
Jules Jacobs, Nate Foster, Tobias Kappé, Dexter Kozen, Lily Saada, Alexandra Silva, and Jana Wagemaker
(Cornell University, USA; Leiden University, Netherlands; Radboud University Nijmegen, Netherlands)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Circuit Optimization using Arithmetic Table Lookups
Raghav Malik, Vedant Paranjape, and Milind Kulkarni
(Purdue University, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Partial Evaluation, Whole-Program Compilation
Chris Fallin and Maxwell Bernstein
(F5, USA; Recurse Center, USA)

Publisher's Version

Exploiting Undefined Behavior in C/C++ Programs for Optimization: A Study on the Performance Impact
Lucian Popescu and Nuno P. Lopes
(INESC-ID, Portugal; Instituto Superior Técnico - University of Lisbon, Portugal; Politehnica University of Bucharest, Romania)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Certified Compilers à la Carte
Oghenevwogaga Ebresafe, Ian Zhao, Ende Jin, Arthur Bright, Charles Jian, and Yizhou Zhang
(University of Waterloo, Canada)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Task-Based Tensor Computations on Modern GPUs
Rohan Yadav, Michael Garland, Alex Aiken, and Michael Bauer
(Stanford University, USA; NVIDIA, USA)

Publisher's Version

Semantics of Integrating and Differentiating Singularities
Jesse Michel, Wonyeol Lee, and Hongseok Yang
(Massachusetts Institute of Technology, USA; POSTECH, Republic of Korea; KAIST, Republic of Korea)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Programming by Navigation
Justin Lubin, Parker Ziegler, and Sarah E. Chasins
(University of California at Berkeley, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

DR.FIX: Automatically Fixing Data Races at Industry Scale
Farnaz Behrang, Zhizhou Zhang, Georgian-Vlad Saioc, Peng Liu, and Milind Chabbi
(Uber Technologies, USA; Aarhus University, Denmark)

Publisher's Version

Link-Time Optimization of Dynamic Casts in C++ Programs
Xufan Lu and Nuno P. Lopes
(INESC-ID, Portugal; Instituto Superior Técnico - University of Lisbon, Portugal)

Publisher's Version

Robustifying Debug Information Updates in LLVM via Control-Flow Conformance Analysis
Shan Huang, Jingjing Liang, Ting Su, and Qirun Zhang
(East China Normal University, China; Georgia Institute of Technology, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional

A Uniform Framework for Handling Position Constraints in String Solving
Yu-Fang Chen, Vojtěch Havlena, Michal Hečko, Lukáš Holík, and Ondřej Lengál
(Academia Sinica, Taiwan; Brno University of Technology, Czech Republic; Aalborg University, Denmark)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional

MarQSim: Reconciling Determinism and Randomness in Compiler Optimization for Quantum Simulation
Xiuqi Cao, Junyu Zhou, Yuhao Liu, Yunong Shi, and Gushu Li
(University of Pennsylvania, USA; AWS Quantum Technologies, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Type-Constrained Code Generation with Language Models
Niels Mündler, Jingxuan He, Hao Wang, Koushik Sen, Dawn Song, and Martin Vechev
(ETH Zurich, Switzerland; University of California at Berkeley, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Optimization-Directed Compiler Fuzzing for Continuous Translation Validation
Jaeseong Kwon, Bongjun Jang, Juneyoung Lee, and Kihong Heo
(KAIST, Republic of Korea; AWS, USA)

Publisher's Version Published Artifact Info Artifacts Available Artifacts Functional

CompCertOC: Verified Compositional Compilation of Multi-threaded Programs with Shared Stacks
Ling Zhang, Yuting Wang, Yalun Liang, and Zhong Shao
(Shanghai Jiao Tong University, China; Yale University, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Dynamic Robustness Verification against Weak Memory
Roy Margalit, Michalis Kokologiannakis, Shachar Itzhaky, and Ori Lahav
(Tel Aviv University, Israel; ETH Zurich, Switzerland; Technion, Israel)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Fast Direct Manipulation Programming with Patch-Reconciliation Correspondence
Parker Ziegler, Justin Lubin, and Sarah E. Chasins
(University of California at Berkeley, USA)

Publisher's Version Published Artifact Info Artifacts Available Artifacts Reusable

Solving Floating-Point Constraints with Continuous Optimization
Qian Chen, Chenqi Cui, Fengjuan Gao, Yu Wang, Ke Wang, and Linzhang Wang
(Nanjing University, China; Nanjing University of Science and Technology, China; Visa Research, USA)

Publisher's Version

Webs and Flow-Directed Well-Typedness Preserving Program Transformations
Benjamin Quiring, David Van Horn, John Reppy, and Olin Shivers
(University of Maryland, USA; University of Chicago, USA; Northeastern University, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Intrinsic Verification of Parsers and Formal Grammar Theory in Dependent Lambek Calculus
Steven Schaefer, Nathan Varner, Pedro Henrique Azevedo de Amorim, and Max S. New
(University of Michigan, USA; University of Oxford, UK)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Reductive Analysis with Compiler-Guided Large Language Models for Input-Centric Code Optimizations
Xiangwei Wang, Xinning Hui, Chunhua Liao, and Xipeng Shen
(North Carolina State University, USA; Lawrence Livermore National Laboratory, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional

Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs
Zhicheng Zhang and Mingsheng Ying
(University of Technology Sydney, Australia)

Publisher's Version

Destabilizing Iris
Simon Spies, Niklas Mück, Haoyi Zeng, Michael Sammler, Andrea Lattuada, Peter Müller, and Derek Dreyer
(MPI-SWS, Germany; Saarland University, Germany; ETH Zurich, Switzerland; IST Austria, Austria)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Iso: Request-Private Garbage Collection
Tianle Qiu and Stephen M. Blackburn
(Australian National University, Australia; Google, Australia)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Probabilistic Kleene Algebra with Angelic Nondeterminism
Shawn Ong, Stephanie Ma, and Dexter Kozen
(Cornell University, USA)

Publisher's Version

Program Skeletons for Automated Program Translation
Bo Wang, Tianyu Li, Ruishi Li, Umang Mathur, and Prateek Saxena
(National University of Singapore, Singapore)

Publisher's Version Published Artifact Info Artifacts Available Artifacts Reusable

CRGC: Fault-Recovering Actor Garbage Collection in Pekko
Dan Plyukhin, Gul Agha, and Fabrizio Montesi
(University of Southern Denmark, Denmark; University of Illinois at Urbana-Champaign, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

A Hybrid Approach to Semi-automated Rust Verification
Sacha-Élie Ayoun, Xavier Denis, Petar Maksimović, and Philippa Gardner
(Imperial College London, UK; ETH Zurich, Switzerland; Nethermind, UK)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

QVM: Quantum Gate Virtualization Machine
Nathaniel Tornow, Emmanouil Giortamis, and Pramod Bhatotia
(TU Munich, Germany; LRZ, Germany)

Publisher's Version Published Artifact Artifacts Available

Tree Borrows
Neven Villani, Johannes Hostert, Derek Dreyer, and Ralf Jung
(Univ. Grenoble Alpes - CNRS - Grenoble INP (Institute of Engineering), France; ETH Zurich, Switzerland; MPI-SWS, Germany)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Lightweight and Locality-Aware Composition of Black-Box Subroutines
Manya Bansal, Dillon Sharlet, Jonathan Ragan-Kelley, and Saman Amarasinghe
(Massachusetts Institute of Technology, USA; Google, USA)

Publisher's Version

Efficient Formal Verification of Quantum Error Correcting Programs
Qifan Huang, Li Zhou, Wang Fang, Mengyu Zhao, and Mingsheng Ying
(Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; University of Edinburgh, UK; University of Technology Sydney, Australia)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Verified Foundations for Differential Privacy
Markus de Medeiros, Muhammad Naveed, Tancrède Lepoint, Temesghen Kahsai, Tristan Ravitch, Stefan Zetzsche, Anjali Joshi, Joseph Tassarotti, Aws Albarghouthi, and Jean-Baptiste Tristan
(New York University, USA; Amazon, USA; Amazon, UK)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Active Learning of Symbolic NetKAT Automata
Mark Moeller, Tiago Ferreira, Thomas Lu, Nate Foster, and Alexandra Silva
(Cornell University, USA; University College London, UK; Jane Street, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Efficient, Portable, Census-Polymorphic Choreographic Programming
Mako Bates, Shun Kashiwa, Syed Jafri, Gan Shen, Lindsey Kuper, and Joseph P. Near
(University of Vermont, USA; University of California at San Diego, USA; University of California at Santa Cruz, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Taking Out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses
Fabian Stemmler, Michael Schwarz, Julian Erhard, Sarah Tilscher, and Helmut Seidl
(TU Munich, Germany; LMU Munich, Germany)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Relational Abstractions Based on Labeled Union-Find
Dorian Lesbre, Matthieu Lemerre, Hichem Rami Ait-El-Hara, and François Bobot
(Université Paris-Saclay - CEA LIST, France; OCamlPro, France)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Functional Meaning for Parallel Streaming
Nick Rioux and Steve Zdancewic
(University of Pennsylvania, USA)

Publisher's Version

Membership Testing for Semantic Regular Expressions
Yifei Huang, Matin Amini, Alexis Le Glaunec, Konstantinos Mamouras, and Mukund Raghothaman
(University of Southern California, USA; Rice University, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

MISAAL: Synthesis-Based Automatic Generation of Efficient and Retargetable Semantics-Driven Optimizations
Abdul Rafae Noor, Dhruv Baronia, Akash Kothari, Muchen Xu, Charith Mendis, and Vikram S. Adve
(University of Illinois at Urbana-Champaign, USA)

Publisher's Version

An Interactive Debugger for Rust Trait Errors
Gavin Gray, Will Crichton, and Shriram Krishnamurthi
(Brown University, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search
Pinhan Zhao, Yuepeng Wang, and Xinyu Wang
(University of Michigan, USA; Simon Fraser University, Canada)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional

Automated Exploit Generation for Node.js Packages
Filipe Marques, Mafalda Ferreira, André Nascimento, Miguel E. Coimbra, Nuno Santos, Limin Jia, and José Fragoso Santos
(INESC-ID, Portugal; Instituto Superior Técnico - University of Lisbon, Portugal; Carnegie Mellon University, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Divergence-Aware Testing of Graphics Shader Compiler Back-Ends
Dongwei Xiao, Shuai Wang, Zhibo Liu, Yiteng Peng, Daoyuan Wu, and Zhendong Su
(Hong Kong University of Science and Technology, China; ETH Zurich, Switzerland)

Publisher's Version

LiDO-DAG: A Framework for Verifying Safety and Liveness of DAG-Based Consensus Protocols
Longfei Qiu, Jingqi Xiao, Ji-Yong Shin, and Zhong Shao
(Yale University, USA; Northeastern University, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Pointer Analysis for Database-Backed Applications
Yufei Liang, Teng Zhang, Ganlin Li, Tian Tan, Chang Xu, Chun Cao, Xiaoxing Ma, and Yue Li
(Nanjing University, China)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Principal Type Inference under a Prefix: A Fresh Look at Static Overloading
Daan Leijen and Wenjia Ye
(Microsoft Research, USA; National University of Singapore, Singapore; University of Hong Kong, China)

Publisher's Version

First-Class Verification Dialects for MLIR
Mathieu Fehr, Yuyou Fan, Hugo Pompougnac, John Regehr, and Tobias Grosser
(University of Edinburgh, UK; University of Utah, USA; Université Grenoble Alpes, France; Inria, France; CNRS, France; Grenoble INP, France; University of Cambridge, UK)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Robust Constant-Time Cryptography
Matthew Kolosick, Basavesh Ammanaghatta Shivakumar, Sunjay Cauligi, Marco Patrignani, Marco Vassena, Ranjit Jhala, and Deian Stefan
(University of California at San Diego, USA; MPI-SP, Germany; University of Trento, Italy; Utrecht University, Netherlands)

Publisher's Version

PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programs
Gabriel Ebner, Guido Martínez, Aseem Rastogi, Thibault Dardinier, Megan Frisella, Tahina Ramananandro, and Nikhil Swamy
(Microsoft Research, USA; Microsoft Research, India; ETH Zurich, Switzerland; University of Washington, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

AWDIT: An Optimal Weak Database Isolation Tester
Lasse Møldrup and Andreas Pavlogiannis
(Aarhus University, Denmark)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Dynamic Region Ownership for Concurrency Safety
Fridtjof Peer Stoldt, Brandt Bucher, Sylvan Clebsch, Matthew A. Johnson, Matthew J. Parkinson, Guido van Rossum, Eric Snow, and Tobias Wrigstad
(Uppsala University, Sweden; Microsoft, USA; Microsoft Azure Research, UK)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Multi-stage Relational Programming
Michael Ballantyne, Rafaello Sanna, Jason Hemann, William E. Byrd, and Nada Amin
(Northeastern University, USA; Harvard University, USA; Seton Hall University, USA; University of Alabama at Birmingham, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Scalable, Validated Code Translation of Entire Projects using Large Language Models
Hanliang Zhang, Cristina David, Meng Wang, Brandon Paulsen, and Daniel Kroening
(University of Bristol, UK; Amazon, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional

Program Synthesis from Partial Traces
Margarida Ferreira, Victor Nicolet, Joey Dodds, and Daniel Kroening
(Carnegie Mellon University, USA; INESC-ID, Portugal; Instituto Superior Técnico - University of Lisbon, Portugal; Amazon, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Probabilistic Refinement Session Types
Qiancheng Fu, Ankush Das, and Marco Gaboardi
(Boston University, USA)

Publisher's Version Published Artifact Info Artifacts Available Artifacts Reusable

Smooth, Integrated Proofs of Cryptographic Constant Time for Nondeterministic Programs and Compilers
Owen Conoly, Andres Erbsen, and Adam Chlipala
(Massachusetts Institute of Technology, USA; Google, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Graphiti: Bridging Graph and Relational Database Queries
Yang He, Ruijie Fang, Işıl Dillig, and Yuepeng Wang
(Simon Fraser University, Canada; University of Texas at Austin, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Verifying Solutions to Semantics-Guided Synthesis Problems
Charlie Murphy, Keith J.C. Johnson, Thomas Reps, and Loris D'Antoni
(University of Wisconsin-Madison, USA; University of California at San Diego, USA)

Publisher's Version

Handling the Selection Monad
Gordon Plotkin and Ningning Xie
(Google DeepMind, USA; Google DeepMind, Canada; University of Toronto, Canada)

Publisher's Version

Spineless Traversal for Layout Invalidation
Marisa Kirisame, Tiezhi Wang, and Pavel Panchekha
(University of Utah, USA; Tongji University, China)

Publisher's Version

Exact Loop Bound Analysis
Daniel Riley and Grigory Fedyukovich
(Florida State University, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Bean: A Language for Backward Error Analysis
Ariel E. Kellison, Laura Zielinski, David Bindel, and Justin Hsu
(Cornell University, USA; Imperial College London, UK)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Stochastic Lazy Knowledge Compilation for Inference in Discrete Probabilistic Programs
Maddy Bowers, Alexander K. Lew, Joshua B. Tenenbaum, Armando Solar-Lezama, and Vikash K. Mansinghka
(Massachusetts Institute of Technology, USA; Yale University, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Slotted E-Graphs: First-Class Support for (Bound) Variables in E-Graphs
Rudi Schneider, Marcus Rossel, Amir Shaikhha, Andrés Goens, Thomas Kœhler, and Michel Steuwer
(Technische Universität Berlin, Germany; Barkhausen Institut, Germany; University of Edinburgh, UK; University of Amsterdam, Netherlands; CNRS - ICube Lab, France)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Usability Barriers for Liquid Types
Catarina Gamboa, Abigail Reese, Alcides Fonseca, and Jonathan Aldrich
(Carnegie Mellon University, USA; University of Lisbon, Portugal)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Efficient Linearizability Monitoring
Parosh Aziz Abdulla, Samuel Grahn, Bengt Jonsson, Shankaranarayanan Krishna, and Om Swostik Mishra
(Uppsala University, Sweden; Mälardalen University, Sweden; IIT Bombay, India)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Morello-Cerise: A Proof of Strong Encapsulation for the Arm Morello Capability Hardware Architecture
Angus Hammond, Ricardo Almeida, Thomas Bauereiss, Brian Campbell, Ian Stark, and Peter Sewell
(University of Cambridge, UK; University of Glasgow, UK; University of Edinburgh, UK)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Guided Tensor Lifting
Yixuan Li, José Wesley de Souza Magalhães, Alexander Brauckmann, Michael F. P. O'Boyle, and Elizabeth Polgreen
(University of Edinburgh, UK)

Publisher's Version

Making Concurrent Hardware Verification Sequential
Thomas Bourgeat, Jiazheng Liu, Adam Chlipala, and Arvind
(EPFL, Switzerland; Massachusetts Institute of Technology, USA)

Publisher's Version

Correctly Rounded Math Libraries without Worrying about the Application’s Rounding Mode
Sehyeok Park, Justin Kim, and Santosh Nagarakatte
(Rutgers University, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Thrust: A Prophecy-Based Refinement Type System for Rust
Hiromi Ogawa, Taro Sekiyama, and Hiroshi Unno
(University of Tsukuba, Japan; National Institute of Informatics, Japan; SOKENDAI, Japan; Tohoku University, Japan)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Roulette: A Language for Expressive, Exact, and Efficient Discrete Probabilistic Programming
Cameron Moy, Jack Czenszak, John M. Li, Brianna Marshall, and Steven Holtzen
(Northeastern University, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Modular Construction and Optimization of the UZP Sparse Format for SpMV on CPUs
Alonso Rodríguez-Iglesias, Santoshkumar T. Tongli, Emily Tucker, Louis-Noël Pouchet, Gabriel Rodríguez, and Juan Touriño
(Universidade da Coruña, Spain; Colorado State University, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

A Concurrent Approach to String Transformation Synthesis
Yuantian Ding and Xiaokang Qiu
(Purdue University, USA)

Publisher's Version Published Artifact Info Artifacts Available Artifacts Reusable

RRR-SMR: Reduce, Reuse, Recycle: Better Methods for Practical Lock-Free Data Structures
Md Amit Hasan Arovi and Ruslan Nikolaev
(Pennsylvania State University, USA)

Publisher's Version Published Artifact Info Artifacts Available Artifacts Reusable

Practical Type Inference with Levels
Andong Fan, Han Xu, and Ningning Xie
(University of Toronto, Canada; Princeton University, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable