OOPSLA1 2022
Proceedings of the ACM on Programming Languages, Volume 6, Number OOPSLA1

Title Page

Editorial Message

Weighted Programming: A Programming Paradigm for Specifying Mathematical Models
Kevin Batz , Adrian Gallus , Benjamin Lucien Kaminski , Joost-Pieter Katoen , and Tobias Winkler 
(RWTH Aachen University, Germany; Saarland University, Germany; University College London, UK)

Publisher's Version

Synthesizing Fine-Grained Synchronization Protocols for Implicit Monitors
Kostas Ferles , Benjamin Sepanski , Rahul Krishnan , James Bornholt , and Işil Dillig 
(University of Texas at Austin, USA)

Publisher's Version Info

Complexity-Guided Container Replacement Synthesis
Chengpeng Wang , Peisen Yao , Wensheng Tang , Qingkai Shi , and Charles Zhang 
(Hong Kong University of Science and Technology, China; Ant Group, China)

Publisher's Version

Linear Types for Large-Scale Systems Verification
Jialin Li , Andrea Lattuada , Yi Zhou , Jonathan Cameron , Jon Howell , Bryan Parno , and Chris Hawblitzel 
(University of Washington, USA; ETH Zurich, Switzerland; Carnegie Mellon University, USA; VMware Research, USA; Microsoft Research, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Plausible Sealing for Gradual Parametricity
Elizabeth Labrada , Matías Toro , Éric Tanter , and Dominique Devriese 
(University of Chile, Chile; KU Leuven, Belgium)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Automated Transpilation of Imperative to Functional Code using Neural-Guided Program Synthesis
Benjamin Mariano , Yanju Chen , Yu Feng , Greg Durrett , and Işil Dillig 
(University of Texas at Austin, USA; University of California at Santa Barbara, USA)

Publisher's Version

On Incorrectness Logic for Quantum Programs
Peng Yan , Hanru Jiang , and Nengkun Yu 
(University of Technology Sydney, Australia; BIMSA, China)

Publisher's Version

Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation
Jiawei Liu , Yuxiang Wei , Sen Yang , Yinlin Deng , and Lingming Zhang 
(University of Illinois at Urbana-Champaign, USA; Tongji University, China; Fudan University, China)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Le Temps des Cerises: Efficient Temporal Stack Safety on Capability Machines using Directed Capabilities
Aïna Linn Georges , Alix Trieu , and Lars Birkedal 
(Aarhus University, Denmark; ANSSI, France)

Publisher's Version Published Artifact Archive submitted (440 kB) Artifacts Available Artifacts Reusable

Proof Transfer for Fast Certification of Multiple Approximate Neural Networks
Shubham Ugare , Gagandeep Singh , and Sasa Misailovic 
(University of Illinois at Urbana-Champaign, USA; VMware Research, USA)

Publisher's Version

Effects, Capabilities, and Boxes: From Scope-Based Reasoning to Type-Based Reasoning and Back
Jonathan Immanuel Brachthäuser , Philipp Schuster , Edward Lee , and Aleksander Boruch-Gruszecki 
(University of Tübingen, Germany; University of Waterloo, Canada; EPFL, Switzerland)

Publisher's Version Published Artifact Archive submitted (1.1 MB) Info Artifacts Available Artifacts Reusable

Elipmoc: Advanced Decompilation of Ethereum Smart Contracts
Neville Grech , Sifis Lagouvardos , Ilias Tsatiris , and Yannis Smaragdakis 
(University of Malta, Malta; University of Athens, Greece)

Publisher's Version Artifacts Reusable

C to Checked C by 3C
Aravind Machiry , John Kastner , Matt McCutchen , Aaron Eline , Kyle Headley , and Michael Hicks 
(Purdue University, USA; Amazon, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Applying Cognitive Principles to Model-Finding Output: The Positive Value of Negative Information
Tristan Dyer , Tim Nelson , Kathi Fisler , and Shriram Krishnamurthi 
(Brown University, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

C4: Verified Transactional Objects
Mohsen Lesani , Li-yao Xia , Anders Kaseorg, Christian J. Bell, Adam Chlipala , Benjamin C. Pierce , and Steve Zdancewic 
(University of California at Riverside, USA; University of Pennsylvania, USA; Massachusetts Institute of Technology, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Finding Real Bugs in Big Programs with Incorrectness Logic
Quang Loc Le , Azalea Raad , Jules Villard , Josh Berdine , Derek Dreyer , and Peter W. O'Hearn 
(University College London, UK; Meta, UK; Imperial College London, UK; MPI-SWS, Germany)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Purity of an ST Monad: Full Abstraction by Semantically Typed Back-Translation
Koen Jacobs , Dominique Devriese , and Amin Timany 
(KU Leuven, Belgium; Aarhus University, Denmark)

Publisher's Version Published Artifact Artifacts Available Artifacts Reusable

Translating Canonical SQL to Imperative Code in Coq
Véronique Benzaken , Évelyne Contejean , Mohammed Houssem Hachmaoui , Chantal Keller , Louis Mandel , Avraham Shinnar , and Jérôme Siméon 
(LMF, France; Université Paris-Saclay, France; CNRS, France; IBM Research, USA; Docusign, USA)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional

End-to-End Translation Validation for the Halide Language
Basile Clément  and Albert Cohen 
(Inria, France; ENS Paris, France; Google, France)

Publisher's Version Published Artifact Artifacts Available Artifacts Functional

Language-Parametric Static Semantic Code Completion
Daniel A. A. Pelsmaeker , Hendrik van Antwerpen , Casper Bach Poulsen , and Eelco Visser 
(Delft University of Technology, Netherlands)

Publisher's Version Published Artifact Archive submitted (120 kB) Artifacts Available Artifacts Functional

Bugs in Quantum Computing Platforms: An Empirical Study
Matteo Paltenghi  and Michael Pradel 
(University of Stuttgart, Germany)

Publisher's Version Published Artifact Info Artifacts Available Artifacts Reusable

Quantitative Strongest Post: A Calculus for Reasoning about the Flow of Quantitative Information
Linpeng Zhang  and Benjamin Lucien Kaminski 
(University College London, UK; Saarland University, Germany)

Publisher's Version

SHARP: Fast Incremental Context-Sensitive Pointer Analysis for Java
Bozhen Liu  and Jeff Huang 
(Texas A&M University, USA)

Publisher's Version

Functional Collection Programming with Semi-ring Dictionaries
Amir Shaikhha , Mathieu Huot , Jaclyn Smith , and Dan Olteanu 
(University of Edinburgh, UK; University of Oxford, UK; University of Zurich, Switzerland)

Publisher's Version