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

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

316 authors

proc time: 7.5