PLDI 2022
43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI 2022)
Powered by
Conference Publishing Consulting
43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI 2022), June 13–17, 2022, San Diego, CA, USA

PLDI 2022 – Proceedings

 Contents - Abstracts - Authors

Frontmatter

Title Page


Article: pldi22foreword-fm000-p doi:
Welcome from the Chairs


Article: pldi22foreword-fm001-p doi:
PLDI 2022 Committees


Article: pldi22foreword-fm002-p doi:
PLDI 2022 Sponsors and Supporters


Article: pldi22foreword-fm003-p doi:

Security

Modular Information Flow through Ownership
Will Crichton, Marco Patrignani, Maneesh Agrawala, and Pat Hanrahan
(Stanford University, USA; University of Trento, Italy)


 Publisher's Version Published Artifact Archive submitted (3.6 MB) Artifacts Available Artifacts Reusable Article: pldi22main-p150-p doi:10.1145/3519939.3523445
ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification
Sankha Narayan Guria, Niki Vazou, Marco Guarnieri, and James Parker
(University of Maryland at College Park, USA; IMDEA Software Institute, Spain; Galois, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: pldi22main-p556-p doi:10.1145/3519939.3523725
Hardening Attack Surfaces with Formally Proven Binary Format Parsers
Nikhil Swamy, Tahina Ramananandro, Aseem Rastogi, Irina Spiridonova, Haobin Ni, Dmitry Malloy, Juan Vazquez, Michael Tang, Omar Cardona, and Arti Gupta
(Microsoft Research, USA; Microsoft Research, India; Cornell University, USA; Microsoft, USA)


 Publisher's Version Article: pldi22main-p360-p doi:10.1145/3519939.3523708
P4BID: Information Flow Control in P4
Karuna Grewal, Loris D'Antoni, and Justin Hsu
(Cornell University, USA; University of Wisconsin-Madison, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: pldi22main-p469-p doi:10.1145/3519939.3523717

Memory

Turning Manual Concurrent Memory Reclamation into Automatic Reference Counting
Daniel Anderson, Guy E. Blelloch, and Yuanhao Wei
(Carnegie Mellon University, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: pldi22main-p771-p doi:10.1145/3519939.3523730
Low-Latency, High-Throughput Garbage Collection
Wenyu Zhao, Stephen M. Blackburn, and Kathryn S. McKinley
(Australian National University, Australia; Google, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: pldi22main-p132-p doi:10.1145/3519939.3523440
Mako: A Low-Pause, High-Throughput Evacuating Collector for Memory-Disaggregated Datacenters
Haoran Ma, Shi Liu, Chenxi Wang, Yifan Qiao, Michael D. Bond, Stephen M. Blackburn, Miryung Kim, and Guoqing Harry Xu
(University of California at Los Angeles, USA; Ohio State University, USA; Australian National University, Australia)


 Publisher's Version Published Artifact Artifacts Available Article: pldi22main-p137-p doi:10.1145/3519939.3523441
PaC-Trees: Supporting Parallel and Compressed Purely-Functional Collections
Laxman Dhulipala, Guy E. Blelloch, Yan Gu, and Yihan Sun
(University of Maryland, USA; Carnegie Mellon University, USA; University of California at Riverside, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: pldi22main-p801-p doi:10.1145/3519939.3523733

Synthesis I

Type-Directed Program Synthesis for RESTful APIs
Zheng Guo, David Cao, Davin Tjong, Jean Yang, Cole Schlesinger, and Nadia Polikarpova
(University of California at San Diego, USA; Akita Software, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: pldi22main-p187-p doi:10.1145/3519939.3523450
Visualization Question Answering using Introspective Program Synthesis
Yanju Chen, Xifeng Yan, and Yu Feng
(University of California at Santa Barbara, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: pldi22main-p362-p doi:10.1145/3519939.3523709
WebRobot: Web Robotic Process Automation using Interactive Programming-by-Demonstration
Rui Dong, Zhicheng Huang, Ian Iong Lam, Yan Chen, and Xinyu Wang
(University of Michigan, USA; University of Toronto, Canada)


 Publisher's Version Article: pldi22main-p373-p doi:10.1145/3519939.3523711
Synthesizing Analytical SQL Queries from Computation Demonstration
Xiangyu Zhou, Rastislav Bodik, Alvin Cheung, and Chenglong Wang
(University of Washington, USA; University of California at Berkeley, USA; Microsoft Research, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: pldi22main-p379-p doi:10.1145/3519939.3523712

Compilation

Finding Typing Compiler Bugs
Stefanos Chaliasos, Thodoris Sotiropoulos, Diomidis Spinellis, Arthur Gervais, Benjamin Livshits, and Dimitris Mitropoulos
(Imperial College London, UK; Athens University of Economics and Business, Greece; Delft University of Technology, Netherlands; University of Athens, Greece)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: pldi22main-p15-p doi:10.1145/3519939.3523427
IRDL: An IR Definition Language for SSA Compilers
Mathieu Fehr, Jeff Niu, River Riddle, Mehdi Amini, Zhendong Su, and Tobias Grosser
(University of Edinburgh, UK; University of Waterloo, Canada; Modular AI, USA; Google, USA; ETH Zurich, Switzerland)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: pldi22main-p256-p doi:10.1145/3519939.3523700
Sequential Reasoning for Optimizing Compilers under Weak Memory Concurrency
Minki Cho, Sung-Hwan Lee, Dongjae Lee, Chung-Kil Hur, and Ori Lahav
(Seoul National University, South Korea; Tel Aviv University, Israel)


 Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi22main-p473-p doi:10.1145/3519939.3523718

Synthesis II

Can Reactive Synthesis and Syntax-Guided Synthesis Be Friends?
Wonhyuk Choi, Bernd Finkbeiner, Ruzica Piskac, and Mark Santolucito
(Columbia University, USA; CISPA, Germany; Yale University, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi22main-p26-p doi:10.1145/3519939.3523429
Recursion Synthesis with Unrealizability Witnesses
Azadeh Farzan, Danya Lette, and Victor Nicolet
(University of Toronto, Canada)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: pldi22main-p663-p doi:10.1145/3519939.3523726
“Synthesizing Input Grammars”: A Replication Study
Bachir Bendrissou, Rahul Gopinath, and Andreas Zeller
(CISPA, Germany)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: pldi22main-p453-p doi:10.1145/3519939.3523716

Tensors

Autoscheduling for Sparse Tensor Algebra with an Asymptotic Cost Model
Peter Ahrens, Fredrik Kjolstad, and Saman Amarasinghe
(Massachusetts Institute of Technology, USA; Stanford University, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: pldi22main-p144-p doi:10.1145/3519939.3523442
DISTAL: The Distributed Tensor Algebra Compiler
Rohan Yadav, Alex Aiken, and Fredrik Kjolstad
(Stanford University, USA)


 Publisher's Version Article: pldi22main-p84-p doi:10.1145/3519939.3523437
All You Need Is Superword-Level Parallelism: Systematic Control-Flow Vectorization with SLP
Yishen Chen, Charith Mendis, and Saman Amarasinghe
(Massachusetts Institute of Technology, USA; University of Illinois at Urbana-Champaign, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi22main-p265-p doi:10.1145/3519939.3523701
Warping Cache Simulation of Polyhedral Programs
Canberk Morelli and Jan Reineke
(Saarland University, Germany)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: pldi22main-p400-p doi:10.1145/3519939.3523714

Distribution

Certified Mergeable Replicated Data Types
Vimala Soundarapandian, Adharsh Kamath, Kartik Nagar, and KC Sivaramakrishnan
(IIT Madras, India; NITK Surathkal, India)


 Publisher's Version Article: pldi22main-p987-p doi:10.1145/3519939.3523735
Hamband: RDMA Replicated Data Types
Farzin Houshmand, Javad Saberlatibari, and Mohsen Lesani
(University of California at Riverside, USA)


 Publisher's Version Article: pldi22main-p9-p doi:10.1145/3519939.3523426
RunTime-Assisted Convergence in Replicated Data Types
Gowtham Kaki, Prasanth Prahladan, and Nicholas V. Lewchenko
(University of Colorado Boulder, USA)


 Publisher's Version Archive submitted (210 kB) Article: pldi22main-p536-p doi:10.1145/3519939.3523724
Adore: Atomic Distributed Objects with Certified Reconfiguration
Wolf Honoré, Ji-Yong Shin, Jieung Kim, and Zhong Shao
(Yale University, USA; Northeastern University, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: pldi22main-p147-p doi:10.1145/3519939.3523444

Analysis

CycleQ: An Efficient Basis for Cyclic Equational Reasoning
Eddie Jones, C.-H. Luke Ong, and Steven Ramsay
(University of Bristol, UK; University of Oxford, UK)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: pldi22main-p786-p doi:10.1145/3519939.3523731
Finding the Dwarf: Recovering Precise Types from WebAssembly Binaries
Daniel Lehmann and Michael Pradel
(University of Stuttgart, Germany)


 Publisher's Version Article: pldi22main-p172-p doi:10.1145/3519939.3523449
Abstract Interpretation Repair
Roberto Bruni, Roberto Giacobazzi, Roberta Gori, and Francesco Ranzato
(University of Pisa, Italy; University of Verona, Italy; University of Padua, Italy)


 Publisher's Version Article: pldi22main-p206-p doi:10.1145/3519939.3523453
Differential Cost Analysis with Simultaneous Potentials and Anti-potentials
Đorđe Žikelić, Bor-Yuh Evan Chang, Pauline Bolignano, and Franco Raimondi
(IST Austria, Austria; University of Colorado Boulder, USA; Amazon, USA; Amazon, UK; Middlesex University, UK)


 Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi22main-p71-p doi:10.1145/3519939.3523435

Concurrency

A Flexible Type System for Fearless Concurrency
Mae Milano, Joshua Turcotti, and Andrew C. Myers
(University of California at Berkeley, USA; Cornell University, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: pldi22main-p145-p doi:10.1145/3519939.3523443
A Study of Real-World Data Races in Golang
Milind Chabbi and Murali Krishna Ramanathan
(Uber Technologies, USA)


 Publisher's Version Published Artifact Artifacts Available Article: pldi22main-p495-p doi:10.1145/3519939.3523720
Checking Robustness to Weak Persistency Models
Hamed Gorjiara, Weiyu Luo, Alex Lee, Guoqing Harry Xu, and Brian Demsky
(University of California at Irvine, USA; University of California at Los Angeles, USA)


 Publisher's Version Published Artifact Archive submitted (260 kB) Artifacts Available Artifacts Reusable Article: pldi22main-p524-p doi:10.1145/3519939.3523723
Sound Sequentialization for Concurrent Program Verification
Azadeh Farzan, Dominik Klumpp, and Andreas Podelski
(University of Toronto, Canada; University of Freiburg, Germany)


 Publisher's Version Published Artifact Archive submitted (3.1 MB) Artifacts Available Artifacts Reusable Article: pldi22main-p675-p doi:10.1145/3519939.3523727

Numbers

Choosing Mathematical Function Implementations for Speed and Accuracy
Ian Briggs and Pavel Panchekha
(University of Utah, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: pldi22main-p194-p doi:10.1145/3519939.3523452
Guaranteed Bounds for Posterior Inference in Universal Probabilistic Programming
Raven Beutner, C.-H. Luke Ong, and Fabian Zaiser
(CISPA, Germany; University of Oxford, UK)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: pldi22main-p504-p doi:10.1145/3519939.3523721
Progressive Polynomial Approximations for Fast Correctly Rounded Math Libraries
Mridul Aanjaneya, Jay P. Lim, and Santosh Nagarakatte
(Rutgers University, USA; Yale University, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: pldi22main-p154-p doi:10.1145/3519939.3523447

Semantics

A Typed Continuation-Passing Translation for Lexical Effect Handlers
Philipp Schuster, Jonathan Immanuel Brachthäuser, Marius Müller, and Klaus Ostermann
(University of Tübingen, Germany)


 Publisher's Version Article: pldi22main-p369-p doi:10.1145/3519939.3523710
Deep and Shallow Types for Gradual Languages
Ben Greenman
(Brown University, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi22main-p31-p doi:10.1145/3519939.3523430
Kleene Algebra Modulo Theories: A Framework for Concrete KATs
Michael Greenberg, Ryan Beckett, and Eric Campbell
(Stevens Institute of Technology, USA; Microsoft Research, USA; Cornell University, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: pldi22main-p517-p doi:10.1145/3519939.3523722
Semantic Soundness for Language Interoperability
Daniel Patterson, Noble Mushtak, Andrew Wagner, and Amal Ahmed
(Northeastern University, USA)


 Publisher's Version Article: pldi22main-p300-p doi:10.1145/3519939.3523703

Quantum

Quartz: Superoptimization of Quantum Circuits
Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, and Zhihao Jia
(Carnegie Mellon University, USA; University of California at Los Angeles, USA; VMware Research, USA; Microsoft, USA; University of Oxford, UK; Stanford University, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi22main-p61-p doi:10.1145/3519939.3523433
Giallar: Push-Button Verification for the Qiskit Quantum Compiler
Runzhou Tao, Yunong Shi, Jianan Yao, Xupeng Li, Ali Javadi-Abhari, Andrew W. Cross, Frederic T. Chong, and Ronghui Gu
(Columbia University, USA; Amazon, USA; IBM Research, USA; University of Chicago, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: pldi22main-p34-p doi:10.1145/3519939.3523431
Algebraic Reasoning of Quantum Programs via Non-idempotent Kleene Algebra
Yuxiang Peng, Mingsheng Ying, and Xiaodi Wu
(University of Maryland, USA; Institute of Software at Chinese Academy of Sciences, China; Tsinghua University, China)


 Publisher's Version Article: pldi22main-p389-p doi:10.1145/3519939.3523713
PyLSE: A Pulse-Transfer Level Language for Superconductor Electronics
Michael Christensen, Georgios Tzimpragos, Harlan Kringen, Jennifer Volk, Timothy Sherwood, and Ben Hardekopf
(University of California at Santa Barbara, USA)


 Publisher's Version Published Artifact Archive submitted (810 kB) Artifacts Available Artifacts Reusable Article: pldi22main-p93-p doi:10.1145/3519939.3523438

Hardware

Bind the Gap: Compiling Real Software to Hardware FFT Accelerators
Jackson Woodruff, Jordi Armengol-Estapé, Sam Ainsworth, and Michael F. P. O'Boyle
(University of Edinburgh, UK)


 Publisher's Version Published Artifact Artifacts Available Article: pldi22main-p98-p doi:10.1145/3519939.3523439
Exocompilation for Productive Programming of Hardware Accelerators
Yuka Ikarashi, Gilbert Louis Bernstein, Alex Reinking, Hasan Genc, and Jonathan Ragan-Kelley
(Massachusetts Institute of Technology, USA; University of California at Berkeley, USA)


 Publisher's Version Published Artifact Archive submitted (570 kB) Artifacts Available Artifacts Reusable Article: pldi22main-p152-p doi:10.1145/3519939.3523446
PDL: A High-Level Hardware Design Language for Pipelined Processors
Drew Zagieboylo, Charles Sherk, Gookwon Edward Suh, and Andrew C. Myers
(Cornell University, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: pldi22main-p219-p doi:10.1145/3519939.3523455
Software-Hardware Codesign for Efficient In-Memory Regular Pattern Matching
Lingkun Kong, Qixuan Yu, Agnishom Chattopadhyay, Alexis Le Glaunec, Yi Huang, Konstantinos Mamouras, and Kaiyuan Yang
(Rice University, USA)


 Publisher's Version Article: pldi22main-p222-p doi:10.1145/3519939.3523456

DSLs

Deoptless: Speculation with Dispatched On-Stack Replacement and Specialized Continuations
Olivier Flückiger, Jan Ječmen, Sebastián Krynski, and Jan Vitek
(Northeastern University, USA; Czech Technical University, Czechia)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: pldi22main-p727-p doi:10.1145/3519939.3523729
Karp: A Language for NP Reductions
Chenhao Zhang, Jason D. Hartline, and Christos Dimoulas
(Northwestern University, USA)


 Publisher's Version Artifacts Reusable Article: pldi22main-p795-p doi:10.1145/3519939.3523732
WARio: Efficient Code Generation for Intermittent Computing
Vito Kortbeek, Souradip Ghosh, Josiah Hester, Simone Campanoni, and Przemysław Pawełczak
(Delft University of Technology, Netherlands; Carnegie Mellon University, USA; Northwestern University, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: pldi22main-p208-p doi:10.1145/3519939.3523454

Verification I

Compass: Strong and Compositional Library Specifications in Relaxed Memory Separation Logic
Hoang-Hai Dang, Jaehwang Jung, Jaemin Choi, Duc-Than Nguyen, William Mansky, Jeehoon Kang, and Derek Dreyer
(MPI-SWS, Germany; KAIST, South Korea; University of Illinois at Chicago, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: pldi22main-p192-p doi:10.1145/3519939.3523451
Diaframe: Automated Verification of Fine-Grained Concurrent Programs in Iris
Ike Mulder, Robbert Krebbers, and Herman Geuvers
(Radboud University Nijmegen, Netherlands; Eindhoven University of Technology, Netherlands)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: pldi22main-p60-p doi:10.1145/3519939.3523432
Islaris: Verification of Machine Code Against Authoritative ISA Semantics
Michael Sammler, Angus Hammond, Rodolphe Lepigre, Brian Campbell, Jean Pichon-Pharabod, Derek Dreyer, Deepak Garg, and Peter Sewell
(MPI-SWS, Germany; University of Cambridge, UK; University of Edinburgh, UK; Aarhus University, Denmark)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: pldi22main-p64-p doi:10.1145/3519939.3523434
RustHornBelt: A Semantic Foundation for Functional Verification of Rust Programs with Unsafe Code
Yusuke Matsushita, Xavier Denis, Jacques-Henri Jourdan, and Derek Dreyer
(University of Tokyo, Japan; Université Paris-Saclay, France; CNRS, France; ENS Paris-Saclay, France; Inria, France; Laboratoire Méthodes Formelles, France; MPI-SWS, Germany)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: pldi22main-p314-p doi:10.1145/3519939.3523704

Verification and Optimization

Efficient Approximations for Cache-Conscious Data Placement
Ali Ahmadi, Majid Daliri, Amir Kafshdar Goharshady, and Andreas Pavlogiannis
(Sharif University of Technology, Iran; University of Tehran, Iran; Hong Kong University of Science and Technology, China; Aarhus University, Denmark)


 Publisher's Version Article: pldi22main-p78-p doi:10.1145/3519939.3523436
FreeTensor: A Free-Form DSL with Holistic Optimizations for Irregular Tensor Programs
Shizhi Tang, Jidong Zhai, Haojie Wang, Lin Jiang, Liyan Zheng, Zhenhao Yuan, and Chen Zhang
(Tsinghua University, China)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: pldi22main-p155-p doi:10.1145/3519939.3523448
Lasagne: A Static Binary Translator for Weak Memory Model Architectures
Rodrigo C. O. Rocha, Dennis Sprokholt, Martin Fink, Redha Gouicem, Tom Spink, Soham Chakraborty, and Pramod Bhatotia
(University of Edinburgh, UK; Delft University of Technology, Netherlands; TU Munich, Germany; University of St. Andrews, UK)


 Publisher's Version Published Artifact Archive submitted (930 kB) Artifacts Available Artifacts Reusable Article: pldi22main-p491-p doi:10.1145/3519939.3523719
Verifying Optimizations of Concurrent Programs in the Promising Semantics
Junpeng Zha, Hongjin Liang, and Xinyu Feng
(Nanjing University, China)


 Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi22main-p984-p doi:10.1145/3519939.3523734

Verification II

Relational Compilation for Performance-Critical Applications: Extensible Proof-Producing Translation of Functional Models into Low-Level Code
Clément Pit-Claudel, Jade Philipoom, Dustin Jamner, Andres Erbsen, and Adam Chlipala
(EPFL, Switzerland; Amazon AWS, Switzerland; Massachusetts Institute of Technology, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: pldi22main-p342-p doi:10.1145/3519939.3523706
Formally Verified Lifting of C-Compiled x86-64 Binaries
Freek Verbeek, Joshua Bockenek, Zhoulai Fu, and Binoy Ravindran
(Open University of the Netherlands, Netherlands; Virginia Tech, USA; SUNY Korea, South Korea)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: pldi22main-p288-p doi:10.1145/3519939.3523702
Leapfrog: Certified Equivalence for Protocol Parsers
Ryan Doenges, Tobias Kappé, John Sarracino, Nate Foster, and Greg Morrisett
(Cornell University, USA; University of Amsterdam, Netherlands)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: pldi22main-p419-p doi:10.1145/3519939.3523715
Computing Correctly with Inductive Relations
Zoe Paraskevopoulou, Aaron Eline, and Leonidas Lampropoulos
(Northeastern University, USA; University of Maryland, USA)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: pldi22main-p348-p doi:10.1145/3519939.3523707

Testing and Synthesis

Interpreter-Guided Differential JIT Compiler Unit Testing
Guillermo Polito, Stéphane Ducasse, and Pablo Tesone
(University of Lille, France; CNRS, France; Inria, France; Centrale Lille, France; UMR 9189 CRIStAL, France; Pharo Consortium, Argentina)


 Publisher's Version Article: pldi22main-p226-p doi:10.1145/3519939.3523457
Landmarks and Regions: A Robust Approach to Data Extraction
Suresh Parthasarathy, Lincy Pattanaik, Anirudh Khatry, Arun Iyer, Arjun Radhakrishna, Sriram K. Rajamani, and Mohammad Raza
(Microsoft, UK; Microsoft Research, India; Microsoft, USA)


 Publisher's Version Article: pldi22main-p334-p doi:10.1145/3519939.3523705
Odin: On-Demand Instrumentation with On-the-Fly Recompilation
Mingzhe Wang, Jie Liang, Chijin Zhou, Zhiyong Wu, Xinyi Xu, and Yu Jiang
(Tsinghua University, China)


 Publisher's Version Article: pldi22main-p17-p doi:10.1145/3519939.3523428
Quickstrom: Property-Based Acceptance Testing with LTL Specifications
Liam O'Connor and Oskar Wickström
(University of Edinburgh, UK; Monoid Consulting, Sweden)


 Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: pldi22main-p712-p doi:10.1145/3519939.3523728

proc time: 0.15