OOPSLA 2021
Proceedings of the ACM on Programming Languages, Volume 5, Number OOPSLA
Powered by
Conference Publishing Consulting

Proceedings of the ACM on Programming Languages, Volume 5, Number OOPSLA, October 20–22, 2021, Chicago, USA

OOPSLA 2021 – Author Index

Contents - Abstracts - Authors

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

Adams, Andrew OOPSLA '21: "Efficient Automatic Scheduling ..."
Amarasinghe, Saman OOPSLA '21: "Compilation of Sparse Array ..."
Anderson, Adam OOPSLA '21: "Rewrite Rule Inference Using ..."
Anderson, Carolyn Jane OOPSLA '21: "Solver-Based Gradual Type ..."
Anderson, Luke OOPSLA '21: "Efficient Automatic Scheduling ..."
Andow, Samantha OOPSLA '21: "Coarsening Optimization for ..."
Apostolakis, Sotiris OOPSLA '21: "Safer at Any Speed: Automatic ..."
Arroyo-Fang, Emilio OOPSLA '21: "Coarsening Optimization for ..."
Astorga, Angello OOPSLA '21: "Synthesizing Contracts Correct ..."
Atkinson, Eric OOPSLA '21: "Statically Bounded-Memory ..."
August, David I. OOPSLA '21: "Safer at Any Speed: Automatic ..."
Awar, Nader Al OOPSLA '21: "Programming and Execution ..."
Bao, Yuyan OOPSLA '21: "Reachability Types: Tracking ..."
Barbar, Mohamad OOPSLA '21: "Compacting Points-To Sets ..."
Barke, Shraddha OOPSLA '21: "LooPy: Interactive Program ..."
Bartha, Sándor OOPSLA '21: "One Down, 699 to Go: or, Synthesising ..."
Baudart, Guillaume OOPSLA '21: "Statically Bounded-Memory ..."
Bavishi, Rohan OOPSLA '21: "Gauss: Program Synthesis by ..."
Belle, Vaishak OOPSLA '21: "One Down, 699 to Go: or, Synthesising ..."
Belyakova, Julia OOPSLA '21: "Type Stability in Julia: Avoiding ..."
Bigelow, Robert OOPSLA '21: "Not So Fast: Understanding ..."
Bílý, Aurel OOPSLA '21: "Modular Specification and ..."
Biswas, Ranadeep OOPSLA '21: "MonkeyDB: Effectively Testing ..."
Bračevac, Oliver OOPSLA '21: "Reachability Types: Tracking ..."
Bräm, Christian OOPSLA '21: "Rich Specifications for Ethereum ..."
Brotzman, Robert OOPSLA '21: "SpecSafe: Detecting Cache ..."
Brown, Michael D. OOPSLA '21: "Not So Fast: Understanding ..."
Bui, Truc Lam OOPSLA '21: "The Reads-From Equivalence ..."
Burckhardt, Sebastian OOPSLA '21: "Durable Functions: Semantics ..."
Carbin, Michael OOPSLA '21: "Statically Bounded-Memory ..."
Carmer, Brent OOPSLA '21: "A Type System for Extracting ..."
Chaliasos, Stefanos OOPSLA '21: "Well-Typed Programs Can Go ..."
Chasins, Sarah E. OOPSLA '21: "How Statically-Typed Functional ..."
Chatterjee, Krishnendu OOPSLA '21: "The Reads-From Equivalence ..."
Cheney, James OOPSLA '21: "One Down, 699 to Go: or, Synthesising ..."
Chou, Stephen OOPSLA '21: "Compilation of Sparse Array ..."
Chung, Benjamin OOPSLA '21: "Type Stability in Julia: Avoiding ..."
Cohen, Albert OOPSLA '21: "Reconciling Optimization with ..."
Cronburg, Karl OOPSLA '21: "Permchecker: A Toolchain for ..."
David, Cristina OOPSLA '21: "Synbit: Synthesizing Bidirectional ..."
Dea, Irene OOPSLA '21: "Coarsening Optimization for ..."
De Grandmaison, Arnaud OOPSLA '21: "Reconciling Optimization with ..."
Delaware, Benjamin OOPSLA '21: "Data-Driven Abductive Inference ..."
De Porre, Kevin OOPSLA '21: "ECROs: Building Global Scale ..."
Dewey, Kyle OOPSLA '21: "Translating C to Safer Rust ..."
Dickerson, Robert OOPSLA '21: "Data-Driven Abductive Inference ..."
Dietl, Werner OOPSLA '21: "Scalability and Precision ..."
Dillig, Işıl OOPSLA '21: "UDF to SQL Translation through ..."
Dinkins, Ahmad OOPSLA '21: "Synthesizing Contracts Correct ..."
Donaldson, Alastair F. OOPSLA '21: "Specifying and Testing GPU ..." OOPSLA '21: "The Semantics of Shared Memory ..."
Donat-Bouillud, Pierre OOPSLA '21: "What We Eval in the Shadows: ..."
Drosos, Georgios-Petros OOPSLA '21: "Well-Typed Programs Can Go ..."
Dura, Alexandru OOPSLA '21: "JavaDL: Automatically Incrementalizing ..."
Eilers, Marco OOPSLA '21: "Rich Specifications for Ethereum ..."
Emre, Mehmet OOPSLA '21: "Translating C to Safer Rust ..."
Enea, Constantin OOPSLA '21: "MonkeyDB: Effectively Testing ..."
Eugster, Patrick OOPSLA '21: "A Multiparty Session Typing ..."
Evrard, Hugues OOPSLA '21: "Specifying and Testing GPU ..."
Ferdowsifard, Kasra OOPSLA '21: "LooPy: Interactive Program ..."
Ferreira, Carla OOPSLA '21: "ECROs: Building Global Scale ..."
Flückiger, Olivier OOPSLA '21: "Promises Are Made to Be Broken: ..."
Foster, Jeffrey S. OOPSLA '21: "SimTyper: Sound Type Inference ..."
Fu, Weili OOPSLA '21: "Label Dependent Lambda Calculus ..."
Gafter, Neal OOPSLA '21: "Coarsening Optimization for ..."
Gao, Xiang OOPSLA '21: "APIfix: Output-Oriented Program ..."
Gautam, Tushar OOPSLA '21: "The Reads-From Equivalence ..."
George, Johann OOPSLA '21: "Coarsening Optimization for ..."
Gillum, Chris OOPSLA '21: "Durable Functions: Semantics ..."
Gligoric, Milos OOPSLA '21: "Programming and Execution ..."
Goel, Aviral OOPSLA '21: "Promises Are Made to Be Broken: ..." OOPSLA '21: "What We Eval in the Shadows: ..."
Gokhale, Satyajit OOPSLA '21: "Automatic Migration from Synchronous ..."
Gonzalez Boix, Elisa OOPSLA '21: "ECROs: Building Global Scale ..."
Grech, Neville OOPSLA '21: "Symbolic Value-Flow Static ..."
Greenberg, Michael OOPSLA '21: "Solver-Based Gradual Type ..." OOPSLA '21: "Gradually Structured Data ..."
Grosser, Tobias OOPSLA '21: "FPL: Fast Presburger Arithmetic ..."
Grossman, Dan OOPSLA '21: "Rewrite Rule Inference Using ..."
Grover, Anvay OOPSLA '21: "Compiling with Continuations, ..."
Grueter, Melissa OOPSLA '21: "Coarsening Optimization for ..."
Guha, Arjun OOPSLA '21: "Solver-Based Gradual Type ..."
Guillon, Christophe OOPSLA '21: "Reconciling Optimization with ..."
Gulwani, Sumit OOPSLA '21: "Multi-modal Program Inference: ..." OOPSLA '21: "Semantic Programming by Example ..." OOPSLA '21: "APIfix: Output-Oriented Program ..."
Guyer, Samuel Z. OOPSLA '21: "Permchecker: A Toolchain for ..."
Hardekopf, Ben OOPSLA '21: "Translating C to Safer Rust ..."
He, Paul OOPSLA '21: "A Type System for Extracting ..."
He, Qiyang OOPSLA '21: "Reachability Types: Tracking ..."
Henry, Rawn OOPSLA '21: "Compilation of Sparse Array ..."
Herklotz, Yann OOPSLA '21: "Formal Verification of High-Level ..."
Heydemann, Karine OOPSLA '21: "Reconciling Optimization with ..."
Hoefler, Torsten OOPSLA '21: "FPL: Fast Presburger Arithmetic ..."
Honoré, Wolf OOPSLA '21: "Much ADO about Failures: A ..."
Hsu, Olivia OOPSLA '21: "Compilation of Sparse Array ..."
Hu, Raymond OOPSLA '21: "A Multiparty Session Typing ..."
Hu, Zhenjiang OOPSLA '21: "Generalizable Synthesis through ..."
Huang, Heqing OOPSLA '21: "Program Analysis via Efficient ..."
Iorga, Dan OOPSLA '21: "The Semantics of Shared Memory ..."
Ishimwe, Didier OOPSLA '21: "Dynaplex: Analyzing Program ..."
Jaber, Nouraldin OOPSLA '21: "QuickSilver: Modeling and ..."
Jacobs, Swen OOPSLA '21: "QuickSilver: Modeling and ..."
Jagannathan, Suresh OOPSLA '21: "Data-Driven Abductive Inference ..."
Jain, Kush OOPSLA '21: "Programming and Execution ..."
Ječmen, Jan OOPSLA '21: "Promises Are Made to Be Broken: ..."
Ji, Ruyi OOPSLA '21: "Generalizable Synthesis through ..."
Jia, Xiaodong OOPSLA '21: "A Derivative-Based Parser ..."
Jiang, Yuxuan OOPSLA '21: "Reachability Types: Tracking ..."
Jin, Tian OOPSLA '21: "Efficient Automatic Scheduling ..."
Justo, David OOPSLA '21: "Durable Functions: Semantics ..."
Kakwani, Diptanshu OOPSLA '21: "MonkeyDB: Effectively Testing ..."
Kallas, Konstantinos OOPSLA '21: "Durable Functions: Semantics ..."
Kandemir, Mahmut Taylan OOPSLA '21: "SpecSafe: Detecting Cache ..."
Karachalias, Georgios OOPSLA '21: "Efficient Compilation of Algebraic ..."
Kazerounian, Milod OOPSLA '21: "SimTyper: Sound Type Inference ..."
Kim, Jieung OOPSLA '21: "Much ADO about Failures: A ..."
Kirsch, Christoph M. OOPSLA '21: "What We Eval in the Shadows: ..."
Kjolstad, Fredrik OOPSLA '21: "Copy-and-Patch Compilation: ..." OOPSLA '21: "Compilation of Sparse Array ..."
Koprivec, Filip OOPSLA '21: "Efficient Compilation of Algebraic ..."
Krause, Fabian OOPSLA '21: "Label Dependent Lambda Calculus ..."
Křikava, Filip OOPSLA '21: "What We Eval in the Shadows: ..."
Krishna, Siddharth OOPSLA '21: "Verifying Concurrent Multicopy ..."
Krynski, Sebastián OOPSLA '21: "Promises Are Made to Be Broken: ..."
Kulkarni, Milind OOPSLA '21: "QuickSilver: Modeling and ..."
Kumar, Ashish OOPSLA '21: "A Derivative-Based Parser ..."
Lagouvardos, Sifis OOPSLA '21: "Symbolic Value-Flow Static ..."
Lahav, Ori OOPSLA '21: "Making Weak Memory Models ..."
Lal, Akash OOPSLA '21: "MonkeyDB: Effectively Testing ..."
Lanzinger, Florian OOPSLA '21: "Scalability and Precision ..."
Le, Vu OOPSLA '21: "Multi-modal Program Inference: ..." OOPSLA '21: "Semantic Programming by Example ..."
Lemieux, Caroline OOPSLA '21: "Gauss: Program Synthesis by ..."
Lerner, Sorin OOPSLA '21: "LooPy: Interactive Program ..."
Levy, Amit OOPSLA '21: "Safer at Any Speed: Automatic ..."
Li, Tzu-Mao OOPSLA '21: "Efficient Automatic Scheduling ..."
Li, Yue OOPSLA '21: "Making Pointer Analysis More ..."
Lubin, Justin OOPSLA '21: "How Statically-Typed Functional ..."
Ma, Karima OOPSLA '21: "Efficient Automatic Scheduling ..."
Ma, Xiaoxing OOPSLA '21: "Making Pointer Analysis More ..."
Madhusudan, P. OOPSLA '21: "Synthesizing Contracts Correct ..."
Madsen, Magnus OOPSLA '21: "Relational Nullable Types ..."
Malewski, Stefan OOPSLA '21: "Gradually Structured Data ..."
Mandel, Louis OOPSLA '21: "Statically Bounded-Memory ..."
Martonosi, Margaret OOPSLA '21: "Specifying and Testing GPU ..."
Matheja, Christoph OOPSLA '21: "Modular Specification and ..."
Matsuda, Kazutaka OOPSLA '21: "Synbit: Synthesizing Bidirectional ..."
McMahon, Connor OOPSLA '21: "Durable Functions: Semantics ..."
Meijer, Erik OOPSLA '21: "Coarsening Optimization for ..."
Meiklejohn, Christopher S. OOPSLA '21: "Durable Functions: Semantics ..."
Min, Bonan OOPSLA '21: "SimTyper: Sound Type Inference ..."
Mitropoulos, Charalambos OOPSLA '21: "Well-Typed Programs Can Go ..."
Mitropoulos, Dimitris OOPSLA '21: "Well-Typed Programs Can Go ..."
Moreira, Angélica Aparecida OOPSLA '21: "VESPA: Static Profiling for ..."
Morris, Daniel OOPSLA '21: "Multi-modal Program Inference: ..."
Muehlboeck, Fabian OOPSLA '21: "Transitioning from Structural ..."
Müller, Peter OOPSLA '21: "Rich Specifications for Ethereum ..." OOPSLA '21: "Modular Specification and ..."
Murray, Toby OOPSLA '21: "SecRSL: Security Separation ..."
Mururu, Girish OOPSLA '21: "Not So Fast: Understanding ..."
Namakonov, Egor OOPSLA '21: "Making Weak Memory Models ..."
Nandi, Chandrakana OOPSLA '21: "Rewrite Rule Inference Using ..."
Nguyen, KimHao OOPSLA '21: "Dynaplex: Analyzing Program ..."
Nguyen, ThanhVu OOPSLA '21: "Dynaplex: Analyzing Program ..."
Oberhauser, Jonas OOPSLA '21: "Making Weak Memory Models ..."
Olukotun, Kunle OOPSLA '21: "Compilation of Sparse Array ..."
Ottoni, Guilherme OOPSLA '21: "VESPA: Static Profiling for ..."
Pande, Santosh OOPSLA '21: "Not So Fast: Understanding ..."
Paraskevopoulou, Zoe OOPSLA '21: "Compiling with Continuations, ..."
Park, Jiwon OOPSLA '21: "Generative Type-Aware Mutation ..."
Patel, Nisarg OOPSLA '21: "Verifying Concurrent Multicopy ..."
Pavlogiannis, Andreas OOPSLA '21: "The Reads-From Equivalence ..."
Peleg, Hila OOPSLA '21: "LooPy: Interactive Program ..."
Pelenitsyn, Artem OOPSLA '21: "Type Stability in Julia: Avoiding ..."
Phifer, Chris OOPSLA '21: "A Type System for Extracting ..."
Phipps-Costin, Luna OOPSLA '21: "Solver-Based Gradual Type ..."
Piskac, Ruzica OOPSLA '21: "Static Detection of Silent ..."
Pitchanathan, Arjun OOPSLA '21: "FPL: Fast Presburger Arithmetic ..."
Podkopaev, Anton OOPSLA '21: "Making Weak Memory Models ..."
Polikarpova, Nadia OOPSLA '21: "LooPy: Interactive Program ..."
Pollard, James D. OOPSLA '21: "Formal Verification of High-Level ..."
Popescu, Natalie OOPSLA '21: "Safer at Any Speed: Automatic ..."
Preguiça, Nuno OOPSLA '21: "ECROs: Building Global Scale ..."
Pretnar, Matija OOPSLA '21: "Efficient Compilation of Algebraic ..."
Pruett, Matthew OOPSLA '21: "Not So Fast: Understanding ..."
Pu, Geguang OOPSLA '21: "Fully Automated Functional ..."
Quintão Pereira, Fernando Magno OOPSLA '21: "VESPA: Static Profiling for ..."
Radhakrishna, Arjun OOPSLA '21: "Multi-modal Program Inference: ..." OOPSLA '21: "APIfix: Output-Oriented Program ..."
Ragan-Kelley, Jonathan OOPSLA '21: "Efficient Automatic Scheduling ..."
Rahmani, Kia OOPSLA '21: "Multi-modal Program Inference: ..."
Ramanathan, Nadesh OOPSLA '21: "Formal Verification of High-Level ..."
Raval, Harmit OOPSLA '21: "Specifying and Testing GPU ..."
Raza, Mohammad OOPSLA '21: "Multi-modal Program Inference: ..."
Reichenbach, Christoph OOPSLA '21: "JavaDL: Automatically Incrementalizing ..."
Reiter, Michael K. OOPSLA '21: "Interpretable Noninterference ..."
Robert, Valentin OOPSLA '21: "A Type System for Extracting ..."
Rompf, Tiark OOPSLA '21: "Reachability Types: Tracking ..."
Rossbach, Christopher J. OOPSLA '21: "Programming and Execution ..."
Roth, Ori OOPSLA '21: "Study of the Subtyping Machine ..."
Roychoudhury, Abhik OOPSLA '21: "APIfix: Output-Oriented Program ..."
Saha, Shambwaditya OOPSLA '21: "Synthesizing Contracts Correct ..."
Saiki, Brett OOPSLA '21: "Rewrite Rule Inference Using ..."
Salvador, Lucas F. OOPSLA '21: "Specifying and Testing GPU ..."
Samanta, Roopsha OOPSLA '21: "QuickSilver: Modeling and ..."
Schrijvers, Tom OOPSLA '21: "Efficient Compilation of Algebraic ..."
Schroeder, Ryan OOPSLA '21: "Translating C to Safer Rust ..."
Schulz, Adriana OOPSLA '21: "Rewrite Rule Inference Using ..."
Sen, Koushik OOPSLA '21: "Gauss: Program Synthesis by ..."
Shao, Zhong OOPSLA '21: "Much ADO about Failures: A ..."
Shariffdeen, Ridwan OOPSLA '21: "APIfix: Output-Oriented Program ..."
Shasha, Dennis OOPSLA '21: "Verifying Concurrent Multicopy ..."
Shen, Xipeng OOPSLA '21: "Coarsening Optimization for ..." OOPSLA '21: "UDF to SQL Translation through ..."
Shi, Qingkai OOPSLA '21: "Program Analysis via Efficient ..."
Shin, Ji-Yong OOPSLA '21: "Much ADO about Failures: A ..."
Shivers, Olin Grigsby OOPSLA '21: "Coarsening Optimization for ..."
Sierra, Robin OOPSLA '21: "Rich Specifications for Ethereum ..."
Smaragdakis, Yannis OOPSLA '21: "Making Pointer Analysis More ..." OOPSLA '21: "Symbolic Value-Flow Static ..."
Smeltzer, Karl OOPSLA '21: "A Type System for Extracting ..."
Soares, Gustavo OOPSLA '21: "Multi-modal Program Inference: ..." OOPSLA '21: "APIfix: Output-Oriented Program ..."
Söderberg, Emma OOPSLA '21: "JavaDL: Automatically Incrementalizing ..."
Sorensen, Tyler OOPSLA '21: "Specifying and Testing GPU ..." OOPSLA '21: "The Semantics of Shared Memory ..."
Sotiropoulos, Thodoris OOPSLA '21: "Well-Typed Programs Can Go ..."
Spinellis, Diomidis OOPSLA '21: "Well-Typed Programs Can Go ..."
Steele Jr., Guy L. OOPSLA '21: "LXM: Better Splittable Pseudorandom ..."
Ştefănescu, Andrei OOPSLA '21: "A Type System for Extracting ..."
Stoica, Ion OOPSLA '21: "Gauss: Program Synthesis by ..."
Stumpos, Steffi OOPSLA '21: "Coarsening Optimization for ..."
Su, Ting OOPSLA '21: "Fully Automated Functional ..."
Su, Zhendong OOPSLA '21: "Generative Type-Aware Mutation ..." OOPSLA '21: "Fully Automated Functional ..."
Sui, Yulei OOPSLA '21: "Compacting Points-To Sets ..."
Summers, Alexander J. OOPSLA '21: "Rich Specifications for Ethereum ..." OOPSLA '21: "Modular Specification and ..."
Sun, Jingling OOPSLA '21: "Fully Automated Functional ..."
Tan, Gang OOPSLA '21: "A Derivative-Based Parser ..." OOPSLA '21: "SpecSafe: Detecting Cache ..."
Tan, Tian OOPSLA '21: "Making Pointer Analysis More ..."
Tanter, Éric OOPSLA '21: "Gradually Structured Data ..."
Tate, Ross OOPSLA '21: "Type Stability in Julia: Avoiding ..." OOPSLA '21: "Transitioning from Structural ..."
Tatlock, Zachary OOPSLA '21: "Rewrite Rule Inference Using ..."
Tempest, Alanna OOPSLA '21: "Coarsening Optimization for ..."
Thiemann, Peter OOPSLA '21: "Label Dependent Lambda Calculus ..."
Tip, Frank OOPSLA '21: "Automatic Migration from Synchronous ..."
Tiwari, Ashish OOPSLA '21: "Multi-modal Program Inference: ..."
Toman, Viktor OOPSLA '21: "The Reads-From Equivalence ..."
Tomb, Aaron OOPSLA '21: "A Type System for Extracting ..."
Triantafyllou, Konstantinos OOPSLA '21: "Symbolic Value-Flow Static ..."
Tsatiris, Ilias OOPSLA '21: "Symbolic Value-Flow Static ..."
Turcotte, Alexi OOPSLA '21: "Automatic Migration from Synchronous ..."
Ulbrich, Mattias OOPSLA '21: "Scalability and Precision ..."
Ulmann, Christian OOPSLA '21: "FPL: Fast Presburger Arithmetic ..."
Vafeiadis, Viktor OOPSLA '21: "Making Weak Memory Models ..."
Van de Pol, Jaco OOPSLA '21: "Relational Nullable Types ..."
Vedurada, Jyothi OOPSLA '21: "MonkeyDB: Effectively Testing ..."
Verbruggen, Gust OOPSLA '21: "Semantic Programming by Example ..."
Viering, Malte OOPSLA '21: "A Multiparty Session Typing ..."
Vigna, Sebastiano OOPSLA '21: "LXM: Better Splittable Pseudorandom ..."
Vitek, Jan