OOPSLA 2019 – Author Index

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

	Abdulla, Parosh Aziz	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Optimal Stateless Model Checking ..." Optimal Stateless Model Checking for Reads-From Equivalence under Sequential Consistency Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Magnus Lång, Tuan Phong Ngo, and Konstantinos Sagonas (Uppsala University, Sweden) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Abuah, Chike	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Duet: An Expressive Higher-Order ..." Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy Joseph P. Near, David Darais, Chike Abuah, Tim Stevens, Pranav Gaddamadugu, Lun Wang, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, and Dawn Song (University of Vermont, USA; University of California at Berkeley, USA; University of Utah, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Adams, Ulf	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Ryū Revisited: Printf Floating ..." Ryū Revisited: Printf Floating Point Conversion Ulf Adams (Google, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Adve, Sarita	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "ApproxHPVM: A Portable Compiler ..." ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations Hashim Sharif, Prakalp Srivastava, Muhammad Huzaifa, Maria Kotsifakou, Keyur Joshi, Yasmin Sarita, Nathan Zhao, Vikram S. Adve, Sasa Misailovic, and Sarita Adve (University of Illinois at Urbana-Champaign, USA; Cornell University, USA) Publisher's Version
	Adve, Vikram S.	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "ApproxHPVM: A Portable Compiler ..." ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations Hashim Sharif, Prakalp Srivastava, Muhammad Huzaifa, Maria Kotsifakou, Keyur Joshi, Yasmin Sarita, Nathan Zhao, Vikram S. Adve, Sasa Misailovic, and Sarita Adve (University of Illinois at Urbana-Champaign, USA; Cornell University, USA) Publisher's Version
	Amarasinghe, Saman	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Seq: A High-Performance Language ..." Seq: A High-Performance Language for Bioinformatics Ariya Shajii, Ibrahim Numanagić, Riyadh Baghdadi, Bonnie Berger, and Saman Amarasinghe (Massachusetts Institute of Technology, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Antonopoulos, Timos	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Specification and Inference ..." Specification and Inference of Trace Refinement Relations Timos Antonopoulos, Eric Koskinen, and Ton Chanh Le (Yale University, USA; Stevens Institute of Technology, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Astrauskas, Vytautas	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Leveraging Rust Types for ..." Leveraging Rust Types for Modular Specification and Verification Vytautas Astrauskas, Peter Müller, Federico Poli, and Alexander J. Summers (ETH Zurich, Switzerland) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Atig, Mohamed Faouzi	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Optimal Stateless Model Checking ..." Optimal Stateless Model Checking for Reads-From Equivalence under Sequential Consistency Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Magnus Lång, Tuan Phong Ngo, and Konstantinos Sagonas (Uppsala University, Sweden) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Bader, Johannes	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Getafix: Learning to Fix Bugs ..." Getafix: Learning to Fix Bugs Automatically Johannes Bader, Andrew Scott, Michael Pradel, and Satish Chandra (Facebook, USA) Publisher's Version
	Baghdadi, Riyadh	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Seq: A High-Performance Language ..." Seq: A High-Performance Language for Bioinformatics Ariya Shajii, Ibrahim Numanagić, Riyadh Baghdadi, Bonnie Berger, and Saman Amarasinghe (Massachusetts Institute of Technology, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Bakshy, Eytan	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "PlanAlyzer: Assessing Threats ..." PlanAlyzer: Assessing Threats to the Validity of Online Experiments Emma Tosch, Eytan Bakshy, Emery D. Berger, David D. Jensen, and J. Eliot B. Moss (University of Massachusetts Amherst, USA; Facebook, USA) Publisher's Version
	Banerjee, Anindya	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Specifying Concurrent Programs ..." Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco, and Ignacio Fábregas (IMDEA Software Institute, Spain; IRIF, France; University of Paris, France) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Barik, Rajkishore	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Optimization of Swift Protocols ..." Optimization of Swift Protocols Rajkishore Barik, Manu Sridharan, Murali Krishna Ramanathan, and Milind Chabbi (Uber Technologies, USA; University of California at Riverside, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Barnaby, Celeste	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Aroma: Code Recommendation ..." Aroma: Code Recommendation via Structural Code Search Sifei Luan, Di Yang, Celeste Barnaby, Koushik Sen, and Satish Chandra (Facebook, USA; University of California at Irvine, USA; University of California at Berkeley, USA) Publisher's Version Published Artifact
	Bastani, Osbert	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Probabilistic Verification ..." Probabilistic Verification of Fairness Properties via Concentration Osbert Bastani, Xin Zhang, and Armando Solar-Lezama (University of Pennsylvania, USA; Massachusetts Institute of Technology, USA) Publisher's Version Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Relational Verification using ..." Relational Verification using Reinforcement Learning Jia Chen, Jiayi Wei, Yu Feng, Osbert Bastani, and Isil Dillig (University of Texas at Austin, USA; University of California at Santa Barbara, USA; University of Pennsylvania, USA) Publisher's Version
	Bastian, Théophile	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Reliable and Fast DWARF-Based ..." Reliable and Fast DWARF-Based Stack Unwinding Théophile Bastian, Stephen Kell, and Francesco Zappa Nardelli (ENS, France; University of Kent, UK; Inria, France) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Bavishi, Rohan	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "AutoPandas: Neural-Backed ..." AutoPandas: Neural-Backed Generators for Program Synthesis Rohan Bavishi, Caroline Lemieux, Roy Fox, Koushik Sen, and Ion Stoica (University of California at Berkeley, USA; University of California at Irvine, USA) Publisher's Version
	Benavides, Zachary	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "DProf: Distributed Profiler ..." DProf: Distributed Profiler with Strong Guarantees Zachary Benavides, Keval Vora, and Rajiv Gupta (University of California at Riverside, USA; Simon Fraser University, Canada) Publisher's Version
	Bender, John	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "A Formalization of Java’s ..." A Formalization of Java’s Concurrent Access Modes John Bender and Jens Palsberg (University of California at Los Angeles, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Berger, Bonnie	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Seq: A High-Performance Language ..." Seq: A High-Performance Language for Bioinformatics Ariya Shajii, Ibrahim Numanagić, Riyadh Baghdadi, Bonnie Berger, and Saman Amarasinghe (Massachusetts Institute of Technology, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Berger, Emery D.	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "PlanAlyzer: Assessing Threats ..." PlanAlyzer: Assessing Threats to the Validity of Online Experiments Emma Tosch, Eytan Bakshy, Emery D. Berger, David D. Jensen, and J. Eliot B. Moss (University of Massachusetts Amherst, USA; Facebook, USA) Publisher's Version
	Bilardi, Gianfranco	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Derivative Grammars: A Symbolic ..." Derivative Grammars: A Symbolic Approach to Parsing with Derivatives Ian Henriksen, Gianfranco Bilardi, and Keshav Pingali (University of Texas at Austin, USA; University of Padua, Italy) Publisher's Version
	Biswas, Ranadeep	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "On the Complexity of Checking ..." On the Complexity of Checking Transactional Consistency Ranadeep Biswas and Constantin Enea (University of Paris, France; IRIF, France; CNRS, France) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Bond, Michael D.	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Dependence-Aware, Unbounded ..." Dependence-Aware, Unbounded Sound Predictive Race Detection Kaan Genç, Jake Roemer, Yufan Xu, and Michael D. Bond (Ohio State University, USA) Publisher's Version
	Brun, Yuriy	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Formal Foundations of Serverless ..." Formal Foundations of Serverless Computing Abhinav Jangda, Donald Pinckney, Yuriy Brun, and Arjun Guha (University of Massachusetts Amherst, USA) Publisher's Version
	Cadar, Cristian	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Compiler Fuzzing: How Much ..." Compiler Fuzzing: How Much Does It Matter? Michaël Marcozzi, Qiyi Tang, Alastair F. Donaldson, and Cristian Cadar (Imperial College London, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Caires, Luís	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Refinement Kinds: Type-Safe ..." Refinement Kinds: Type-Safe Programming with Practical Type-Level Computation Luís Caires and Bernardo Toninho (Nova University of Lisbon, Portugal; NOVA-LINCS, Portugal) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Cambronero, José P.	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "AL: Autogenerating Supervised ..." AL: Autogenerating Supervised Learning Programs José P. Cambronero and Martin C. Rinard (Massachusetts Institute of Technology, USA) Publisher's Version
	Campora III, John Peter	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Generating Precise Error Specifications ..." Generating Precise Error Specifications for C: A Zero Shot Learning Approach Baijun Wu, John Peter Campora III, Yi He, Alexander Schlecht, and Sheng Chen (University of Louisiana at Lafayette, USA) Publisher's Version
	Cao, Qinxiang	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Certifying Graph-Manipulating ..." Certifying Graph-Manipulating C Programs via Localizations within Data Structures Shengyi Wang, Qinxiang Cao, Anshuman Mohan, and Aquinas Hobor (National University of Singapore, Singapore; Shanghai Jiao Tong University, China) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Celik, Ahmet	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Design, Implementation, and ..." Design, Implementation, and Application of GPU-Based Java Bytecode Interpreters Ahmet Celik, Pengyu Nie, Christopher J. Rossbach, and Milos Gligoric (University of Texas at Austin, USA; VMware, USA) Publisher's Version Artifacts Functional
	Chabbi, Milind	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Optimization of Swift Protocols ..." Optimization of Swift Protocols Rajkishore Barik, Manu Sridharan, Murali Krishna Ramanathan, and Milind Chabbi (Uber Technologies, USA; University of California at Riverside, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Chandra, Satish	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Aroma: Code Recommendation ..." Aroma: Code Recommendation via Structural Code Search Sifei Luan, Di Yang, Celeste Barnaby, Koushik Sen, and Satish Chandra (Facebook, USA; University of California at Irvine, USA; University of California at Berkeley, USA) Publisher's Version Published Artifact Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Getafix: Learning to Fix Bugs ..." Getafix: Learning to Fix Bugs Automatically Johannes Bader, Andrew Scott, Michael Pradel, and Satish Chandra (Facebook, USA) Publisher's Version
	Chang, Bor-Yuh Evan	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Static Analysis with Demand-Driven ..." Static Analysis with Demand-Driven Value Refinement Benno Stein, Benjamin Barslev Nielsen, Bor-Yuh Evan Chang, and Anders Møller (University of Colorado Boulder, USA; Aarhus University, Denmark) Publisher's Version
	Chatterjee, Krishnendu	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Value-Centric Dynamic Partial ..." Value-Centric Dynamic Partial Order Reduction Krishnendu Chatterjee, Andreas Pavlogiannis, and Viktor Toman (IST Austria, Austria; EPFL, Switzerland) Publisher's Version Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Modular Verification for Almost-Sure ..." Modular Verification for Almost-Sure Termination of Probabilistic Programs Mingzhang Huang, Hongfei Fu, Krishnendu Chatterjee, and Amir Kafshdar Goharshady (Shanghai Jiao Tong University, China; East China Normal University, China; IST Austria, Austria) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Chen, Jia	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Relational Verification using ..." Relational Verification using Reinforcement Learning Jia Chen, Jiayi Wei, Yu Feng, Osbert Bastani, and Isil Dillig (University of Texas at Austin, USA; University of California at Santa Barbara, USA; University of Pennsylvania, USA) Publisher's Version
	Chen, Sheng	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Generating Precise Error Specifications ..." Generating Precise Error Specifications for C: A Zero Shot Learning Approach Baijun Wu, John Peter Campora III, Yi He, Alexander Schlecht, and Sheng Chen (University of Louisiana at Lafayette, USA) Publisher's Version
	Chen, Yuxuan	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Staged Abstract Interpreters: ..." Staged Abstract Interpreters: Fast and Modular Whole-Program Analysis via Meta-programming Guannan Wei, Yuxuan Chen, and Tiark Rompf (Purdue University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Chiba, Shigeru	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Generating a Fluent API with ..." Generating a Fluent API with Syntax Checking from an LR Grammar Tetsuro Yamazaki, Tomoki Nakamaru, Kazuhiro Ichikawa, and Shigeru Chiba (University of Tokyo, Japan) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Cohen, Nachshon	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Efficient Lock-Free Durable ..." Efficient Lock-Free Durable Sets Yoav Zuriel, Michal Friedman, Gali Sheffi, Nachshon Cohen, and Erez Petrank (Technion, Israel; Amazon, Israel) Publisher's Version
	Collange, Caroline	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Qubit Allocation as a Combination ..." Qubit Allocation as a Combination of Subgraph Isomorphism and Token Swapping Marcos Yukio Siraichi, Vinícius Fernandes dos Santos, Caroline Collange, and Fernando Magno Quintão Pereira (Federal University of Minas Gerais, Brazil; Inria, France; University of Rennes, France; CNRS, France; IRISA, France) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	D'Antoni, Loris	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Automatic Repair of Regular ..." Automatic Repair of Regular Expressions Rong Pan, Qinheping Hu, Gaowei Xu, and Loris D'Antoni (University of Texas at Austin, USA; University of Wisconsin-Madison, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Darais, David	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Duet: An Expressive Higher-Order ..." Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy Joseph P. Near, David Darais, Chike Abuah, Tim Stevens, Pranav Gaddamadugu, Lun Wang, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, and Dawn Song (University of Vermont, USA; University of California at Berkeley, USA; University of Utah, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Delaware, Benjamin	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "CLOTHO: Directed Test Generation ..." CLOTHO: Directed Test Generation for Weakly Consistent Database Systems Kia Rahmani, Kartik Nagar, Benjamin Delaware, and Suresh Jagannathan (Purdue University, USA) Publisher's Version
	Delbianco, Germán Andrés	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Specifying Concurrent Programs ..." Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco, and Ignacio Fábregas (IMDEA Software Institute, Spain; IRIF, France; University of Paris, France) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Dillig, Isil	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Relational Verification using ..." Relational Verification using Reinforcement Learning Jia Chen, Jiayi Wei, Yu Feng, Osbert Bastani, and Isil Dillig (University of Texas at Austin, USA; University of California at Santa Barbara, USA; University of Pennsylvania, USA) Publisher's Version
	Dimoulas, Christos	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Complete Monitors for Gradual ..." Complete Monitors for Gradual Types Ben Greenman, Matthias Felleisen, and Christos Dimoulas (Northeastern University, USA; Northwestern University, USA) Publisher's Version
	Donaldson, Alastair F.	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Compiler Fuzzing: How Much ..." Compiler Fuzzing: How Much Does It Matter? Michaël Marcozzi, Qiyi Tang, Alastair F. Donaldson, and Cristian Cadar (Imperial College London, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Drechsler, Joscha	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "A Fault-Tolerant Programming ..." A Fault-Tolerant Programming Model for Distributed Interactive Applications Ragnar Mogk, Joscha Drechsler, Guido Salvaneschi, and Mira Mezini (TU Darmstadt, Germany) Publisher's Version
	Enea, Constantin	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "On the Complexity of Checking ..." On the Complexity of Checking Transactional Consistency Ranadeep Biswas and Constantin Enea (University of Paris, France; IRIF, France; CNRS, France) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Erdweg, Sebastian	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Language-Integrated Privacy-Aware ..." Language-Integrated Privacy-Aware Distributed Queries Guido Salvaneschi, Mirko Köhler, Daniel Sokolowski, Philipp Haller, Sebastian Erdweg, and Mira Mezini (TU Darmstadt, Germany; KTH, Sweden; Johannes Gutenberg University Mainz, Germany) Publisher's Version Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Sound and Reusable Components ..." Sound and Reusable Components for Abstract Interpretation Sven Keidel and Sebastian Erdweg (Johannes Gutenberg University Mainz, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Ernst, Michael D.	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Modular Verification of Web ..." Modular Verification of Web Page Layout Pavel Panchekha, Michael D. Ernst, Zachary Tatlock, and Shoaib Kamil (University of Utah, USA; University of Washington, USA; Adobe, USA) Publisher's Version
	Essertel, Grégory M.	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Precise Reasoning with Structured ..." Precise Reasoning with Structured Time, Structured Heaps, and Collective Operations Grégory M. Essertel, Guannan Wei, and Tiark Rompf (Purdue University, USA) Publisher's Version
	Esteves-Veríssimo, Paulo	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Asphalion: Trustworthy Shielding ..." Asphalion: Trustworthy Shielding against Byzantine Faults Ivana Vukotic, Vincent Rahli, and Paulo Esteves-Veríssimo (University of Luxembourg, Luxembourg; University of Birmingham, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Fábregas, Ignacio	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Specifying Concurrent Programs ..." Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco, and Ignacio Fábregas (IMDEA Software Institute, Spain; IRIF, France; University of Paris, France) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Felleisen, Matthias	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Complete Monitors for Gradual ..." Complete Monitors for Gradual Types Ben Greenman, Matthias Felleisen, and Christos Dimoulas (Northeastern University, USA; Northwestern University, USA) Publisher's Version
	Feng, Yu	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Relational Verification using ..." Relational Verification using Reinforcement Learning Jia Chen, Jiayi Wei, Yu Feng, Osbert Bastani, and Isil Dillig (University of Texas at Austin, USA; University of California at Santa Barbara, USA; University of Pennsylvania, USA) Publisher's Version
	Fernando, Vimuth	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Verifying Safety and Accuracy ..." Verifying Safety and Accuracy of Approximate Parallel Programs via Canonical Sequentialization Vimuth Fernando, Keyur Joshi, and Sasa Misailovic (University of Illinois at Urbana-Champaign, USA) Publisher's Version
	Foster, Jeffrey S.	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Program Synthesis with Algebraic ..." Program Synthesis with Algebraic Library Specifications Benjamin Mariano, Josh Reese, Siyuan Xu, ThanhVu Nguyen, Xiaokang Qiu, Jeffrey S. Foster, and Armando Solar-Lezama (University of Maryland at College Park, USA; Purdue University, USA; University of Nebraska-Lincoln, USA; Tufts University, USA; Massachusetts Institute of Technology, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Fox, Roy	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "AutoPandas: Neural-Backed ..." AutoPandas: Neural-Backed Generators for Program Synthesis Rohan Bavishi, Caroline Lemieux, Roy Fox, Koushik Sen, and Ion Stoica (University of California at Berkeley, USA; University of California at Irvine, USA) Publisher's Version
	Friedman, Michal	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Efficient Lock-Free Durable ..." Efficient Lock-Free Durable Sets Yoav Zuriel, Michal Friedman, Gali Sheffi, Nachshon Cohen, and Erez Petrank (Technion, Israel; Amazon, Israel) Publisher's Version
	Fu, Hongfei	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Modular Verification for Almost-Sure ..." Modular Verification for Almost-Sure Termination of Probabilistic Programs Mingzhang Huang, Hongfei Fu, Krishnendu Chatterjee, and Amir Kafshdar Goharshady (Shanghai Jiao Tong University, China; East China Normal University, China; IST Austria, Austria) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Gaddamadugu, Pranav	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Duet: An Expressive Higher-Order ..." Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy Joseph P. Near, David Darais, Chike Abuah, Tim Stevens, Pranav Gaddamadugu, Lun Wang, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, and Dawn Song (University of Vermont, USA; University of California at Berkeley, USA; University of Utah, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Genç, Kaan	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Dependence-Aware, Unbounded ..." Dependence-Aware, Unbounded Sound Predictive Race Detection Kaan Genç, Jake Roemer, Yufan Xu, and Michael D. Bond (Ohio State University, USA) Publisher's Version
	Gligoric, Milos	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Design, Implementation, and ..." Design, Implementation, and Application of GPU-Based Java Bytecode Interpreters Ahmet Celik, Pengyu Nie, Christopher J. Rossbach, and Milos Gligoric (University of Texas at Austin, USA; VMware, USA) Publisher's Version Artifacts Functional
	Goel, Aviral	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "On the Design, Implementation, ..." On the Design, Implementation, and Use of Laziness in R Aviral Goel and Jan Vitek (Northeastern University, USA; Czech Technical University, Czechia) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Goharshady, Amir Kafshdar	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Modular Verification for Almost-Sure ..." Modular Verification for Almost-Sure Termination of Probabilistic Programs Mingzhang Huang, Hongfei Fu, Krishnendu Chatterjee, and Amir Kafshdar Goharshady (Shanghai Jiao Tong University, China; East China Normal University, China; IST Austria, Austria) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Greenman, Ben	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Complete Monitors for Gradual ..." Complete Monitors for Gradual Types Ben Greenman, Matthias Felleisen, and Christos Dimoulas (Northeastern University, USA; Northwestern University, USA) Publisher's Version
	Guha, Arjun	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Formal Foundations of Serverless ..." Formal Foundations of Serverless Computing Abhinav Jangda, Donald Pinckney, Yuriy Brun, and Arjun Guha (University of Massachusetts Amherst, USA) Publisher's Version
	Gulwani, Sumit	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "On the Fly Synthesis of Edit ..." On the Fly Synthesis of Edit Suggestions Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari, and Abhishek Udupa (Princeton University, USA; Microsoft, USA) Publisher's Version Artifacts Functional
	Gupta, Rajiv	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "DProf: Distributed Profiler ..." DProf: Distributed Profiler with Strong Guarantees Zachary Benavides, Keval Vora, and Rajiv Gupta (University of California at Riverside, USA; Simon Fraser University, Canada) Publisher's Version
	Hadzi-Tanovic, Milica	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Reflection-Aware Static Regression ..." Reflection-Aware Static Regression Test Selection August Shi, Milica Hadzi-Tanovic, Lingming Zhang, Darko Marinov, and Owolabi Legunsen (University of Illinois at Urbana-Champaign, USA; University of Texas at Dallas, USA) Publisher's Version
	Haller, Philipp	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Language-Integrated Privacy-Aware ..." Language-Integrated Privacy-Aware Distributed Queries Guido Salvaneschi, Mirko Köhler, Daniel Sokolowski, Philipp Haller, Sebastian Erdweg, and Mira Mezini (TU Darmstadt, Germany; KTH, Sweden; Johannes Gutenberg University Mainz, Germany) Publisher's Version
	Hamza, Jad	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "System FR: Formalized Foundations ..." System FR: Formalized Foundations for the Stainless Verifier Jad Hamza, Nicolas Voirol, and Viktor Kunčak (EPFL, Switzerland) Publisher's Version
	Hao, Ken Chan Guan	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Safer Smart Contract Programming ..." Safer Smart Contract Programming with Scilla Ilya Sergey, Vaivaswatha Nagaraj, Jacob Johannsen, Amrit Kumar, Anton Trunov, and Ken Chan Guan Hao (Yale-NUS College, Singapore; National University of Singapore, Singapore; Zilliqa Research, India; Zilliqa Research, Denmark; Zilliqa Research, UK; Zilliqa Research, Russia; Zilliqa Research, Malaysia) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Hauswirth, Matthias	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Casting about in the Dark: ..." Casting about in the Dark: An Empirical Study of Cast Operations in Java Programs Luis Mastrangelo, Matthias Hauswirth, and Nathaniel Nystrom (USI Lugano, Switzerland) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	He, Yi	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Generating Precise Error Specifications ..." Generating Precise Error Specifications for C: A Zero Shot Learning Approach Baijun Wu, John Peter Campora III, Yi He, Alexander Schlecht, and Sheng Chen (University of Louisiana at Lafayette, USA) Publisher's Version
	Henriksen, Ian	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Derivative Grammars: A Symbolic ..." Derivative Grammars: A Symbolic Approach to Parsing with Derivatives Ian Henriksen, Gianfranco Bilardi, and Keshav Pingali (University of Texas at Austin, USA; University of Padua, Italy) Publisher's Version
	Hicks, Michael	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Coverage Guided, Property ..." Coverage Guided, Property Based Testing Leonidas Lampropoulos, Michael Hicks, and Benjamin C. Pierce (University of Maryland, USA; University of Pennsylvania, USA) Publisher's Version
	Hobor, Aquinas	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Certifying Graph-Manipulating ..." Certifying Graph-Manipulating C Programs via Localizations within Data Structures Shengyi Wang, Qinxiang Cao, Anshuman Mohan, and Aquinas Hobor (National University of Singapore, Singapore; Shanghai Jiao Tong University, China) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Hofer, Peter	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Initialize Once, Start Fast: ..." Initialize Once, Start Fast: Application Initialization at Build Time Christian Wimmer, Codrut Stancu, Peter Hofer, Vojin Jovanovic, Paul Wögerer, Peter B. Kessler, Oleg Pliss, and Thomas Würthinger (Oracle Labs, USA; Oracle Labs, Austria; Oracle Labs, Switzerland) Publisher's Version
	Hu, Qinheping	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Automatic Repair of Regular ..." Automatic Repair of Regular Expressions Rong Pan, Qinheping Hu, Gaowei Xu, and Loris D'Antoni (University of Texas at Austin, USA; University of Wisconsin-Madison, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Hu, Xu-Qiang	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "IVT: An Efficient Method for ..." IVT: An Efficient Method for Sharing Subtype Polymorphic Objects Yu-Ping Wang, Xu-Qiang Hu, Zi-Xin Zou, Wende Tan, and Gang Tan (Tsinghua University, China; Pennsylvania State University, USA) Publisher's Version
	Huang, Mingzhang	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Modular Verification for Almost-Sure ..." Modular Verification for Almost-Sure Termination of Probabilistic Programs Mingzhang Huang, Hongfei Fu, Krishnendu Chatterjee, and Amir Kafshdar Goharshady (Shanghai Jiao Tong University, China; East China Normal University, China; IST Austria, Austria) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Huzaifa, Muhammad	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "ApproxHPVM: A Portable Compiler ..." ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations Hashim Sharif, Prakalp Srivastava, Muhammad Huzaifa, Maria Kotsifakou, Keyur Joshi, Yasmin Sarita, Nathan Zhao, Vikram S. Adve, Sasa Misailovic, and Sarita Adve (University of Illinois at Urbana-Champaign, USA; Cornell University, USA) Publisher's Version
	Ichikawa, Kazuhiro	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Generating a Fluent API with ..." Generating a Fluent API with Syntax Checking from an LR Grammar Tetsuro Yamazaki, Tomoki Nakamaru, Kazuhiro Ichikawa, and Shigeru Chiba (University of Tokyo, Japan) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Jagannathan, Suresh	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "CLOTHO: Directed Test Generation ..." CLOTHO: Directed Test Generation for Weakly Consistent Database Systems Kia Rahmani, Kartik Nagar, Benjamin Delaware, and Suresh Jagannathan (Purdue University, USA) Publisher's Version Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Mergeable Replicated Data ..." Mergeable Replicated Data Types Gowtham Kaki, Swarn Priya, KC Sivaramakrishnan, and Suresh Jagannathan (Purdue University, USA; IIT Madras, India) Publisher's Version
	Jangda, Abhinav	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Formal Foundations of Serverless ..." Formal Foundations of Serverless Computing Abhinav Jangda, Donald Pinckney, Yuriy Brun, and Arjun Guha (University of Massachusetts Amherst, USA) Publisher's Version
	Jensen, David D.	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "PlanAlyzer: Assessing Threats ..." PlanAlyzer: Assessing Threats to the Validity of Online Experiments Emma Tosch, Eytan Bakshy, Emery D. Berger, David D. Jensen, and J. Eliot B. Moss (University of Massachusetts Amherst, USA; Facebook, USA) Publisher's Version
	Jia, Limin	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "I/O Dependent Idempotence ..." I/O Dependent Idempotence Bugs in Intermittent Systems Milijana Surbatovich, Limin Jia, and Brandon Lucia (Carnegie Mellon University, USA) Publisher's Version
	Jin, Zhi	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "IntelliMerge: A Refactoring-Aware ..." IntelliMerge: A Refactoring-Aware Software Merging Technique Bo Shen, Wei Zhang, Haiyan Zhao, Guangtai Liang, Zhi Jin, and Qianxiang Wang (Peking University, China; Huawei Technologies, China) Publisher's Version Published Artifact
	Johannsen, Jacob	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Safer Smart Contract Programming ..." Safer Smart Contract Programming with Scilla Ilya Sergey, Vaivaswatha Nagaraj, Jacob Johannsen, Amrit Kumar, Anton Trunov, and Ken Chan Guan Hao (Yale-NUS College, Singapore; National University of Singapore, Singapore; Zilliqa Research, India; Zilliqa Research, Denmark; Zilliqa Research, UK; Zilliqa Research, Russia; Zilliqa Research, Malaysia) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Jonsson, Bengt	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Optimal Stateless Model Checking ..." Optimal Stateless Model Checking for Reads-From Equivalence under Sequential Consistency Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Magnus Lång, Tuan Phong Ngo, and Konstantinos Sagonas (Uppsala University, Sweden) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Joshi, Keyur	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Verifying Safety and Accuracy ..." Verifying Safety and Accuracy of Approximate Parallel Programs via Canonical Sequentialization Vimuth Fernando, Keyur Joshi, and Sasa Misailovic (University of Illinois at Urbana-Champaign, USA) Publisher's Version Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "ApproxHPVM: A Portable Compiler ..." ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations Hashim Sharif, Prakalp Srivastava, Muhammad Huzaifa, Maria Kotsifakou, Keyur Joshi, Yasmin Sarita, Nathan Zhao, Vikram S. Adve, Sasa Misailovic, and Sarita Adve (University of Illinois at Urbana-Champaign, USA; Cornell University, USA) Publisher's Version
	Jovanovic, Vojin	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Initialize Once, Start Fast: ..." Initialize Once, Start Fast: Application Initialization at Build Time Christian Wimmer, Codrut Stancu, Peter Hofer, Vojin Jovanovic, Paul Wögerer, Peter B. Kessler, Oleg Pliss, and Thomas Würthinger (Oracle Labs, USA; Oracle Labs, Austria; Oracle Labs, Switzerland) Publisher's Version
	Kaki, Gowtham	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Mergeable Replicated Data ..." Mergeable Replicated Data Types Gowtham Kaki, Swarn Priya, KC Sivaramakrishnan, and Suresh Jagannathan (Purdue University, USA; IIT Madras, India) Publisher's Version
	Kamil, Shoaib	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Modular Verification of Web ..." Modular Verification of Web Page Layout Pavel Panchekha, Michael D. Ernst, Zachary Tatlock, and Shoaib Kamil (University of Utah, USA; University of Washington, USA; Adobe, USA) Publisher's Version
	Keidel, Sven	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Sound and Reusable Components ..." Sound and Reusable Components for Abstract Interpretation Sven Keidel and Sebastian Erdweg (Johannes Gutenberg University Mainz, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Kell, Stephen	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Reliable and Fast DWARF-Based ..." Reliable and Fast DWARF-Based Stack Unwinding Théophile Bastian, Stephen Kell, and Francesco Zappa Nardelli (ENS, France; University of Kent, UK; Inria, France) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Kessler, Peter B.	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Initialize Once, Start Fast: ..." Initialize Once, Start Fast: Application Initialization at Build Time Christian Wimmer, Codrut Stancu, Peter Hofer, Vojin Jovanovic, Paul Wögerer, Peter B. Kessler, Oleg Pliss, and Thomas Würthinger (Oracle Labs, USA; Oracle Labs, Austria; Oracle Labs, Switzerland) Publisher's Version
	Köhler, Mirko	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Language-Integrated Privacy-Aware ..." Language-Integrated Privacy-Aware Distributed Queries Guido Salvaneschi, Mirko Köhler, Daniel Sokolowski, Philipp Haller, Sebastian Erdweg, and Mira Mezini (TU Darmstadt, Germany; KTH, Sweden; Johannes Gutenberg University Mainz, Germany) Publisher's Version
	Kokologiannakis, Michalis	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Effective Lock Handling in ..." Effective Lock Handling in Stateless Model Checking Michalis Kokologiannakis, Azalea Raad, and Viktor Vafeiadis (MPI-SWS, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Konnov, Igor	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "TLA+ Model Checking Made Symbolic ..." TLA+ Model Checking Made Symbolic Igor Konnov, Jure Kukovec, and Thanh-Hai Tran (Inria, France; LORIA, France; University of Lorraine, France; CNRS, France; TU Vienna, Austria) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Koskinen, Eric	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Specification and Inference ..." Specification and Inference of Trace Refinement Relations Timos Antonopoulos, Eric Koskinen, and Ton Chanh Le (Yale University, USA; Stevens Institute of Technology, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Kotsifakou, Maria	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "ApproxHPVM: A Portable Compiler ..." ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations Hashim Sharif, Prakalp Srivastava, Muhammad Huzaifa, Maria Kotsifakou, Keyur Joshi, Yasmin Sarita, Nathan Zhao, Vikram S. Adve, Sasa Misailovic, and Sarita Adve (University of Illinois at Urbana-Champaign, USA; Cornell University, USA) Publisher's Version
	Křikava, Filip	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Scala Implicits Are Everywhere: ..." Scala Implicits Are Everywhere: A Large-Scale Study of the Use of Scala Implicits in the Wild Filip Křikava, Heather Miller, and Jan Vitek (Czech Technical University, Czechia; Carnegie Mellon University, USA; Northeastern University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Kukovec, Jure	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "TLA+ Model Checking Made Symbolic ..." TLA+ Model Checking Made Symbolic Igor Konnov, Jure Kukovec, and Thanh-Hai Tran (Inria, France; LORIA, France; University of Lorraine, France; CNRS, France; TU Vienna, Austria) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Kumar, Amrit	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Safer Smart Contract Programming ..." Safer Smart Contract Programming with Scilla Ilya Sergey, Vaivaswatha Nagaraj, Jacob Johannsen, Amrit Kumar, Anton Trunov, and Ken Chan Guan Hao (Yale-NUS College, Singapore; National University of Singapore, Singapore; Zilliqa Research, India; Zilliqa Research, Denmark; Zilliqa Research, UK; Zilliqa Research, Russia; Zilliqa Research, Malaysia) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Kunčak, Viktor	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "System FR: Formalized Foundations ..." System FR: Formalized Foundations for the Stainless Verifier Jad Hamza, Nicolas Voirol, and Viktor Kunčak (EPFL, Switzerland) Publisher's Version
	Kwon, Yonghwi	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "BDA: Practical Dependence ..." BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-Program Path Sampling and Per-Path Abstract Interpretation Zhuo Zhang, Wei You, Guanhong Tao, Guannan Wei, Yonghwi Kwon, and Xiangyu Zhang (Purdue University, USA; Renmin University of China, China; University of Virginia, USA) Publisher's Version
	Lång, Magnus	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Optimal Stateless Model Checking ..." Optimal Stateless Model Checking for Reads-From Equivalence under Sequential Consistency Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Magnus Lång, Tuan Phong Ngo, and Konstantinos Sagonas (Uppsala University, Sweden) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Lampropoulos, Leonidas	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Coverage Guided, Property ..." Coverage Guided, Property Based Testing Leonidas Lampropoulos, Michael Hicks, and Benjamin C. Pierce (University of Maryland, USA; University of Pennsylvania, USA) Publisher's Version
	Le, Ton Chanh	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Specification and Inference ..." Specification and Inference of Trace Refinement Relations Timos Antonopoulos, Eric Koskinen, and Ton Chanh Le (Yale University, USA; Stevens Institute of Technology, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Le, Vu	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "On the Fly Synthesis of Edit ..." On the Fly Synthesis of Edit Suggestions Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari, and Abhishek Udupa (Princeton University, USA; Microsoft, USA) Publisher's Version Artifacts Functional
	Lee, Myungho	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Automatic and Scalable Detection ..." Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments Dowon Song, Myungho Lee, and Hakjoo Oh (Korea University, South Korea) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Legunsen, Owolabi	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Reflection-Aware Static Regression ..." Reflection-Aware Static Regression Test Selection August Shi, Milica Hadzi-Tanovic, Lingming Zhang, Darko Marinov, and Owolabi Legunsen (University of Illinois at Urbana-Champaign, USA; University of Texas at Dallas, USA) Publisher's Version
	Lemieux, Caroline	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "AutoPandas: Neural-Backed ..." AutoPandas: Neural-Backed Generators for Program Synthesis Rohan Bavishi, Caroline Lemieux, Roy Fox, Koushik Sen, and Ion Stoica (University of California at Berkeley, USA; University of California at Irvine, USA) Publisher's Version Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "FuzzFactory: Domain-Specific ..." FuzzFactory: Domain-Specific Fuzzing with Waypoints Rohan Padhye, Caroline Lemieux, Koushik Sen, Laurent Simon, and Hayawardh Vijayakumar (University of California at Berkeley, USA; Samsung Research, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Leung, Alan	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "On the Fly Synthesis of Edit ..." On the Fly Synthesis of Edit Suggestions Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari, and Abhishek Udupa (Princeton University, USA; Microsoft, USA) Publisher's Version Artifacts Functional
	Lhoták, Ondřej	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "A Path to DOT: Formalizing ..." A Path to DOT: Formalizing Fully Path-Dependent Types Marianna Rapoport and Ondřej Lhoták (University of Waterloo, Canada) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Li, Yi	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Improving Bug Detection via ..." Improving Bug Detection via Context-Based Code Representation Learning and Attention-Based Neural Networks Yi Li, Shaohua Wang, Tien N. Nguyen, and Son Van Nguyen (New Jersey Institute of Technology, USA; University of Texas at Dallas, USA) Publisher's Version
	Liang, Guangtai	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "IntelliMerge: A Refactoring-Aware ..." IntelliMerge: A Refactoring-Aware Software Merging Technique Bo Shen, Wei Zhang, Haiyan Zhao, Guangtai Liang, Zhi Jin, and Qianxiang Wang (Peking University, China; Huawei Technologies, China) Publisher's Version Published Artifact
	Lu, Jingbo	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Precision-Preserving Yet Fast ..." Precision-Preserving Yet Fast Object-Sensitive Pointer Analysis with Partial Context Sensitivity Jingbo Lu and Jingling Xue (UNSW, Australia) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Luan, Sifei	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Aroma: Code Recommendation ..." Aroma: Code Recommendation via Structural Code Search Sifei Luan, Di Yang, Celeste Barnaby, Koushik Sen, and Satish Chandra (Facebook, USA; University of California at Irvine, USA; University of California at Berkeley, USA) Publisher's Version Published Artifact
	Lucia, Brandon	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "I/O Dependent Idempotence ..." I/O Dependent Idempotence Bugs in Intermittent Systems Milijana Surbatovich, Limin Jia, and Brandon Lucia (Carnegie Mellon University, USA) Publisher's Version
	Majumdar, Rupak	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Trace Aware Random Testing ..." Trace Aware Random Testing for Distributed Systems Burcu Kulahcioglu Ozkan, Rupak Majumdar, and Simin Oraee (MPI-SWS, Germany) Publisher's Version
	Marcozzi, Michaël	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Compiler Fuzzing: How Much ..." Compiler Fuzzing: How Much Does It Matter? Michaël Marcozzi, Qiyi Tang, Alastair F. Donaldson, and Cristian Cadar (Imperial College London, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Mariano, Benjamin	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Program Synthesis with Algebraic ..." Program Synthesis with Algebraic Library Specifications Benjamin Mariano, Josh Reese, Siyuan Xu, ThanhVu Nguyen, Xiaokang Qiu, Jeffrey S. Foster, and Armando Solar-Lezama (University of Maryland at College Park, USA; Purdue University, USA; University of Nebraska-Lincoln, USA; Tufts University, USA; Massachusetts Institute of Technology, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Marinov, Darko	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Reflection-Aware Static Regression ..." Reflection-Aware Static Regression Test Selection August Shi, Milica Hadzi-Tanovic, Lingming Zhang, Darko Marinov, and Owolabi Legunsen (University of Illinois at Urbana-Champaign, USA; University of Texas at Dallas, USA) Publisher's Version
	Mastrangelo, Luis	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Casting about in the Dark: ..." Casting about in the Dark: An Empirical Study of Cast Operations in Java Programs Luis Mastrangelo, Matthias Hauswirth, and Nathaniel Nystrom (USI Lugano, Switzerland) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Mezini, Mira	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "A Fault-Tolerant Programming ..." A Fault-Tolerant Programming Model for Distributed Interactive Applications Ragnar Mogk, Joscha Drechsler, Guido Salvaneschi, and Mira Mezini (TU Darmstadt, Germany) Publisher's Version Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Language-Integrated Privacy-Aware ..." Language-Integrated Privacy-Aware Distributed Queries Guido Salvaneschi, Mirko Köhler, Daniel Sokolowski, Philipp Haller, Sebastian Erdweg, and Mira Mezini (TU Darmstadt, Germany; KTH, Sweden; Johannes Gutenberg University Mainz, Germany) Publisher's Version
	Miller, Heather	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Scala Implicits Are Everywhere: ..." Scala Implicits Are Everywhere: A Large-Scale Study of the Use of Scala Implicits in the Wild Filip Křikava, Heather Miller, and Jan Vitek (Czech Technical University, Czechia; Carnegie Mellon University, USA; Northeastern University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Miltner, Anders	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "On the Fly Synthesis of Edit ..." On the Fly Synthesis of Edit Suggestions Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari, and Abhishek Udupa (Princeton University, USA; Microsoft, USA) Publisher's Version Artifacts Functional
	Misailovic, Sasa	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Verifying Safety and Accuracy ..." Verifying Safety and Accuracy of Approximate Parallel Programs via Canonical Sequentialization Vimuth Fernando, Keyur Joshi, and Sasa Misailovic (University of Illinois at Urbana-Champaign, USA) Publisher's Version Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "ApproxHPVM: A Portable Compiler ..." ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations Hashim Sharif, Prakalp Srivastava, Muhammad Huzaifa, Maria Kotsifakou, Keyur Joshi, Yasmin Sarita, Nathan Zhao, Vikram S. Adve, Sasa Misailovic, and Sarita Adve (University of Illinois at Urbana-Champaign, USA; Cornell University, USA) Publisher's Version
	Møller, Anders	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Static Analysis with Demand-Driven ..." Static Analysis with Demand-Driven Value Refinement Benno Stein, Benjamin Barslev Nielsen, Bor-Yuh Evan Chang, and Anders Møller (University of Colorado Boulder, USA; Aarhus University, Denmark) Publisher's Version
	Mogk, Ragnar	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "A Fault-Tolerant Programming ..." A Fault-Tolerant Programming Model for Distributed Interactive Applications Ragnar Mogk, Joscha Drechsler, Guido Salvaneschi, and Mira Mezini (TU Darmstadt, Germany) Publisher's Version
	Mohan, Anshuman	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Certifying Graph-Manipulating ..." Certifying Graph-Manipulating C Programs via Localizations within Data Structures Shengyi Wang, Qinxiang Cao, Anshuman Mohan, and Aquinas Hobor (National University of Singapore, Singapore; Shanghai Jiao Tong University, China) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Moss, J. Eliot B.	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "PlanAlyzer: Assessing Threats ..." PlanAlyzer: Assessing Threats to the Validity of Online Experiments Emma Tosch, Eytan Bakshy, Emery D. Berger, David D. Jensen, and J. Eliot B. Moss (University of Massachusetts Amherst, USA; Facebook, USA) Publisher's Version
	Müller, Peter	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Modular Verification of Heap ..." Modular Verification of Heap Reachability Properties in Separation Logic Arshavir Ter-Gabrielyan, Alexander J. Summers, and Peter Müller (ETH Zurich, Switzerland) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Leveraging Rust Types for ..." Leveraging Rust Types for Modular Specification and Verification Vytautas Astrauskas, Peter Müller, Federico Poli, and Alexander J. Summers (ETH Zurich, Switzerland) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Nagar, Kartik	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "CLOTHO: Directed Test Generation ..." CLOTHO: Directed Test Generation for Weakly Consistent Database Systems Kia Rahmani, Kartik Nagar, Benjamin Delaware, and Suresh Jagannathan (Purdue University, USA) Publisher's Version
	Nagaraj, Vaivaswatha	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Safer Smart Contract Programming ..." Safer Smart Contract Programming with Scilla Ilya Sergey, Vaivaswatha Nagaraj, Jacob Johannsen, Amrit Kumar, Anton Trunov, and Ken Chan Guan Hao (Yale-NUS College, Singapore; National University of Singapore, Singapore; Zilliqa Research, India; Zilliqa Research, Denmark; Zilliqa Research, UK; Zilliqa Research, Russia; Zilliqa Research, Malaysia) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Nakamaru, Tomoki	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Generating a Fluent API with ..." Generating a Fluent API with Syntax Checking from an LR Grammar Tetsuro Yamazaki, Tomoki Nakamaru, Kazuhiro Ichikawa, and Shigeru Chiba (University of Tokyo, Japan) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Nanevski, Aleksandar	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Specifying Concurrent Programs ..." Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations Aleksandar Nanevski, Anindya Banerjee, Germán Andrés Delbianco, and Ignacio Fábregas (IMDEA Software Institute, Spain; IRIF, France; University of Paris, France) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Near, Joseph P.	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Duet: An Expressive Higher-Order ..." Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy Joseph P. Near, David Darais, Chike Abuah, Tim Stevens, Pranav Gaddamadugu, Lun Wang, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, and Dawn Song (University of Vermont, USA; University of California at Berkeley, USA; University of Utah, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Ngo, Tuan Phong	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Optimal Stateless Model Checking ..." Optimal Stateless Model Checking for Reads-From Equivalence under Sequential Consistency Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Magnus Lång, Tuan Phong Ngo, and Konstantinos Sagonas (Uppsala University, Sweden) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Nguyen, ThanhVu	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Program Synthesis with Algebraic ..." Program Synthesis with Algebraic Library Specifications Benjamin Mariano, Josh Reese, Siyuan Xu, ThanhVu Nguyen, Xiaokang Qiu, Jeffrey S. Foster, and Armando Solar-Lezama (University of Maryland at College Park, USA; Purdue University, USA; University of Nebraska-Lincoln, USA; Tufts University, USA; Massachusetts Institute of Technology, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Nguyen, Tien N.	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Improving Bug Detection via ..." Improving Bug Detection via Context-Based Code Representation Learning and Attention-Based Neural Networks Yi Li, Shaohua Wang, Tien N. Nguyen, and Son Van Nguyen (New Jersey Institute of Technology, USA; University of Texas at Dallas, USA) Publisher's Version
	Nie, Pengyu	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Design, Implementation, and ..." Design, Implementation, and Application of GPU-Based Java Bytecode Interpreters Ahmet Celik, Pengyu Nie, Christopher J. Rossbach, and Milos Gligoric (University of Texas at Austin, USA; VMware, USA) Publisher's Version Artifacts Functional
	Nielsen, Benjamin Barslev	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Static Analysis with Demand-Driven ..." Static Analysis with Demand-Driven Value Refinement Benno Stein, Benjamin Barslev Nielsen, Bor-Yuh Evan Chang, and Anders Møller (University of Colorado Boulder, USA; Aarhus University, Denmark) Publisher's Version
	Numanagić, Ibrahim	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Seq: A High-Performance Language ..." Seq: A High-Performance Language for Bioinformatics Ariya Shajii, Ibrahim Numanagić, Riyadh Baghdadi, Bonnie Berger, and Saman Amarasinghe (Massachusetts Institute of Technology, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Nystrom, Nathaniel	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Casting about in the Dark: ..." Casting about in the Dark: An Empirical Study of Cast Operations in Java Programs Luis Mastrangelo, Matthias Hauswirth, and Nathaniel Nystrom (USI Lugano, Switzerland) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Oh, Hakjoo	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Automatic and Scalable Detection ..." Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments Dowon Song, Myungho Lee, and Hakjoo Oh (Korea University, South Korea) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Oraee, Simin	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Trace Aware Random Testing ..." Trace Aware Random Testing for Distributed Systems Burcu Kulahcioglu Ozkan, Rupak Majumdar, and Simin Oraee (MPI-SWS, Germany) Publisher's Version
	Ozkan, Burcu Kulahcioglu	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Trace Aware Random Testing ..." Trace Aware Random Testing for Distributed Systems Burcu Kulahcioglu Ozkan, Rupak Majumdar, and Simin Oraee (MPI-SWS, Germany) Publisher's Version
	Padhye, Rohan	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "FuzzFactory: Domain-Specific ..." FuzzFactory: Domain-Specific Fuzzing with Waypoints Rohan Padhye, Caroline Lemieux, Koushik Sen, Laurent Simon, and Hayawardh Vijayakumar (University of California at Berkeley, USA; Samsung Research, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Palsberg, Jens	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "A Formalization of Java’s ..." A Formalization of Java’s Concurrent Access Modes John Bender and Jens Palsberg (University of California at Los Angeles, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Pan, Rong	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Automatic Repair of Regular ..." Automatic Repair of Regular Expressions Rong Pan, Qinheping Hu, Gaowei Xu, and Loris D'Antoni (University of Texas at Austin, USA; University of Wisconsin-Madison, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Panchekha, Pavel	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Modular Verification of Web ..." Modular Verification of Web Page Layout Pavel Panchekha, Michael D. Ernst, Zachary Tatlock, and Shoaib Kamil (University of Utah, USA; University of Washington, USA; Adobe, USA) Publisher's Version
	Pavlogiannis, Andreas	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Value-Centric Dynamic Partial ..." Value-Centric Dynamic Partial Order Reduction Krishnendu Chatterjee, Andreas Pavlogiannis, and Viktor Toman (IST Austria, Austria; EPFL, Switzerland) Publisher's Version
	Pereira, Fernando Magno Quintão	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Qubit Allocation as a Combination ..." Qubit Allocation as a Combination of Subgraph Isomorphism and Token Swapping Marcos Yukio Siraichi, Vinícius Fernandes dos Santos, Caroline Collange, and Fernando Magno Quintão Pereira (Federal University of Minas Gerais, Brazil; Inria, France; University of Rennes, France; CNRS, France; IRISA, France) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Petrank, Erez	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Efficient Lock-Free Durable ..." Efficient Lock-Free Durable Sets Yoav Zuriel, Michal Friedman, Gali Sheffi, Nachshon Cohen, and Erez Petrank (Technion, Israel; Amazon, Israel) Publisher's Version
	Pichon-Pharabod, Jean	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Weakening WebAssembly ..." Weakening WebAssembly Conrad Watt, Andreas Rossberg, and Jean Pichon-Pharabod (University of Cambridge, UK; Dfinity Stiftung, Germany) Publisher's Version
	Pierce, Benjamin C.	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Coverage Guided, Property ..." Coverage Guided, Property Based Testing Leonidas Lampropoulos, Michael Hicks, and Benjamin C. Pierce (University of Maryland, USA; University of Pennsylvania, USA) Publisher's Version
	Pinckney, Donald	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Formal Foundations of Serverless ..." Formal Foundations of Serverless Computing Abhinav Jangda, Donald Pinckney, Yuriy Brun, and Arjun Guha (University of Massachusetts Amherst, USA) Publisher's Version
	Pingali, Keshav	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Derivative Grammars: A Symbolic ..." Derivative Grammars: A Symbolic Approach to Parsing with Derivatives Ian Henriksen, Gianfranco Bilardi, and Keshav Pingali (University of Texas at Austin, USA; University of Padua, Italy) Publisher's Version
	Pliss, Oleg	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Initialize Once, Start Fast: ..." Initialize Once, Start Fast: Application Initialization at Build Time Christian Wimmer, Codrut Stancu, Peter Hofer, Vojin Jovanovic, Paul Wögerer, Peter B. Kessler, Oleg Pliss, and Thomas Würthinger (Oracle Labs, USA; Oracle Labs, Austria; Oracle Labs, Switzerland) Publisher's Version
	Poli, Federico	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Leveraging Rust Types for ..." Leveraging Rust Types for Modular Specification and Verification Vytautas Astrauskas, Peter Müller, Federico Poli, and Alexander J. Summers (ETH Zurich, Switzerland) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Pradel, Michael	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Getafix: Learning to Fix Bugs ..." Getafix: Learning to Fix Bugs Automatically Johannes Bader, Andrew Scott, Michael Pradel, and Satish Chandra (Facebook, USA) Publisher's Version
	Priya, Swarn	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Mergeable Replicated Data ..." Mergeable Replicated Data Types Gowtham Kaki, Swarn Priya, KC Sivaramakrishnan, and Suresh Jagannathan (Purdue University, USA; IIT Madras, India) Publisher's Version
	Qiu, Xiaokang	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Program Synthesis with Algebraic ..." Program Synthesis with Algebraic Library Specifications Benjamin Mariano, Josh Reese, Siyuan Xu, ThanhVu Nguyen, Xiaokang Qiu, Jeffrey S. Foster, and Armando Solar-Lezama (University of Maryland at College Park, USA; Purdue University, USA; University of Nebraska-Lincoln, USA; Tufts University, USA; Massachusetts Institute of Technology, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Raad, Azalea	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Weak Persistency Semantics ..." Weak Persistency Semantics from the Ground Up: Formalising the Persistency Semantics of ARMv8 and Transactional Models Azalea Raad, John Wickerson, and Viktor Vafeiadis (MPI-SWS, Germany; Imperial College London, UK) Publisher's Version Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Effective Lock Handling in ..." Effective Lock Handling in Stateless Model Checking Michalis Kokologiannakis, Azalea Raad, and Viktor Vafeiadis (MPI-SWS, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Radhakrishna, Arjun	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "On the Fly Synthesis of Edit ..." On the Fly Synthesis of Edit Suggestions Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari, and Abhishek Udupa (Princeton University, USA; Microsoft, USA) Publisher's Version Artifacts Functional
	Rahli, Vincent	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Asphalion: Trustworthy Shielding ..." Asphalion: Trustworthy Shielding against Byzantine Faults Ivana Vukotic, Vincent Rahli, and Paulo Esteves-Veríssimo (University of Luxembourg, Luxembourg; University of Birmingham, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Rahmani, Kia	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "CLOTHO: Directed Test Generation ..." CLOTHO: Directed Test Generation for Weakly Consistent Database Systems Kia Rahmani, Kartik Nagar, Benjamin Delaware, and Suresh Jagannathan (Purdue University, USA) Publisher's Version
	Ramanathan, Murali Krishna	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Optimization of Swift Protocols ..." Optimization of Swift Protocols Rajkishore Barik, Manu Sridharan, Murali Krishna Ramanathan, and Milind Chabbi (Uber Technologies, USA; University of California at Riverside, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Rapoport, Marianna	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "A Path to DOT: Formalizing ..." A Path to DOT: Formalizing Fully Path-Dependent Types Marianna Rapoport and Ondřej Lhoták (University of Waterloo, Canada) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Reese, Josh	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Program Synthesis with Algebraic ..." Program Synthesis with Algebraic Library Specifications Benjamin Mariano, Josh Reese, Siyuan Xu, ThanhVu Nguyen, Xiaokang Qiu, Jeffrey S. Foster, and Armando Solar-Lezama (University of Maryland at College Park, USA; Purdue University, USA; University of Nebraska-Lincoln, USA; Tufts University, USA; Massachusetts Institute of Technology, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Rinard, Martin C.	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "AL: Autogenerating Supervised ..." AL: Autogenerating Supervised Learning Programs José P. Cambronero and Martin C. Rinard (Massachusetts Institute of Technology, USA) Publisher's Version
	Roemer, Jake	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Dependence-Aware, Unbounded ..." Dependence-Aware, Unbounded Sound Predictive Race Detection Kaan Genç, Jake Roemer, Yufan Xu, and Michael D. Bond (Ohio State University, USA) Publisher's Version
	Rompf, Tiark	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Staged Abstract Interpreters: ..." Staged Abstract Interpreters: Fast and Modular Whole-Program Analysis via Meta-programming Guannan Wei, Yuxuan Chen, and Tiark Rompf (Purdue University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Precise Reasoning with Structured ..." Precise Reasoning with Structured Time, Structured Heaps, and Collective Operations Grégory M. Essertel, Guannan Wei, and Tiark Rompf (Purdue University, USA) Publisher's Version
	Rossbach, Christopher J.	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Design, Implementation, and ..." Design, Implementation, and Application of GPU-Based Java Bytecode Interpreters Ahmet Celik, Pengyu Nie, Christopher J. Rossbach, and Milos Gligoric (University of Texas at Austin, USA; VMware, USA) Publisher's Version Artifacts Functional
	Rossberg, Andreas	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Weakening WebAssembly ..." Weakening WebAssembly Conrad Watt, Andreas Rossberg, and Jean Pichon-Pharabod (University of Cambridge, UK; Dfinity Stiftung, Germany) Publisher's Version
	Sagonas, Konstantinos	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Optimal Stateless Model Checking ..." Optimal Stateless Model Checking for Reads-From Equivalence under Sequential Consistency Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Magnus Lång, Tuan Phong Ngo, and Konstantinos Sagonas (Uppsala University, Sweden) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Salvaneschi, Guido	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "A Fault-Tolerant Programming ..." A Fault-Tolerant Programming Model for Distributed Interactive Applications Ragnar Mogk, Joscha Drechsler, Guido Salvaneschi, and Mira Mezini (TU Darmstadt, Germany) Publisher's Version Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Language-Integrated Privacy-Aware ..." Language-Integrated Privacy-Aware Distributed Queries Guido Salvaneschi, Mirko Köhler, Daniel Sokolowski, Philipp Haller, Sebastian Erdweg, and Mira Mezini (TU Darmstadt, Germany; KTH, Sweden; Johannes Gutenberg University Mainz, Germany) Publisher's Version
	Sang, Yuyang	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "DeepSEA: A Language for Certified ..." DeepSEA: A Language for Certified System Software Vilhelm Sjöberg, Yuyang Sang, Shu-chun Weng, and Zhong Shao (Yale University, USA; CertiK, USA) Publisher's Version
	Santos, Vinícius Fernandes dos	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Qubit Allocation as a Combination ..." Qubit Allocation as a Combination of Subgraph Isomorphism and Token Swapping Marcos Yukio Siraichi, Vinícius Fernandes dos Santos, Caroline Collange, and Fernando Magno Quintão Pereira (Federal University of Minas Gerais, Brazil; Inria, France; University of Rennes, France; CNRS, France; IRISA, France) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Sarita, Yasmin	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "ApproxHPVM: A Portable Compiler ..." ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations Hashim Sharif, Prakalp Srivastava, Muhammad Huzaifa, Maria Kotsifakou, Keyur Joshi, Yasmin Sarita, Nathan Zhao, Vikram S. Adve, Sasa Misailovic, and Sarita Adve (University of Illinois at Urbana-Champaign, USA; Cornell University, USA) Publisher's Version
	Schlecht, Alexander	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Generating Precise Error Specifications ..." Generating Precise Error Specifications for C: A Zero Shot Learning Approach Baijun Wu, John Peter Campora III, Yi He, Alexander Schlecht, and Sheng Chen (University of Louisiana at Lafayette, USA) Publisher's Version
	Scott, Andrew	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Getafix: Learning to Fix Bugs ..." Getafix: Learning to Fix Bugs Automatically Johannes Bader, Andrew Scott, Michael Pradel, and Satish Chandra (Facebook, USA) Publisher's Version
	Sen, Koushik	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Aroma: Code Recommendation ..." Aroma: Code Recommendation via Structural Code Search Sifei Luan, Di Yang, Celeste Barnaby, Koushik Sen, and Satish Chandra (Facebook, USA; University of California at Irvine, USA; University of California at Berkeley, USA) Publisher's Version Published Artifact Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "AutoPandas: Neural-Backed ..." AutoPandas: Neural-Backed Generators for Program Synthesis Rohan Bavishi, Caroline Lemieux, Roy Fox, Koushik Sen, and Ion Stoica (University of California at Berkeley, USA; University of California at Irvine, USA) Publisher's Version Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "FuzzFactory: Domain-Specific ..." FuzzFactory: Domain-Specific Fuzzing with Waypoints Rohan Padhye, Caroline Lemieux, Koushik Sen, Laurent Simon, and Hayawardh Vijayakumar (University of California at Berkeley, USA; Samsung Research, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Sergey, Ilya	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Safer Smart Contract Programming ..." Safer Smart Contract Programming with Scilla Ilya Sergey, Vaivaswatha Nagaraj, Jacob Johannsen, Amrit Kumar, Anton Trunov, and Ken Chan Guan Hao (Yale-NUS College, Singapore; National University of Singapore, Singapore; Zilliqa Research, India; Zilliqa Research, Denmark; Zilliqa Research, UK; Zilliqa Research, Russia; Zilliqa Research, Malaysia) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Shajii, Ariya	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Seq: A High-Performance Language ..." Seq: A High-Performance Language for Bioinformatics Ariya Shajii, Ibrahim Numanagić, Riyadh Baghdadi, Bonnie Berger, and Saman Amarasinghe (Massachusetts Institute of Technology, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Shan, Alex	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Duet: An Expressive Higher-Order ..." Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy Joseph P. Near, David Darais, Chike Abuah, Tim Stevens, Pranav Gaddamadugu, Lun Wang, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, and Dawn Song (University of Vermont, USA; University of California at Berkeley, USA; University of Utah, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Shao, Zhong	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "DeepSEA: A Language for Certified ..." DeepSEA: A Language for Certified System Software Vilhelm Sjöberg, Yuyang Sang, Shu-chun Weng, and Zhong Shao (Yale University, USA; CertiK, USA) Publisher's Version
	Sharif, Hashim	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "ApproxHPVM: A Portable Compiler ..." ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations Hashim Sharif, Prakalp Srivastava, Muhammad Huzaifa, Maria Kotsifakou, Keyur Joshi, Yasmin Sarita, Nathan Zhao, Vikram S. Adve, Sasa Misailovic, and Sarita Adve (University of Illinois at Urbana-Champaign, USA; Cornell University, USA) Publisher's Version
	Sharma, Nikhil	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Duet: An Expressive Higher-Order ..." Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy Joseph P. Near, David Darais, Chike Abuah, Tim Stevens, Pranav Gaddamadugu, Lun Wang, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, and Dawn Song (University of Vermont, USA; University of California at Berkeley, USA; University of Utah, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Sheffi, Gali	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Efficient Lock-Free Durable ..." Efficient Lock-Free Durable Sets Yoav Zuriel, Michal Friedman, Gali Sheffi, Nachshon Cohen, and Erez Petrank (Technion, Israel; Amazon, Israel) Publisher's Version
	Shen, Bo	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "IntelliMerge: A Refactoring-Aware ..." IntelliMerge: A Refactoring-Aware Software Merging Technique Bo Shen, Wei Zhang, Haiyan Zhao, Guangtai Liang, Zhi Jin, and Qianxiang Wang (Peking University, China; Huawei Technologies, China) Publisher's Version Published Artifact
	Shi, August	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Reflection-Aware Static Regression ..." Reflection-Aware Static Regression Test Selection August Shi, Milica Hadzi-Tanovic, Lingming Zhang, Darko Marinov, and Owolabi Legunsen (University of Illinois at Urbana-Champaign, USA; University of Texas at Dallas, USA) Publisher's Version
	Simon, Laurent	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "FuzzFactory: Domain-Specific ..." FuzzFactory: Domain-Specific Fuzzing with Waypoints Rohan Padhye, Caroline Lemieux, Koushik Sen, Laurent Simon, and Hayawardh Vijayakumar (University of California at Berkeley, USA; Samsung Research, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Siraichi, Marcos Yukio	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Qubit Allocation as a Combination ..." Qubit Allocation as a Combination of Subgraph Isomorphism and Token Swapping Marcos Yukio Siraichi, Vinícius Fernandes dos Santos, Caroline Collange, and Fernando Magno Quintão Pereira (Federal University of Minas Gerais, Brazil; Inria, France; University of Rennes, France; CNRS, France; IRISA, France) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Sivaramakrishnan, KC	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Mergeable Replicated Data ..." Mergeable Replicated Data Types Gowtham Kaki, Swarn Priya, KC Sivaramakrishnan, and Suresh Jagannathan (Purdue University, USA; IIT Madras, India) Publisher's Version
	Sjöberg, Vilhelm	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "DeepSEA: A Language for Certified ..." DeepSEA: A Language for Certified System Software Vilhelm Sjöberg, Yuyang Sang, Shu-chun Weng, and Zhong Shao (Yale University, USA; CertiK, USA) Publisher's Version
	Soares, Gustavo	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "On the Fly Synthesis of Edit ..." On the Fly Synthesis of Edit Suggestions Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari, and Abhishek Udupa (Princeton University, USA; Microsoft, USA) Publisher's Version Artifacts Functional
	Sokolowski, Daniel	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Language-Integrated Privacy-Aware ..." Language-Integrated Privacy-Aware Distributed Queries Guido Salvaneschi, Mirko Köhler, Daniel Sokolowski, Philipp Haller, Sebastian Erdweg, and Mira Mezini (TU Darmstadt, Germany; KTH, Sweden; Johannes Gutenberg University Mainz, Germany) Publisher's Version
	Solar-Lezama, Armando	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Probabilistic Verification ..." Probabilistic Verification of Fairness Properties via Concentration Osbert Bastani, Xin Zhang, and Armando Solar-Lezama (University of Pennsylvania, USA; Massachusetts Institute of Technology, USA) Publisher's Version Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Program Synthesis with Algebraic ..." Program Synthesis with Algebraic Library Specifications Benjamin Mariano, Josh Reese, Siyuan Xu, ThanhVu Nguyen, Xiaokang Qiu, Jeffrey S. Foster, and Armando Solar-Lezama (University of Maryland at College Park, USA; Purdue University, USA; University of Nebraska-Lincoln, USA; Tufts University, USA; Massachusetts Institute of Technology, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Somani, Neel	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Duet: An Expressive Higher-Order ..." Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy Joseph P. Near, David Darais, Chike Abuah, Tim Stevens, Pranav Gaddamadugu, Lun Wang, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, and Dawn Song (University of Vermont, USA; University of California at Berkeley, USA; University of Utah, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Song, Dawn	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Duet: An Expressive Higher-Order ..." Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy Joseph P. Near, David Darais, Chike Abuah, Tim Stevens, Pranav Gaddamadugu, Lun Wang, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, and Dawn Song (University of Vermont, USA; University of California at Berkeley, USA; University of Utah, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Song, Dowon	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Automatic and Scalable Detection ..." Automatic and Scalable Detection of Logical Errors in Functional Programming Assignments Dowon Song, Myungho Lee, and Hakjoo Oh (Korea University, South Korea) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Sridharan, Manu	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Optimization of Swift Protocols ..." Optimization of Swift Protocols Rajkishore Barik, Manu Sridharan, Murali Krishna Ramanathan, and Milind Chabbi (Uber Technologies, USA; University of California at Riverside, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Srivastava, Prakalp	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "ApproxHPVM: A Portable Compiler ..." ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations Hashim Sharif, Prakalp Srivastava, Muhammad Huzaifa, Maria Kotsifakou, Keyur Joshi, Yasmin Sarita, Nathan Zhao, Vikram S. Adve, Sasa Misailovic, and Sarita Adve (University of Illinois at Urbana-Champaign, USA; Cornell University, USA) Publisher's Version
	Stancu, Codrut	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Initialize Once, Start Fast: ..." Initialize Once, Start Fast: Application Initialization at Build Time Christian Wimmer, Codrut Stancu, Peter Hofer, Vojin Jovanovic, Paul Wögerer, Peter B. Kessler, Oleg Pliss, and Thomas Würthinger (Oracle Labs, USA; Oracle Labs, Austria; Oracle Labs, Switzerland) Publisher's Version
	Stein, Benno	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Static Analysis with Demand-Driven ..." Static Analysis with Demand-Driven Value Refinement Benno Stein, Benjamin Barslev Nielsen, Bor-Yuh Evan Chang, and Anders Møller (University of Colorado Boulder, USA; Aarhus University, Denmark) Publisher's Version
	Stevens, Tim	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Duet: An Expressive Higher-Order ..." Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy Joseph P. Near, David Darais, Chike Abuah, Tim Stevens, Pranav Gaddamadugu, Lun Wang, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, and Dawn Song (University of Vermont, USA; University of California at Berkeley, USA; University of Utah, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Stoica, Ion	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "AutoPandas: Neural-Backed ..." AutoPandas: Neural-Backed Generators for Program Synthesis Rohan Bavishi, Caroline Lemieux, Roy Fox, Koushik Sen, and Ion Stoica (University of California at Berkeley, USA; University of California at Irvine, USA) Publisher's Version
	Su, Zhendong	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Detecting Nondeterministic ..." Detecting Nondeterministic Payment Bugs in Ethereum Smart Contracts Shuai Wang, Chengyu Zhang, and Zhendong Su (Hong Kong University of Science and Technology, China; East China Normal University, China; ETH Zurich, Switzerland) Publisher's Version
	Summers, Alexander J.	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Modular Verification of Heap ..." Modular Verification of Heap Reachability Properties in Separation Logic Arshavir Ter-Gabrielyan, Alexander J. Summers, and Peter Müller (ETH Zurich, Switzerland) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Leveraging Rust Types for ..." Leveraging Rust Types for Modular Specification and Verification Vytautas Astrauskas, Peter Müller, Federico Poli, and Alexander J. Summers (ETH Zurich, Switzerland) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Surbatovich, Milijana	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "I/O Dependent Idempotence ..." I/O Dependent Idempotence Bugs in Intermittent Systems Milijana Surbatovich, Limin Jia, and Brandon Lucia (Carnegie Mellon University, USA) Publisher's Version
	Tan, Gang	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "IVT: An Efficient Method for ..." IVT: An Efficient Method for Sharing Subtype Polymorphic Objects Yu-Ping Wang, Xu-Qiang Hu, Zi-Xin Zou, Wende Tan, and Gang Tan (Tsinghua University, China; Pennsylvania State University, USA) Publisher's Version
	Tan, Wende	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "IVT: An Efficient Method for ..." IVT: An Efficient Method for Sharing Subtype Polymorphic Objects Yu-Ping Wang, Xu-Qiang Hu, Zi-Xin Zou, Wende Tan, and Gang Tan (Tsinghua University, China; Pennsylvania State University, USA) Publisher's Version
	Tang, Qiyi	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Compiler Fuzzing: How Much ..." Compiler Fuzzing: How Much Does It Matter? Michaël Marcozzi, Qiyi Tang, Alastair F. Donaldson, and Cristian Cadar (Imperial College London, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Tao, Guanhong	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "BDA: Practical Dependence ..." BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-Program Path Sampling and Per-Path Abstract Interpretation Zhuo Zhang, Wei You, Guanhong Tao, Guannan Wei, Yonghwi Kwon, and Xiangyu Zhang (Purdue University, USA; Renmin University of China, China; University of Virginia, USA) Publisher's Version
	Tatlock, Zachary	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Modular Verification of Web ..." Modular Verification of Web Page Layout Pavel Panchekha, Michael D. Ernst, Zachary Tatlock, and Shoaib Kamil (University of Utah, USA; University of Washington, USA; Adobe, USA) Publisher's Version
	Ter-Gabrielyan, Arshavir	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Modular Verification of Heap ..." Modular Verification of Heap Reachability Properties in Separation Logic Arshavir Ter-Gabrielyan, Alexander J. Summers, and Peter Müller (ETH Zurich, Switzerland) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Tiwari, Ashish	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "On the Fly Synthesis of Edit ..." On the Fly Synthesis of Edit Suggestions Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari, and Abhishek Udupa (Princeton University, USA; Microsoft, USA) Publisher's Version Artifacts Functional
	Toman, Viktor	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Value-Centric Dynamic Partial ..." Value-Centric Dynamic Partial Order Reduction Krishnendu Chatterjee, Andreas Pavlogiannis, and Viktor Toman (IST Austria, Austria; EPFL, Switzerland) Publisher's Version
	Toninho, Bernardo	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Refinement Kinds: Type-Safe ..." Refinement Kinds: Type-Safe Programming with Practical Type-Level Computation Luís Caires and Bernardo Toninho (Nova University of Lisbon, Portugal; NOVA-LINCS, Portugal) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Tosch, Emma	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "PlanAlyzer: Assessing Threats ..." PlanAlyzer: Assessing Threats to the Validity of Online Experiments Emma Tosch, Eytan Bakshy, Emery D. Berger, David D. Jensen, and J. Eliot B. Moss (University of Massachusetts Amherst, USA; Facebook, USA) Publisher's Version
	Tran, Thanh-Hai	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "TLA+ Model Checking Made Symbolic ..." TLA+ Model Checking Made Symbolic Igor Konnov, Jure Kukovec, and Thanh-Hai Tran (Inria, France; LORIA, France; University of Lorraine, France; CNRS, France; TU Vienna, Austria) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Trunov, Anton	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Safer Smart Contract Programming ..." Safer Smart Contract Programming with Scilla Ilya Sergey, Vaivaswatha Nagaraj, Jacob Johannsen, Amrit Kumar, Anton Trunov, and Ken Chan Guan Hao (Yale-NUS College, Singapore; National University of Singapore, Singapore; Zilliqa Research, India; Zilliqa Research, Denmark; Zilliqa Research, UK; Zilliqa Research, Russia; Zilliqa Research, Malaysia) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Udupa, Abhishek	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "On the Fly Synthesis of Edit ..." On the Fly Synthesis of Edit Suggestions Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari, and Abhishek Udupa (Princeton University, USA; Microsoft, USA) Publisher's Version Artifacts Functional
	Vafeiadis, Viktor	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Weak Persistency Semantics ..." Weak Persistency Semantics from the Ground Up: Formalising the Persistency Semantics of ARMv8 and Transactional Models Azalea Raad, John Wickerson, and Viktor Vafeiadis (MPI-SWS, Germany; Imperial College London, UK) Publisher's Version Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Effective Lock Handling in ..." Effective Lock Handling in Stateless Model Checking Michalis Kokologiannakis, Azalea Raad, and Viktor Vafeiadis (MPI-SWS, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Van Nguyen, Son	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Improving Bug Detection via ..." Improving Bug Detection via Context-Based Code Representation Learning and Attention-Based Neural Networks Yi Li, Shaohua Wang, Tien N. Nguyen, and Son Van Nguyen (New Jersey Institute of Technology, USA; University of Texas at Dallas, USA) Publisher's Version
	Vijayakumar, Hayawardh	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "FuzzFactory: Domain-Specific ..." FuzzFactory: Domain-Specific Fuzzing with Waypoints Rohan Padhye, Caroline Lemieux, Koushik Sen, Laurent Simon, and Hayawardh Vijayakumar (University of California at Berkeley, USA; Samsung Research, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Vitek, Jan	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "On the Design, Implementation, ..." On the Design, Implementation, and Use of Laziness in R Aviral Goel and Jan Vitek (Northeastern University, USA; Czech Technical University, Czechia) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Scala Implicits Are Everywhere: ..." Scala Implicits Are Everywhere: A Large-Scale Study of the Use of Scala Implicits in the Wild Filip Křikava, Heather Miller, and Jan Vitek (Czech Technical University, Czechia; Carnegie Mellon University, USA; Northeastern University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Voirol, Nicolas	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "System FR: Formalized Foundations ..." System FR: Formalized Foundations for the Stainless Verifier Jad Hamza, Nicolas Voirol, and Viktor Kunčak (EPFL, Switzerland) Publisher's Version
	Vora, Keval	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "DProf: Distributed Profiler ..." DProf: Distributed Profiler with Strong Guarantees Zachary Benavides, Keval Vora, and Rajiv Gupta (University of California at Riverside, USA; Simon Fraser University, Canada) Publisher's Version
	Vukotic, Ivana	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Asphalion: Trustworthy Shielding ..." Asphalion: Trustworthy Shielding against Byzantine Faults Ivana Vukotic, Vincent Rahli, and Paulo Esteves-Veríssimo (University of Luxembourg, Luxembourg; University of Birmingham, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Wang, Lun	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Duet: An Expressive Higher-Order ..." Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy Joseph P. Near, David Darais, Chike Abuah, Tim Stevens, Pranav Gaddamadugu, Lun Wang, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, and Dawn Song (University of Vermont, USA; University of California at Berkeley, USA; University of Utah, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Wang, Qianxiang	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "IntelliMerge: A Refactoring-Aware ..." IntelliMerge: A Refactoring-Aware Software Merging Technique Bo Shen, Wei Zhang, Haiyan Zhao, Guangtai Liang, Zhi Jin, and Qianxiang Wang (Peking University, China; Huawei Technologies, China) Publisher's Version Published Artifact
	Wang, Shaohua	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Improving Bug Detection via ..." Improving Bug Detection via Context-Based Code Representation Learning and Attention-Based Neural Networks Yi Li, Shaohua Wang, Tien N. Nguyen, and Son Van Nguyen (New Jersey Institute of Technology, USA; University of Texas at Dallas, USA) Publisher's Version
	Wang, Shengyi	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Certifying Graph-Manipulating ..." Certifying Graph-Manipulating C Programs via Localizations within Data Structures Shengyi Wang, Qinxiang Cao, Anshuman Mohan, and Aquinas Hobor (National University of Singapore, Singapore; Shanghai Jiao Tong University, China) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Wang, Shuai	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Detecting Nondeterministic ..." Detecting Nondeterministic Payment Bugs in Ethereum Smart Contracts Shuai Wang, Chengyu Zhang, and Zhendong Su (Hong Kong University of Science and Technology, China; East China Normal University, China; ETH Zurich, Switzerland) Publisher's Version
	Wang, Yu-Ping	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "IVT: An Efficient Method for ..." IVT: An Efficient Method for Sharing Subtype Polymorphic Objects Yu-Ping Wang, Xu-Qiang Hu, Zi-Xin Zou, Wende Tan, and Gang Tan (Tsinghua University, China; Pennsylvania State University, USA) Publisher's Version
	Watt, Conrad	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Weakening WebAssembly ..." Weakening WebAssembly Conrad Watt, Andreas Rossberg, and Jean Pichon-Pharabod (University of Cambridge, UK; Dfinity Stiftung, Germany) Publisher's Version
	Wei, Guannan	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Staged Abstract Interpreters: ..." Staged Abstract Interpreters: Fast and Modular Whole-Program Analysis via Meta-programming Guannan Wei, Yuxuan Chen, and Tiark Rompf (Purdue University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "BDA: Practical Dependence ..." BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-Program Path Sampling and Per-Path Abstract Interpretation Zhuo Zhang, Wei You, Guanhong Tao, Guannan Wei, Yonghwi Kwon, and Xiangyu Zhang (Purdue University, USA; Renmin University of China, China; University of Virginia, USA) Publisher's Version Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Precise Reasoning with Structured ..." Precise Reasoning with Structured Time, Structured Heaps, and Collective Operations Grégory M. Essertel, Guannan Wei, and Tiark Rompf (Purdue University, USA) Publisher's Version
	Wei, Jiayi	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Relational Verification using ..." Relational Verification using Reinforcement Learning Jia Chen, Jiayi Wei, Yu Feng, Osbert Bastani, and Isil Dillig (University of Texas at Austin, USA; University of California at Santa Barbara, USA; University of Pennsylvania, USA) Publisher's Version
	Weng, Shu-chun	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "DeepSEA: A Language for Certified ..." DeepSEA: A Language for Certified System Software Vilhelm Sjöberg, Yuyang Sang, Shu-chun Weng, and Zhong Shao (Yale University, USA; CertiK, USA) Publisher's Version
	Wickerson, John	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Weak Persistency Semantics ..." Weak Persistency Semantics from the Ground Up: Formalising the Persistency Semantics of ARMv8 and Transactional Models Azalea Raad, John Wickerson, and Viktor Vafeiadis (MPI-SWS, Germany; Imperial College London, UK) Publisher's Version
	Wimmer, Christian	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Initialize Once, Start Fast: ..." Initialize Once, Start Fast: Application Initialization at Build Time Christian Wimmer, Codrut Stancu, Peter Hofer, Vojin Jovanovic, Paul Wögerer, Peter B. Kessler, Oleg Pliss, and Thomas Würthinger (Oracle Labs, USA; Oracle Labs, Austria; Oracle Labs, Switzerland) Publisher's Version
	Wögerer, Paul	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Initialize Once, Start Fast: ..." Initialize Once, Start Fast: Application Initialization at Build Time Christian Wimmer, Codrut Stancu, Peter Hofer, Vojin Jovanovic, Paul Wögerer, Peter B. Kessler, Oleg Pliss, and Thomas Würthinger (Oracle Labs, USA; Oracle Labs, Austria; Oracle Labs, Switzerland) Publisher's Version
	Wu, Baijun	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Generating Precise Error Specifications ..." Generating Precise Error Specifications for C: A Zero Shot Learning Approach Baijun Wu, John Peter Campora III, Yi He, Alexander Schlecht, and Sheng Chen (University of Louisiana at Lafayette, USA) Publisher's Version
	Würthinger, Thomas	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Initialize Once, Start Fast: ..." Initialize Once, Start Fast: Application Initialization at Build Time Christian Wimmer, Codrut Stancu, Peter Hofer, Vojin Jovanovic, Paul Wögerer, Peter B. Kessler, Oleg Pliss, and Thomas Würthinger (Oracle Labs, USA; Oracle Labs, Austria; Oracle Labs, Switzerland) Publisher's Version
	Xu, Gaowei	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Automatic Repair of Regular ..." Automatic Repair of Regular Expressions Rong Pan, Qinheping Hu, Gaowei Xu, and Loris D'Antoni (University of Texas at Austin, USA; University of Wisconsin-Madison, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Xu, Siyuan	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Program Synthesis with Algebraic ..." Program Synthesis with Algebraic Library Specifications Benjamin Mariano, Josh Reese, Siyuan Xu, ThanhVu Nguyen, Xiaokang Qiu, Jeffrey S. Foster, and Armando Solar-Lezama (University of Maryland at College Park, USA; Purdue University, USA; University of Nebraska-Lincoln, USA; Tufts University, USA; Massachusetts Institute of Technology, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Xu, Yufan	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Dependence-Aware, Unbounded ..." Dependence-Aware, Unbounded Sound Predictive Race Detection Kaan Genç, Jake Roemer, Yufan Xu, and Michael D. Bond (Ohio State University, USA) Publisher's Version
	Xue, Jingling	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Precision-Preserving Yet Fast ..." Precision-Preserving Yet Fast Object-Sensitive Pointer Analysis with Partial Context Sensitivity Jingbo Lu and Jingling Xue (UNSW, Australia) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Yamazaki, Tetsuro	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Generating a Fluent API with ..." Generating a Fluent API with Syntax Checking from an LR Grammar Tetsuro Yamazaki, Tomoki Nakamaru, Kazuhiro Ichikawa, and Shigeru Chiba (University of Tokyo, Japan) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Yang, Di	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Aroma: Code Recommendation ..." Aroma: Code Recommendation via Structural Code Search Sifei Luan, Di Yang, Celeste Barnaby, Koushik Sen, and Satish Chandra (Facebook, USA; University of California at Irvine, USA; University of California at Berkeley, USA) Publisher's Version Published Artifact
	You, Wei	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "BDA: Practical Dependence ..." BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-Program Path Sampling and Per-Path Abstract Interpretation Zhuo Zhang, Wei You, Guanhong Tao, Guannan Wei, Yonghwi Kwon, and Xiangyu Zhang (Purdue University, USA; Renmin University of China, China; University of Virginia, USA) Publisher's Version
	Zappa Nardelli, Francesco	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Reliable and Fast DWARF-Based ..." Reliable and Fast DWARF-Based Stack Unwinding Théophile Bastian, Stephen Kell, and Francesco Zappa Nardelli (ENS, France; University of Kent, UK; Inria, France) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Zhang, Chengyu	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Detecting Nondeterministic ..." Detecting Nondeterministic Payment Bugs in Ethereum Smart Contracts Shuai Wang, Chengyu Zhang, and Zhendong Su (Hong Kong University of Science and Technology, China; East China Normal University, China; ETH Zurich, Switzerland) Publisher's Version
	Zhang, Lingming	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Reflection-Aware Static Regression ..." Reflection-Aware Static Regression Test Selection August Shi, Milica Hadzi-Tanovic, Lingming Zhang, Darko Marinov, and Owolabi Legunsen (University of Illinois at Urbana-Champaign, USA; University of Texas at Dallas, USA) Publisher's Version
	Zhang, Mu	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Duet: An Expressive Higher-Order ..." Duet: An Expressive Higher-Order Language and Linear Type System for Statically Enforcing Differential Privacy Joseph P. Near, David Darais, Chike Abuah, Tim Stevens, Pranav Gaddamadugu, Lun Wang, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, and Dawn Song (University of Vermont, USA; University of California at Berkeley, USA; University of Utah, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Zhang, Wei	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "IntelliMerge: A Refactoring-Aware ..." IntelliMerge: A Refactoring-Aware Software Merging Technique Bo Shen, Wei Zhang, Haiyan Zhao, Guangtai Liang, Zhi Jin, and Qianxiang Wang (Peking University, China; Huawei Technologies, China) Publisher's Version Published Artifact
	Zhang, Xiangyu	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "BDA: Practical Dependence ..." BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-Program Path Sampling and Per-Path Abstract Interpretation Zhuo Zhang, Wei You, Guanhong Tao, Guannan Wei, Yonghwi Kwon, and Xiangyu Zhang (Purdue University, USA; Renmin University of China, China; University of Virginia, USA) Publisher's Version
	Zhang, Xin	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Probabilistic Verification ..." Probabilistic Verification of Fairness Properties via Concentration Osbert Bastani, Xin Zhang, and Armando Solar-Lezama (University of Pennsylvania, USA; Massachusetts Institute of Technology, USA) Publisher's Version
	Zhang, Zhuo	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "BDA: Practical Dependence ..." BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-Program Path Sampling and Per-Path Abstract Interpretation Zhuo Zhang, Wei You, Guanhong Tao, Guannan Wei, Yonghwi Kwon, and Xiangyu Zhang (Purdue University, USA; Renmin University of China, China; University of Virginia, USA) Publisher's Version
	Zhao, Haiyan	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "IntelliMerge: A Refactoring-Aware ..." IntelliMerge: A Refactoring-Aware Software Merging Technique Bo Shen, Wei Zhang, Haiyan Zhao, Guangtai Liang, Zhi Jin, and Qianxiang Wang (Peking University, China; Huawei Technologies, China) Publisher's Version Published Artifact
	Zhao, Nathan	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "ApproxHPVM: A Portable Compiler ..." ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations Hashim Sharif, Prakalp Srivastava, Muhammad Huzaifa, Maria Kotsifakou, Keyur Joshi, Yasmin Sarita, Nathan Zhao, Vikram S. Adve, Sasa Misailovic, and Sarita Adve (University of Illinois at Urbana-Champaign, USA; Cornell University, USA) Publisher's Version
	Zou, Zi-Xin	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "IVT: An Efficient Method for ..." IVT: An Efficient Method for Sharing Subtype Polymorphic Objects Yu-Ping Wang, Xu-Qiang Hu, Zi-Xin Zou, Wende Tan, and Gang Tan (Tsinghua University, China; Pennsylvania State University, USA) Publisher's Version
	Zuriel, Yoav	Proc. ACM Program. Lang., vol. 3, issue OOPSLA: "Efficient Lock-Free Durable ..." Efficient Lock-Free Durable Sets Yoav Zuriel, Michal Friedman, Gali Sheffi, Nachshon Cohen, and Erez Petrank (Technion, Israel; Amazon, Israel) Publisher's Version