OOPSLA 2020 – Author Index

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

	Åman Pohjola, Johannes	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Do You Have Space for Dessert? ..." Do You Have Space for Dessert? A Verified Space Cost Semantics for CakeML Programs Alejandro Gómez-Londoño, Johannes Åman Pohjola, Hira Taqdees Syeda, Magnus O. Myreen, and Yong Kiam Tan (Chalmers University of Technology, Sweden; Data61 at CSIRO, Australia; UNSW, Australia; Carnegie Mellon University, USA) Publisher's Version Video Artifacts Functional Article: oopsla20main-p340-p doi:10.1145/3428272
	Acar, Umut A.	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Program Equivalence for Assisted ..." Program Equivalence for Assisted Grading of Functional Programs Joshua Clune, Vijay Ramamurthy, Ruben Martins, and Umut A. Acar (Carnegie Mellon University, USA) Publisher's Version Video Article: oopsla20main-p188-p doi:10.1145/3428239
	Adams, Andrew	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Verifying and Improving Halide’s ..." Verifying and Improving Halide’s Term Rewriting System with Program Synthesis Julie L. Newcomb, Andrew Adams, Steven Johnson, Rastislav Bodik, and Shoaib Kamil (University of Washington, USA; Adobe Research, USA; Google, USA) Publisher's Version Video Article: oopsla20main-p148-p doi:10.1145/3428234
	Adve, Vikram S.	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Guided Linking: Dynamic Linking ..." Guided Linking: Dynamic Linking without the Costs Sean Bartell, Will Dietz, and Vikram S. Adve (University of Illinois at Urbana-Champaign, USA) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p80-p doi:10.1145/3428213
	Albert, Elvira	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Taming Callbacks for Smart ..." Taming Callbacks for Smart Contract Modularity Elvira Albert, Shelly Grossman, Noam Rinetzky, Clara Rodríguez-Núñez, Albert Rubio, and Mooly Sagiv (Complutense University of Madrid, Spain; Tel Aviv University, Israel) Publisher's Version Video Article: oopsla20main-p401-p doi:10.1145/3428277
	Aldrich, Jonathan	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Can Advanced Type Systems ..." Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian Michael Coblenz, Jonathan Aldrich, Brad A. Myers, and Joshua Sunshine (Carnegie Mellon University, USA) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p23-p doi:10.1145/3428200 Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Gradual Verification of Recursive ..." Gradual Verification of Recursive Heap Data Structures Jenna Wise, Johannes Bader, Cameron Wong, Jonathan Aldrich, Éric Tanter, and Joshua Sunshine (Carnegie Mellon University, USA; Jane Street, USA; University of Chile, Chile) Publisher's Version Published Artifact Video Article: oopsla20main-p605-p doi:10.1145/3428296
	Alon, Uri	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Adversarial Examples for Models ..." Adversarial Examples for Models of Code Noam Yefet, Uri Alon, and Eran Yahav (Technion, Israel) Publisher's Version Video Article: oopsla20main-p137-p doi:10.1145/3428230 Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "A Structural Model for Contextual ..." A Structural Model for Contextual Code Changes Shaked Brody, Uri Alon, and Eran Yahav (Technion, Israel) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p467-p doi:10.1145/3428283 Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Neural Reverse Engineering ..." Neural Reverse Engineering of Stripped Binaries using Augmented Control Flow Graphs Yaniv David, Uri Alon, and Eran Yahav (Technion, Israel) Publisher's Version Published Artifact Video Article: oopsla20main-p526-p doi:10.1145/3428293
	Alur, Rajeev	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "DiffStream: Differential Output ..." DiffStream: Differential Output Testing for Stream Processing Programs Konstantinos Kallas, Filip Niksic, Caleb Stanford, and Rajeev Alur (University of Pennsylvania, USA) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p96-p doi:10.1145/3428221
	Amarasinghe, Saman	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "A Sparse Iteration Space Transformation ..." A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra Ryan Senanayake, Changwan Hong, Ziheng Wang, Amalee Wilson, Stephen Chou, Shoaib Kamil, Saman Amarasinghe, and Fredrik Kjolstad (Reservoir Labs, USA; Massachusetts Institute of Technology, USA; Stanford University, USA; Adobe Research, USA) Publisher's Version Video Article: oopsla20main-p119-p doi:10.1145/3428226
	Andersen, Leif	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Adding Interactive Visual ..." Adding Interactive Visual Syntax to Textual Code Leif Andersen, Michael Ballantyne, and Matthias Felleisen (Northeastern University, USA) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Article: oopsla20main-p510-p doi:10.1145/3428290
	Antonopoulos, Timos	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "DynamiTe: Dynamic Termination ..." DynamiTe: Dynamic Termination and Non-termination Proofs Ton Chanh Le, Timos Antonopoulos, Parisa Fathololumi, Eric Koskinen, and ThanhVu Nguyen (Stevens Institute of Technology, USA; Yale University, USA; University of Nebraska-Lincoln, USA) Publisher's Version Video Article: oopsla20main-p256-p doi:10.1145/3428257
	Astrauskas, Vytautas	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "How Do Programmers Use Unsafe ..." How Do Programmers Use Unsafe Rust? Vytautas Astrauskas, Christoph Matheja, Federico Poli, Peter Müller, and Alexander J. Summers (ETH Zurich, Switzerland; University of British Columbia, Canada) Publisher's Version Video Article: oopsla20main-p32-p doi:10.1145/3428204
	Atkinson, Eric	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Programming and Reasoning ..." Programming and Reasoning with Partial Observability Eric Atkinson and Michael Carbin (Massachusetts Institute of Technology, USA) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p304-p doi:10.1145/3428268
	Avanzini, Martin	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "A Modular Cost Analysis for ..." A Modular Cost Analysis for Probabilistic Programs Martin Avanzini, Georg Moser, and Michael Schaper (Inria, France; University of Innsbruck, Austria) Publisher's Version Video Article: oopsla20main-p190-p doi:10.1145/3428240
	Babokin, Dmitry	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Random Testing for C and C++ ..." Random Testing for C and C++ Compilers with YARPGen Vsevolod Livinskii, Dmitry Babokin, and John Regehr (University of Utah, USA; Intel Corporation, USA) Publisher's Version Video Article: oopsla20main-p292-p doi:10.1145/3428264
	Bach Poulsen, Casper	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Knowing When to Ask: Sound ..." Knowing When to Ask: Sound Scheduling of Name Resolution in Type Checkers Derived from Declarative Specifications Arjen Rouvoet, Hendrik van Antwerpen, Casper Bach Poulsen, Robbert Krebbers, and Eelco Visser (Delft University of Technology, Netherlands) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Article: oopsla20main-p222-p doi:10.1145/3428248
	Bader, Johannes	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Gradual Verification of Recursive ..." Gradual Verification of Recursive Heap Data Structures Jenna Wise, Johannes Bader, Cameron Wong, Jonathan Aldrich, Éric Tanter, and Joshua Sunshine (Carnegie Mellon University, USA; Jane Street, USA; University of Chile, Chile) Publisher's Version Published Artifact Video Article: oopsla20main-p605-p doi:10.1145/3428296
	Bagherzadeh, Mehdi	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Actor Concurrency Bugs: A ..." Actor Concurrency Bugs: A Comprehensive Study on Symptoms, Root Causes, API Usages, and Differences Mehdi Bagherzadeh, Nicholas Fireman, Anas Shawesh, and Raffi Khatchadourian (Oakland University, USA; City University of New York, USA) Publisher's Version Video Article: oopsla20main-p451-p doi:10.1145/3428282
	Ballantyne, Michael	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Adding Interactive Visual ..." Adding Interactive Visual Syntax to Textual Code Leif Andersen, Michael Ballantyne, and Matthias Felleisen (Northeastern University, USA) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Article: oopsla20main-p510-p doi:10.1145/3428290 Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Macros for Domain-Specific ..." Macros for Domain-Specific Languages Michael Ballantyne, Alexis King, and Matthias Felleisen (Northeastern University, USA; Northwestern University, USA) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Article: oopsla20main-p625-p doi:10.1145/3428297
	Banerjee, Subarno	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Sound Garbage Collection for ..." Sound Garbage Collection for C using Pointer Provenance Subarno Banerjee, David Devecsery, Peter M. Chen, and Satish Narayanasamy (University of Michigan, USA; Georgia Institute of Technology, USA) Publisher's Version Video Article: oopsla20main-p196-p doi:10.1145/3428244
	Bansal, Sorav	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Counterexample-Guided Correlation ..." Counterexample-Guided Correlation Algorithm for Translation Validation Shubhani Gupta, Abhishek Rose, and Sorav Bansal (IIT Delhi, India) Publisher's Version Video Artifacts Functional Artifacts Reusable Article: oopsla20main-p509-p doi:10.1145/3428289
	Barke, Shraddha	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Feedback-Driven Semi-supervised ..." Feedback-Driven Semi-supervised Synthesis of Program Transformations Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachiappan Nagappan, and Ashish Tiwari (National University of Singapore, Singapore; University of California at San Diego, USA; Microsoft, USA; Microsoft Research, USA) Publisher's Version Video Article: oopsla20main-p494-p doi:10.1145/3428287 Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Just-in-Time Learning for ..." Just-in-Time Learning for Bottom-Up Enumerative Synthesis Shraddha Barke, Hila Peleg, and Nadia Polikarpova (University of California at San Diego, USA) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Article: oopsla20main-p583-p doi:10.1145/3428295
	Bartell, Sean	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Guided Linking: Dynamic Linking ..." Guided Linking: Dynamic Linking without the Costs Sean Bartell, Will Dietz, and Vikram S. Adve (University of Illinois at Urbana-Champaign, USA) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p80-p doi:10.1145/3428213
	Basin, David	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Igloo: Soundly Linking Compositional ..." Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification Christoph Sprenger, Tobias Klenze, Marco Eilers, Felix A. Wolf, Peter Müller, Martin Clochard, and David Basin (ETH Zurich, Switzerland) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p95-p doi:10.1145/3428220
	Bassily, Raef	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Differentially-Private Software ..." Differentially-Private Software Frequency Profiling under Linear Constraints Hailong Zhang, Yu Hao, Sufian Latif, Raef Bassily, and Atanas Rountev (Fordham University, USA; Ohio State University, USA) Publisher's Version Video Article: oopsla20main-p334-p doi:10.1145/3428271
	Bell, Jonathan	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "A Large-Scale Longitudinal ..." A Large-Scale Longitudinal Study of Flaky Tests Wing Lam, Stefan Winter, Anjiang Wei, Tao Xie, Darko Marinov, and Jonathan Bell (University of Illinois at Urbana-Champaign, USA; TU Darmstadt, Germany; Peking University, China; Northeastern University, USA) Publisher's Version Video Article: oopsla20main-p314-p doi:10.1145/3428270
	Belyakova, Julia	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "World Age in Julia: Optimizing ..." World Age in Julia: Optimizing Method Dispatch in the Presence of Eval Julia Belyakova, Benjamin Chung, Jack Gelinas, Jameson Nash, Ross Tate, and Jan Vitek (Northeastern University, USA; Julia Computing, USA; Cornell University, USA; Czech Technical University, Czechia) Publisher's Version Video Article: oopsla20main-p384-p doi:10.1145/3428275
	Bembenek, Aaron	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Formulog: Datalog for SMT-Based ..." Formulog: Datalog for SMT-Based Static Analysis Aaron Bembenek, Michael Greenberg, and Stephen Chong (Harvard University, USA; Pomona College, USA) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p65-p doi:10.1145/3428209
	Berger, Emery D.	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Mossad: Defeating Software ..." Mossad: Defeating Software Plagiarism Detection Breanna Devore-McDonald and Emery D. Berger (University of Massachusetts at Amherst, USA) Publisher's Version Video Article: oopsla20main-p40-p doi:10.1145/3428206
	Biboudis, Aggelos	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "A Type-and-Effect System for ..." A Type-and-Effect System for Object Initialization Fengyun Liu, Ondřej Lhoták, Aggelos Biboudis, Paolo G. Giarrusso, and Martin Odersky (EPFL, Switzerland; University of Waterloo, Canada; Delft University of Technology, Netherlands) Publisher's Version Video Artifacts Functional Article: oopsla20main-p195-p doi:10.1145/3428243
	Biswas, Arpita	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Learning-Based Controlled ..." Learning-Based Controlled Concurrency Testing Suvam Mukherjee, Pantazis Deligiannis, Arpita Biswas, and Akash Lal (Microsoft Research, India; Microsoft Research, USA; IISc Bangalore, India) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p644-p doi:10.1145/3428298
	Bodik, Rastislav	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Verifying and Improving Halide’s ..." Verifying and Improving Halide’s Term Rewriting System with Program Synthesis Julie L. Newcomb, Andrew Adams, Steven Johnson, Rastislav Bodik, and Shoaib Kamil (University of Washington, USA; Adobe Research, USA; Google, USA) Publisher's Version Video Article: oopsla20main-p148-p doi:10.1145/3428234
	Boulmé, Sylvain	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Certified and Efficient Instruction ..." Certified and Efficient Instruction Scheduling: Application to Interlocked VLIW Processors Cyril Six, Sylvain Boulmé, and David Monniaux (Kalray, France; Grenoble Alps University, France; CNRS, France; Grenoble INP, France; VERIMAG, France) Publisher's Version Video Artifacts Functional Artifacts Reusable Article: oopsla20main-p14-p doi:10.1145/3428197
	Bračevac, Oliver	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Compiling Symbolic Execution ..." Compiling Symbolic Execution with Staging and Algebraic Effects Guannan Wei, Oliver Bračevac, Shangyin Tan, and Tiark Rompf (Purdue University, USA) Publisher's Version Video Article: oopsla20main-p141-p doi:10.1145/3428232
	Brachthäuser, Jonathan Immanuel	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Effects as Capabilities: Effect ..." Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism Jonathan Immanuel Brachthäuser, Philipp Schuster, and Klaus Ostermann (EPFL, Switzerland; University of Tübingen, Germany) Publisher's Version Video Artifacts Functional Artifacts Reusable Article: oopsla20main-p6-p doi:10.1145/3428194
	Brody, Shaked	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "A Structural Model for Contextual ..." A Structural Model for Contextual Code Changes Shaked Brody, Uri Alon, and Eran Yahav (Technion, Israel) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p467-p doi:10.1145/3428283
	Brun, Yuriy	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "TacTok: Semantics-Aware Proof ..." TacTok: Semantics-Aware Proof Synthesis Emily First, Yuriy Brun, and Arjun Guha (University of Massachusetts at Amherst, USA) Publisher's Version Published Artifact Video Article: oopsla20main-p664-p doi:10.1145/3428299
	Campora, John Peter	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Taming Type Annotations in ..." Taming Type Annotations in Gradual Typing John Peter Campora and Sheng Chen (University of Louisiana at Lafayette, USA) Publisher's Version Video Article: oopsla20main-p271-p doi:10.1145/3428259
	Carbin, Michael	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Programming and Reasoning ..." Programming and Reasoning with Partial Observability Eric Atkinson and Michael Carbin (Massachusetts Institute of Technology, USA) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p304-p doi:10.1145/3428268
	Castro-Perez, David	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "CAMP: Cost-Aware Multiparty ..." CAMP: Cost-Aware Multiparty Session Protocols David Castro-Perez and Nobuko Yoshida (Imperial College London, UK) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p100-p doi:10.1145/3428223
	Chaliasos, Stefanos	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "A Model for Detecting Faults ..." A Model for Detecting Faults in Build Specifications Thodoris Sotiropoulos, Stefanos Chaliasos, Dimitris Mitropoulos, and Diomidis Spinellis (Athens University of Economics and Business, Greece) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p78-p doi:10.1145/3428212
	Chari, Guido	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Contextual Dispatch for Function ..." Contextual Dispatch for Function Specialization Olivier Flückiger, Guido Chari, Ming-Ho Yee, Jan Ječmen, Jakob Hain, and Jan Vitek (Northeastern University, USA; Asapp, Argentina; Czech Technical University, Czechia) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Article: oopsla20main-p502-p doi:10.1145/3428288
	Chechik, Marsha	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Automatic and Efficient Variability-Aware ..." Automatic and Efficient Variability-Aware Lifting of Functional Programs Ramy Shahin and Marsha Chechik (University of Toronto, Canada) Publisher's Version Video Article: oopsla20main-p113-p doi:10.1145/3428225
	Chen, Lingyun	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Hidden Inheritance: An Inline ..." Hidden Inheritance: An Inline Caching Design for TypeScript Performance Zhefeng Wu, Zhe Sun, Kai Gong, Lingyun Chen, Bin Liao, and Yihua Jin (Alibaba Group, China) Publisher's Version Video Artifacts Functional Article: oopsla20main-p194-p doi:10.1145/3428242
	Chen, Peter M.	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Sound Garbage Collection for ..." Sound Garbage Collection for C using Pointer Provenance Subarno Banerjee, David Devecsery, Peter M. Chen, and Satish Narayanasamy (University of Michigan, USA; Georgia Institute of Technology, USA) Publisher's Version Video Article: oopsla20main-p196-p doi:10.1145/3428244
	Chen, Sheng	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Taming Type Annotations in ..." Taming Type Annotations in Gradual Typing John Peter Campora and Sheng Chen (University of Louisiana at Lafayette, USA) Publisher's Version Video Article: oopsla20main-p271-p doi:10.1145/3428259
	Chen, Xiaohong	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Towards a Unified Proof Framework ..." Towards a Unified Proof Framework for Automated Fixpoint Reasoning using Matching Logic Xiaohong Chen, Minh-Thai Trinh, Nishant Rodrigues, Lucas Peña, and Grigore Roşu (University of Illinois at Urbana-Champaign, USA; Advanced Digital Sciences Center, Singapore) Publisher's Version Video Article: oopsla20main-p136-p doi:10.1145/3428229
	Chen, Yueqi	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Exposing Cache Timing Side-Channel ..." Exposing Cache Timing Side-Channel Leaks through Out-of-Order Symbolic Execution Shengjian Guo, Yueqi Chen, Jiyong Yu, Meng Wu, Zhiqiang Zuo, Peng Li, Yueqiang Cheng, and Huibo Wang (Baidu Security, USA; Pennsylvania State University, USA; University of Illinois at Urbana-Champaign, USA; Ant Group, China; Nanjing University, China) Publisher's Version Video Article: oopsla20main-p84-p doi:10.1145/3428215
	Cheng, Xiao	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Flow2Vec: Value-Flow-Based ..." Flow2Vec: Value-Flow-Based Precise Code Embedding Yulei Sui, Xiao Cheng, Guanqin Zhang, and Haoyu Wang (University of Technology Sydney, Australia; Beijing University of Posts and Telecommunications, China) Publisher's Version Video Article: oopsla20main-p687-p doi:10.1145/3428301
	Cheng, Yueqiang	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Exposing Cache Timing Side-Channel ..." Exposing Cache Timing Side-Channel Leaks through Out-of-Order Symbolic Execution Shengjian Guo, Yueqi Chen, Jiyong Yu, Meng Wu, Zhiqiang Zuo, Peng Li, Yueqiang Cheng, and Huibo Wang (Baidu Security, USA; Pennsylvania State University, USA; University of Illinois at Urbana-Champaign, USA; Ant Group, China; Nanjing University, China) Publisher's Version Video Article: oopsla20main-p84-p doi:10.1145/3428215
	Chong, Stephen	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Formulog: Datalog for SMT-Based ..." Formulog: Datalog for SMT-Based Static Analysis Aaron Bembenek, Michael Greenberg, and Stephen Chong (Harvard University, USA; Pomona College, USA) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p65-p doi:10.1145/3428209
	Chou, Stephen	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "A Sparse Iteration Space Transformation ..." A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra Ryan Senanayake, Changwan Hong, Ziheng Wang, Amalee Wilson, Stephen Chou, Shoaib Kamil, Saman Amarasinghe, and Fredrik Kjolstad (Reservoir Labs, USA; Massachusetts Institute of Technology, USA; Stanford University, USA; Adobe Research, USA) Publisher's Version Video Article: oopsla20main-p119-p doi:10.1145/3428226
	Christakis, Maria	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Perfectly Parallel Fairness ..." Perfectly Parallel Fairness Certification of Neural Networks Caterina Urban, Maria Christakis, Valentin Wüstholz, and Fuyuan Zhang (Inria, France; ENS, France; CNRS, France; PSL University, France; MPI-SWS, Germany; ConsenSys, Germany) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p242-p doi:10.1145/3428253
	Chu, Duc-Hiep	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Inter-theory Dependency Analysis ..." Inter-theory Dependency Analysis for SMT String Solvers Minh-Thai Trinh, Duc-Hiep Chu, and Joxan Jaffar (Advanced Digital Sciences Center, Singapore; National University of Singapore, Singapore) Publisher's Version Video Artifacts Functional Article: oopsla20main-p272-p doi:10.1145/3428260
	Chung, Benjamin	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "World Age in Julia: Optimizing ..." World Age in Julia: Optimizing Method Dispatch in the Presence of Eval Julia Belyakova, Benjamin Chung, Jack Gelinas, Jameson Nash, Ross Tate, and Jan Vitek (Northeastern University, USA; Julia Computing, USA; Cornell University, USA; Czech Technical University, Czechia) Publisher's Version Video Article: oopsla20main-p384-p doi:10.1145/3428275
	Clochard, Martin	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Igloo: Soundly Linking Compositional ..." Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification Christoph Sprenger, Tobias Klenze, Marco Eilers, Felix A. Wolf, Peter Müller, Martin Clochard, and David Basin (ETH Zurich, Switzerland) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p95-p doi:10.1145/3428220
	Clune, Joshua	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Program Equivalence for Assisted ..." Program Equivalence for Assisted Grading of Functional Programs Joshua Clune, Vijay Ramamurthy, Ruben Martins, and Umut A. Acar (Carnegie Mellon University, USA) Publisher's Version Video Article: oopsla20main-p188-p doi:10.1145/3428239
	Coblenz, Michael	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Can Advanced Type Systems ..." Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian Michael Coblenz, Jonathan Aldrich, Brad A. Myers, and Joshua Sunshine (Carnegie Mellon University, USA) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p23-p doi:10.1145/3428200
	Darulova, Eva	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Interactive Synthesis of Temporal ..." Interactive Synthesis of Temporal Specifications from Examples and Natural Language Ivan Gavran, Eva Darulova, and Rupak Majumdar (MPI-SWS, Germany) Publisher's Version Video Artifacts Functional Artifacts Reusable Article: oopsla20main-p311-p doi:10.1145/3428269
	David, Yaniv	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Neural Reverse Engineering ..." Neural Reverse Engineering of Stripped Binaries using Augmented Control Flow Graphs Yaniv David, Uri Alon, and Eran Yahav (Technion, Israel) Publisher's Version Published Artifact Video Article: oopsla20main-p526-p doi:10.1145/3428293
	Deligiannis, Pantazis	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Learning-Based Controlled ..." Learning-Based Controlled Concurrency Testing Suvam Mukherjee, Pantazis Deligiannis, Arpita Biswas, and Akash Lal (Microsoft Research, India; Microsoft Research, USA; IISc Bangalore, India) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p644-p doi:10.1145/3428298
	Demsky, Brian	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Satune: Synthesizing Efficient ..." Satune: Synthesizing Efficient SAT Encoders Hamed Gorjiara, Guoqing Harry Xu, and Brian Demsky (University of California at Irvine, USA; University of California at Los Angeles, USA) Publisher's Version Video Article: oopsla20main-p82-p doi:10.1145/3428214
	Devecsery, David	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Sound Garbage Collection for ..." Sound Garbage Collection for C using Pointer Provenance Subarno Banerjee, David Devecsery, Peter M. Chen, and Satish Narayanasamy (University of Michigan, USA; Georgia Institute of Technology, USA) Publisher's Version Video Article: oopsla20main-p196-p doi:10.1145/3428244
	Devore-McDonald, Breanna	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Mossad: Defeating Software ..." Mossad: Defeating Software Plagiarism Detection Breanna Devore-McDonald and Emery D. Berger (University of Massachusetts at Amherst, USA) Publisher's Version Video Article: oopsla20main-p40-p doi:10.1145/3428206
	Dietl, Werner	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Precise Inference of Expressive ..." Precise Inference of Expressive Units of Measurement Types Tongtong Xiang, Jeff Y. Luo, and Werner Dietl (University of Waterloo, Canada) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Article: oopsla20main-p67-p doi:10.1145/3428210
	Dietz, Will	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Guided Linking: Dynamic Linking ..." Guided Linking: Dynamic Linking without the Costs Sean Bartell, Will Dietz, and Vikram S. Adve (University of Illinois at Urbana-Champaign, USA) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p80-p doi:10.1145/3428213
	Dillig, Isil	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Automated Policy Synthesis ..." Automated Policy Synthesis for System Call Sandboxing Shankara Pailoor, Xinyu Wang, Hovav Shacham, and Isil Dillig (University of Texas at Austin, USA; University of Michigan, USA) Publisher's Version Video Article: oopsla20main-p28-p doi:10.1145/3428203
	Ding, Yufei	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Projection-Based Runtime Assertions ..." Projection-Based Runtime Assertions for Testing and Debugging Quantum Programs Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, and Yuan Xie (University of California at Santa Barbara, USA; MPI-SP, Germany; University of Technology Sydney, Australia; Institute of Software at Chinese Academy of Sciences, China; Tsinghua University, China) Publisher's Version Video Artifacts Functional Article: oopsla20main-p92-p doi:10.1145/3428218
	Doshi, Shivani	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Digging for Fold: Synthesis-Aided ..." Digging for Fold: Synthesis-Aided API Discovery for Haskell Michael B. James, Zheng Guo, Ziteng Wang, Shivani Doshi, Hila Peleg, Ranjit Jhala, and Nadia Polikarpova (University of California at San Diego, USA) Publisher's Version Video Artifacts Functional Artifacts Reusable Article: oopsla20main-p342-p doi:10.1145/3428273
	Drăgoi, Cezara	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Testing Consensus Implementations ..." Testing Consensus Implementations using Communication Closure Cezara Drăgoi, Constantin Enea, Burcu Kulahcioglu Ozkan, Rupak Majumdar, and Filip Niksic (Inria, France; Informal Systems, France; University of Paris, France; IRIF, France; CNRS, France; MPI-SWS, Germany; University of Pennsylvania, USA) Publisher's Version Video Article: oopsla20main-p411-p doi:10.1145/3428278 Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Programming at the Edge of ..." Programming at the Edge of Synchrony Cezara Drăgoi, Josef Widder, and Damien Zufferey (Inria, France; ENS, France; CNRS, France; PSL University, France; Informal Systems, France; Informal Systems, Austria; MPI-SWS, Germany) Publisher's Version Article: oopsla20main-p424-p doi:10.1145/3428281
	Eilers, Marco	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Igloo: Soundly Linking Compositional ..." Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification Christoph Sprenger, Tobias Klenze, Marco Eilers, Felix A. Wolf, Peter Müller, Martin Clochard, and David Basin (ETH Zurich, Switzerland) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p95-p doi:10.1145/3428220
	Enea, Constantin	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Proving Highly-Concurrent ..." Proving Highly-Concurrent Traversals Correct Yotam M. Y. Feldman, Artem Khyzha, Constantin Enea, Adam Morrison, Aleksandar Nanevski, Noam Rinetzky, and Sharon Shoham (Tel Aviv University, Israel; University of Paris Diderot, France; IMDEA Software Institute, Spain) Publisher's Version Video Article: oopsla20main-p13-p doi:10.1145/3428196 Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Testing Consensus Implementations ..." Testing Consensus Implementations using Communication Closure Cezara Drăgoi, Constantin Enea, Burcu Kulahcioglu Ozkan, Rupak Majumdar, and Filip Niksic (Inria, France; Informal Systems, France; University of Paris, France; IRIF, France; CNRS, France; MPI-SWS, Germany; University of Pennsylvania, USA) Publisher's Version Video Article: oopsla20main-p411-p doi:10.1145/3428278
	Erdweg, Sebastian	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "A Systematic Approach to Deriving ..." A Systematic Approach to Deriving Incremental Type Checkers André Pacak, Sebastian Erdweg, and Tamás Szabó (University of Mainz, Germany; itemis, Germany) Publisher's Version Video Article: oopsla20main-p11-p doi:10.1145/3428195
	Eskandani, Nafise	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Rethinking Safe Consistency ..." Rethinking Safe Consistency in Distributed Object-Oriented Programming Mirko Köhler, Nafise Eskandani, Pascal Weisenburger, Alessandro Margara, and Guido Salvaneschi (TU Darmstadt, Germany; Politecnico di Milano, Italy; University of St. Gallen, Switzerland) Publisher's Version Video Article: oopsla20main-p249-p doi:10.1145/3428256
	Eugster, Patrick	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Scalable and Serializable ..." Scalable and Serializable Networked Multi-actor Programming Bo Sang, Patrick Eugster, Gustavo Petri, Srivatsan Ravi, and Pierre-Louis Roman (Purdue University, USA; Ant Group, USA; USI Lugano, Switzerland; TU Darmstadt, Germany; ARM Research, UK; University of Southern California, USA) Publisher's Version Video Article: oopsla20main-p299-p doi:10.1145/3428266
	Falkenstein, Maximilian	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Fast Linear Programming through ..." Fast Linear Programming through Transprecision Computing on Small and Sparse Data Tobias Grosser, Theodoros Theodoridis, Maximilian Falkenstein, Arjun Pitchanathan, Michael Kruse, Manuel Rigger, Zhendong Su, and Torsten Hoefler (University of Edinburgh, UK; ETH Zurich, Switzerland; IIIT Hyderabad, India; Argonne National Laboratory, USA) Publisher's Version Video Article: oopsla20main-p287-p doi:10.1145/3428263
	Farooq, Umar	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "LiveDroid: Identifying and ..." LiveDroid: Identifying and Preserving Mobile App State in Volatile Runtime Environments Umar Farooq, Zhijia Zhao, Manu Sridharan, and Iulian Neamtiu (University of California at Riverside, USA; New Jersey Institute of Technology, USA) Publisher's Version Video Article: oopsla20main-p129-p doi:10.1145/3428228
	Fathololumi, Parisa	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "DynamiTe: Dynamic Termination ..." DynamiTe: Dynamic Termination and Non-termination Proofs Ton Chanh Le, Timos Antonopoulos, Parisa Fathololumi, Eric Koskinen, and ThanhVu Nguyen (Stevens Institute of Technology, USA; Yale University, USA; University of Nebraska-Lincoln, USA) Publisher's Version Video Article: oopsla20main-p256-p doi:10.1145/3428257
	Feldman, Yotam M. Y.	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Proving Highly-Concurrent ..." Proving Highly-Concurrent Traversals Correct Yotam M. Y. Feldman, Artem Khyzha, Constantin Enea, Adam Morrison, Aleksandar Nanevski, Noam Rinetzky, and Sharon Shoham (Tel Aviv University, Israel; University of Paris Diderot, France; IMDEA Software Institute, Spain) Publisher's Version Video Article: oopsla20main-p13-p doi:10.1145/3428196
	Felleisen, Matthias	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Adding Interactive Visual ..." Adding Interactive Visual Syntax to Textual Code Leif Andersen, Michael Ballantyne, and Matthias Felleisen (Northeastern University, USA) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Article: oopsla20main-p510-p doi:10.1145/3428290 Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Macros for Domain-Specific ..." Macros for Domain-Specific Languages Michael Ballantyne, Alexis King, and Matthias Felleisen (Northeastern University, USA; Northwestern University, USA) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Article: oopsla20main-p625-p doi:10.1145/3428297
	Ferreira, Francisco	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Statically Verified Refinements ..." Statically Verified Refinements for Multiparty Protocols Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, and Nobuko Yoshida (Imperial College London, UK; University of Hertfordshire, UK; Brunel University London, UK) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p87-p doi:10.1145/3428216
	Feser, John	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Deductive Optimization of ..." Deductive Optimization of Relational Data Storage John Feser, Sam Madden, Nan Tang, and Armando Solar-Lezama (Massachusetts Institute of Technology, USA; QCRI HBKU, Qatar) Publisher's Version Video Article: oopsla20main-p171-p doi:10.1145/3428238
	Fireman, Nicholas	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Actor Concurrency Bugs: A ..." Actor Concurrency Bugs: A Comprehensive Study on Symptoms, Root Causes, API Usages, and Differences Mehdi Bagherzadeh, Nicholas Fireman, Anas Shawesh, and Raffi Khatchadourian (Oakland University, USA; City University of New York, USA) Publisher's Version Video Article: oopsla20main-p451-p doi:10.1145/3428282
	First, Emily	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "TacTok: Semantics-Aware Proof ..." TacTok: Semantics-Aware Proof Synthesis Emily First, Yuriy Brun, and Arjun Guha (University of Massachusetts at Amherst, USA) Publisher's Version Published Artifact Video Article: oopsla20main-p664-p doi:10.1145/3428299
	Flanagan, Cormac	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "The Anchor Verifier for Blocking ..." The Anchor Verifier for Blocking and Non-blocking Concurrent Software Cormac Flanagan and Stephen N. Freund (University of California at Santa Cruz, USA; Williams College, USA) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Article: oopsla20main-p103-p doi:10.1145/3428224
	Flückiger, Olivier	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Contextual Dispatch for Function ..." Contextual Dispatch for Function Specialization Olivier Flückiger, Guido Chari, Ming-Ho Yee, Jan Ječmen, Jakob Hain, and Jan Vitek (Northeastern University, USA; Asapp, Argentina; Czech Technical University, Czechia) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Article: oopsla20main-p502-p doi:10.1145/3428288
	Freund, Stephen N.	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "The Anchor Verifier for Blocking ..." The Anchor Verifier for Blocking and Non-blocking Concurrent Software Cormac Flanagan and Stephen N. Freund (University of California at Santa Cruz, USA; Williams College, USA) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Article: oopsla20main-p103-p doi:10.1145/3428224
	Gabay, Roi	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Programming with a Read-Eval-Synth ..." Programming with a Read-Eval-Synth Loop Hila Peleg, Roi Gabay, Shachar Itzhaky, and Eran Yahav (University of California at San Diego, USA; Technion, Israel; Codota, Israel) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p125-p doi:10.1145/3428227
	Gao, Fengjuan	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Learning Semantic Program ..." Learning Semantic Program Embeddings with Graph Interval Neural Network Yu Wang, Ke Wang, Fengjuan Gao, and Linzhang Wang (Nanjing University, China; Visa Research, USA) Publisher's Version Video Article: oopsla20main-p37-p doi:10.1145/3428205
	Gao, Xiang	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Feedback-Driven Semi-supervised ..." Feedback-Driven Semi-supervised Synthesis of Program Transformations Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachiappan Nagappan, and Ashish Tiwari (National University of Singapore, Singapore; University of California at San Diego, USA; Microsoft, USA; Microsoft Research, USA) Publisher's Version Video Article: oopsla20main-p494-p doi:10.1145/3428287
	Gavran, Ivan	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Interactive Synthesis of Temporal ..." Interactive Synthesis of Temporal Specifications from Examples and Natural Language Ivan Gavran, Eva Darulova, and Rupak Majumdar (MPI-SWS, Germany) Publisher's Version Video Artifacts Functional Artifacts Reusable Article: oopsla20main-p311-p doi:10.1145/3428269
	Geisler, Dietrich	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Geometry Types for Graphics ..." Geometry Types for Graphics Programming Dietrich Geisler, Irene Yoon, Aditi Kabra, Horace He, Yinnon Sanders, and Adrian Sampson (Cornell University, USA; University of Pennsylvania, USA; Carnegie Mellon University, USA) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Article: oopsla20main-p193-p doi:10.1145/3428241
	Gelinas, Jack	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "World Age in Julia: Optimizing ..." World Age in Julia: Optimizing Method Dispatch in the Presence of Eval Julia Belyakova, Benjamin Chung, Jack Gelinas, Jameson Nash, Ross Tate, and Jan Vitek (Northeastern University, USA; Julia Computing, USA; Cornell University, USA; Czech Technical University, Czechia) Publisher's Version Video Article: oopsla20main-p384-p doi:10.1145/3428275
	Ghosh, Ritwika	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Koord: A Language for Programming ..." Koord: A Language for Programming and Verifying Distributed Robotics Application Ritwika Ghosh, Chiao Hsieh, Sasa Misailovic, and Sayan Mitra (University of Illinois at Urbana-Champaign, USA) Publisher's Version Video Article: oopsla20main-p675-p doi:10.1145/3428300
	Giarrusso, Paolo G.	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "A Type-and-Effect System for ..." A Type-and-Effect System for Object Initialization Fengyun Liu, Ondřej Lhoták, Aggelos Biboudis, Paolo G. Giarrusso, and Martin Odersky (EPFL, Switzerland; University of Waterloo, Canada; Delft University of Technology, Netherlands) Publisher's Version Video Artifacts Functional Article: oopsla20main-p195-p doi:10.1145/3428243
	Gligoric, Milos	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Unifying Execution of Imperative ..." Unifying Execution of Imperative Generators and Declarative Specifications Pengyu Nie, Marinela Parovic, Zhiqiang Zang, Sarfraz Khurshid, Aleksandar Milicevic, and Milos Gligoric (University of Texas at Austin, USA; Microsoft, USA) Publisher's Version Video Article: oopsla20main-p473-p doi:10.1145/3428285
	Goel, Aviral	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Designing Types for R, Empirically ..." Designing Types for R, Empirically Alexi Turcotte, Aviral Goel, Filip Křikava, and Jan Vitek (Northeastern University, USA; Czech Technical University, Czechia) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p225-p doi:10.1145/3428249
	Gómez-Londoño, Alejandro	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Do You Have Space for Dessert? ..." Do You Have Space for Dessert? A Verified Space Cost Semantics for CakeML Programs Alejandro Gómez-Londoño, Johannes Åman Pohjola, Hira Taqdees Syeda, Magnus O. Myreen, and Yong Kiam Tan (Chalmers University of Technology, Sweden; Data61 at CSIRO, Australia; UNSW, Australia; Carnegie Mellon University, USA) Publisher's Version Video Artifacts Functional Article: oopsla20main-p340-p doi:10.1145/3428272
	Gong, Kai	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Hidden Inheritance: An Inline ..." Hidden Inheritance: An Inline Caching Design for TypeScript Performance Zhefeng Wu, Zhe Sun, Kai Gong, Lingyun Chen, Bin Liao, and Yihua Jin (Alibaba Group, China) Publisher's Version Video Artifacts Functional Article: oopsla20main-p194-p doi:10.1145/3428242
	Gorjiara, Hamed	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Satune: Synthesizing Efficient ..." Satune: Synthesizing Efficient SAT Encoders Hamed Gorjiara, Guoqing Harry Xu, and Brian Demsky (University of California at Irvine, USA; University of California at Los Angeles, USA) Publisher's Version Video Article: oopsla20main-p82-p doi:10.1145/3428214
	Grech, Neville	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Precise Static Modeling of ..." Precise Static Modeling of Ethereum “Memory” Sifis Lagouvardos, Neville Grech, Ilias Tsatiris, and Yannis Smaragdakis (University of Athens, Greece) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Article: oopsla20main-p262-p doi:10.1145/3428258
	Greenberg, Michael	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Formulog: Datalog for SMT-Based ..." Formulog: Datalog for SMT-Based Static Analysis Aaron Bembenek, Michael Greenberg, and Stephen Chong (Harvard University, USA; Pomona College, USA) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p65-p doi:10.1145/3428209
	Griesemer, Robert	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Featherweight Go ..." Featherweight Go Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, and Nobuko Yoshida (Google, USA; University of Hertfordshire, UK; University of Edinburgh, UK; Royal Holloway University of London, UK; Nova University of Lisbon, Portugal; NOVA-LINCS, Portugal; Imperial College London, UK) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p91-p doi:10.1145/3428217
	Grosser, Tobias	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Fast Linear Programming through ..." Fast Linear Programming through Transprecision Computing on Small and Sparse Data Tobias Grosser, Theodoros Theodoridis, Maximilian Falkenstein, Arjun Pitchanathan, Michael Kruse, Manuel Rigger, Zhendong Su, and Torsten Hoefler (University of Edinburgh, UK; ETH Zurich, Switzerland; IIIT Hyderabad, India; Argonne National Laboratory, USA) Publisher's Version Video Article: oopsla20main-p287-p doi:10.1145/3428263
	Grossman, Shelly	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Taming Callbacks for Smart ..." Taming Callbacks for Smart Contract Modularity Elvira Albert, Shelly Grossman, Noam Rinetzky, Clara Rodríguez-Núñez, Albert Rubio, and Mooly Sagiv (Complutense University of Madrid, Spain; Tel Aviv University, Israel) Publisher's Version Video Article: oopsla20main-p401-p doi:10.1145/3428277
	Guha, Arjun	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "TacTok: Semantics-Aware Proof ..." TacTok: Semantics-Aware Proof Synthesis Emily First, Yuriy Brun, and Arjun Guha (University of Massachusetts at Amherst, USA) Publisher's Version Published Artifact Video Article: oopsla20main-p664-p doi:10.1145/3428299
	Gulwani, Sumit	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Structure Interpretation of ..." Structure Interpretation of Text Formats Sumit Gulwani, Vu Le, Arjun Radhakrishna, Ivan Radiček, and Mohammad Raza (Microsoft, USA; Microsoft, Austria) Publisher's Version Video Article: oopsla20main-p421-p doi:10.1145/3428280 Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Feedback-Driven Semi-supervised ..." Feedback-Driven Semi-supervised Synthesis of Program Transformations Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachiappan Nagappan, and Ashish Tiwari (National University of Singapore, Singapore; University of California at San Diego, USA; Microsoft, USA; Microsoft Research, USA) Publisher's Version Video Article: oopsla20main-p494-p doi:10.1145/3428287
	Guo, Shengjian	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Exposing Cache Timing Side-Channel ..." Exposing Cache Timing Side-Channel Leaks through Out-of-Order Symbolic Execution Shengjian Guo, Yueqi Chen, Jiyong Yu, Meng Wu, Zhiqiang Zuo, Peng Li, Yueqiang Cheng, and Huibo Wang (Baidu Security, USA; Pennsylvania State University, USA; University of Illinois at Urbana-Champaign, USA; Ant Group, China; Nanjing University, China) Publisher's Version Video Article: oopsla20main-p84-p doi:10.1145/3428215
	Guo, Zheng	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Digging for Fold: Synthesis-Aided ..." Digging for Fold: Synthesis-Aided API Discovery for Haskell Michael B. James, Zheng Guo, Ziteng Wang, Shivani Doshi, Hila Peleg, Ranjit Jhala, and Nadia Polikarpova (University of California at San Diego, USA) Publisher's Version Video Artifacts Functional Artifacts Reusable Article: oopsla20main-p342-p doi:10.1145/3428273
	Gupta, Shubhani	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Counterexample-Guided Correlation ..." Counterexample-Guided Correlation Algorithm for Translation Validation Shubhani Gupta, Abhishek Rose, and Sorav Bansal (IIT Delhi, India) Publisher's Version Video Artifacts Functional Artifacts Reusable Article: oopsla20main-p509-p doi:10.1145/3428289
	Haeberlen, Andreas	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Testing Differential Privacy ..." Testing Differential Privacy with Dual Interpreters Hengchu Zhang, Edo Roth, Andreas Haeberlen, Benjamin C. Pierce, and Aaron Roth (University of Pennsylvania, USA) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p143-p doi:10.1145/3428233
	Hain, Jakob	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Contextual Dispatch for Function ..." Contextual Dispatch for Function Specialization Olivier Flückiger, Guido Chari, Ming-Ho Yee, Jan Ječmen, Jakob Hain, and Jan Vitek (Northeastern University, USA; Asapp, Argentina; Czech Technical University, Czechia) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Article: oopsla20main-p502-p doi:10.1145/3428288
	Han, Jitao	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Termination Analysis for Evolving ..." Termination Analysis for Evolving Programs: An Incremental Approach by Reusing Certified Modules Fei He and Jitao Han (Tsinghua University, China) Publisher's Version Video Article: oopsla20main-p300-p doi:10.1145/3428267
	Häner, Thomas	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Enabling Accuracy-Aware Quantum ..." Enabling Accuracy-Aware Quantum Compilers using Symbolic Resource Estimation Giulia Meuli, Mathias Soeken, Martin Roetteler, and Thomas Häner (EPFL, Switzerland; Microsoft, Switzerland; Microsoft, USA) Publisher's Version Video Article: oopsla20main-p19-p doi:10.1145/3428198 Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Assertion-Based Optimization ..." Assertion-Based Optimization of Quantum Programs Thomas Häner, Torsten Hoefler, and Matthias Troyer (ETH Zurich, Switzerland; Microsoft, USA) Publisher's Version Video Article: oopsla20main-p24-p doi:10.1145/3428201
	Hao, Yu	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Differentially-Private Software ..." Differentially-Private Software Frequency Profiling under Linear Constraints Hailong Zhang, Yu Hao, Sufian Latif, Raef Bassily, and Atanas Rountev (Fordham University, USA; Ohio State University, USA) Publisher's Version Video Article: oopsla20main-p334-p doi:10.1145/3428271
	He, Fei	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Incremental Predicate Analysis ..." Incremental Predicate Analysis for Regression Verification Qianshan Yu, Fei He, and Bow-Yaw Wang (Tsinghua University, China; Academia Sinica, Taiwan) Publisher's Version Video Article: oopsla20main-p233-p doi:10.1145/3428252 Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Termination Analysis for Evolving ..." Termination Analysis for Evolving Programs: An Incremental Approach by Reusing Certified Modules Fei He and Jitao Han (Tsinghua University, China) Publisher's Version Video Article: oopsla20main-p300-p doi:10.1145/3428267
	He, Horace	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Geometry Types for Graphics ..." Geometry Types for Graphics Programming Dietrich Geisler, Irene Yoon, Aditi Kabra, Horace He, Yinnon Sanders, and Adrian Sampson (Cornell University, USA; University of Pennsylvania, USA; Carnegie Mellon University, USA) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Article: oopsla20main-p193-p doi:10.1145/3428241
	Hicks, Michael	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Verifying Replicated Data ..." Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell Yiyun Liu, James Parker, Patrick Redmond, Lindsey Kuper, Michael Hicks, and Niki Vazou (University of Maryland at College Park, USA; University of California at Santa Cruz, USA; IMDEA Software Institute, Spain) Publisher's Version Video Artifacts Functional Article: oopsla20main-p469-p doi:10.1145/3428284
	Hoefler, Torsten	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Assertion-Based Optimization ..." Assertion-Based Optimization of Quantum Programs Thomas Häner, Torsten Hoefler, and Matthias Troyer (ETH Zurich, Switzerland; Microsoft, USA) Publisher's Version Video Article: oopsla20main-p24-p doi:10.1145/3428201 Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Fast Linear Programming through ..." Fast Linear Programming through Transprecision Computing on Small and Sparse Data Tobias Grosser, Theodoros Theodoridis, Maximilian Falkenstein, Arjun Pitchanathan, Michael Kruse, Manuel Rigger, Zhendong Su, and Torsten Hoefler (University of Edinburgh, UK; ETH Zurich, Switzerland; IIIT Hyderabad, India; Argonne National Laboratory, USA) Publisher's Version Video Article: oopsla20main-p287-p doi:10.1145/3428263
	Holík, Lukáš	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Regex Matching with Counting-Set ..." Regex Matching with Counting-Set Automata Lenka Turoňová, Lukáš Holík, Ondřej Lengál, Olli Saarikivi, Margus Veanes, and Tomáš Vojnar (Brno University of Technology, Czechia; Microsoft, USA) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Article: oopsla20main-p480-p doi:10.1145/3428286
	Holtzen, Steven	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Scaling Exact Inference for ..." Scaling Exact Inference for Discrete Probabilistic Programs Steven Holtzen, Guy Van den Broeck, and Todd Millstein (University of California at Los Angeles, USA) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p56-p doi:10.1145/3428208
	Hong, Changwan	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "A Sparse Iteration Space Transformation ..." A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra Ryan Senanayake, Changwan Hong, Ziheng Wang, Amalee Wilson, Stephen Chou, Shoaib Kamil, Saman Amarasinghe, and Fredrik Kjolstad (Reservoir Labs, USA; Massachusetts Institute of Technology, USA; Stanford University, USA; Adobe Research, USA) Publisher's Version Video Article: oopsla20main-p119-p doi:10.1145/3428226
	Hsieh, Chiao	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Koord: A Language for Programming ..." Koord: A Language for Programming and Verifying Distributed Robotics Application Ritwika Ghosh, Chiao Hsieh, Sasa Misailovic, and Sayan Mitra (University of Illinois at Urbana-Champaign, USA) Publisher's Version Video Article: oopsla20main-p675-p doi:10.1145/3428300
	Hu, Raymond	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Statically Verified Refinements ..." Statically Verified Refinements for Multiparty Protocols Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, and Nobuko Yoshida (Imperial College London, UK; University of Hertfordshire, UK; Brunel University London, UK) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p87-p doi:10.1145/3428216 Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Featherweight Go ..." Featherweight Go Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, and Nobuko Yoshida (Google, USA; University of Hertfordshire, UK; University of Edinburgh, UK; Royal Holloway University of London, UK; Nova University of Lisbon, Portugal; NOVA-LINCS, Portugal; Imperial College London, UK) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p91-p doi:10.1145/3428217
	Hu, Zhenjiang	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Guiding Dynamic Programing ..." Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example Ruyi Ji, Yican Sun, Yingfei Xiong, and Zhenjiang Hu (Peking University, China) Publisher's Version Video Article: oopsla20main-p515-p doi:10.1145/3428292
	Huang, Jian	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "WATCHER: In-Situ Failure Diagnosis ..." WATCHER: In-Situ Failure Diagnosis Hongyu Liu, Sam Silvestro, Xiangyu Zhang, Jian Huang, and Tongping Liu (Purdue University, USA; University of Texas at San Antonio, USA; University of Illinois at Urbana-Champaign, USA; University of Massachusetts at Amherst, USA) Publisher's Version Video Article: oopsla20main-p70-p doi:10.1145/3428211
	Itzhaky, Shachar	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Programming with a Read-Eval-Synth ..." Programming with a Read-Eval-Synth Loop Hila Peleg, Roi Gabay, Shachar Itzhaky, and Eran Yahav (University of California at San Diego, USA; Technion, Israel; Codota, Israel) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p125-p doi:10.1145/3428227
	Jaffar, Joxan	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Inter-theory Dependency Analysis ..." Inter-theory Dependency Analysis for SMT String Solvers Minh-Thai Trinh, Duc-Hiep Chu, and Joxan Jaffar (Advanced Digital Sciences Center, Singapore; National University of Singapore, Singapore) Publisher's Version Video Artifacts Functional Article: oopsla20main-p272-p doi:10.1145/3428260
	Jagadeesan, Radha	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Pomsets with Preconditions: ..." Pomsets with Preconditions: A Simple Model of Relaxed Memory Radha Jagadeesan, Alan Jeffrey, and James Riely (DePaul University, USA; Mozilla Research, USA) Publisher's Version Video Article: oopsla20main-p286-p doi:10.1145/3428262
	James, Michael B.	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Digging for Fold: Synthesis-Aided ..." Digging for Fold: Synthesis-Aided API Discovery for Haskell Michael B. James, Zheng Guo, Ziteng Wang, Shivani Doshi, Hila Peleg, Ranjit Jhala, and Nadia Polikarpova (University of California at San Diego, USA) Publisher's Version Video Artifacts Functional Artifacts Reusable Article: oopsla20main-p342-p doi:10.1145/3428273
	Ječmen, Jan	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Contextual Dispatch for Function ..." Contextual Dispatch for Function Specialization Olivier Flückiger, Guido Chari, Ming-Ho Yee, Jan Ječmen, Jakob Hain, and Jan Vitek (Northeastern University, USA; Asapp, Argentina; Czech Technical University, Czechia) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Article: oopsla20main-p502-p doi:10.1145/3428288
	Jeffrey, Alan	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Pomsets with Preconditions: ..." Pomsets with Preconditions: A Simple Model of Relaxed Memory Radha Jagadeesan, Alan Jeffrey, and James Riely (DePaul University, USA; Mozilla Research, USA) Publisher's Version Video Article: oopsla20main-p286-p doi:10.1145/3428262
	Jeon, Minseok	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Learning Graph-Based Heuristics ..." Learning Graph-Based Heuristics for Pointer Analysis without Handcrafting Application-Specific Features Minseok Jeon, Myungho Lee, and Hakjoo Oh (Korea University, South Korea) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Article: oopsla20main-p218-p doi:10.1145/3428247
	Jhala, Ranjit	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Digging for Fold: Synthesis-Aided ..." Digging for Fold: Synthesis-Aided API Discovery for Haskell Michael B. James, Zheng Guo, Ziteng Wang, Shivani Doshi, Hila Peleg, Ranjit Jhala, and Nadia Polikarpova (University of California at San Diego, USA) Publisher's Version Video Artifacts Functional Artifacts Reusable Article: oopsla20main-p342-p doi:10.1145/3428273
	Ji, Ruyi	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Guiding Dynamic Programing ..." Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example Ruyi Ji, Yican Sun, Yingfei Xiong, and Zhenjiang Hu (Peking University, China) Publisher's Version Video Article: oopsla20main-p515-p doi:10.1145/3428292
	Jia, Limin	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Towards a Formal Foundation ..." Towards a Formal Foundation of Intermittent Computing Milijana Surbatovich, Brandon Lucia, and Limin Jia (Carnegie Mellon University, USA) Publisher's Version Video Article: oopsla20main-p140-p doi:10.1145/3428231
	Jin, Yihua	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Hidden Inheritance: An Inline ..." Hidden Inheritance: An Inline Caching Design for TypeScript Performance Zhefeng Wu, Zhe Sun, Kai Gong, Lingyun Chen, Bin Liao, and Yihua Jin (Alibaba Group, China) Publisher's Version Video Artifacts Functional Article: oopsla20main-p194-p doi:10.1145/3428242
	Johnson, Steven	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Verifying and Improving Halide’s ..." Verifying and Improving Halide’s Term Rewriting System with Program Synthesis Julie L. Newcomb, Andrew Adams, Steven Johnson, Rastislav Bodik, and Shoaib Kamil (University of Washington, USA; Adobe Research, USA; Google, USA) Publisher's Version Video Article: oopsla20main-p148-p doi:10.1145/3428234
	Kabir, Ifaz	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "ιDOT: A DOT Calculus with ..." ιDOT: A DOT Calculus with Object Initialization Ifaz Kabir, Yufeng Li, and Ondřej Lhoták (University of Alberta, Canada; University of Waterloo, Canada) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p386-p doi:10.1145/3428276
	Kabra, Aditi	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Geometry Types for Graphics ..." Geometry Types for Graphics Programming Dietrich Geisler, Irene Yoon, Aditi Kabra, Horace He, Yinnon Sanders, and Adrian Sampson (Cornell University, USA; University of Pennsylvania, USA; Carnegie Mellon University, USA) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Article: oopsla20main-p193-p doi:10.1145/3428241
	Kallas, Konstantinos	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "DiffStream: Differential Output ..." DiffStream: Differential Output Testing for Stream Processing Programs Konstantinos Kallas, Filip Niksic, Caleb Stanford, and Rajeev Alur (University of Pennsylvania, USA) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p96-p doi:10.1145/3428221
	Kamil, Shoaib	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "A Sparse Iteration Space Transformation ..." A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra Ryan Senanayake, Changwan Hong, Ziheng Wang, Amalee Wilson, Stephen Chou, Shoaib Kamil, Saman Amarasinghe, and Fredrik Kjolstad (Reservoir Labs, USA; Massachusetts Institute of Technology, USA; Stanford University, USA; Adobe Research, USA) Publisher's Version Video Article: oopsla20main-p119-p doi:10.1145/3428226 Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Verifying and Improving Halide’s ..." Verifying and Improving Halide’s Term Rewriting System with Program Synthesis Julie L. Newcomb, Andrew Adams, Steven Johnson, Rastislav Bodik, and Shoaib Kamil (University of Washington, USA; Adobe Research, USA; Google, USA) Publisher's Version Video Article: oopsla20main-p148-p doi:10.1145/3428234
	Kant, Pranav	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Dataflow-Based Pruning for ..." Dataflow-Based Pruning for Speeding up Superoptimization Manasij Mukherjee, Pranav Kant, Zhengyang Liu, and John Regehr (University of Utah, USA) Publisher's Version Video Article: oopsla20main-p201-p doi:10.1145/3428245
	Karachalias, Georgios	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Resolution as Intersection ..." Resolution as Intersection Subtyping via Modus Ponens Koar Marntirosian, Tom Schrijvers, Bruno C. d. S. Oliveira, and Georgios Karachalias (KU Leuven, Belgium; University of Hong Kong, China; Tweag, France) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p345-p doi:10.1145/3428274
	Khatchadourian, Raffi	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Actor Concurrency Bugs: A ..." Actor Concurrency Bugs: A Comprehensive Study on Symptoms, Root Causes, API Usages, and Differences Mehdi Bagherzadeh, Nicholas Fireman, Anas Shawesh, and Raffi Khatchadourian (Oakland University, USA; City University of New York, USA) Publisher's Version Video Article: oopsla20main-p451-p doi:10.1145/3428282
	Khurshid, Sarfraz	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Unifying Execution of Imperative ..." Unifying Execution of Imperative Generators and Declarative Specifications Pengyu Nie, Marinela Parovic, Zhiqiang Zang, Sarfraz Khurshid, Aleksandar Milicevic, and Milos Gligoric (University of Texas at Austin, USA; Microsoft, USA) Publisher's Version Video Article: oopsla20main-p473-p doi:10.1145/3428285
	Khyzha, Artem	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Proving Highly-Concurrent ..." Proving Highly-Concurrent Traversals Correct Yotam M. Y. Feldman, Artem Khyzha, Constantin Enea, Adam Morrison, Aleksandar Nanevski, Noam Rinetzky, and Sharon Shoham (Tel Aviv University, Israel; University of Paris Diderot, France; IMDEA Software Institute, Spain) Publisher's Version Video Article: oopsla20main-p13-p doi:10.1145/3428196
	King, Alexis	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Macros for Domain-Specific ..." Macros for Domain-Specific Languages Michael Ballantyne, Alexis King, and Matthias Felleisen (Northeastern University, USA; Northwestern University, USA) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Article: oopsla20main-p625-p doi:10.1145/3428297
	Kirkham, Jake	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Foundations of Empirical Memory ..." Foundations of Empirical Memory Consistency Testing Jake Kirkham, Tyler Sorensen, Esin Tureci, and Margaret Martonosi (Princeton University, USA; University of California at Santa Cruz, USA) Publisher's Version Video Article: oopsla20main-p542-p doi:10.1145/3428294
	Kjolstad, Fredrik	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "A Sparse Iteration Space Transformation ..." A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra Ryan Senanayake, Changwan Hong, Ziheng Wang, Amalee Wilson, Stephen Chou, Shoaib Kamil, Saman Amarasinghe, and Fredrik Kjolstad (Reservoir Labs, USA; Massachusetts Institute of Technology, USA; Stanford University, USA; Adobe Research, USA) Publisher's Version Video Article: oopsla20main-p119-p doi:10.1145/3428226
	Klenze, Tobias	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Igloo: Soundly Linking Compositional ..." Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification Christoph Sprenger, Tobias Klenze, Marco Eilers, Felix A. Wolf, Peter Müller, Martin Clochard, and David Basin (ETH Zurich, Switzerland) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p95-p doi:10.1145/3428220
	Köhler, Mirko	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Rethinking Safe Consistency ..." Rethinking Safe Consistency in Distributed Object-Oriented Programming Mirko Köhler, Nafise Eskandani, Pascal Weisenburger, Alessandro Margara, and Guido Salvaneschi (TU Darmstadt, Germany; Politecnico di Milano, Italy; University of St. Gallen, Switzerland) Publisher's Version Video Article: oopsla20main-p249-p doi:10.1145/3428256
	Kokke, Wen	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Featherweight Go ..." Featherweight Go Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, and Nobuko Yoshida (Google, USA; University of Hertfordshire, UK; University of Edinburgh, UK; Royal Holloway University of London, UK; Nova University of Lisbon, Portugal; NOVA-LINCS, Portugal; Imperial College London, UK) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p91-p doi:10.1145/3428217
	Kong, Lingkun	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "StreamQL: A Query Language ..." StreamQL: A Query Language for Processing Streaming Time Series Lingkun Kong and Konstantinos Mamouras (Rice University, USA) Publisher's Version Video Artifacts Functional Article: oopsla20main-p232-p doi:10.1145/3428251
	Koskinen, Eric	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "DynamiTe: Dynamic Termination ..." DynamiTe: Dynamic Termination and Non-termination Proofs Ton Chanh Le, Timos Antonopoulos, Parisa Fathololumi, Eric Koskinen, and ThanhVu Nguyen (Stevens Institute of Technology, USA; Yale University, USA; University of Nebraska-Lincoln, USA) Publisher's Version Video Article: oopsla20main-p256-p doi:10.1145/3428257
	Krebbers, Robbert	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Knowing When to Ask: Sound ..." Knowing When to Ask: Sound Scheduling of Name Resolution in Type Checkers Derived from Declarative Specifications Arjen Rouvoet, Hendrik van Antwerpen, Casper Bach Poulsen, Robbert Krebbers, and Eelco Visser (Delft University of Technology, Netherlands) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Article: oopsla20main-p222-p doi:10.1145/3428248
	Křikava, Filip	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Designing Types for R, Empirically ..." Designing Types for R, Empirically Alexi Turcotte, Aviral Goel, Filip Křikava, and Jan Vitek (Northeastern University, USA; Czech Technical University, Czechia) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p225-p doi:10.1145/3428249
	Kruse, Michael	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Fast Linear Programming through ..." Fast Linear Programming through Transprecision Computing on Small and Sparse Data Tobias Grosser, Theodoros Theodoridis, Maximilian Falkenstein, Arjun Pitchanathan, Michael Kruse, Manuel Rigger, Zhendong Su, and Torsten Hoefler (University of Edinburgh, UK; ETH Zurich, Switzerland; IIIT Hyderabad, India; Argonne National Laboratory, USA) Publisher's Version Video Article: oopsla20main-p287-p doi:10.1145/3428263
	Kumar, Aayan	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Shiftry: RNN Inference in ..." Shiftry: RNN Inference in 2KB of RAM Aayan Kumar, Vivek Seshadri, and Rahul Sharma (Microsoft Research, India) Publisher's Version Video Article: oopsla20main-p230-p doi:10.1145/3428250
	Kuper, Lindsey	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Verifying Replicated Data ..." Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell Yiyun Liu, James Parker, Patrick Redmond, Lindsey Kuper, Michael Hicks, and Niki Vazou (University of Maryland at College Park, USA; University of California at Santa Cruz, USA; IMDEA Software Institute, Spain) Publisher's Version Video Artifacts Functional Article: oopsla20main-p469-p doi:10.1145/3428284
	Lagouvardos, Sifis	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Precise Static Modeling of ..." Precise Static Modeling of Ethereum “Memory” Sifis Lagouvardos, Neville Grech, Ilias Tsatiris, and Yannis Smaragdakis (University of Athens, Greece) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Article: oopsla20main-p262-p doi:10.1145/3428258
	Lahav, Ori	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Persistent Owicki-Gries Reasoning: ..." Persistent Owicki-Gries Reasoning: A Program Logic for Reasoning about Persistent Programs on Intel-x86 Azalea Raad, Ori Lahav, and Viktor Vafeiadis (MPI-SWS, Germany; Imperial College London, UK; Tel Aviv University, Israel) Publisher's Version Video Article: oopsla20main-p93-p doi:10.1145/3428219
	Lal, Akash	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Learning-Based Controlled ..." Learning-Based Controlled Concurrency Testing Suvam Mukherjee, Pantazis Deligiannis, Arpita Biswas, and Akash Lal (Microsoft Research, India; Microsoft Research, USA; IISc Bangalore, India) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p644-p doi:10.1145/3428298
	Lam, Wing	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "A Large-Scale Longitudinal ..." A Large-Scale Longitudinal Study of Flaky Tests Wing Lam, Stefan Winter, Anjiang Wei, Tao Xie, Darko Marinov, and Jonathan Bell (University of Illinois at Urbana-Champaign, USA; TU Darmstadt, Germany; Peking University, China; Northeastern University, USA) Publisher's Version Video Article: oopsla20main-p314-p doi:10.1145/3428270
	Lange, Julien	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Featherweight Go ..." Featherweight Go Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, and Nobuko Yoshida (Google, USA; University of Hertfordshire, UK; University of Edinburgh, UK; Royal Holloway University of London, UK; Nova University of Lisbon, Portugal; NOVA-LINCS, Portugal; Imperial College London, UK) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p91-p doi:10.1145/3428217
	Latif, Sufian	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Differentially-Private Software ..." Differentially-Private Software Frequency Profiling under Linear Constraints Hailong Zhang, Yu Hao, Sufian Latif, Raef Bassily, and Atanas Rountev (Fordham University, USA; Ohio State University, USA) Publisher's Version Video Article: oopsla20main-p334-p doi:10.1145/3428271
	Le, Ton Chanh	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "DynamiTe: Dynamic Termination ..." DynamiTe: Dynamic Termination and Non-termination Proofs Ton Chanh Le, Timos Antonopoulos, Parisa Fathololumi, Eric Koskinen, and ThanhVu Nguyen (Stevens Institute of Technology, USA; Yale University, USA; University of Nebraska-Lincoln, USA) Publisher's Version Video Article: oopsla20main-p256-p doi:10.1145/3428257
	Le, Vu	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Structure Interpretation of ..." Structure Interpretation of Text Formats Sumit Gulwani, Vu Le, Arjun Radhakrishna, Ivan Radiček, and Mohammad Raza (Microsoft, USA; Microsoft, Austria) Publisher's Version Video Article: oopsla20main-p421-p doi:10.1145/3428280
	Lee, Myungho	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Learning Graph-Based Heuristics ..." Learning Graph-Based Heuristics for Pointer Analysis without Handcrafting Application-Specific Features Minseok Jeon, Myungho Lee, and Hakjoo Oh (Korea University, South Korea) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Article: oopsla20main-p218-p doi:10.1145/3428247
	Lengál, Ondřej	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Regex Matching with Counting-Set ..." Regex Matching with Counting-Set Automata Lenka Turoňová, Lukáš Holík, Ondřej Lengál, Olli Saarikivi, Margus Veanes, and Tomáš Vojnar (Brno University of Technology, Czechia; Microsoft, USA) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Article: oopsla20main-p480-p doi:10.1145/3428286
	Leobas, Guilherme Vieira	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Semiring Optimizations: Dynamic ..." Semiring Optimizations: Dynamic Elision of Expressions with Identity and Absorbing Elements Guilherme Vieira Leobas and Fernando Magno Quintão Pereira (Federal University of Minas Gerais, Brazil) Publisher's Version Video Article: oopsla20main-p22-p doi:10.1145/3428199
	Leung, Alan	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Feedback-Driven Semi-supervised ..." Feedback-Driven Semi-supervised Synthesis of Program Transformations Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachiappan Nagappan, and Ashish Tiwari (National University of Singapore, Singapore; University of California at San Diego, USA; Microsoft, USA; Microsoft Research, USA) Publisher's Version Video Article: oopsla20main-p494-p doi:10.1145/3428287
	Lhoták, Ondřej	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Fixpoints for the Masses: ..." Fixpoints for the Masses: Programming with First-Class Datalog Constraints Magnus Madsen and Ondřej Lhoták (Aarhus University, Denmark; University of Waterloo, Canada) Publisher's Version Video Article: oopsla20main-p5-p doi:10.1145/3428193 Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "A Type-and-Effect System for ..." A Type-and-Effect System for Object Initialization Fengyun Liu, Ondřej Lhoták, Aggelos Biboudis, Paolo G. Giarrusso, and Martin Odersky (EPFL, Switzerland; University of Waterloo, Canada; Delft University of Technology, Netherlands) Publisher's Version Video Artifacts Functional Article: oopsla20main-p195-p doi:10.1145/3428243 Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "ιDOT: A DOT Calculus with ..." ιDOT: A DOT Calculus with Object Initialization Ifaz Kabir, Yufeng Li, and Ondřej Lhoták (University of Alberta, Canada; University of Waterloo, Canada) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p386-p doi:10.1145/3428276
	Li, Gushu	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Projection-Based Runtime Assertions ..." Projection-Based Runtime Assertions for Testing and Debugging Quantum Programs Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, and Yuan Xie (University of California at Santa Barbara, USA; MPI-SP, Germany; University of Technology Sydney, Australia; Institute of Software at Chinese Academy of Sciences, China; Tsinghua University, China) Publisher's Version Video Artifacts Functional Article: oopsla20main-p92-p doi:10.1145/3428218
	Li, Peng	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Exposing Cache Timing Side-Channel ..." Exposing Cache Timing Side-Channel Leaks through Out-of-Order Symbolic Execution Shengjian Guo, Yueqi Chen, Jiyong Yu, Meng Wu, Zhiqiang Zuo, Peng Li, Yueqiang Cheng, and Huibo Wang (Baidu Security, USA; Pennsylvania State University, USA; University of Illinois at Urbana-Champaign, USA; Ant Group, China; Nanjing University, China) Publisher's Version Video Article: oopsla20main-p84-p doi:10.1145/3428215
	Li, Yufeng	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "ιDOT: A DOT Calculus with ..." ιDOT: A DOT Calculus with Object Initialization Ifaz Kabir, Yufeng Li, and Ondřej Lhoták (University of Alberta, Canada; University of Waterloo, Canada) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p386-p doi:10.1145/3428276
	Liao, Bin	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Hidden Inheritance: An Inline ..." Hidden Inheritance: An Inline Caching Design for TypeScript Performance Zhefeng Wu, Zhe Sun, Kai Gong, Lingyun Chen, Bin Liao, and Yihua Jin (Alibaba Group, China) Publisher's Version Video Artifacts Functional Article: oopsla20main-p194-p doi:10.1145/3428242
	Liu, Fengyun	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "A Type-and-Effect System for ..." A Type-and-Effect System for Object Initialization Fengyun Liu, Ondřej Lhoták, Aggelos Biboudis, Paolo G. Giarrusso, and Martin Odersky (EPFL, Switzerland; University of Waterloo, Canada; Delft University of Technology, Netherlands) Publisher's Version Video Artifacts Functional Article: oopsla20main-p195-p doi:10.1145/3428243
	Liu, Hongyu	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "WATCHER: In-Situ Failure Diagnosis ..." WATCHER: In-Situ Failure Diagnosis Hongyu Liu, Sam Silvestro, Xiangyu Zhang, Jian Huang, and Tongping Liu (Purdue University, USA; University of Texas at San Antonio, USA; University of Illinois at Urbana-Champaign, USA; University of Massachusetts at Amherst, USA) Publisher's Version Video Article: oopsla20main-p70-p doi:10.1145/3428211
	Liu, Tongping	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "WATCHER: In-Situ Failure Diagnosis ..." WATCHER: In-Situ Failure Diagnosis Hongyu Liu, Sam Silvestro, Xiangyu Zhang, Jian Huang, and Tongping Liu (Purdue University, USA; University of Texas at San Antonio, USA; University of Illinois at Urbana-Champaign, USA; University of Massachusetts at Amherst, USA) Publisher's Version Video Article: oopsla20main-p70-p doi:10.1145/3428211
	Liu, Yiyun	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Verifying Replicated Data ..." Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell Yiyun Liu, James Parker, Patrick Redmond, Lindsey Kuper, Michael Hicks, and Niki Vazou (University of Maryland at College Park, USA; University of California at Santa Cruz, USA; IMDEA Software Institute, Spain) Publisher's Version Video Artifacts Functional Article: oopsla20main-p469-p doi:10.1145/3428284
	Liu, Zhengyang	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Dataflow-Based Pruning for ..." Dataflow-Based Pruning for Speeding up Superoptimization Manasij Mukherjee, Pranav Kant, Zhengyang Liu, and John Regehr (University of Utah, USA) Publisher's Version Video Article: oopsla20main-p201-p doi:10.1145/3428245
	Livinskii, Vsevolod	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Random Testing for C and C++ ..." Random Testing for C and C++ Compilers with YARPGen Vsevolod Livinskii, Dmitry Babokin, and John Regehr (University of Utah, USA; Intel Corporation, USA) Publisher's Version Video Article: oopsla20main-p292-p doi:10.1145/3428264
	Lucia, Brandon	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Towards a Formal Foundation ..." Towards a Formal Foundation of Intermittent Computing Milijana Surbatovich, Brandon Lucia, and Limin Jia (Carnegie Mellon University, USA) Publisher's Version Video Article: oopsla20main-p140-p doi:10.1145/3428231
	Luo, Jeff Y.	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Precise Inference of Expressive ..." Precise Inference of Expressive Units of Measurement Types Tongtong Xiang, Jeff Y. Luo, and Werner Dietl (University of Waterloo, Canada) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Article: oopsla20main-p67-p doi:10.1145/3428210
	Madden, Sam	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Deductive Optimization of ..." Deductive Optimization of Relational Data Storage John Feser, Sam Madden, Nan Tang, and Armando Solar-Lezama (Massachusetts Institute of Technology, USA; QCRI HBKU, Qatar) Publisher's Version Video Article: oopsla20main-p171-p doi:10.1145/3428238
	Madsen, Magnus	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Fixpoints for the Masses: ..." Fixpoints for the Masses: Programming with First-Class Datalog Constraints Magnus Madsen and Ondřej Lhoták (Aarhus University, Denmark; University of Waterloo, Canada) Publisher's Version Video Article: oopsla20main-p5-p doi:10.1145/3428193 Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Polymorphic Types and Effects ..." Polymorphic Types and Effects with Boolean Unification Magnus Madsen and Jaco van de Pol (Aarhus University, Denmark) Publisher's Version Video Article: oopsla20main-p97-p doi:10.1145/3428222 Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Fuzzing Channel-Based Concurrency ..." Fuzzing Channel-Based Concurrency Runtimes using Types and Effects Quentin Stiévenart and Magnus Madsen (Vrije Universiteit Brussel, Belgium; Aarhus University, Denmark) Publisher's Version Video Article: oopsla20main-p244-p doi:10.1145/3428254
	Majumdar, Rupak	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Multiparty Motion Coordination: ..." Multiparty Motion Coordination: From Choreographies to Robotics Programs Rupak Majumdar, Nobuko Yoshida, and Damien Zufferey (MPI-SWS, Germany; Imperial College London, UK) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Article: oopsla20main-p25-p doi:10.1145/3428202 Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Interactive Synthesis of Temporal ..." Interactive Synthesis of Temporal Specifications from Examples and Natural Language Ivan Gavran, Eva Darulova, and Rupak Majumdar (MPI-SWS, Germany) Publisher's Version Video Artifacts Functional Artifacts Reusable Article: oopsla20main-p311-p doi:10.1145/3428269 Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Testing Consensus Implementations ..." Testing Consensus Implementations using Communication Closure Cezara Drăgoi, Constantin Enea, Burcu Kulahcioglu Ozkan, Rupak Majumdar, and Filip Niksic (Inria, France; Informal Systems, France; University of Paris, France; IRIF, France; CNRS, France; MPI-SWS, Germany; University of Pennsylvania, USA) Publisher's Version Video Article: oopsla20main-p411-p doi:10.1145/3428278
	Mamouras, Konstantinos	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "StreamQL: A Query Language ..." StreamQL: A Query Language for Processing Streaming Time Series Lingkun Kong and Konstantinos Mamouras (Rice University, USA) Publisher's Version Video Artifacts Functional Article: oopsla20main-p232-p doi:10.1145/3428251
	Margara, Alessandro	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Rethinking Safe Consistency ..." Rethinking Safe Consistency in Distributed Object-Oriented Programming Mirko Köhler, Nafise Eskandani, Pascal Weisenburger, Alessandro Margara, and Guido Salvaneschi (TU Darmstadt, Germany; Politecnico di Milano, Italy; University of St. Gallen, Switzerland) Publisher's Version Video Article: oopsla20main-p249-p doi:10.1145/3428256
	Marinov, Darko	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "A Large-Scale Longitudinal ..." A Large-Scale Longitudinal Study of Flaky Tests Wing Lam, Stefan Winter, Anjiang Wei, Tao Xie, Darko Marinov, and Jonathan Bell (University of Illinois at Urbana-Champaign, USA; TU Darmstadt, Germany; Peking University, China; Northeastern University, USA) Publisher's Version Video Article: oopsla20main-p314-p doi:10.1145/3428270
	Marntirosian, Koar	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Resolution as Intersection ..." Resolution as Intersection Subtyping via Modus Ponens Koar Marntirosian, Tom Schrijvers, Bruno C. d. S. Oliveira, and Georgios Karachalias (KU Leuven, Belgium; University of Hong Kong, China; Tweag, France) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p345-p doi:10.1145/3428274
	Martins, Ruben	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Program Equivalence for Assisted ..." Program Equivalence for Assisted Grading of Functional Programs Joshua Clune, Vijay Ramamurthy, Ruben Martins, and Umut A. Acar (Carnegie Mellon University, USA) Publisher's Version Video Article: oopsla20main-p188-p doi:10.1145/3428239
	Martonosi, Margaret	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Foundations of Empirical Memory ..." Foundations of Empirical Memory Consistency Testing Jake Kirkham, Tyler Sorensen, Esin Tureci, and Margaret Martonosi (Princeton University, USA; University of California at Santa Cruz, USA) Publisher's Version Video Article: oopsla20main-p542-p doi:10.1145/3428294
	Matheja, Christoph	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "How Do Programmers Use Unsafe ..." How Do Programmers Use Unsafe Rust? Vytautas Astrauskas, Christoph Matheja, Federico Poli, Peter Müller, and Alexander J. Summers (ETH Zurich, Switzerland; University of British Columbia, Canada) Publisher's Version Video Article: oopsla20main-p32-p doi:10.1145/3428204
	Meuli, Giulia	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Enabling Accuracy-Aware Quantum ..." Enabling Accuracy-Aware Quantum Compilers using Symbolic Resource Estimation Giulia Meuli, Mathias Soeken, Martin Roetteler, and Thomas Häner (EPFL, Switzerland; Microsoft, Switzerland; Microsoft, USA) Publisher's Version Video Article: oopsla20main-p19-p doi:10.1145/3428198
	Milanova, Ana	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "FlowCFL: Generalized Type-Based ..." FlowCFL: Generalized Type-Based Reachability Analysis: Graph Reduction and Equivalence of CFL-Based and Type-Based Reachability Ana Milanova (Rensselaer Polytechnic Institute, USA) Publisher's Version Video Article: oopsla20main-p203-p doi:10.1145/3428246
	Milicevic, Aleksandar	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Unifying Execution of Imperative ..." Unifying Execution of Imperative Generators and Declarative Specifications Pengyu Nie, Marinela Parovic, Zhiqiang Zang, Sarfraz Khurshid, Aleksandar Milicevic, and Milos Gligoric (University of Texas at Austin, USA; Microsoft, USA) Publisher's Version Video Article: oopsla20main-p473-p doi:10.1145/3428285
	Millstein, Todd	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Scaling Exact Inference for ..." Scaling Exact Inference for Discrete Probabilistic Programs Steven Holtzen, Guy Van den Broeck, and Todd Millstein (University of California at Los Angeles, USA) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p56-p doi:10.1145/3428208
	Misailovic, Sasa	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Koord: A Language for Programming ..." Koord: A Language for Programming and Verifying Distributed Robotics Application Ritwika Ghosh, Chiao Hsieh, Sasa Misailovic, and Sayan Mitra (University of Illinois at Urbana-Champaign, USA) Publisher's Version Video Article: oopsla20main-p675-p doi:10.1145/3428300
	Mitchell, Neil	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Build Scripts with Perfect ..." Build Scripts with Perfect Dependencies Sarah Spall, Neil Mitchell, and Sam Tobin-Hochstadt (Indiana University, USA; Facebook, UK) Publisher's Version Video Article: oopsla20main-p169-p doi:10.1145/3428237
	Mitra, Sayan	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Koord: A Language for Programming ..." Koord: A Language for Programming and Verifying Distributed Robotics Application Ritwika Ghosh, Chiao Hsieh, Sasa Misailovic, and Sayan Mitra (University of Illinois at Urbana-Champaign, USA) Publisher's Version Video Article: oopsla20main-p675-p doi:10.1145/3428300
	Mitropoulos, Dimitris	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "A Model for Detecting Faults ..." A Model for Detecting Faults in Build Specifications Thodoris Sotiropoulos, Stefanos Chaliasos, Dimitris Mitropoulos, and Diomidis Spinellis (Athens University of Economics and Business, Greece) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p78-p doi:10.1145/3428212
	Møller, Anders	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Eliminating Abstraction Overhead ..." Eliminating Abstraction Overhead of Java Stream Pipelines using Ahead-of-Time Program Optimization Anders Møller and Oskar Haarklou Veileborg (Aarhus University, Denmark) Publisher's Version Video Artifacts Functional Artifacts Reusable Article: oopsla20main-p155-p doi:10.1145/3428236 Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Detecting Locations in JavaScript ..." Detecting Locations in JavaScript Programs Affected by Breaking Library Changes Anders Møller, Benjamin Barslev Nielsen, and Martin Toldam Torp (Aarhus University, Denmark) Publisher's Version Video Artifacts Functional Artifacts Reusable Article: oopsla20main-p245-p doi:10.1145/3428255
	Monniaux, David	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Certified and Efficient Instruction ..." Certified and Efficient Instruction Scheduling: Application to Interlocked VLIW Processors Cyril Six, Sylvain Boulmé, and David Monniaux (Kalray, France; Grenoble Alps University, France; CNRS, France; Grenoble INP, France; VERIMAG, France) Publisher's Version Video Artifacts Functional Artifacts Reusable Article: oopsla20main-p14-p doi:10.1145/3428197
	Morrison, Adam	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Proving Highly-Concurrent ..." Proving Highly-Concurrent Traversals Correct Yotam M. Y. Feldman, Artem Khyzha, Constantin Enea, Adam Morrison, Aleksandar Nanevski, Noam Rinetzky, and Sharon Shoham (Tel Aviv University, Israel; University of Paris Diderot, France; IMDEA Software Institute, Spain) Publisher's Version Video Article: oopsla20main-p13-p doi:10.1145/3428196
	Moser, Georg	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "A Modular Cost Analysis for ..." A Modular Cost Analysis for Probabilistic Programs Martin Avanzini, Georg Moser, and Michael Schaper (Inria, France; University of Innsbruck, Austria) Publisher's Version Video Article: oopsla20main-p190-p doi:10.1145/3428240
	Mukherjee, Manasij	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Dataflow-Based Pruning for ..." Dataflow-Based Pruning for Speeding up Superoptimization Manasij Mukherjee, Pranav Kant, Zhengyang Liu, and John Regehr (University of Utah, USA) Publisher's Version Video Article: oopsla20main-p201-p doi:10.1145/3428245
	Mukherjee, Suvam	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Learning-Based Controlled ..." Learning-Based Controlled Concurrency Testing Suvam Mukherjee, Pantazis Deligiannis, Arpita Biswas, and Akash Lal (Microsoft Research, India; Microsoft Research, USA; IISc Bangalore, India) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p644-p doi:10.1145/3428298
	Müller, Peter	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "How Do Programmers Use Unsafe ..." How Do Programmers Use Unsafe Rust? Vytautas Astrauskas, Christoph Matheja, Federico Poli, Peter Müller, and Alexander J. Summers (ETH Zurich, Switzerland; University of British Columbia, Canada) Publisher's Version Video Article: oopsla20main-p32-p doi:10.1145/3428204 Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Igloo: Soundly Linking Compositional ..." Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification Christoph Sprenger, Tobias Klenze, Marco Eilers, Felix A. Wolf, Peter Müller, Martin Clochard, and David Basin (ETH Zurich, Switzerland) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p95-p doi:10.1145/3428220
	Myers, Andrew C.	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Handling Bidirectional Control ..." Handling Bidirectional Control Flow Yizhou Zhang, Guido Salvaneschi, and Andrew C. Myers (University of Waterloo, Canada; University of St. Gallen, Switzerland; Cornell University, USA) Publisher's Version Video Artifacts Functional Artifacts Reusable Article: oopsla20main-p51-p doi:10.1145/3428207
	Myers, Brad A.	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Can Advanced Type Systems ..." Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian Michael Coblenz, Jonathan Aldrich, Brad A. Myers, and Joshua Sunshine (Carnegie Mellon University, USA) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p23-p doi:10.1145/3428200
	Myreen, Magnus O.	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Do You Have Space for Dessert? ..." Do You Have Space for Dessert? A Verified Space Cost Semantics for CakeML Programs Alejandro Gómez-Londoño, Johannes Åman Pohjola, Hira Taqdees Syeda, Magnus O. Myreen, and Yong Kiam Tan (Chalmers University of Technology, Sweden; Data61 at CSIRO, Australia; UNSW, Australia; Carnegie Mellon University, USA) Publisher's Version Video Artifacts Functional Article: oopsla20main-p340-p doi:10.1145/3428272
	Nagappan, Nachiappan	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Feedback-Driven Semi-supervised ..." Feedback-Driven Semi-supervised Synthesis of Program Transformations Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachiappan Nagappan, and Ashish Tiwari (National University of Singapore, Singapore; University of California at San Diego, USA; Microsoft, USA; Microsoft Research, USA) Publisher's Version Video Article: oopsla20main-p494-p doi:10.1145/3428287
	Nanevski, Aleksandar	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Proving Highly-Concurrent ..." Proving Highly-Concurrent Traversals Correct Yotam M. Y. Feldman, Artem Khyzha, Constantin Enea, Adam Morrison, Aleksandar Nanevski, Noam Rinetzky, and Sharon Shoham (Tel Aviv University, Israel; University of Paris Diderot, France; IMDEA Software Institute, Spain) Publisher's Version Video Article: oopsla20main-p13-p doi:10.1145/3428196
	Narayanasamy, Satish	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Sound Garbage Collection for ..." Sound Garbage Collection for C using Pointer Provenance Subarno Banerjee, David Devecsery, Peter M. Chen, and Satish Narayanasamy (University of Michigan, USA; Georgia Institute of Technology, USA) Publisher's Version Video Article: oopsla20main-p196-p doi:10.1145/3428244
	Nash, Jameson	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "World Age in Julia: Optimizing ..." World Age in Julia: Optimizing Method Dispatch in the Presence of Eval Julia Belyakova, Benjamin Chung, Jack Gelinas, Jameson Nash, Ross Tate, and Jan Vitek (Northeastern University, USA; Julia Computing, USA; Cornell University, USA; Czech Technical University, Czechia) Publisher's Version Video Article: oopsla20main-p384-p doi:10.1145/3428275
	Neamtiu, Iulian	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "LiveDroid: Identifying and ..." LiveDroid: Identifying and Preserving Mobile App State in Volatile Runtime Environments Umar Farooq, Zhijia Zhao, Manu Sridharan, and Iulian Neamtiu (University of California at Riverside, USA; New Jersey Institute of Technology, USA) Publisher's Version Video Article: oopsla20main-p129-p doi:10.1145/3428228
	Newcomb, Julie L.	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Verifying and Improving Halide’s ..." Verifying and Improving Halide’s Term Rewriting System with Program Synthesis Julie L. Newcomb, Andrew Adams, Steven Johnson, Rastislav Bodik, and Shoaib Kamil (University of Washington, USA; Adobe Research, USA; Google, USA) Publisher's Version Video Article: oopsla20main-p148-p doi:10.1145/3428234
	Neykova, Rumyana	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Statically Verified Refinements ..." Statically Verified Refinements for Multiparty Protocols Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, and Nobuko Yoshida (Imperial College London, UK; University of Hertfordshire, UK; Brunel University London, UK) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p87-p doi:10.1145/3428216
	Nguyen, ThanhVu	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "DynamiTe: Dynamic Termination ..." DynamiTe: Dynamic Termination and Non-termination Proofs Ton Chanh Le, Timos Antonopoulos, Parisa Fathololumi, Eric Koskinen, and ThanhVu Nguyen (Stevens Institute of Technology, USA; Yale University, USA; University of Nebraska-Lincoln, USA) Publisher's Version Video Article: oopsla20main-p256-p doi:10.1145/3428257
	Nie, Pengyu	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Unifying Execution of Imperative ..." Unifying Execution of Imperative Generators and Declarative Specifications Pengyu Nie, Marinela Parovic, Zhiqiang Zang, Sarfraz Khurshid, Aleksandar Milicevic, and Milos Gligoric (University of Texas at Austin, USA; Microsoft, USA) Publisher's Version Video Article: oopsla20main-p473-p doi:10.1145/3428285
	Nielsen, Benjamin Barslev	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Detecting Locations in JavaScript ..." Detecting Locations in JavaScript Programs Affected by Breaking Library Changes Anders Møller, Benjamin Barslev Nielsen, and Martin Toldam Torp (Aarhus University, Denmark) Publisher's Version Video Artifacts Functional Artifacts Reusable Article: oopsla20main-p245-p doi:10.1145/3428255
	Niksic, Filip	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "DiffStream: Differential Output ..." DiffStream: Differential Output Testing for Stream Processing Programs Konstantinos Kallas, Filip Niksic, Caleb Stanford, and Rajeev Alur (University of Pennsylvania, USA) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p96-p doi:10.1145/3428221 Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Testing Consensus Implementations ..." Testing Consensus Implementations using Communication Closure Cezara Drăgoi, Constantin Enea, Burcu Kulahcioglu Ozkan, Rupak Majumdar, and Filip Niksic (Inria, France; Informal Systems, France; University of Paris, France; IRIF, France; CNRS, France; MPI-SWS, Germany; University of Pennsylvania, USA) Publisher's Version Video Article: oopsla20main-p411-p doi:10.1145/3428278
	Odersky, Martin	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "A Type-and-Effect System for ..." A Type-and-Effect System for Object Initialization Fengyun Liu, Ondřej Lhoták, Aggelos Biboudis, Paolo G. Giarrusso, and Martin Odersky (EPFL, Switzerland; University of Waterloo, Canada; Delft University of Technology, Netherlands) Publisher's Version Video Artifacts Functional Article: oopsla20main-p195-p doi:10.1145/3428243
	Oh, Hakjoo	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Learning Graph-Based Heuristics ..." Learning Graph-Based Heuristics for Pointer Analysis without Handcrafting Application-Specific Features Minseok Jeon, Myungho Lee, and Hakjoo Oh (Korea University, South Korea) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Article: oopsla20main-p218-p doi:10.1145/3428247
	Oliveira, Bruno C. d. S.	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Resolution as Intersection ..." Resolution as Intersection Subtyping via Modus Ponens Koar Marntirosian, Tom Schrijvers, Bruno C. d. S. Oliveira, and Georgios Karachalias (KU Leuven, Belgium; University of Hong Kong, China; Tweag, France) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p345-p doi:10.1145/3428274 Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Revisiting Iso-Recursive Subtyping ..." Revisiting Iso-Recursive Subtyping Yaoda Zhou, Bruno C. d. S. Oliveira, and Jinxu Zhao (University of Hong Kong, China) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p512-p doi:10.1145/3428291
	Ostermann, Klaus	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Effects as Capabilities: Effect ..." Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism Jonathan Immanuel Brachthäuser, Philipp Schuster, and Klaus Ostermann (EPFL, Switzerland; University of Tübingen, Germany) Publisher's Version Video Artifacts Functional Artifacts Reusable Article: oopsla20main-p6-p doi:10.1145/3428194
	Ozkan, Burcu Kulahcioglu	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Testing Consensus Implementations ..." Testing Consensus Implementations using Communication Closure Cezara Drăgoi, Constantin Enea, Burcu Kulahcioglu Ozkan, Rupak Majumdar, and Filip Niksic (Inria, France; Informal Systems, France; University of Paris, France; IRIF, France; CNRS, France; MPI-SWS, Germany; University of Pennsylvania, USA) Publisher's Version Video Article: oopsla20main-p411-p doi:10.1145/3428278
	Pacak, André	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "A Systematic Approach to Deriving ..." A Systematic Approach to Deriving Incremental Type Checkers André Pacak, Sebastian Erdweg, and Tamás Szabó (University of Mainz, Germany; itemis, Germany) Publisher's Version Video Article: oopsla20main-p11-p doi:10.1145/3428195
	Pailoor, Shankara	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Automated Policy Synthesis ..." Automated Policy Synthesis for System Call Sandboxing Shankara Pailoor, Xinyu Wang, Hovav Shacham, and Isil Dillig (University of Texas at Austin, USA; University of Michigan, USA) Publisher's Version Video Article: oopsla20main-p28-p doi:10.1145/3428203
	Parker, James	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Verifying Replicated Data ..." Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell Yiyun Liu, James Parker, Patrick Redmond, Lindsey Kuper, Michael Hicks, and Niki Vazou (University of Maryland at College Park, USA; University of California at Santa Cruz, USA; IMDEA Software Institute, Spain) Publisher's Version Video Artifacts Functional Article: oopsla20main-p469-p doi:10.1145/3428284
	Parovic, Marinela	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Unifying Execution of Imperative ..." Unifying Execution of Imperative Generators and Declarative Specifications Pengyu Nie, Marinela Parovic, Zhiqiang Zang, Sarfraz Khurshid, Aleksandar Milicevic, and Milos Gligoric (University of Texas at Austin, USA; Microsoft, USA) Publisher's Version Video Article: oopsla20main-p473-p doi:10.1145/3428285
	Peleg, Hila	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Programming with a Read-Eval-Synth ..." Programming with a Read-Eval-Synth Loop Hila Peleg, Roi Gabay, Shachar Itzhaky, and Eran Yahav (University of California at San Diego, USA; Technion, Israel; Codota, Israel) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p125-p doi:10.1145/3428227 Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Digging for Fold: Synthesis-Aided ..." Digging for Fold: Synthesis-Aided API Discovery for Haskell Michael B. James, Zheng Guo, Ziteng Wang, Shivani Doshi, Hila Peleg, Ranjit Jhala, and Nadia Polikarpova (University of California at San Diego, USA) Publisher's Version Video Artifacts Functional Artifacts Reusable Article: oopsla20main-p342-p doi:10.1145/3428273 Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Just-in-Time Learning for ..." Just-in-Time Learning for Bottom-Up Enumerative Synthesis Shraddha Barke, Hila Peleg, and Nadia Polikarpova (University of California at San Diego, USA) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Article: oopsla20main-p583-p doi:10.1145/3428295
	Peña, Lucas	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Towards a Unified Proof Framework ..." Towards a Unified Proof Framework for Automated Fixpoint Reasoning using Matching Logic Xiaohong Chen, Minh-Thai Trinh, Nishant Rodrigues, Lucas Peña, and Grigore Roşu (University of Illinois at Urbana-Champaign, USA; Advanced Digital Sciences Center, Singapore) Publisher's Version Video Article: oopsla20main-p136-p doi:10.1145/3428229
	Pereira, Fernando Magno Quintão	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Semiring Optimizations: Dynamic ..." Semiring Optimizations: Dynamic Elision of Expressions with Identity and Absorbing Elements Guilherme Vieira Leobas and Fernando Magno Quintão Pereira (Federal University of Minas Gerais, Brazil) Publisher's Version Video Article: oopsla20main-p22-p doi:10.1145/3428199 Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Dynamic Dispatch of Context-Sensitive ..." Dynamic Dispatch of Context-Sensitive Optimizations Gabriel Poesia and Fernando Magno Quintão Pereira (Stanford University, USA; Federal University of Minas Gerais, Brazil) Publisher's Version Video Article: oopsla20main-p149-p doi:10.1145/3428235
	Petri, Gustavo	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Scalable and Serializable ..." Scalable and Serializable Networked Multi-actor Programming Bo Sang, Patrick Eugster, Gustavo Petri, Srivatsan Ravi, and Pierre-Louis Roman (Purdue University, USA; Ant Group, USA; USI Lugano, Switzerland; TU Darmstadt, Germany; ARM Research, UK; University of Southern California, USA) Publisher's Version Video Article: oopsla20main-p299-p doi:10.1145/3428266
	Pierce, Benjamin C.	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Testing Differential Privacy ..." Testing Differential Privacy with Dual Interpreters Hengchu Zhang, Edo Roth, Andreas Haeberlen, Benjamin C. Pierce, and Aaron Roth (University of Pennsylvania, USA) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p143-p doi:10.1145/3428233
	Pitchanathan, Arjun	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Fast Linear Programming through ..." Fast Linear Programming through Transprecision Computing on Small and Sparse Data Tobias Grosser, Theodoros Theodoridis, Maximilian Falkenstein, Arjun Pitchanathan, Michael Kruse, Manuel Rigger, Zhendong Su, and Torsten Hoefler (University of Edinburgh, UK; ETH Zurich, Switzerland; IIIT Hyderabad, India; Argonne National Laboratory, USA) Publisher's Version Video Article: oopsla20main-p287-p doi:10.1145/3428263
	Poesia, Gabriel	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Dynamic Dispatch of Context-Sensitive ..." Dynamic Dispatch of Context-Sensitive Optimizations Gabriel Poesia and Fernando Magno Quintão Pereira (Stanford University, USA; Federal University of Minas Gerais, Brazil) Publisher's Version Video Article: oopsla20main-p149-p doi:10.1145/3428235
	Poli, Federico	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "How Do Programmers Use Unsafe ..." How Do Programmers Use Unsafe Rust? Vytautas Astrauskas, Christoph Matheja, Federico Poli, Peter Müller, and Alexander J. Summers (ETH Zurich, Switzerland; University of British Columbia, Canada) Publisher's Version Video Article: oopsla20main-p32-p doi:10.1145/3428204
	Polikarpova, Nadia	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Digging for Fold: Synthesis-Aided ..." Digging for Fold: Synthesis-Aided API Discovery for Haskell Michael B. James, Zheng Guo, Ziteng Wang, Shivani Doshi, Hila Peleg, Ranjit Jhala, and Nadia Polikarpova (University of California at San Diego, USA) Publisher's Version Video Artifacts Functional Artifacts Reusable Article: oopsla20main-p342-p doi:10.1145/3428273 Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Just-in-Time Learning for ..." Just-in-Time Learning for Bottom-Up Enumerative Synthesis Shraddha Barke, Hila Peleg, and Nadia Polikarpova (University of California at San Diego, USA) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Article: oopsla20main-p583-p doi:10.1145/3428295
	Raad, Azalea	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Persistent Owicki-Gries Reasoning: ..." Persistent Owicki-Gries Reasoning: A Program Logic for Reasoning about Persistent Programs on Intel-x86 Azalea Raad, Ori Lahav, and Viktor Vafeiadis (MPI-SWS, Germany; Imperial College London, UK; Tel Aviv University, Israel) Publisher's Version Video Article: oopsla20main-p93-p doi:10.1145/3428219
	Radhakrishna, Arjun	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Structure Interpretation of ..." Structure Interpretation of Text Formats Sumit Gulwani, Vu Le, Arjun Radhakrishna, Ivan Radiček, and Mohammad Raza (Microsoft, USA; Microsoft, Austria) Publisher's Version Video Article: oopsla20main-p421-p doi:10.1145/3428280 Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Feedback-Driven Semi-supervised ..." Feedback-Driven Semi-supervised Synthesis of Program Transformations Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachiappan Nagappan, and Ashish Tiwari (National University of Singapore, Singapore; University of California at San Diego, USA; Microsoft, USA; Microsoft Research, USA) Publisher's Version Video Article: oopsla20main-p494-p doi:10.1145/3428287
	Radiček, Ivan	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Structure Interpretation of ..." Structure Interpretation of Text Formats Sumit Gulwani, Vu Le, Arjun Radhakrishna, Ivan Radiček, and Mohammad Raza (Microsoft, USA; Microsoft, Austria) Publisher's Version Video Article: oopsla20main-p421-p doi:10.1145/3428280
	Ramamurthy, Vijay	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Program Equivalence for Assisted ..." Program Equivalence for Assisted Grading of Functional Programs Joshua Clune, Vijay Ramamurthy, Ruben Martins, and Umut A. Acar (Carnegie Mellon University, USA) Publisher's Version Video Article: oopsla20main-p188-p doi:10.1145/3428239
	Ravi, Srivatsan	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Scalable and Serializable ..." Scalable and Serializable Networked Multi-actor Programming Bo Sang, Patrick Eugster, Gustavo Petri, Srivatsan Ravi, and Pierre-Louis Roman (Purdue University, USA; Ant Group, USA; USI Lugano, Switzerland; TU Darmstadt, Germany; ARM Research, UK; University of Southern California, USA) Publisher's Version Video Article: oopsla20main-p299-p doi:10.1145/3428266
	Raza, Mohammad	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Structure Interpretation of ..." Structure Interpretation of Text Formats Sumit Gulwani, Vu Le, Arjun Radhakrishna, Ivan Radiček, and Mohammad Raza (Microsoft, USA; Microsoft, Austria) Publisher's Version Video Article: oopsla20main-p421-p doi:10.1145/3428280
	Redmond, Patrick	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Verifying Replicated Data ..." Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell Yiyun Liu, James Parker, Patrick Redmond, Lindsey Kuper, Michael Hicks, and Niki Vazou (University of Maryland at College Park, USA; University of California at Santa Cruz, USA; IMDEA Software Institute, Spain) Publisher's Version Video Artifacts Functional Article: oopsla20main-p469-p doi:10.1145/3428284
	Regehr, John	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Dataflow-Based Pruning for ..." Dataflow-Based Pruning for Speeding up Superoptimization Manasij Mukherjee, Pranav Kant, Zhengyang Liu, and John Regehr (University of Utah, USA) Publisher's Version Video Article: oopsla20main-p201-p doi:10.1145/3428245 Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Random Testing for C and C++ ..." Random Testing for C and C++ Compilers with YARPGen Vsevolod Livinskii, Dmitry Babokin, and John Regehr (University of Utah, USA; Intel Corporation, USA) Publisher's Version Video Article: oopsla20main-p292-p doi:10.1145/3428264
	Riely, James	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Pomsets with Preconditions: ..." Pomsets with Preconditions: A Simple Model of Relaxed Memory Radha Jagadeesan, Alan Jeffrey, and James Riely (DePaul University, USA; Mozilla Research, USA) Publisher's Version Video Article: oopsla20main-p286-p doi:10.1145/3428262
	Rigger, Manuel	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Fast Linear Programming through ..." Fast Linear Programming through Transprecision Computing on Small and Sparse Data Tobias Grosser, Theodoros Theodoridis, Maximilian Falkenstein, Arjun Pitchanathan, Michael Kruse, Manuel Rigger, Zhendong Su, and Torsten Hoefler (University of Edinburgh, UK; ETH Zurich, Switzerland; IIIT Hyderabad, India; Argonne National Laboratory, USA) Publisher's Version Video Article: oopsla20main-p287-p doi:10.1145/3428263 Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Finding Bugs in Database Systems ..." Finding Bugs in Database Systems via Query Partitioning Manuel Rigger and Zhendong Su (ETH Zurich, Switzerland) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p413-p doi:10.1145/3428279
	Rinetzky, Noam	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Proving Highly-Concurrent ..." Proving Highly-Concurrent Traversals Correct Yotam M. Y. Feldman, Artem Khyzha, Constantin Enea, Adam Morrison, Aleksandar Nanevski, Noam Rinetzky, and Sharon Shoham (Tel Aviv University, Israel; University of Paris Diderot, France; IMDEA Software Institute, Spain) Publisher's Version Video Article: oopsla20main-p13-p doi:10.1145/3428196 Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Taming Callbacks for Smart ..." Taming Callbacks for Smart Contract Modularity Elvira Albert, Shelly Grossman, Noam Rinetzky, Clara Rodríguez-Núñez, Albert Rubio, and Mooly Sagiv (Complutense University of Madrid, Spain; Tel Aviv University, Israel) Publisher's Version Video Article: oopsla20main-p401-p doi:10.1145/3428277
	Rodrigues, Nishant	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Towards a Unified Proof Framework ..." Towards a Unified Proof Framework for Automated Fixpoint Reasoning using Matching Logic Xiaohong Chen, Minh-Thai Trinh, Nishant Rodrigues, Lucas Peña, and Grigore Roşu (University of Illinois at Urbana-Champaign, USA; Advanced Digital Sciences Center, Singapore) Publisher's Version Video Article: oopsla20main-p136-p doi:10.1145/3428229
	Rodríguez-Núñez, Clara	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Taming Callbacks for Smart ..." Taming Callbacks for Smart Contract Modularity Elvira Albert, Shelly Grossman, Noam Rinetzky, Clara Rodríguez-Núñez, Albert Rubio, and Mooly Sagiv (Complutense University of Madrid, Spain; Tel Aviv University, Israel) Publisher's Version Video Article: oopsla20main-p401-p doi:10.1145/3428277
	Roetteler, Martin	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Enabling Accuracy-Aware Quantum ..." Enabling Accuracy-Aware Quantum Compilers using Symbolic Resource Estimation Giulia Meuli, Mathias Soeken, Martin Roetteler, and Thomas Häner (EPFL, Switzerland; Microsoft, Switzerland; Microsoft, USA) Publisher's Version Video Article: oopsla20main-p19-p doi:10.1145/3428198
	Roman, Pierre-Louis	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Scalable and Serializable ..." Scalable and Serializable Networked Multi-actor Programming Bo Sang, Patrick Eugster, Gustavo Petri, Srivatsan Ravi, and Pierre-Louis Roman (Purdue University, USA; Ant Group, USA; USI Lugano, Switzerland; TU Darmstadt, Germany; ARM Research, UK; University of Southern California, USA) Publisher's Version Video Article: oopsla20main-p299-p doi:10.1145/3428266
	Rompf, Tiark	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Compiling Symbolic Execution ..." Compiling Symbolic Execution with Staging and Algebraic Effects Guannan Wei, Oliver Bračevac, Shangyin Tan, and Tiark Rompf (Purdue University, USA) Publisher's Version Video Article: oopsla20main-p141-p doi:10.1145/3428232
	Rose, Abhishek	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Counterexample-Guided Correlation ..." Counterexample-Guided Correlation Algorithm for Translation Validation Shubhani Gupta, Abhishek Rose, and Sorav Bansal (IIT Delhi, India) Publisher's Version Video Artifacts Functional Artifacts Reusable Article: oopsla20main-p509-p doi:10.1145/3428289
	Roşu, Grigore	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Towards a Unified Proof Framework ..." Towards a Unified Proof Framework for Automated Fixpoint Reasoning using Matching Logic Xiaohong Chen, Minh-Thai Trinh, Nishant Rodrigues, Lucas Peña, and Grigore Roşu (University of Illinois at Urbana-Champaign, USA; Advanced Digital Sciences Center, Singapore) Publisher's Version Video Article: oopsla20main-p136-p doi:10.1145/3428229
	Roth, Aaron	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Testing Differential Privacy ..." Testing Differential Privacy with Dual Interpreters Hengchu Zhang, Edo Roth, Andreas Haeberlen, Benjamin C. Pierce, and Aaron Roth (University of Pennsylvania, USA) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p143-p doi:10.1145/3428233
	Roth, Edo	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Testing Differential Privacy ..." Testing Differential Privacy with Dual Interpreters Hengchu Zhang, Edo Roth, Andreas Haeberlen, Benjamin C. Pierce, and Aaron Roth (University of Pennsylvania, USA) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p143-p doi:10.1145/3428233
	Rountev, Atanas	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Differentially-Private Software ..." Differentially-Private Software Frequency Profiling under Linear Constraints Hailong Zhang, Yu Hao, Sufian Latif, Raef Bassily, and Atanas Rountev (Fordham University, USA; Ohio State University, USA) Publisher's Version Video Article: oopsla20main-p334-p doi:10.1145/3428271
	Rouvoet, Arjen	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Knowing When to Ask: Sound ..." Knowing When to Ask: Sound Scheduling of Name Resolution in Type Checkers Derived from Declarative Specifications Arjen Rouvoet, Hendrik van Antwerpen, Casper Bach Poulsen, Robbert Krebbers, and Eelco Visser (Delft University of Technology, Netherlands) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Article: oopsla20main-p222-p doi:10.1145/3428248
	Rubio, Albert	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Taming Callbacks for Smart ..." Taming Callbacks for Smart Contract Modularity Elvira Albert, Shelly Grossman, Noam Rinetzky, Clara Rodríguez-Núñez, Albert Rubio, and Mooly Sagiv (Complutense University of Madrid, Spain; Tel Aviv University, Israel) Publisher's Version Video Article: oopsla20main-p401-p doi:10.1145/3428277
	Saarikivi, Olli	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Regex Matching with Counting-Set ..." Regex Matching with Counting-Set Automata Lenka Turoňová, Lukáš Holík, Ondřej Lengál, Olli Saarikivi, Margus Veanes, and Tomáš Vojnar (Brno University of Technology, Czechia; Microsoft, USA) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Article: oopsla20main-p480-p doi:10.1145/3428286
	Sagiv, Mooly	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Taming Callbacks for Smart ..." Taming Callbacks for Smart Contract Modularity Elvira Albert, Shelly Grossman, Noam Rinetzky, Clara Rodríguez-Núñez, Albert Rubio, and Mooly Sagiv (Complutense University of Madrid, Spain; Tel Aviv University, Israel) Publisher's Version Video Article: oopsla20main-p401-p doi:10.1145/3428277
	Salvaneschi, Guido	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Handling Bidirectional Control ..." Handling Bidirectional Control Flow Yizhou Zhang, Guido Salvaneschi, and Andrew C. Myers (University of Waterloo, Canada; University of St. Gallen, Switzerland; Cornell University, USA) Publisher's Version Video Artifacts Functional Artifacts Reusable Article: oopsla20main-p51-p doi:10.1145/3428207 Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Rethinking Safe Consistency ..." Rethinking Safe Consistency in Distributed Object-Oriented Programming Mirko Köhler, Nafise Eskandani, Pascal Weisenburger, Alessandro Margara, and Guido Salvaneschi (TU Darmstadt, Germany; Politecnico di Milano, Italy; University of St. Gallen, Switzerland) Publisher's Version Video Article: oopsla20main-p249-p doi:10.1145/3428256
	Sampson, Adrian	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Geometry Types for Graphics ..." Geometry Types for Graphics Programming Dietrich Geisler, Irene Yoon, Aditi Kabra, Horace He, Yinnon Sanders, and Adrian Sampson (Cornell University, USA; University of Pennsylvania, USA; Carnegie Mellon University, USA) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Article: oopsla20main-p193-p doi:10.1145/3428241
	Sanders, Yinnon	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Geometry Types for Graphics ..." Geometry Types for Graphics Programming Dietrich Geisler, Irene Yoon, Aditi Kabra, Horace He, Yinnon Sanders, and Adrian Sampson (Cornell University, USA; University of Pennsylvania, USA; Carnegie Mellon University, USA) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Article: oopsla20main-p193-p doi:10.1145/3428241
	Sang, Bo	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Scalable and Serializable ..." Scalable and Serializable Networked Multi-actor Programming Bo Sang, Patrick Eugster, Gustavo Petri, Srivatsan Ravi, and Pierre-Louis Roman (Purdue University, USA; Ant Group, USA; USI Lugano, Switzerland; TU Darmstadt, Germany; ARM Research, UK; University of Southern California, USA) Publisher's Version Video Article: oopsla20main-p299-p doi:10.1145/3428266
	Schaper, Michael	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "A Modular Cost Analysis for ..." A Modular Cost Analysis for Probabilistic Programs Martin Avanzini, Georg Moser, and Michael Schaper (Inria, France; University of Innsbruck, Austria) Publisher's Version Video Article: oopsla20main-p190-p doi:10.1145/3428240
	Schrijvers, Tom	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Resolution as Intersection ..." Resolution as Intersection Subtyping via Modus Ponens Koar Marntirosian, Tom Schrijvers, Bruno C. d. S. Oliveira, and Georgios Karachalias (KU Leuven, Belgium; University of Hong Kong, China; Tweag, France) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p345-p doi:10.1145/3428274
	Schuster, Philipp	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Effects as Capabilities: Effect ..." Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism Jonathan Immanuel Brachthäuser, Philipp Schuster, and Klaus Ostermann (EPFL, Switzerland; University of Tübingen, Germany) Publisher's Version Video Artifacts Functional Artifacts Reusable Article: oopsla20main-p6-p doi:10.1145/3428194
	Senanayake, Ryan	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "A Sparse Iteration Space Transformation ..." A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra Ryan Senanayake, Changwan Hong, Ziheng Wang, Amalee Wilson, Stephen Chou, Shoaib Kamil, Saman Amarasinghe, and Fredrik Kjolstad (Reservoir Labs, USA; Massachusetts Institute of Technology, USA; Stanford University, USA; Adobe Research, USA) Publisher's Version Video Article: oopsla20main-p119-p doi:10.1145/3428226
	Seshadri, Vivek	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Shiftry: RNN Inference in ..." Shiftry: RNN Inference in 2KB of RAM Aayan Kumar, Vivek Seshadri, and Rahul Sharma (Microsoft Research, India) Publisher's Version Video Article: oopsla20main-p230-p doi:10.1145/3428250
	Shacham, Hovav	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Automated Policy Synthesis ..." Automated Policy Synthesis for System Call Sandboxing Shankara Pailoor, Xinyu Wang, Hovav Shacham, and Isil Dillig (University of Texas at Austin, USA; University of Michigan, USA) Publisher's Version Video Article: oopsla20main-p28-p doi:10.1145/3428203
	Shahin, Ramy	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Automatic and Efficient Variability-Aware ..." Automatic and Efficient Variability-Aware Lifting of Functional Programs Ramy Shahin and Marsha Chechik (University of Toronto, Canada) Publisher's Version Video Article: oopsla20main-p113-p doi:10.1145/3428225
	Shao, Zhong	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "CompCertELF: Verified Separate ..." CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files Yuting Wang, Xiangzhe Xu, Pierre Wilke, and Zhong Shao (Shanghai Jiao Tong University, China; Nanjing University, China; CentraleSupélec, France; Yale University, USA) Publisher's Version Video Artifacts Functional Artifacts Reusable Article: oopsla20main-p295-p doi:10.1145/3428265
	Sharma, Rahul	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Shiftry: RNN Inference in ..." Shiftry: RNN Inference in 2KB of RAM Aayan Kumar, Vivek Seshadri, and Rahul Sharma (Microsoft Research, India) Publisher's Version Video Article: oopsla20main-p230-p doi:10.1145/3428250
	Shawesh, Anas	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Actor Concurrency Bugs: A ..." Actor Concurrency Bugs: A Comprehensive Study on Symptoms, Root Causes, API Usages, and Differences Mehdi Bagherzadeh, Nicholas Fireman, Anas Shawesh, and Raffi Khatchadourian (Oakland University, USA; City University of New York, USA) Publisher's Version Video Article: oopsla20main-p451-p doi:10.1145/3428282
	Shoham, Sharon	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Proving Highly-Concurrent ..." Proving Highly-Concurrent Traversals Correct Yotam M. Y. Feldman, Artem Khyzha, Constantin Enea, Adam Morrison, Aleksandar Nanevski, Noam Rinetzky, and Sharon Shoham (Tel Aviv University, Israel; University of Paris Diderot, France; IMDEA Software Institute, Spain) Publisher's Version Video Article: oopsla20main-p13-p doi:10.1145/3428196
	Silvestro, Sam	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "WATCHER: In-Situ Failure Diagnosis ..." WATCHER: In-Situ Failure Diagnosis Hongyu Liu, Sam Silvestro, Xiangyu Zhang, Jian Huang, and Tongping Liu (Purdue University, USA; University of Texas at San Antonio, USA; University of Illinois at Urbana-Champaign, USA; University of Massachusetts at Amherst, USA) Publisher's Version Video Article: oopsla20main-p70-p doi:10.1145/3428211
	Six, Cyril	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Certified and Efficient Instruction ..." Certified and Efficient Instruction Scheduling: Application to Interlocked VLIW Processors Cyril Six, Sylvain Boulmé, and David Monniaux (Kalray, France; Grenoble Alps University, France; CNRS, France; Grenoble INP, France; VERIMAG, France) Publisher's Version Video Artifacts Functional Artifacts Reusable Article: oopsla20main-p14-p doi:10.1145/3428197
	Smaragdakis, Yannis	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Precise Static Modeling of ..." Precise Static Modeling of Ethereum “Memory” Sifis Lagouvardos, Neville Grech, Ilias Tsatiris, and Yannis Smaragdakis (University of Athens, Greece) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Article: oopsla20main-p262-p doi:10.1145/3428258
	Soares, Gustavo	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Feedback-Driven Semi-supervised ..." Feedback-Driven Semi-supervised Synthesis of Program Transformations Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachiappan Nagappan, and Ashish Tiwari (National University of Singapore, Singapore; University of California at San Diego, USA; Microsoft, USA; Microsoft Research, USA) Publisher's Version Video Article: oopsla20main-p494-p doi:10.1145/3428287
	Soeken, Mathias	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Enabling Accuracy-Aware Quantum ..." Enabling Accuracy-Aware Quantum Compilers using Symbolic Resource Estimation Giulia Meuli, Mathias Soeken, Martin Roetteler, and Thomas Häner (EPFL, Switzerland; Microsoft, Switzerland; Microsoft, USA) Publisher's Version Video Article: oopsla20main-p19-p doi:10.1145/3428198
	Solar-Lezama, Armando	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Deductive Optimization of ..." Deductive Optimization of Relational Data Storage John Feser, Sam Madden, Nan Tang, and Armando Solar-Lezama (Massachusetts Institute of Technology, USA; QCRI HBKU, Qatar) Publisher's Version Video Article: oopsla20main-p171-p doi:10.1145/3428238
	Sorensen, Tyler	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Foundations of Empirical Memory ..." Foundations of Empirical Memory Consistency Testing Jake Kirkham, Tyler Sorensen, Esin Tureci, and Margaret Martonosi (Princeton University, USA; University of California at Santa Cruz, USA) Publisher's Version Video Article: oopsla20main-p542-p doi:10.1145/3428294
	Sotiropoulos, Thodoris	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "A Model for Detecting Faults ..." A Model for Detecting Faults in Build Specifications Thodoris Sotiropoulos, Stefanos Chaliasos, Dimitris Mitropoulos, and Diomidis Spinellis (Athens University of Economics and Business, Greece) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p78-p doi:10.1145/3428212
	Spall, Sarah	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Build Scripts with Perfect ..." Build Scripts with Perfect Dependencies Sarah Spall, Neil Mitchell, and Sam Tobin-Hochstadt (Indiana University, USA; Facebook, UK) Publisher's Version Video Article: oopsla20main-p169-p doi:10.1145/3428237
	Spinellis, Diomidis	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "A Model for Detecting Faults ..." A Model for Detecting Faults in Build Specifications Thodoris Sotiropoulos, Stefanos Chaliasos, Dimitris Mitropoulos, and Diomidis Spinellis (Athens University of Economics and Business, Greece) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p78-p doi:10.1145/3428212
	Sprenger, Christoph	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Igloo: Soundly Linking Compositional ..." Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification Christoph Sprenger, Tobias Klenze, Marco Eilers, Felix A. Wolf, Peter Müller, Martin Clochard, and David Basin (ETH Zurich, Switzerland) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p95-p doi:10.1145/3428220
	Sridharan, Manu	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "LiveDroid: Identifying and ..." LiveDroid: Identifying and Preserving Mobile App State in Volatile Runtime Environments Umar Farooq, Zhijia Zhao, Manu Sridharan, and Iulian Neamtiu (University of California at Riverside, USA; New Jersey Institute of Technology, USA) Publisher's Version Video Article: oopsla20main-p129-p doi:10.1145/3428228
	Stanford, Caleb	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "DiffStream: Differential Output ..." DiffStream: Differential Output Testing for Stream Processing Programs Konstantinos Kallas, Filip Niksic, Caleb Stanford, and Rajeev Alur (University of Pennsylvania, USA) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p96-p doi:10.1145/3428221
	Stiévenart, Quentin	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Fuzzing Channel-Based Concurrency ..." Fuzzing Channel-Based Concurrency Runtimes using Types and Effects Quentin Stiévenart and Magnus Madsen (Vrije Universiteit Brussel, Belgium; Aarhus University, Denmark) Publisher's Version Video Article: oopsla20main-p244-p doi:10.1145/3428254
	Su, Zhendong	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "On the Unusual Effectiveness ..." On the Unusual Effectiveness of Type-Aware Operator Mutations for Testing SMT Solvers Dominik Winterer, Chengyu Zhang, and Zhendong Su (ETH Zurich, Switzerland; East China Normal University, China) Publisher's Version Video Article: oopsla20main-p273-p doi:10.1145/3428261 Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Fast Linear Programming through ..." Fast Linear Programming through Transprecision Computing on Small and Sparse Data Tobias Grosser, Theodoros Theodoridis, Maximilian Falkenstein, Arjun Pitchanathan, Michael Kruse, Manuel Rigger, Zhendong Su, and Torsten Hoefler (University of Edinburgh, UK; ETH Zurich, Switzerland; IIIT Hyderabad, India; Argonne National Laboratory, USA) Publisher's Version Video Article: oopsla20main-p287-p doi:10.1145/3428263 Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Finding Bugs in Database Systems ..." Finding Bugs in Database Systems via Query Partitioning Manuel Rigger and Zhendong Su (ETH Zurich, Switzerland) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p413-p doi:10.1145/3428279
	Sui, Yulei	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Flow2Vec: Value-Flow-Based ..." Flow2Vec: Value-Flow-Based Precise Code Embedding Yulei Sui, Xiao Cheng, Guanqin Zhang, and Haoyu Wang (University of Technology Sydney, Australia; Beijing University of Posts and Telecommunications, China) Publisher's Version Video Article: oopsla20main-p687-p doi:10.1145/3428301
	Summers, Alexander J.	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "How Do Programmers Use Unsafe ..." How Do Programmers Use Unsafe Rust? Vytautas Astrauskas, Christoph Matheja, Federico Poli, Peter Müller, and Alexander J. Summers (ETH Zurich, Switzerland; University of British Columbia, Canada) Publisher's Version Video Article: oopsla20main-p32-p doi:10.1145/3428204
	Sun, Yican	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Guiding Dynamic Programing ..." Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example Ruyi Ji, Yican Sun, Yingfei Xiong, and Zhenjiang Hu (Peking University, China) Publisher's Version Video Article: oopsla20main-p515-p doi:10.1145/3428292
	Sun, Zhe	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Hidden Inheritance: An Inline ..." Hidden Inheritance: An Inline Caching Design for TypeScript Performance Zhefeng Wu, Zhe Sun, Kai Gong, Lingyun Chen, Bin Liao, and Yihua Jin (Alibaba Group, China) Publisher's Version Video Artifacts Functional Article: oopsla20main-p194-p doi:10.1145/3428242
	Sunshine, Joshua	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Can Advanced Type Systems ..." Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian Michael Coblenz, Jonathan Aldrich, Brad A. Myers, and Joshua Sunshine (Carnegie Mellon University, USA) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p23-p doi:10.1145/3428200 Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Gradual Verification of Recursive ..." Gradual Verification of Recursive Heap Data Structures Jenna Wise, Johannes Bader, Cameron Wong, Jonathan Aldrich, Éric Tanter, and Joshua Sunshine (Carnegie Mellon University, USA; Jane Street, USA; University of Chile, Chile) Publisher's Version Published Artifact Video Article: oopsla20main-p605-p doi:10.1145/3428296
	Surbatovich, Milijana	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Towards a Formal Foundation ..." Towards a Formal Foundation of Intermittent Computing Milijana Surbatovich, Brandon Lucia, and Limin Jia (Carnegie Mellon University, USA) Publisher's Version Video Article: oopsla20main-p140-p doi:10.1145/3428231
	Syeda, Hira Taqdees	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Do You Have Space for Dessert? ..." Do You Have Space for Dessert? A Verified Space Cost Semantics for CakeML Programs Alejandro Gómez-Londoño, Johannes Åman Pohjola, Hira Taqdees Syeda, Magnus O. Myreen, and Yong Kiam Tan (Chalmers University of Technology, Sweden; Data61 at CSIRO, Australia; UNSW, Australia; Carnegie Mellon University, USA) Publisher's Version Video Artifacts Functional Article: oopsla20main-p340-p doi:10.1145/3428272
	Szabó, Tamás	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "A Systematic Approach to Deriving ..." A Systematic Approach to Deriving Incremental Type Checkers André Pacak, Sebastian Erdweg, and Tamás Szabó (University of Mainz, Germany; itemis, Germany) Publisher's Version Video Article: oopsla20main-p11-p doi:10.1145/3428195
	Tan, Shangyin	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Compiling Symbolic Execution ..." Compiling Symbolic Execution with Staging and Algebraic Effects Guannan Wei, Oliver Bračevac, Shangyin Tan, and Tiark Rompf (Purdue University, USA) Publisher's Version Video Article: oopsla20main-p141-p doi:10.1145/3428232
	Tan, Yong Kiam	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Do You Have Space for Dessert? ..." Do You Have Space for Dessert? A Verified Space Cost Semantics for CakeML Programs Alejandro Gómez-Londoño, Johannes Åman Pohjola, Hira Taqdees Syeda, Magnus O. Myreen, and Yong Kiam Tan (Chalmers University of Technology, Sweden; Data61 at CSIRO, Australia; UNSW, Australia; Carnegie Mellon University, USA) Publisher's Version Video Artifacts Functional Article: oopsla20main-p340-p doi:10.1145/3428272
	Tang, Nan	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Deductive Optimization of ..." Deductive Optimization of Relational Data Storage John Feser, Sam Madden, Nan Tang, and Armando Solar-Lezama (Massachusetts Institute of Technology, USA; QCRI HBKU, Qatar) Publisher's Version Video Article: oopsla20main-p171-p doi:10.1145/3428238
	Tanter, Éric	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Gradual Verification of Recursive ..." Gradual Verification of Recursive Heap Data Structures Jenna Wise, Johannes Bader, Cameron Wong, Jonathan Aldrich, Éric Tanter, and Joshua Sunshine (Carnegie Mellon University, USA; Jane Street, USA; University of Chile, Chile) Publisher's Version Published Artifact Video Article: oopsla20main-p605-p doi:10.1145/3428296
	Tate, Ross	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "World Age in Julia: Optimizing ..." World Age in Julia: Optimizing Method Dispatch in the Presence of Eval Julia Belyakova, Benjamin Chung, Jack Gelinas, Jameson Nash, Ross Tate, and Jan Vitek (Northeastern University, USA; Julia Computing, USA; Cornell University, USA; Czech Technical University, Czechia) Publisher's Version Video Article: oopsla20main-p384-p doi:10.1145/3428275
	Taylor, Ian Lance	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Featherweight Go ..." Featherweight Go Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, and Nobuko Yoshida (Google, USA; University of Hertfordshire, UK; University of Edinburgh, UK; Royal Holloway University of London, UK; Nova University of Lisbon, Portugal; NOVA-LINCS, Portugal; Imperial College London, UK) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p91-p doi:10.1145/3428217
	Theodoridis, Theodoros	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Fast Linear Programming through ..." Fast Linear Programming through Transprecision Computing on Small and Sparse Data Tobias Grosser, Theodoros Theodoridis, Maximilian Falkenstein, Arjun Pitchanathan, Michael Kruse, Manuel Rigger, Zhendong Su, and Torsten Hoefler (University of Edinburgh, UK; ETH Zurich, Switzerland; IIIT Hyderabad, India; Argonne National Laboratory, USA) Publisher's Version Video Article: oopsla20main-p287-p doi:10.1145/3428263
	Tiwari, Ashish	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Feedback-Driven Semi-supervised ..." Feedback-Driven Semi-supervised Synthesis of Program Transformations Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachiappan Nagappan, and Ashish Tiwari (National University of Singapore, Singapore; University of California at San Diego, USA; Microsoft, USA; Microsoft Research, USA) Publisher's Version Video Article: oopsla20main-p494-p doi:10.1145/3428287
	Tobin-Hochstadt, Sam	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Build Scripts with Perfect ..." Build Scripts with Perfect Dependencies Sarah Spall, Neil Mitchell, and Sam Tobin-Hochstadt (Indiana University, USA; Facebook, UK) Publisher's Version Video Article: oopsla20main-p169-p doi:10.1145/3428237
	Toninho, Bernardo	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Featherweight Go ..." Featherweight Go Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, and Nobuko Yoshida (Google, USA; University of Hertfordshire, UK; University of Edinburgh, UK; Royal Holloway University of London, UK; Nova University of Lisbon, Portugal; NOVA-LINCS, Portugal; Imperial College London, UK) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p91-p doi:10.1145/3428217
	Torp, Martin Toldam	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Detecting Locations in JavaScript ..." Detecting Locations in JavaScript Programs Affected by Breaking Library Changes Anders Møller, Benjamin Barslev Nielsen, and Martin Toldam Torp (Aarhus University, Denmark) Publisher's Version Video Artifacts Functional Artifacts Reusable Article: oopsla20main-p245-p doi:10.1145/3428255
	Trinh, Minh-Thai	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Towards a Unified Proof Framework ..." Towards a Unified Proof Framework for Automated Fixpoint Reasoning using Matching Logic Xiaohong Chen, Minh-Thai Trinh, Nishant Rodrigues, Lucas Peña, and Grigore Roşu (University of Illinois at Urbana-Champaign, USA; Advanced Digital Sciences Center, Singapore) Publisher's Version Video Article: oopsla20main-p136-p doi:10.1145/3428229 Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Inter-theory Dependency Analysis ..." Inter-theory Dependency Analysis for SMT String Solvers Minh-Thai Trinh, Duc-Hiep Chu, and Joxan Jaffar (Advanced Digital Sciences Center, Singapore; National University of Singapore, Singapore) Publisher's Version Video Artifacts Functional Article: oopsla20main-p272-p doi:10.1145/3428260
	Troyer, Matthias	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Assertion-Based Optimization ..." Assertion-Based Optimization of Quantum Programs Thomas Häner, Torsten Hoefler, and Matthias Troyer (ETH Zurich, Switzerland; Microsoft, USA) Publisher's Version Video Article: oopsla20main-p24-p doi:10.1145/3428201
	Tsatiris, Ilias	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Precise Static Modeling of ..." Precise Static Modeling of Ethereum “Memory” Sifis Lagouvardos, Neville Grech, Ilias Tsatiris, and Yannis Smaragdakis (University of Athens, Greece) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Article: oopsla20main-p262-p doi:10.1145/3428258
	Turcotte, Alexi	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Designing Types for R, Empirically ..." Designing Types for R, Empirically Alexi Turcotte, Aviral Goel, Filip Křikava, and Jan Vitek (Northeastern University, USA; Czech Technical University, Czechia) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p225-p doi:10.1145/3428249
	Tureci, Esin	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Foundations of Empirical Memory ..." Foundations of Empirical Memory Consistency Testing Jake Kirkham, Tyler Sorensen, Esin Tureci, and Margaret Martonosi (Princeton University, USA; University of California at Santa Cruz, USA) Publisher's Version Video Article: oopsla20main-p542-p doi:10.1145/3428294
	Turoňová, Lenka	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Regex Matching with Counting-Set ..." Regex Matching with Counting-Set Automata Lenka Turoňová, Lukáš Holík, Ondřej Lengál, Olli Saarikivi, Margus Veanes, and Tomáš Vojnar (Brno University of Technology, Czechia; Microsoft, USA) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Article: oopsla20main-p480-p doi:10.1145/3428286
	Urban, Caterina	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Perfectly Parallel Fairness ..." Perfectly Parallel Fairness Certification of Neural Networks Caterina Urban, Maria Christakis, Valentin Wüstholz, and Fuyuan Zhang (Inria, France; ENS, France; CNRS, France; PSL University, France; MPI-SWS, Germany; ConsenSys, Germany) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p242-p doi:10.1145/3428253
	Vafeiadis, Viktor	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Persistent Owicki-Gries Reasoning: ..." Persistent Owicki-Gries Reasoning: A Program Logic for Reasoning about Persistent Programs on Intel-x86 Azalea Raad, Ori Lahav, and Viktor Vafeiadis (MPI-SWS, Germany; Imperial College London, UK; Tel Aviv University, Israel) Publisher's Version Video Article: oopsla20main-p93-p doi:10.1145/3428219
	Van Antwerpen, Hendrik	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Knowing When to Ask: Sound ..." Knowing When to Ask: Sound Scheduling of Name Resolution in Type Checkers Derived from Declarative Specifications Arjen Rouvoet, Hendrik van Antwerpen, Casper Bach Poulsen, Robbert Krebbers, and Eelco Visser (Delft University of Technology, Netherlands) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Article: oopsla20main-p222-p doi:10.1145/3428248
	Van den Broeck, Guy	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Scaling Exact Inference for ..." Scaling Exact Inference for Discrete Probabilistic Programs Steven Holtzen, Guy Van den Broeck, and Todd Millstein (University of California at Los Angeles, USA) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p56-p doi:10.1145/3428208
	Van de Pol, Jaco	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Polymorphic Types and Effects ..." Polymorphic Types and Effects with Boolean Unification Magnus Madsen and Jaco van de Pol (Aarhus University, Denmark) Publisher's Version Video Article: oopsla20main-p97-p doi:10.1145/3428222
	Vazou, Niki	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Verifying Replicated Data ..." Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell Yiyun Liu, James Parker, Patrick Redmond, Lindsey Kuper, Michael Hicks, and Niki Vazou (University of Maryland at College Park, USA; University of California at Santa Cruz, USA; IMDEA Software Institute, Spain) Publisher's Version Video Artifacts Functional Article: oopsla20main-p469-p doi:10.1145/3428284
	Veanes, Margus	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Regex Matching with Counting-Set ..." Regex Matching with Counting-Set Automata Lenka Turoňová, Lukáš Holík, Ondřej Lengál, Olli Saarikivi, Margus Veanes, and Tomáš Vojnar (Brno University of Technology, Czechia; Microsoft, USA) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Article: oopsla20main-p480-p doi:10.1145/3428286
	Veileborg, Oskar Haarklou	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Eliminating Abstraction Overhead ..." Eliminating Abstraction Overhead of Java Stream Pipelines using Ahead-of-Time Program Optimization Anders Møller and Oskar Haarklou Veileborg (Aarhus University, Denmark) Publisher's Version Video Artifacts Functional Artifacts Reusable Article: oopsla20main-p155-p doi:10.1145/3428236
	Visser, Eelco	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Knowing When to Ask: Sound ..." Knowing When to Ask: Sound Scheduling of Name Resolution in Type Checkers Derived from Declarative Specifications Arjen Rouvoet, Hendrik van Antwerpen, Casper Bach Poulsen, Robbert Krebbers, and Eelco Visser (Delft University of Technology, Netherlands) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Article: oopsla20main-p222-p doi:10.1145/3428248
	Vitek, Jan	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Designing Types for R, Empirically ..." Designing Types for R, Empirically Alexi Turcotte, Aviral Goel, Filip Křikava, and Jan Vitek (Northeastern University, USA; Czech Technical University, Czechia) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p225-p doi:10.1145/3428249 Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "World Age in Julia: Optimizing ..." World Age in Julia: Optimizing Method Dispatch in the Presence of Eval Julia Belyakova, Benjamin Chung, Jack Gelinas, Jameson Nash, Ross Tate, and Jan Vitek (Northeastern University, USA; Julia Computing, USA; Cornell University, USA; Czech Technical University, Czechia) Publisher's Version Video Article: oopsla20main-p384-p doi:10.1145/3428275 Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Contextual Dispatch for Function ..." Contextual Dispatch for Function Specialization Olivier Flückiger, Guido Chari, Ming-Ho Yee, Jan Ječmen, Jakob Hain, and Jan Vitek (Northeastern University, USA; Asapp, Argentina; Czech Technical University, Czechia) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Article: oopsla20main-p502-p doi:10.1145/3428288
	Vojnar, Tomáš	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Regex Matching with Counting-Set ..." Regex Matching with Counting-Set Automata Lenka Turoňová, Lukáš Holík, Ondřej Lengál, Olli Saarikivi, Margus Veanes, and Tomáš Vojnar (Brno University of Technology, Czechia; Microsoft, USA) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Article: oopsla20main-p480-p doi:10.1145/3428286
	Wadler, Philip	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Featherweight Go ..." Featherweight Go Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, and Nobuko Yoshida (Google, USA; University of Hertfordshire, UK; University of Edinburgh, UK; Royal Holloway University of London, UK; Nova University of Lisbon, Portugal; NOVA-LINCS, Portugal; Imperial College London, UK) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p91-p doi:10.1145/3428217
	Wang, Bow-Yaw	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Incremental Predicate Analysis ..." Incremental Predicate Analysis for Regression Verification Qianshan Yu, Fei He, and Bow-Yaw Wang (Tsinghua University, China; Academia Sinica, Taiwan) Publisher's Version Video Article: oopsla20main-p233-p doi:10.1145/3428252
	Wang, Haoyu	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Flow2Vec: Value-Flow-Based ..." Flow2Vec: Value-Flow-Based Precise Code Embedding Yulei Sui, Xiao Cheng, Guanqin Zhang, and Haoyu Wang (University of Technology Sydney, Australia; Beijing University of Posts and Telecommunications, China) Publisher's Version Video Article: oopsla20main-p687-p doi:10.1145/3428301
	Wang, Huibo	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Exposing Cache Timing Side-Channel ..." Exposing Cache Timing Side-Channel Leaks through Out-of-Order Symbolic Execution Shengjian Guo, Yueqi Chen, Jiyong Yu, Meng Wu, Zhiqiang Zuo, Peng Li, Yueqiang Cheng, and Huibo Wang (Baidu Security, USA; Pennsylvania State University, USA; University of Illinois at Urbana-Champaign, USA; Ant Group, China; Nanjing University, China) Publisher's Version Video Article: oopsla20main-p84-p doi:10.1145/3428215
	Wang, Ke	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Learning Semantic Program ..." Learning Semantic Program Embeddings with Graph Interval Neural Network Yu Wang, Ke Wang, Fengjuan Gao, and Linzhang Wang (Nanjing University, China; Visa Research, USA) Publisher's Version Video Article: oopsla20main-p37-p doi:10.1145/3428205
	Wang, Linzhang	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Learning Semantic Program ..." Learning Semantic Program Embeddings with Graph Interval Neural Network Yu Wang, Ke Wang, Fengjuan Gao, and Linzhang Wang (Nanjing University, China; Visa Research, USA) Publisher's Version Video Article: oopsla20main-p37-p doi:10.1145/3428205
	Wang, Xinyu	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Automated Policy Synthesis ..." Automated Policy Synthesis for System Call Sandboxing Shankara Pailoor, Xinyu Wang, Hovav Shacham, and Isil Dillig (University of Texas at Austin, USA; University of Michigan, USA) Publisher's Version Video Article: oopsla20main-p28-p doi:10.1145/3428203
	Wang, Yu	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Learning Semantic Program ..." Learning Semantic Program Embeddings with Graph Interval Neural Network Yu Wang, Ke Wang, Fengjuan Gao, and Linzhang Wang (Nanjing University, China; Visa Research, USA) Publisher's Version Video Article: oopsla20main-p37-p doi:10.1145/3428205
	Wang, Yuting	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "CompCertELF: Verified Separate ..." CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files Yuting Wang, Xiangzhe Xu, Pierre Wilke, and Zhong Shao (Shanghai Jiao Tong University, China; Nanjing University, China; CentraleSupélec, France; Yale University, USA) Publisher's Version Video Artifacts Functional Artifacts Reusable Article: oopsla20main-p295-p doi:10.1145/3428265
	Wang, Ziheng	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "A Sparse Iteration Space Transformation ..." A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra Ryan Senanayake, Changwan Hong, Ziheng Wang, Amalee Wilson, Stephen Chou, Shoaib Kamil, Saman Amarasinghe, and Fredrik Kjolstad (Reservoir Labs, USA; Massachusetts Institute of Technology, USA; Stanford University, USA; Adobe Research, USA) Publisher's Version Video Article: oopsla20main-p119-p doi:10.1145/3428226
	Wang, Ziteng	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Digging for Fold: Synthesis-Aided ..." Digging for Fold: Synthesis-Aided API Discovery for Haskell Michael B. James, Zheng Guo, Ziteng Wang, Shivani Doshi, Hila Peleg, Ranjit Jhala, and Nadia Polikarpova (University of California at San Diego, USA) Publisher's Version Video Artifacts Functional Artifacts Reusable Article: oopsla20main-p342-p doi:10.1145/3428273
	Wei, Anjiang	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "A Large-Scale Longitudinal ..." A Large-Scale Longitudinal Study of Flaky Tests Wing Lam, Stefan Winter, Anjiang Wei, Tao Xie, Darko Marinov, and Jonathan Bell (University of Illinois at Urbana-Champaign, USA; TU Darmstadt, Germany; Peking University, China; Northeastern University, USA) Publisher's Version Video Article: oopsla20main-p314-p doi:10.1145/3428270
	Wei, Guannan	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Compiling Symbolic Execution ..." Compiling Symbolic Execution with Staging and Algebraic Effects Guannan Wei, Oliver Bračevac, Shangyin Tan, and Tiark Rompf (Purdue University, USA) Publisher's Version Video Article: oopsla20main-p141-p doi:10.1145/3428232
	Weisenburger, Pascal	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Rethinking Safe Consistency ..." Rethinking Safe Consistency in Distributed Object-Oriented Programming Mirko Köhler, Nafise Eskandani, Pascal Weisenburger, Alessandro Margara, and Guido Salvaneschi (TU Darmstadt, Germany; Politecnico di Milano, Italy; University of St. Gallen, Switzerland) Publisher's Version Video Article: oopsla20main-p249-p doi:10.1145/3428256
	Widder, Josef	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Programming at the Edge of ..." Programming at the Edge of Synchrony Cezara Drăgoi, Josef Widder, and Damien Zufferey (Inria, France; ENS, France; CNRS, France; PSL University, France; Informal Systems, France; Informal Systems, Austria; MPI-SWS, Germany) Publisher's Version Article: oopsla20main-p424-p doi:10.1145/3428281
	Wilke, Pierre	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "CompCertELF: Verified Separate ..." CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files Yuting Wang, Xiangzhe Xu, Pierre Wilke, and Zhong Shao (Shanghai Jiao Tong University, China; Nanjing University, China; CentraleSupélec, France; Yale University, USA) Publisher's Version Video Artifacts Functional Artifacts Reusable Article: oopsla20main-p295-p doi:10.1145/3428265
	Wilson, Amalee	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "A Sparse Iteration Space Transformation ..." A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra Ryan Senanayake, Changwan Hong, Ziheng Wang, Amalee Wilson, Stephen Chou, Shoaib Kamil, Saman Amarasinghe, and Fredrik Kjolstad (Reservoir Labs, USA; Massachusetts Institute of Technology, USA; Stanford University, USA; Adobe Research, USA) Publisher's Version Video Article: oopsla20main-p119-p doi:10.1145/3428226
	Winter, Stefan	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "A Large-Scale Longitudinal ..." A Large-Scale Longitudinal Study of Flaky Tests Wing Lam, Stefan Winter, Anjiang Wei, Tao Xie, Darko Marinov, and Jonathan Bell (University of Illinois at Urbana-Champaign, USA; TU Darmstadt, Germany; Peking University, China; Northeastern University, USA) Publisher's Version Video Article: oopsla20main-p314-p doi:10.1145/3428270
	Winterer, Dominik	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "On the Unusual Effectiveness ..." On the Unusual Effectiveness of Type-Aware Operator Mutations for Testing SMT Solvers Dominik Winterer, Chengyu Zhang, and Zhendong Su (ETH Zurich, Switzerland; East China Normal University, China) Publisher's Version Video Article: oopsla20main-p273-p doi:10.1145/3428261
	Wise, Jenna	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Gradual Verification of Recursive ..." Gradual Verification of Recursive Heap Data Structures Jenna Wise, Johannes Bader, Cameron Wong, Jonathan Aldrich, Éric Tanter, and Joshua Sunshine (Carnegie Mellon University, USA; Jane Street, USA; University of Chile, Chile) Publisher's Version Published Artifact Video Article: oopsla20main-p605-p doi:10.1145/3428296
	Wolf, Felix A.	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Igloo: Soundly Linking Compositional ..." Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification Christoph Sprenger, Tobias Klenze, Marco Eilers, Felix A. Wolf, Peter Müller, Martin Clochard, and David Basin (ETH Zurich, Switzerland) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p95-p doi:10.1145/3428220
	Wong, Cameron	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Gradual Verification of Recursive ..." Gradual Verification of Recursive Heap Data Structures Jenna Wise, Johannes Bader, Cameron Wong, Jonathan Aldrich, Éric Tanter, and Joshua Sunshine (Carnegie Mellon University, USA; Jane Street, USA; University of Chile, Chile) Publisher's Version Published Artifact Video Article: oopsla20main-p605-p doi:10.1145/3428296
	Wu, Meng	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Exposing Cache Timing Side-Channel ..." Exposing Cache Timing Side-Channel Leaks through Out-of-Order Symbolic Execution Shengjian Guo, Yueqi Chen, Jiyong Yu, Meng Wu, Zhiqiang Zuo, Peng Li, Yueqiang Cheng, and Huibo Wang (Baidu Security, USA; Pennsylvania State University, USA; University of Illinois at Urbana-Champaign, USA; Ant Group, China; Nanjing University, China) Publisher's Version Video Article: oopsla20main-p84-p doi:10.1145/3428215
	Wu, Zhefeng	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Hidden Inheritance: An Inline ..." Hidden Inheritance: An Inline Caching Design for TypeScript Performance Zhefeng Wu, Zhe Sun, Kai Gong, Lingyun Chen, Bin Liao, and Yihua Jin (Alibaba Group, China) Publisher's Version Video Artifacts Functional Article: oopsla20main-p194-p doi:10.1145/3428242
	Wüstholz, Valentin	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Perfectly Parallel Fairness ..." Perfectly Parallel Fairness Certification of Neural Networks Caterina Urban, Maria Christakis, Valentin Wüstholz, and Fuyuan Zhang (Inria, France; ENS, France; CNRS, France; PSL University, France; MPI-SWS, Germany; ConsenSys, Germany) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p242-p doi:10.1145/3428253
	Xiang, Tongtong	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Precise Inference of Expressive ..." Precise Inference of Expressive Units of Measurement Types Tongtong Xiang, Jeff Y. Luo, and Werner Dietl (University of Waterloo, Canada) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Article: oopsla20main-p67-p doi:10.1145/3428210
	Xie, Tao	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "A Large-Scale Longitudinal ..." A Large-Scale Longitudinal Study of Flaky Tests Wing Lam, Stefan Winter, Anjiang Wei, Tao Xie, Darko Marinov, and Jonathan Bell (University of Illinois at Urbana-Champaign, USA; TU Darmstadt, Germany; Peking University, China; Northeastern University, USA) Publisher's Version Video Article: oopsla20main-p314-p doi:10.1145/3428270
	Xie, Yuan	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Projection-Based Runtime Assertions ..." Projection-Based Runtime Assertions for Testing and Debugging Quantum Programs Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, and Yuan Xie (University of California at Santa Barbara, USA; MPI-SP, Germany; University of Technology Sydney, Australia; Institute of Software at Chinese Academy of Sciences, China; Tsinghua University, China) Publisher's Version Video Artifacts Functional Article: oopsla20main-p92-p doi:10.1145/3428218
	Xiong, Yingfei	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Guiding Dynamic Programing ..." Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example Ruyi Ji, Yican Sun, Yingfei Xiong, and Zhenjiang Hu (Peking University, China) Publisher's Version Video Article: oopsla20main-p515-p doi:10.1145/3428292
	Xu, Guoqing Harry	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Satune: Synthesizing Efficient ..." Satune: Synthesizing Efficient SAT Encoders Hamed Gorjiara, Guoqing Harry Xu, and Brian Demsky (University of California at Irvine, USA; University of California at Los Angeles, USA) Publisher's Version Video Article: oopsla20main-p82-p doi:10.1145/3428214
	Xu, Xiangzhe	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "CompCertELF: Verified Separate ..." CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files Yuting Wang, Xiangzhe Xu, Pierre Wilke, and Zhong Shao (Shanghai Jiao Tong University, China; Nanjing University, China; CentraleSupélec, France; Yale University, USA) Publisher's Version Video Artifacts Functional Artifacts Reusable Article: oopsla20main-p295-p doi:10.1145/3428265
	Yahav, Eran	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Programming with a Read-Eval-Synth ..." Programming with a Read-Eval-Synth Loop Hila Peleg, Roi Gabay, Shachar Itzhaky, and Eran Yahav (University of California at San Diego, USA; Technion, Israel; Codota, Israel) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p125-p doi:10.1145/3428227 Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Adversarial Examples for Models ..." Adversarial Examples for Models of Code Noam Yefet, Uri Alon, and Eran Yahav (Technion, Israel) Publisher's Version Video Article: oopsla20main-p137-p doi:10.1145/3428230 Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "A Structural Model for Contextual ..." A Structural Model for Contextual Code Changes Shaked Brody, Uri Alon, and Eran Yahav (Technion, Israel) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p467-p doi:10.1145/3428283 Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Neural Reverse Engineering ..." Neural Reverse Engineering of Stripped Binaries using Augmented Control Flow Graphs Yaniv David, Uri Alon, and Eran Yahav (Technion, Israel) Publisher's Version Published Artifact Video Article: oopsla20main-p526-p doi:10.1145/3428293
	Yee, Ming-Ho	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Contextual Dispatch for Function ..." Contextual Dispatch for Function Specialization Olivier Flückiger, Guido Chari, Ming-Ho Yee, Jan Ječmen, Jakob Hain, and Jan Vitek (Northeastern University, USA; Asapp, Argentina; Czech Technical University, Czechia) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Article: oopsla20main-p502-p doi:10.1145/3428288
	Yefet, Noam	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Adversarial Examples for Models ..." Adversarial Examples for Models of Code Noam Yefet, Uri Alon, and Eran Yahav (Technion, Israel) Publisher's Version Video Article: oopsla20main-p137-p doi:10.1145/3428230
	Ying, Mingsheng	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Projection-Based Runtime Assertions ..." Projection-Based Runtime Assertions for Testing and Debugging Quantum Programs Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, and Yuan Xie (University of California at Santa Barbara, USA; MPI-SP, Germany; University of Technology Sydney, Australia; Institute of Software at Chinese Academy of Sciences, China; Tsinghua University, China) Publisher's Version Video Artifacts Functional Article: oopsla20main-p92-p doi:10.1145/3428218
	Yoon, Irene	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Geometry Types for Graphics ..." Geometry Types for Graphics Programming Dietrich Geisler, Irene Yoon, Aditi Kabra, Horace He, Yinnon Sanders, and Adrian Sampson (Cornell University, USA; University of Pennsylvania, USA; Carnegie Mellon University, USA) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Article: oopsla20main-p193-p doi:10.1145/3428241
	Yoshida, Nobuko	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Multiparty Motion Coordination: ..." Multiparty Motion Coordination: From Choreographies to Robotics Programs Rupak Majumdar, Nobuko Yoshida, and Damien Zufferey (MPI-SWS, Germany; Imperial College London, UK) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Article: oopsla20main-p25-p doi:10.1145/3428202 Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Statically Verified Refinements ..." Statically Verified Refinements for Multiparty Protocols Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, and Nobuko Yoshida (Imperial College London, UK; University of Hertfordshire, UK; Brunel University London, UK) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p87-p doi:10.1145/3428216 Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Featherweight Go ..." Featherweight Go Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, and Nobuko Yoshida (Google, USA; University of Hertfordshire, UK; University of Edinburgh, UK; Royal Holloway University of London, UK; Nova University of Lisbon, Portugal; NOVA-LINCS, Portugal; Imperial College London, UK) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p91-p doi:10.1145/3428217 Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "CAMP: Cost-Aware Multiparty ..." CAMP: Cost-Aware Multiparty Session Protocols David Castro-Perez and Nobuko Yoshida (Imperial College London, UK) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p100-p doi:10.1145/3428223
	Yu, Jiyong	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Exposing Cache Timing Side-Channel ..." Exposing Cache Timing Side-Channel Leaks through Out-of-Order Symbolic Execution Shengjian Guo, Yueqi Chen, Jiyong Yu, Meng Wu, Zhiqiang Zuo, Peng Li, Yueqiang Cheng, and Huibo Wang (Baidu Security, USA; Pennsylvania State University, USA; University of Illinois at Urbana-Champaign, USA; Ant Group, China; Nanjing University, China) Publisher's Version Video Article: oopsla20main-p84-p doi:10.1145/3428215
	Yu, Nengkun	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Projection-Based Runtime Assertions ..." Projection-Based Runtime Assertions for Testing and Debugging Quantum Programs Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, and Yuan Xie (University of California at Santa Barbara, USA; MPI-SP, Germany; University of Technology Sydney, Australia; Institute of Software at Chinese Academy of Sciences, China; Tsinghua University, China) Publisher's Version Video Artifacts Functional Article: oopsla20main-p92-p doi:10.1145/3428218
	Yu, Qianshan	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Incremental Predicate Analysis ..." Incremental Predicate Analysis for Regression Verification Qianshan Yu, Fei He, and Bow-Yaw Wang (Tsinghua University, China; Academia Sinica, Taiwan) Publisher's Version Video Article: oopsla20main-p233-p doi:10.1145/3428252
	Zang, Zhiqiang	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Unifying Execution of Imperative ..." Unifying Execution of Imperative Generators and Declarative Specifications Pengyu Nie, Marinela Parovic, Zhiqiang Zang, Sarfraz Khurshid, Aleksandar Milicevic, and Milos Gligoric (University of Texas at Austin, USA; Microsoft, USA) Publisher's Version Video Article: oopsla20main-p473-p doi:10.1145/3428285
	Zhang, Chengyu	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "On the Unusual Effectiveness ..." On the Unusual Effectiveness of Type-Aware Operator Mutations for Testing SMT Solvers Dominik Winterer, Chengyu Zhang, and Zhendong Su (ETH Zurich, Switzerland; East China Normal University, China) Publisher's Version Video Article: oopsla20main-p273-p doi:10.1145/3428261
	Zhang, Fuyuan	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Perfectly Parallel Fairness ..." Perfectly Parallel Fairness Certification of Neural Networks Caterina Urban, Maria Christakis, Valentin Wüstholz, and Fuyuan Zhang (Inria, France; ENS, France; CNRS, France; PSL University, France; MPI-SWS, Germany; ConsenSys, Germany) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p242-p doi:10.1145/3428253
	Zhang, Guanqin	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Flow2Vec: Value-Flow-Based ..." Flow2Vec: Value-Flow-Based Precise Code Embedding Yulei Sui, Xiao Cheng, Guanqin Zhang, and Haoyu Wang (University of Technology Sydney, Australia; Beijing University of Posts and Telecommunications, China) Publisher's Version Video Article: oopsla20main-p687-p doi:10.1145/3428301
	Zhang, Hailong	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Differentially-Private Software ..." Differentially-Private Software Frequency Profiling under Linear Constraints Hailong Zhang, Yu Hao, Sufian Latif, Raef Bassily, and Atanas Rountev (Fordham University, USA; Ohio State University, USA) Publisher's Version Video Article: oopsla20main-p334-p doi:10.1145/3428271
	Zhang, Hengchu	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Testing Differential Privacy ..." Testing Differential Privacy with Dual Interpreters Hengchu Zhang, Edo Roth, Andreas Haeberlen, Benjamin C. Pierce, and Aaron Roth (University of Pennsylvania, USA) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p143-p doi:10.1145/3428233
	Zhang, Xiangyu	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "WATCHER: In-Situ Failure Diagnosis ..." WATCHER: In-Situ Failure Diagnosis Hongyu Liu, Sam Silvestro, Xiangyu Zhang, Jian Huang, and Tongping Liu (Purdue University, USA; University of Texas at San Antonio, USA; University of Illinois at Urbana-Champaign, USA; University of Massachusetts at Amherst, USA) Publisher's Version Video Article: oopsla20main-p70-p doi:10.1145/3428211
	Zhang, Yizhou	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Handling Bidirectional Control ..." Handling Bidirectional Control Flow Yizhou Zhang, Guido Salvaneschi, and Andrew C. Myers (University of Waterloo, Canada; University of St. Gallen, Switzerland; Cornell University, USA) Publisher's Version Video Artifacts Functional Artifacts Reusable Article: oopsla20main-p51-p doi:10.1145/3428207
	Zhao, Jinxu	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Revisiting Iso-Recursive Subtyping ..." Revisiting Iso-Recursive Subtyping Yaoda Zhou, Bruno C. d. S. Oliveira, and Jinxu Zhao (University of Hong Kong, China) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p512-p doi:10.1145/3428291
	Zhao, Zhijia	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "LiveDroid: Identifying and ..." LiveDroid: Identifying and Preserving Mobile App State in Volatile Runtime Environments Umar Farooq, Zhijia Zhao, Manu Sridharan, and Iulian Neamtiu (University of California at Riverside, USA; New Jersey Institute of Technology, USA) Publisher's Version Video Article: oopsla20main-p129-p doi:10.1145/3428228
	Zhou, Fangyi	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Statically Verified Refinements ..." Statically Verified Refinements for Multiparty Protocols Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, and Nobuko Yoshida (Imperial College London, UK; University of Hertfordshire, UK; Brunel University London, UK) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p87-p doi:10.1145/3428216
	Zhou, Li	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Projection-Based Runtime Assertions ..." Projection-Based Runtime Assertions for Testing and Debugging Quantum Programs Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, and Yuan Xie (University of California at Santa Barbara, USA; MPI-SP, Germany; University of Technology Sydney, Australia; Institute of Software at Chinese Academy of Sciences, China; Tsinghua University, China) Publisher's Version Video Artifacts Functional Article: oopsla20main-p92-p doi:10.1145/3428218
	Zhou, Yaoda	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Revisiting Iso-Recursive Subtyping ..." Revisiting Iso-Recursive Subtyping Yaoda Zhou, Bruno C. d. S. Oliveira, and Jinxu Zhao (University of Hong Kong, China) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Artifacts Reusable Article: oopsla20main-p512-p doi:10.1145/3428291
	Zufferey, Damien	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Multiparty Motion Coordination: ..." Multiparty Motion Coordination: From Choreographies to Robotics Programs Rupak Majumdar, Nobuko Yoshida, and Damien Zufferey (MPI-SWS, Germany; Imperial College London, UK) Publisher's Version Published Artifact Video Artifacts Available Artifacts Functional Article: oopsla20main-p25-p doi:10.1145/3428202 Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Programming at the Edge of ..." Programming at the Edge of Synchrony Cezara Drăgoi, Josef Widder, and Damien Zufferey (Inria, France; ENS, France; CNRS, France; PSL University, France; Informal Systems, France; Informal Systems, Austria; MPI-SWS, Germany) Publisher's Version Article: oopsla20main-p424-p doi:10.1145/3428281
	Zuo, Zhiqiang	Proc. ACM Program. Lang., vol. 4, issue OOPSLA: "Exposing Cache Timing Side-Channel ..." Exposing Cache Timing Side-Channel Leaks through Out-of-Order Symbolic Execution Shengjian Guo, Yueqi Chen, Jiyong Yu, Meng Wu, Zhiqiang Zuo, Peng Li, Yueqiang Cheng, and Huibo Wang (Baidu Security, USA; Pennsylvania State University, USA; University of Illinois at Urbana-Champaign, USA; Ant Group, China; Nanjing University, China) Publisher's Version Video Article: oopsla20main-p84-p doi:10.1145/3428215