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

Proceedings of the ACM on Programming Languages, Volume 4, Number OOPSLA, November 16–20, 2020, Virtual, USA

OOPSLA 2020 – Author Index

Contents - Abstracts - Authors

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 OOPSLA '20: "Do You Have Space for Dessert? ..."
Acar, Umut A. OOPSLA '20: "Program Equivalence for Assisted ..."
Adams, Andrew OOPSLA '20: "Verifying and Improving Halide’s ..."
Adve, Vikram S. OOPSLA '20: "Guided Linking: Dynamic Linking ..."
Albert, Elvira OOPSLA '20: "Taming Callbacks for Smart ..."
Aldrich, Jonathan OOPSLA '20: "Gradual Verification of Recursive ..." OOPSLA '20: "Can Advanced Type Systems ..."
Alon, Uri OOPSLA '20: "A Structural Model for Contextual ..." OOPSLA '20: "Neural Reverse Engineering ..." OOPSLA '20: "Adversarial Examples for Models ..."
Alur, Rajeev OOPSLA '20: "DiffStream: Differential Output ..."
Amarasinghe, Saman OOPSLA '20: "A Sparse Iteration Space Transformation ..."
Andersen, Leif OOPSLA '20: "Adding Interactive Visual ..."
Antonopoulos, Timos OOPSLA '20: "DynamiTe: Dynamic Termination ..."
Astrauskas, Vytautas OOPSLA '20: "How Do Programmers Use Unsafe ..."
Atkinson, Eric OOPSLA '20: "Programming and Reasoning ..."
Avanzini, Martin OOPSLA '20: "A Modular Cost Analysis for ..."
Babokin, Dmitry OOPSLA '20: "Random Testing for C and C++ ..."
Bach Poulsen, Casper OOPSLA '20: "Knowing When to Ask: Sound ..."
Bader, Johannes OOPSLA '20: "Gradual Verification of Recursive ..."
Bagherzadeh, Mehdi OOPSLA '20: "Actor Concurrency Bugs: A ..."
Ballantyne, Michael OOPSLA '20: "Macros for Domain-Specific ..." OOPSLA '20: "Adding Interactive Visual ..."
Banerjee, Subarno OOPSLA '20: "Sound Garbage Collection for ..."
Bansal, Sorav OOPSLA '20: "Counterexample-Guided Correlation ..."
Barke, Shraddha OOPSLA '20: "Feedback-Driven Semi-supervised ..." OOPSLA '20: "Just-in-Time Learning for ..."
Bartell, Sean OOPSLA '20: "Guided Linking: Dynamic Linking ..."
Basin, David OOPSLA '20: "Igloo: Soundly Linking Compositional ..."
Bassily, Raef OOPSLA '20: "Differentially-Private Software ..."
Bell, Jonathan OOPSLA '20: "A Large-Scale Longitudinal ..."
Belyakova, Julia OOPSLA '20: "World Age in Julia: Optimizing ..."
Bembenek, Aaron OOPSLA '20: "Formulog: Datalog for SMT-Based ..."
Berger, Emery D. OOPSLA '20: "Mossad: Defeating Software ..."
Biboudis, Aggelos OOPSLA '20: "A Type-and-Effect System for ..."
Biswas, Arpita OOPSLA '20: "Learning-Based Controlled ..."
Bodik, Rastislav OOPSLA '20: "Verifying and Improving Halide’s ..."
Boulmé, Sylvain OOPSLA '20: "Certified and Efficient Instruction ..."
Bračevac, Oliver OOPSLA '20: "Compiling Symbolic Execution ..."
Brachthäuser, Jonathan Immanuel OOPSLA '20: "Effects as Capabilities: Effect ..."
Brody, Shaked OOPSLA '20: "A Structural Model for Contextual ..."
Brun, Yuriy OOPSLA '20: "TacTok: Semantics-Aware Proof ..."
Campora, John Peter OOPSLA '20: "Taming Type Annotations in ..."
Carbin, Michael OOPSLA '20: "Programming and Reasoning ..."
Castro-Perez, David OOPSLA '20: "CAMP: Cost-Aware Multiparty ..."
Chaliasos, Stefanos OOPSLA '20: "A Model for Detecting Faults ..."
Chari, Guido OOPSLA '20: "Contextual Dispatch for Function ..."
Chechik, Marsha OOPSLA '20: "Automatic and Efficient Variability-Aware ..."
Chen, Lingyun OOPSLA '20: "Hidden Inheritance: An Inline ..."
Chen, Peter M. OOPSLA '20: "Sound Garbage Collection for ..."
Chen, Sheng OOPSLA '20: "Taming Type Annotations in ..."
Chen, Xiaohong OOPSLA '20: "Towards a Unified Proof Framework ..."
Chen, Yueqi OOPSLA '20: "Exposing Cache Timing Side-Channel ..."
Cheng, Xiao OOPSLA '20: "Flow2Vec: Value-Flow-Based ..."
Cheng, Yueqiang OOPSLA '20: "Exposing Cache Timing Side-Channel ..."
Chong, Stephen OOPSLA '20: "Formulog: Datalog for SMT-Based ..."
Chou, Stephen OOPSLA '20: "A Sparse Iteration Space Transformation ..."
Christakis, Maria OOPSLA '20: "Perfectly Parallel Fairness ..."
Chu, Duc-Hiep OOPSLA '20: "Inter-theory Dependency Analysis ..."
Chung, Benjamin OOPSLA '20: "World Age in Julia: Optimizing ..."
Clochard, Martin OOPSLA '20: "Igloo: Soundly Linking Compositional ..."
Clune, Joshua OOPSLA '20: "Program Equivalence for Assisted ..."
Coblenz, Michael OOPSLA '20: "Can Advanced Type Systems ..."
Darulova, Eva OOPSLA '20: "Interactive Synthesis of Temporal ..."
David, Yaniv OOPSLA '20: "Neural Reverse Engineering ..."
Deligiannis, Pantazis OOPSLA '20: "Learning-Based Controlled ..."
Demsky, Brian OOPSLA '20: "Satune: Synthesizing Efficient ..."
Devecsery, David OOPSLA '20: "Sound Garbage Collection for ..."
Devore-McDonald, Breanna OOPSLA '20: "Mossad: Defeating Software ..."
Dietl, Werner OOPSLA '20: "Precise Inference of Expressive ..."
Dietz, Will OOPSLA '20: "Guided Linking: Dynamic Linking ..."
Dillig, Isil OOPSLA '20: "Automated Policy Synthesis ..."
Ding, Yufei OOPSLA '20: "Projection-Based Runtime Assertions ..."
Doshi, Shivani OOPSLA '20: "Digging for Fold: Synthesis-Aided ..."
Drăgoi, Cezara OOPSLA '20: "Programming at the Edge of ..." OOPSLA '20: "Testing Consensus Implementations ..."
Eilers, Marco OOPSLA '20: "Igloo: Soundly Linking Compositional ..."
Enea, Constantin OOPSLA '20: "Testing Consensus Implementations ..." OOPSLA '20: "Proving Highly-Concurrent ..."
Erdweg, Sebastian OOPSLA '20: "A Systematic Approach to Deriving ..."
Eskandani, Nafise OOPSLA '20: "Rethinking Safe Consistency ..."
Eugster, Patrick OOPSLA '20: "Scalable and Serializable ..."
Falkenstein, Maximilian OOPSLA '20: "Fast Linear Programming through ..."
Farooq, Umar OOPSLA '20: "LiveDroid: Identifying and ..."
Fathololumi, Parisa OOPSLA '20: "DynamiTe: Dynamic Termination ..."
Feldman, Yotam M. Y. OOPSLA '20: "Proving Highly-Concurrent ..."
Felleisen, Matthias OOPSLA '20: "Macros for Domain-Specific ..." OOPSLA '20: "Adding Interactive Visual ..."
Ferreira, Francisco OOPSLA '20: "Statically Verified Refinements ..."
Feser, John OOPSLA '20: "Deductive Optimization of ..."
Fireman, Nicholas OOPSLA '20: "Actor Concurrency Bugs: A ..."
First, Emily OOPSLA '20: "TacTok: Semantics-Aware Proof ..."
Flanagan, Cormac OOPSLA '20: "The Anchor Verifier for Blocking ..."
Flückiger, Olivier OOPSLA '20: "Contextual Dispatch for Function ..."
Freund, Stephen N. OOPSLA '20: "The Anchor Verifier for Blocking ..."
Gabay, Roi OOPSLA '20: "Programming with a Read-Eval-Synth ..."
Gao, Fengjuan OOPSLA '20: "Learning Semantic Program ..."
Gao, Xiang OOPSLA '20: "Feedback-Driven Semi-supervised ..."
Gavran, Ivan OOPSLA '20: "Interactive Synthesis of Temporal ..."
Geisler, Dietrich OOPSLA '20: "Geometry Types for Graphics ..."
Gelinas, Jack OOPSLA '20: "World Age in Julia: Optimizing ..."
Ghosh, Ritwika OOPSLA '20: "Koord: A Language for Programming ..."
Giarrusso, Paolo G. OOPSLA '20: "A Type-and-Effect System for ..."
Gligoric, Milos OOPSLA '20: "Unifying Execution of Imperative ..."
Goel, Aviral OOPSLA '20: "Designing Types for R, Empirically ..."
Gómez-Londoño, Alejandro OOPSLA '20: "Do You Have Space for Dessert? ..."
Gong, Kai OOPSLA '20: "Hidden Inheritance: An Inline ..."
Gorjiara, Hamed OOPSLA '20: "Satune: Synthesizing Efficient ..."
Grech, Neville OOPSLA '20: "Precise Static Modeling of ..."
Greenberg, Michael OOPSLA '20: "Formulog: Datalog for SMT-Based ..."
Griesemer, Robert OOPSLA '20: "Featherweight Go ..."
Grosser, Tobias OOPSLA '20: "Fast Linear Programming through ..."
Grossman, Shelly OOPSLA '20: "Taming Callbacks for Smart ..."
Guha, Arjun OOPSLA '20: "TacTok: Semantics-Aware Proof ..."
Gulwani, Sumit OOPSLA '20: "Feedback-Driven Semi-supervised ..." OOPSLA '20: "Structure Interpretation of ..."
Guo, Shengjian OOPSLA '20: "Exposing Cache Timing Side-Channel ..."
Guo, Zheng OOPSLA '20: "Digging for Fold: Synthesis-Aided ..."
Gupta, Shubhani OOPSLA '20: "Counterexample-Guided Correlation ..."
Haeberlen, Andreas OOPSLA '20: "Testing Differential Privacy ..."
Hain, Jakob OOPSLA '20: "Contextual Dispatch for Function ..."
Han, Jitao OOPSLA '20: "Termination Analysis for Evolving ..."
Häner, Thomas OOPSLA '20: "Enabling Accuracy-Aware Quantum ..." OOPSLA '20: "Assertion-Based Optimization ..."
Hao, Yu OOPSLA '20: "Differentially-Private Software ..."
He, Fei OOPSLA '20: "Termination Analysis for Evolving ..." OOPSLA '20: "Incremental Predicate Analysis ..."
He, Horace OOPSLA '20: "Geometry Types for Graphics ..."
Hicks, Michael OOPSLA '20: "Verifying Replicated Data ..."
Hoefler, Torsten OOPSLA '20: "Fast Linear Programming through ..." OOPSLA '20: "Assertion-Based Optimization ..."
Holík, Lukáš OOPSLA '20: "Regex Matching with Counting-Set ..."
Holtzen, Steven OOPSLA '20: "Scaling Exact Inference for ..."
Hong, Changwan OOPSLA '20: "A Sparse Iteration Space Transformation ..."
Hsieh, Chiao OOPSLA '20: "Koord: A Language for Programming ..."
Hu, Raymond OOPSLA '20: "Statically Verified Refinements ..." OOPSLA '20: "Featherweight Go ..."
Hu, Zhenjiang OOPSLA '20: "Guiding Dynamic Programing ..."
Huang, Jian OOPSLA '20: "WATCHER: In-Situ Failure Diagnosis ..."
Itzhaky, Shachar OOPSLA '20: "Programming with a Read-Eval-Synth ..."
Jaffar, Joxan OOPSLA '20: "Inter-theory Dependency Analysis ..."
Jagadeesan, Radha OOPSLA '20: "Pomsets with Preconditions: ..."
James, Michael B. OOPSLA '20: "Digging for Fold: Synthesis-Aided ..."
Ječmen, Jan OOPSLA '20: "Contextual Dispatch for Function ..."
Jeffrey, Alan OOPSLA '20: "Pomsets with Preconditions: ..."
Jeon, Minseok OOPSLA '20: "Learning Graph-Based Heuristics ..."
Jhala, Ranjit OOPSLA '20: "Digging for Fold: Synthesis-Aided ..."
Ji, Ruyi OOPSLA '20: "Guiding Dynamic Programing ..."
Jia, Limin OOPSLA '20: "Towards a Formal Foundation ..."
Jin, Yihua OOPSLA '20: "Hidden Inheritance: An Inline ..."
Johnson, Steven OOPSLA '20: "Verifying and Improving Halide’s ..."
Kabir, Ifaz OOPSLA '20: "ιDOT: A DOT Calculus with ..."
Kabra, Aditi OOPSLA '20: "Geometry Types for Graphics ..."
Kallas, Konstantinos OOPSLA '20: "DiffStream: Differential Output ..."
Kamil, Shoaib OOPSLA '20: "A Sparse Iteration Space Transformation ..." OOPSLA '20: "Verifying and Improving Halide’s ..."
Kant, Pranav OOPSLA '20: "Dataflow-Based Pruning for ..."
Karachalias, Georgios OOPSLA '20: "Resolution as Intersection ..."
Khatchadourian, Raffi OOPSLA '20: "Actor Concurrency Bugs: A ..."
Khurshid, Sarfraz OOPSLA '20: "Unifying Execution of Imperative ..."
Khyzha, Artem OOPSLA '20: "Proving Highly-Concurrent ..."
King, Alexis OOPSLA '20: "Macros for Domain-Specific ..."
Kirkham, Jake OOPSLA '20: "Foundations of Empirical Memory ..."
Kjolstad, Fredrik OOPSLA '20: "A Sparse Iteration Space Transformation ..."
Klenze, Tobias OOPSLA '20: "Igloo: Soundly Linking Compositional ..."
Köhler, Mirko OOPSLA '20: "Rethinking Safe Consistency ..."
Kokke, Wen OOPSLA '20: "Featherweight Go ..."
Kong, Lingkun OOPSLA '20: "StreamQL: A Query Language ..."
Koskinen, Eric OOPSLA '20: "DynamiTe: Dynamic Termination ..."
Krebbers, Robbert OOPSLA '20: "Knowing When to Ask: Sound ..."
Kruse, Michael OOPSLA '20: "Fast Linear Programming through ..."
Kumar, Aayan OOPSLA '20: "Shiftry: RNN Inference in ..."
Kuper, Lindsey OOPSLA '20: "Verifying Replicated Data ..."
Křikava, Filip OOPSLA '20: "Designing Types for R, Empirically ..."
Lagouvardos, Sifis OOPSLA '20: "Precise Static Modeling of ..."
Lahav, Ori OOPSLA '20: "Persistent Owicki-Gries Reasoning: ..."
Lal, Akash OOPSLA '20: "Learning-Based Controlled ..."
Lam, Wing OOPSLA '20: "A Large-Scale Longitudinal ..."
Lange, Julien OOPSLA '20: "Featherweight Go ..."
Latif, Sufian OOPSLA '20: "Differentially-Private Software ..."
Le, Ton Chanh OOPSLA '20: "DynamiTe: Dynamic Termination ..."
Le, Vu OOPSLA '20: "Structure Interpretation of ..."
Lee, Myungho OOPSLA '20: "Learning Graph-Based Heuristics ..."
Lengál, Ondřej OOPSLA '20: "Regex Matching with Counting-Set ..."
Leobas, Guilherme Vieira OOPSLA '20: "Semiring Optimizations: Dynamic ..."
Leung, Alan OOPSLA '20: "Feedback-Driven Semi-supervised ..."
Lhoták, Ondřej OOPSLA '20: "A Type-and-Effect System for ..." OOPSLA '20: "ιDOT: A DOT Calculus with ..." OOPSLA '20: "Fixpoints for the Masses: ..."
Li, Gushu OOPSLA '20: "Projection-Based Runtime Assertions ..."
Li, Peng OOPSLA '20: "Exposing Cache Timing Side-Channel ..."
Li, Yufeng OOPSLA '20: "ιDOT: A DOT Calculus with ..."
Liao, Bin OOPSLA '20: "Hidden Inheritance: An Inline ..."
Liu, Fengyun OOPSLA '20: "A Type-and-Effect System for ..."
Liu, Hongyu OOPSLA '20: "WATCHER: In-Situ Failure Diagnosis ..."
Liu, Tongping OOPSLA '20: "WATCHER: In-Situ Failure Diagnosis ..."
Liu, Yiyun OOPSLA '20: "Verifying Replicated Data ..."
Liu, Zhengyang OOPSLA '20: "Dataflow-Based Pruning for ..."
Livinskii, Vsevolod OOPSLA '20: "Random Testing for C and C++ ..."
Lucia, Brandon OOPSLA '20: "Towards a Formal Foundation ..."
Luo, Jeff Y. OOPSLA '20: "Precise Inference of Expressive ..."
Madden, Sam OOPSLA '20: "Deductive Optimization of ..."
Madsen, Magnus OOPSLA '20: "Fuzzing Channel-Based Concurrency ..." OOPSLA '20: "Polymorphic Types and Effects ..." OOPSLA '20: "Fixpoints for the Masses: ..."
Majumdar, Rupak OOPSLA '20: "Interactive Synthesis of Temporal ..." OOPSLA '20: "Testing Consensus Implementations ..." OOPSLA '20: "Multiparty Motion Coordination: ..."
Mamouras, Konstantinos OOPSLA '20: "StreamQL: A Query Language ..."
Margara, Alessandro OOPSLA '20: "Rethinking Safe Consistency ..."
Marinov, Darko OOPSLA '20: "A Large-Scale Longitudinal ..."
Marntirosian, Koar OOPSLA '20: "Resolution as Intersection ..."
Martins, Ruben OOPSLA '20: "Program Equivalence for Assisted ..."
Martonosi, Margaret OOPSLA '20: "Foundations of Empirical Memory ..."
Matheja, Christoph OOPSLA '20: "How Do Programmers Use Unsafe ..."
Meuli, Giulia OOPSLA '20: "Enabling Accuracy-Aware Quantum ..."
Milanova, Ana OOPSLA '20: "FlowCFL: Generalized Type-Based ..."
Milicevic, Aleksandar OOPSLA '20: "Unifying Execution of Imperative ..."
Millstein, Todd OOPSLA '20: "Scaling Exact Inference for ..."
Misailovic, Sasa OOPSLA '20: "Koord: A Language for Programming ..."
Mitchell, Neil OOPSLA '20: "Build Scripts with Perfect ..."
Mitra, Sayan OOPSLA '20: "Koord: A Language for Programming ..."
Mitropoulos, Dimitris OOPSLA '20: "A Model for Detecting Faults ..."
Møller, Anders OOPSLA '20: "Detecting Locations in JavaScript ..." OOPSLA '20: "Eliminating Abstraction Overhead ..."
Monniaux, David OOPSLA '20: "Certified and Efficient Instruction ..."
Morrison, Adam OOPSLA '20: "Proving Highly-Concurrent ..."
Moser, Georg OOPSLA '20: "A Modular Cost Analysis for ..."
Mukherjee, Manasij OOPSLA '20: "Dataflow-Based Pruning for ..."
Mukherjee, Suvam OOPSLA '20: "Learning-Based Controlled ..."
Müller, Peter OOPSLA '20: "How Do Programmers Use Unsafe ..." OOPSLA '20: "Igloo: Soundly Linking Compositional ..."
Myers, Andrew C. OOPSLA '20: "Handling Bidirectional Control ..."
Myers, Brad A. OOPSLA '20: "Can Advanced Type Systems ..."
Myreen, Magnus O. OOPSLA '20: "Do You Have Space for Dessert? ..."
Nagappan, Nachiappan OOPSLA '20: "Feedback-Driven Semi-supervised ..."
Nanevski, Aleksandar OOPSLA '20: "Proving Highly-Concurrent ..."
Narayanasamy, Satish OOPSLA '20: "Sound Garbage Collection for ..."
Nash, Jameson OOPSLA '20: "World Age in Julia: Optimizing ..."
Neamtiu, Iulian OOPSLA '20: "LiveDroid: Identifying and ..."
Newcomb, Julie L. OOPSLA '20: "Verifying and Improving Halide’s ..."
Neykova, Rumyana OOPSLA '20: "Statically Verified Refinements ..."
Nguyen, ThanhVu OOPSLA '20: "DynamiTe: Dynamic Termination ..."