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
	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
	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
	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
	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
	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 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
	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 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 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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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 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
	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
	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
	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 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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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 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
	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
	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 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
	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
	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
	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
	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
	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
	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
	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
	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 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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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 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
	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
	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
	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
	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
	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
	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
	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 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
	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
	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 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
	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
	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
	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 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
	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
	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
	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
	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
	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 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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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 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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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 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 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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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 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 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
	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 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 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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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 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
	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
	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
	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
	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
	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
	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 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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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 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
	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
	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
	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 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
	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
	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
	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
	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
	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
	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
	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 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 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
	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
	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 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
	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
	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
	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
	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
	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
	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 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
	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
	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 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
	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
	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
	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
	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
	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
	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 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
	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
	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 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
	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 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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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 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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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 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 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
	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
	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
	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
	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
	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 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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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 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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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 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 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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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 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 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 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
	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
	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
	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
	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
	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 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 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 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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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 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
	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