OOPSLA1 2022 – Author Index

B C D E F G H J K L M N O P R S T U V W X Y Z

	Batz, Kevin	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Weighted Programming: A Programming ..." 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 Article: oopsla22main-p9-p doi:10.1145/3527310
	Bell, Christian J.	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "C4: Verified Transactional ..." 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 Article: oopsla22main-p66-p doi:10.1145/3527324
	Benzaken, Véronique	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Translating Canonical SQL ..." 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 Article: oopsla22main-p90-p doi:10.1145/3527327
	Berdine, Josh	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Finding Real Bugs in Big Programs ..." 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 Article: oopsla22main-p77-p doi:10.1145/3527325
	Birkedal, Lars	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Le Temps des Cerises: Efficient ..." 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 Article: oopsla22main-p45-p doi:10.1145/3527318
	Bornholt, James	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Synthesizing Fine-Grained ..." 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 Article: oopsla22main-p21-p doi:10.1145/3527311
	Boruch-Gruszecki, Aleksander	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Effects, Capabilities, and ..." 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) Artifacts Available Artifacts Reusable Article: oopsla22main-p53-p doi:10.1145/3527320
	Brachthäuser, Jonathan Immanuel	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Effects, Capabilities, and ..." 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) Artifacts Available Artifacts Reusable Article: oopsla22main-p53-p doi:10.1145/3527320
	Cameron, Jonathan	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Linear Types for Large-Scale ..." 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 Article: oopsla22main-p29-p doi:10.1145/3527313
	Chen, Yanju	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Automated Transpilation of ..." 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 Article: oopsla22main-p37-p doi:10.1145/3527315
	Chlipala, Adam	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "C4: Verified Transactional ..." 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 Article: oopsla22main-p66-p doi:10.1145/3527324
	Clément, Basile	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "End-to-End Translation Validation ..." 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 Article: oopsla22main-p96-p doi:10.1145/3527328
	Cohen, Albert	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "End-to-End Translation Validation ..." 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 Article: oopsla22main-p96-p doi:10.1145/3527328
	Contejean, Évelyne	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Translating Canonical SQL ..." 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 Article: oopsla22main-p90-p doi:10.1145/3527327
	Deng, Yinlin	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Coverage-Guided Tensor Compiler ..." 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 Article: oopsla22main-p41-p doi:10.1145/3527317
	Devriese, Dominique	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Plausible Sealing for Gradual ..." 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 Article: oopsla22main-p32-p doi:10.1145/3527314 Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Purity of an ST Monad: Full ..." 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 Article: oopsla22main-p78-p doi:10.1145/3527326
	Dillig, Işil	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Synthesizing Fine-Grained ..." 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 Article: oopsla22main-p21-p doi:10.1145/3527311 Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Automated Transpilation of ..." 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 Article: oopsla22main-p37-p doi:10.1145/3527315
	Dreyer, Derek	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Finding Real Bugs in Big Programs ..." 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 Article: oopsla22main-p77-p doi:10.1145/3527325
	Durrett, Greg	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Automated Transpilation of ..." 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 Article: oopsla22main-p37-p doi:10.1145/3527315
	Dyer, Tristan	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Applying Cognitive Principles ..." 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 Article: oopsla22main-p64-p doi:10.1145/3527323
	Eline, Aaron	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "C to Checked C by 3C ..." 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 Article: oopsla22main-p59-p doi:10.1145/3527322
	Feng, Yu	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Automated Transpilation of ..." 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 Article: oopsla22main-p37-p doi:10.1145/3527315
	Ferles, Kostas	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Synthesizing Fine-Grained ..." 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 Article: oopsla22main-p21-p doi:10.1145/3527311
	Fisler, Kathi	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Applying Cognitive Principles ..." 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 Article: oopsla22main-p64-p doi:10.1145/3527323
	Gallus, Adrian	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Weighted Programming: A Programming ..." 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 Article: oopsla22main-p9-p doi:10.1145/3527310
	Georges, Aïna Linn	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Le Temps des Cerises: Efficient ..." 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 Article: oopsla22main-p45-p doi:10.1145/3527318
	Grech, Neville	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Elipmoc: Advanced Decompilation ..." 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 Article: oopsla22main-p55-p doi:10.1145/3527321
	Hachmaoui, Mohammed Houssem	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Translating Canonical SQL ..." 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 Article: oopsla22main-p90-p doi:10.1145/3527327
	Hawblitzel, Chris	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Linear Types for Large-Scale ..." 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 Article: oopsla22main-p29-p doi:10.1145/3527313
	Headley, Kyle	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "C to Checked C by 3C ..." 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 Article: oopsla22main-p59-p doi:10.1145/3527322
	Hicks, Michael	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "C to Checked C by 3C ..." 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 Article: oopsla22main-p59-p doi:10.1145/3527322
	Howell, Jon	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Linear Types for Large-Scale ..." 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 Article: oopsla22main-p29-p doi:10.1145/3527313
	Huang, Jeff	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "SHARP: Fast Incremental Context-Sensitive ..." SHARP: Fast Incremental Context-Sensitive Pointer Analysis for Java Bozhen Liu and Jeff Huang (Texas A&M University, USA) Publisher's Version Article: oopsla22main-p149-p doi:10.1145/3527332
	Huot, Mathieu	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Functional Collection Programming ..." 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 Article: oopsla22main-p159-p doi:10.1145/3527333
	Jacobs, Koen	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Purity of an ST Monad: Full ..." 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 Article: oopsla22main-p78-p doi:10.1145/3527326
	Jiang, Hanru	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "On Incorrectness Logic for ..." On Incorrectness Logic for Quantum Programs Peng Yan, Hanru Jiang, and Nengkun Yu (University of Technology Sydney, Australia; BIMSA, China) Publisher's Version Article: oopsla22main-p38-p doi:10.1145/3527316
	Kaminski, Benjamin Lucien	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Weighted Programming: A Programming ..." 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 Article: oopsla22main-p9-p doi:10.1145/3527310 Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Quantitative Strongest Post: ..." 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 Article: oopsla22main-p132-p doi:10.1145/3527331
	Kaseorg, Anders	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "C4: Verified Transactional ..." 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 Article: oopsla22main-p66-p doi:10.1145/3527324
	Kastner, John	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "C to Checked C by 3C ..." 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 Article: oopsla22main-p59-p doi:10.1145/3527322
	Katoen, Joost-Pieter	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Weighted Programming: A Programming ..." 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 Article: oopsla22main-p9-p doi:10.1145/3527310
	Keller, Chantal	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Translating Canonical SQL ..." 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 Article: oopsla22main-p90-p doi:10.1145/3527327
	Krishnamurthi, Shriram	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Applying Cognitive Principles ..." 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 Article: oopsla22main-p64-p doi:10.1145/3527323
	Krishnan, Rahul	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Synthesizing Fine-Grained ..." 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 Article: oopsla22main-p21-p doi:10.1145/3527311
	Labrada, Elizabeth	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Plausible Sealing for Gradual ..." 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 Article: oopsla22main-p32-p doi:10.1145/3527314
	Lagouvardos, Sifis	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Elipmoc: Advanced Decompilation ..." 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 Article: oopsla22main-p55-p doi:10.1145/3527321
	Lattuada, Andrea	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Linear Types for Large-Scale ..." 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 Article: oopsla22main-p29-p doi:10.1145/3527313
	Le, Quang Loc	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Finding Real Bugs in Big Programs ..." 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 Article: oopsla22main-p77-p doi:10.1145/3527325
	Lee, Edward	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Effects, Capabilities, and ..." 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) Artifacts Available Artifacts Reusable Article: oopsla22main-p53-p doi:10.1145/3527320
	Lesani, Mohsen	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "C4: Verified Transactional ..." 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 Article: oopsla22main-p66-p doi:10.1145/3527324
	Li, Jialin	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Linear Types for Large-Scale ..." 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 Article: oopsla22main-p29-p doi:10.1145/3527313
	Liu, Bozhen	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "SHARP: Fast Incremental Context-Sensitive ..." SHARP: Fast Incremental Context-Sensitive Pointer Analysis for Java Bozhen Liu and Jeff Huang (Texas A&M University, USA) Publisher's Version Article: oopsla22main-p149-p doi:10.1145/3527332
	Liu, Jiawei	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Coverage-Guided Tensor Compiler ..." 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 Article: oopsla22main-p41-p doi:10.1145/3527317
	Machiry, Aravind	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "C to Checked C by 3C ..." 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 Article: oopsla22main-p59-p doi:10.1145/3527322
	Mandel, Louis	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Translating Canonical SQL ..." 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 Article: oopsla22main-p90-p doi:10.1145/3527327
	Mariano, Benjamin	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Automated Transpilation of ..." 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 Article: oopsla22main-p37-p doi:10.1145/3527315
	McCutchen, Matt	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "C to Checked C by 3C ..." 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 Article: oopsla22main-p59-p doi:10.1145/3527322
	Misailovic, Sasa	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Proof Transfer for Fast Certification ..." 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 Article: oopsla22main-p46-p doi:10.1145/3527319
	Nelson, Tim	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Applying Cognitive Principles ..." 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 Article: oopsla22main-p64-p doi:10.1145/3527323
	O'Hearn, Peter W.	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Finding Real Bugs in Big Programs ..." 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 Article: oopsla22main-p77-p doi:10.1145/3527325
	Olteanu, Dan	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Functional Collection Programming ..." 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 Article: oopsla22main-p159-p doi:10.1145/3527333
	Paltenghi, Matteo	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Bugs in Quantum Computing ..." Bugs in Quantum Computing Platforms: An Empirical Study Matteo Paltenghi and Michael Pradel (University of Stuttgart, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: oopsla22main-p104-p doi:10.1145/3527330
	Parno, Bryan	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Linear Types for Large-Scale ..." 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 Article: oopsla22main-p29-p doi:10.1145/3527313
	Pelsmaeker, Daniel A. A.	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Language-Parametric Static ..." 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 Article: oopsla22main-p98-p doi:10.1145/3527329
	Pierce, Benjamin C.	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "C4: Verified Transactional ..." 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 Article: oopsla22main-p66-p doi:10.1145/3527324
	Poulsen, Casper Bach	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Language-Parametric Static ..." 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 Article: oopsla22main-p98-p doi:10.1145/3527329
	Pradel, Michael	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Bugs in Quantum Computing ..." Bugs in Quantum Computing Platforms: An Empirical Study Matteo Paltenghi and Michael Pradel (University of Stuttgart, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: oopsla22main-p104-p doi:10.1145/3527330
	Raad, Azalea	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Finding Real Bugs in Big Programs ..." 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 Article: oopsla22main-p77-p doi:10.1145/3527325
	Schuster, Philipp	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Effects, Capabilities, and ..." 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) Artifacts Available Artifacts Reusable Article: oopsla22main-p53-p doi:10.1145/3527320
	Sepanski, Benjamin	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Synthesizing Fine-Grained ..." 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 Article: oopsla22main-p21-p doi:10.1145/3527311
	Shaikhha, Amir	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Functional Collection Programming ..." 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 Article: oopsla22main-p159-p doi:10.1145/3527333
	Shi, Qingkai	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Complexity-Guided Container ..." 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 Article: oopsla22main-p28-p doi:10.1145/3527312
	Shinnar, Avraham	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Translating Canonical SQL ..." 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 Article: oopsla22main-p90-p doi:10.1145/3527327
	Siméon, Jérôme	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Translating Canonical SQL ..." 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 Article: oopsla22main-p90-p doi:10.1145/3527327
	Singh, Gagandeep	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Proof Transfer for Fast Certification ..." 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 Article: oopsla22main-p46-p doi:10.1145/3527319
	Smaragdakis, Yannis	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Elipmoc: Advanced Decompilation ..." 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 Article: oopsla22main-p55-p doi:10.1145/3527321
	Smith, Jaclyn	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Functional Collection Programming ..." 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 Article: oopsla22main-p159-p doi:10.1145/3527333
	Tang, Wensheng	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Complexity-Guided Container ..." 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 Article: oopsla22main-p28-p doi:10.1145/3527312
	Tanter, Éric	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Plausible Sealing for Gradual ..." 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 Article: oopsla22main-p32-p doi:10.1145/3527314
	Timany, Amin	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Purity of an ST Monad: Full ..." 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 Article: oopsla22main-p78-p doi:10.1145/3527326
	Toro, Matías	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Plausible Sealing for Gradual ..." 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 Article: oopsla22main-p32-p doi:10.1145/3527314
	Trieu, Alix	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Le Temps des Cerises: Efficient ..." 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 Article: oopsla22main-p45-p doi:10.1145/3527318
	Tsatiris, Ilias	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Elipmoc: Advanced Decompilation ..." 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 Article: oopsla22main-p55-p doi:10.1145/3527321
	Ugare, Shubham	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Proof Transfer for Fast Certification ..." 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 Article: oopsla22main-p46-p doi:10.1145/3527319
	Van Antwerpen, Hendrik	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Language-Parametric Static ..." 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 Article: oopsla22main-p98-p doi:10.1145/3527329
	Villard, Jules	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Finding Real Bugs in Big Programs ..." 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 Article: oopsla22main-p77-p doi:10.1145/3527325
	Visser, Eelco	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Language-Parametric Static ..." 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 Article: oopsla22main-p98-p doi:10.1145/3527329
	Wang, Chengpeng	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Complexity-Guided Container ..." 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 Article: oopsla22main-p28-p doi:10.1145/3527312
	Wei, Yuxiang	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Coverage-Guided Tensor Compiler ..." 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 Article: oopsla22main-p41-p doi:10.1145/3527317
	Winkler, Tobias	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Weighted Programming: A Programming ..." 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 Article: oopsla22main-p9-p doi:10.1145/3527310
	Xia, Li-yao	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "C4: Verified Transactional ..." 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 Article: oopsla22main-p66-p doi:10.1145/3527324
	Yan, Peng	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "On Incorrectness Logic for ..." On Incorrectness Logic for Quantum Programs Peng Yan, Hanru Jiang, and Nengkun Yu (University of Technology Sydney, Australia; BIMSA, China) Publisher's Version Article: oopsla22main-p38-p doi:10.1145/3527316
	Yang, Sen	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Coverage-Guided Tensor Compiler ..." 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 Article: oopsla22main-p41-p doi:10.1145/3527317
	Yao, Peisen	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Complexity-Guided Container ..." 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 Article: oopsla22main-p28-p doi:10.1145/3527312
	Yu, Nengkun	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "On Incorrectness Logic for ..." On Incorrectness Logic for Quantum Programs Peng Yan, Hanru Jiang, and Nengkun Yu (University of Technology Sydney, Australia; BIMSA, China) Publisher's Version Article: oopsla22main-p38-p doi:10.1145/3527316
	Zdancewic, Steve	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "C4: Verified Transactional ..." 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 Article: oopsla22main-p66-p doi:10.1145/3527324
	Zhang, Charles	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Complexity-Guided Container ..." 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 Article: oopsla22main-p28-p doi:10.1145/3527312
	Zhang, Lingming	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Coverage-Guided Tensor Compiler ..." 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 Article: oopsla22main-p41-p doi:10.1145/3527317
	Zhang, Linpeng	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Quantitative Strongest Post: ..." 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 Article: oopsla22main-p132-p doi:10.1145/3527331
	Zhou, Yi	Proc. ACM Program. Lang., vol. 6, issue OOPSLA1: "Linear Types for Large-Scale ..." 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 Article: oopsla22main-p29-p doi:10.1145/3527313

102 authors

proc time: 0.16