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

Proceedings of the ACM on Programming Languages, Volume 3, Number OOPSLA, October 23–25, 2019, Athens, Greece

OOPSLA 2019 – 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

Abdulla, Parosh Aziz OOPSLA '19: "Optimal Stateless Model Checking ..."
Abuah, Chike OOPSLA '19: "Duet: An Expressive Higher-Order ..."
Adams, Ulf OOPSLA '19: "Ryū Revisited: Printf Floating ..."
Adve, Sarita OOPSLA '19: "ApproxHPVM: A Portable Compiler ..."
Adve, Vikram S. OOPSLA '19: "ApproxHPVM: A Portable Compiler ..."
Amarasinghe, Saman OOPSLA '19: "Seq: A High-Performance Language ..."
Antonopoulos, Timos OOPSLA '19: "Specification and Inference ..."
Astrauskas, Vytautas OOPSLA '19: "Leveraging Rust Types for ..."
Atig, Mohamed Faouzi OOPSLA '19: "Optimal Stateless Model Checking ..."
Bader, Johannes OOPSLA '19: "Getafix: Learning to Fix Bugs ..."
Baghdadi, Riyadh OOPSLA '19: "Seq: A High-Performance Language ..."
Bakshy, Eytan OOPSLA '19: "PlanAlyzer: Assessing Threats ..."
Banerjee, Anindya OOPSLA '19: "Specifying Concurrent Programs ..."
Barik, Rajkishore OOPSLA '19: "Optimization of Swift Protocols ..."
Barnaby, Celeste OOPSLA '19: "Aroma: Code Recommendation ..."
Bastani, Osbert OOPSLA '19: "Relational Verification using ..." OOPSLA '19: "Probabilistic Verification ..."
Bastian, Théophile OOPSLA '19: "Reliable and Fast DWARF-Based ..."
Bavishi, Rohan OOPSLA '19: "AutoPandas: Neural-Backed ..."
Benavides, Zachary OOPSLA '19: "DProf: Distributed Profiler ..."
Bender, John OOPSLA '19: "A Formalization of Java’s ..."
Berger, Bonnie OOPSLA '19: "Seq: A High-Performance Language ..."
Berger, Emery D. OOPSLA '19: "PlanAlyzer: Assessing Threats ..."
Bilardi, Gianfranco OOPSLA '19: "Derivative Grammars: A Symbolic ..."
Biswas, Ranadeep OOPSLA '19: "On the Complexity of Checking ..."
Bond, Michael D. OOPSLA '19: "Dependence-Aware, Unbounded ..."
Brun, Yuriy OOPSLA '19: "Formal Foundations of Serverless ..."
Cadar, Cristian OOPSLA '19: "Compiler Fuzzing: How Much ..."
Caires, Luís OOPSLA '19: "Refinement Kinds: Type-Safe ..."
Cambronero, José P. OOPSLA '19: "AL: Autogenerating Supervised ..."
Campora III, John Peter OOPSLA '19: "Generating Precise Error Specifications ..."
Cao, Qinxiang OOPSLA '19: "Certifying Graph-Manipulating ..."
Celik, Ahmet OOPSLA '19: "Design, Implementation, and ..."
Chabbi, Milind OOPSLA '19: "Optimization of Swift Protocols ..."
Chandra, Satish OOPSLA '19: "Aroma: Code Recommendation ..." OOPSLA '19: "Getafix: Learning to Fix Bugs ..."
Chang, Bor-Yuh Evan OOPSLA '19: "Static Analysis with Demand-Driven ..."
Chatterjee, Krishnendu OOPSLA '19: "Modular Verification for Almost-Sure ..." OOPSLA '19: "Value-Centric Dynamic Partial ..."
Chen, Jia OOPSLA '19: "Relational Verification using ..."
Chen, Sheng OOPSLA '19: "Generating Precise Error Specifications ..."
Chen, Yuxuan OOPSLA '19: "Staged Abstract Interpreters: ..."
Chiba, Shigeru OOPSLA '19: "Generating a Fluent API with ..."
Cohen, Nachshon OOPSLA '19: "Efficient Lock-Free Durable ..."
Collange, Caroline OOPSLA '19: "Qubit Allocation as a Combination ..."
D'Antoni, Loris OOPSLA '19: "Automatic Repair of Regular ..."
Darais, David OOPSLA '19: "Duet: An Expressive Higher-Order ..."
Delaware, Benjamin OOPSLA '19: "CLOTHO: Directed Test Generation ..."
Delbianco, Germán Andrés OOPSLA '19: "Specifying Concurrent Programs ..."
Dillig, Isil OOPSLA '19: "Relational Verification using ..."
Dimoulas, Christos OOPSLA '19: "Complete Monitors for Gradual ..."
Donaldson, Alastair F. OOPSLA '19: "Compiler Fuzzing: How Much ..."
Drechsler, Joscha OOPSLA '19: "A Fault-Tolerant Programming ..."
Enea, Constantin OOPSLA '19: "On the Complexity of Checking ..."
Erdweg, Sebastian OOPSLA '19: "Language-Integrated Privacy-Aware ..." OOPSLA '19: "Sound and Reusable Components ..."
Ernst, Michael D. OOPSLA '19: "Modular Verification of Web ..."
Essertel, Grégory M. OOPSLA '19: "Precise Reasoning with Structured ..."
Esteves-Veríssimo, Paulo OOPSLA '19: "Asphalion: Trustworthy Shielding ..."
Fábregas, Ignacio OOPSLA '19: "Specifying Concurrent Programs ..."
Felleisen, Matthias OOPSLA '19: "Complete Monitors for Gradual ..."
Feng, Yu OOPSLA '19: "Relational Verification using ..."
Fernando, Vimuth OOPSLA '19: "Verifying Safety and Accuracy ..."
Foster, Jeffrey S. OOPSLA '19: "Program Synthesis with Algebraic ..."
Fox, Roy OOPSLA '19: "AutoPandas: Neural-Backed ..."
Friedman, Michal OOPSLA '19: "Efficient Lock-Free Durable ..."
Fu, Hongfei OOPSLA '19: "Modular Verification for Almost-Sure ..."
Gaddamadugu, Pranav OOPSLA '19: "Duet: An Expressive Higher-Order ..."
Genç, Kaan OOPSLA '19: "Dependence-Aware, Unbounded ..."
Gligoric, Milos OOPSLA '19: "Design, Implementation, and ..."
Goel, Aviral OOPSLA '19: "On the Design, Implementation, ..."
Goharshady, Amir Kafshdar OOPSLA '19: "Modular Verification for Almost-Sure ..."
Greenman, Ben OOPSLA '19: "Complete Monitors for Gradual ..."
Guha, Arjun OOPSLA '19: "Formal Foundations of Serverless ..."
Gulwani, Sumit OOPSLA '19: "On the Fly Synthesis of Edit ..."
Gupta, Rajiv OOPSLA '19: "DProf: Distributed Profiler ..."
Hadzi-Tanovic, Milica OOPSLA '19: "Reflection-Aware Static Regression ..."
Haller, Philipp OOPSLA '19: "Language-Integrated Privacy-Aware ..."
Hamza, Jad OOPSLA '19: "System FR: Formalized Foundations ..."
Hao, Ken Chan Guan OOPSLA '19: "Safer Smart Contract Programming ..."
Hauswirth, Matthias OOPSLA '19: "Casting about in the Dark: ..."
He, Yi OOPSLA '19: "Generating Precise Error Specifications ..."
Henriksen, Ian OOPSLA '19: "Derivative Grammars: A Symbolic ..."
Hicks, Michael OOPSLA '19: "Coverage Guided, Property ..."
Hobor, Aquinas OOPSLA '19: "Certifying Graph-Manipulating ..."
Hofer, Peter OOPSLA '19: "Initialize Once, Start Fast: ..."
Hu, Qinheping OOPSLA '19: "Automatic Repair of Regular ..."
Hu, Xu-Qiang OOPSLA '19: "IVT: An Efficient Method for ..."
Huang, Mingzhang OOPSLA '19: "Modular Verification for Almost-Sure ..."
Huzaifa, Muhammad OOPSLA '19: "ApproxHPVM: A Portable Compiler ..."
Ichikawa, Kazuhiro OOPSLA '19: "Generating a Fluent API with ..."
Jagannathan, Suresh OOPSLA '19: "CLOTHO: Directed Test Generation ..." OOPSLA '19: "Mergeable Replicated Data ..."
Jangda, Abhinav OOPSLA '19: "Formal Foundations of Serverless ..."
Jensen, David D. OOPSLA '19: "PlanAlyzer: Assessing Threats ..."
Jia, Limin OOPSLA '19: "I/O Dependent Idempotence ..."
Jin, Zhi OOPSLA '19: "IntelliMerge: A Refactoring-Aware ..."
Johannsen, Jacob OOPSLA '19: "Safer Smart Contract Programming ..."
Jonsson, Bengt OOPSLA '19: "Optimal Stateless Model Checking ..."
Joshi, Keyur OOPSLA '19: "ApproxHPVM: A Portable Compiler ..." OOPSLA '19: "Verifying Safety and Accuracy ..."
Jovanovic, Vojin OOPSLA '19: "Initialize Once, Start Fast: ..."
Kaki, Gowtham OOPSLA '19: "Mergeable Replicated Data ..."
Kamil, Shoaib OOPSLA '19: "Modular Verification of Web ..."
Keidel, Sven OOPSLA '19: "Sound and Reusable Components ..."
Kell, Stephen OOPSLA '19: "Reliable and Fast DWARF-Based ..."
Kessler, Peter B. OOPSLA '19: "Initialize Once, Start Fast: ..."
Köhler, Mirko OOPSLA '19: "Language-Integrated Privacy-Aware ..."
Kokologiannakis, Michalis OOPSLA '19: "Effective Lock Handling in ..."
Konnov, Igor OOPSLA '19: "TLA+ Model Checking Made Symbolic ..."
Koskinen, Eric OOPSLA '19: "Specification and Inference ..."
Kotsifakou, Maria OOPSLA '19: "ApproxHPVM: A Portable Compiler ..."
Křikava, Filip OOPSLA '19: "Scala Implicits Are Everywhere: ..."
Kukovec, Jure OOPSLA '19: "TLA+ Model Checking Made Symbolic ..."
Kumar, Amrit OOPSLA '19: "Safer Smart Contract Programming ..."
Kunčak, Viktor OOPSLA '19: "System FR: Formalized Foundations ..."
Kwon, Yonghwi OOPSLA '19: "BDA: Practical Dependence ..."
Lång, Magnus OOPSLA '19: "Optimal Stateless Model Checking ..."
Lampropoulos, Leonidas OOPSLA '19: "Coverage Guided, Property ..."
Le, Ton Chanh OOPSLA '19: "Specification and Inference ..."
Le, Vu OOPSLA '19: "On the Fly Synthesis of Edit ..."
Lee, Myungho OOPSLA '19: "Automatic and Scalable Detection ..."
Legunsen, Owolabi OOPSLA '19: "Reflection-Aware Static Regression ..."
Lemieux, Caroline OOPSLA '19: "AutoPandas: Neural-Backed ..." OOPSLA '19: "FuzzFactory: Domain-Specific ..."
Leung, Alan OOPSLA '19: "On the Fly Synthesis of Edit ..."
Lhoták, Ondřej OOPSLA '19: "A Path to DOT: Formalizing ..."
Li, Yi OOPSLA '19: "Improving Bug Detection via ..."
Liang, Guangtai OOPSLA '19: "IntelliMerge: A Refactoring-Aware ..."
Lu, Jingbo OOPSLA '19: "Precision-Preserving Yet Fast ..."
Luan, Sifei OOPSLA '19: "Aroma: Code Recommendation ..."
Lucia, Brandon OOPSLA '19: "I/O Dependent Idempotence ..."
Majumdar, Rupak OOPSLA '19: "Trace Aware Random Testing ..."
Marcozzi, Michaël OOPSLA '19: "Compiler Fuzzing: How Much ..."
Mariano, Benjamin OOPSLA '19: "Program Synthesis with Algebraic ..."
Marinov, Darko OOPSLA '19: "Reflection-Aware Static Regression ..."
Mastrangelo, Luis OOPSLA '19: "Casting about in the Dark: ..."
Mezini, Mira OOPSLA '19: "Language-Integrated Privacy-Aware ..." OOPSLA '19: "A Fault-Tolerant Programming ..."
Miller, Heather OOPSLA '19: "Scala Implicits Are Everywhere: ..."
Miltner, Anders OOPSLA '19: "On the Fly Synthesis of Edit ..."
Misailovic, Sasa OOPSLA '19: "ApproxHPVM: A Portable Compiler ..." OOPSLA '19: "Verifying Safety and Accuracy ..."
Møller, Anders OOPSLA '19: "Static Analysis with Demand-Driven ..."
Mogk, Ragnar OOPSLA '19: "A Fault-Tolerant Programming ..."
Mohan, Anshuman OOPSLA '19: "Certifying Graph-Manipulating ..."
Moss, J. Eliot B. OOPSLA '19: "PlanAlyzer: Assessing Threats ..."
Müller, Peter OOPSLA '19: "Leveraging Rust Types for ..." OOPSLA '19: "Modular Verification of Heap ..."
Nagar, Kartik OOPSLA '19: "CLOTHO: Directed Test Generation ..."
Nagaraj, Vaivaswatha OOPSLA '19: "Safer Smart Contract Programming ..."
Nakamaru, Tomoki OOPSLA '19: "Generating a Fluent API with ..."
Nanevski, Aleksandar OOPSLA '19: "Specifying Concurrent Programs ..."
Near, Joseph P. OOPSLA '19: "Duet: An Expressive Higher-Order ..."
Ngo, Tuan Phong OOPSLA '19: "Optimal Stateless Model Checking ..."
Nguyen, ThanhVu OOPSLA '19: "Program Synthesis with Algebraic ..."
Nguyen, Tien N. OOPSLA '19: "Improving Bug Detection via ..."
Nie, Pengyu OOPSLA '19: "Design, Implementation, and ..."
Nielsen, Benjamin Barslev OOPSLA '19: "Static Analysis with Demand-Driven ..."
Numanagić, Ibrahim OOPSLA '19: "Seq: A High-Performance Language ..."
Nystrom, Nathaniel OOPSLA '19: "Casting about in the Dark: ..."
Oh, Hakjoo OOPSLA '19: "Automatic and Scalable Detection ..."
Oraee, Simin OOPSLA '19: "Trace Aware Random Testing ..."
Ozkan, Burcu Kulahcioglu OOPSLA '19: "Trace Aware Random Testing ..."
Padhye, Rohan OOPSLA '19: "FuzzFactory: Domain-Specific ..."
Palsberg, Jens OOPSLA '19: "A Formalization of Java’s ..."
Pan, Rong OOPSLA '19: "Automatic Repair of Regular ..."
Panchekha, Pavel OOPSLA '19: "Modular Verification of Web ..."
Pavlogiannis, Andreas OOPSLA '19: "Value-Centric Dynamic Partial ..."
Pereira, Fernando Magno Quintão OOPSLA '19: "Qubit Allocation as a Combination ..."
Petrank, Erez OOPSLA '19: "Efficient Lock-Free Durable ..."
Pichon-Pharabod, Jean OOPSLA '19: "Weakening WebAssembly ..."
Pierce, Benjamin C. OOPSLA '19: "Coverage Guided, Property ..."
Pinckney, Donald OOPSLA '19: "Formal Foundations of Serverless ..."
Pingali, Keshav OOPSLA '19: "Derivative Grammars: A Symbolic ..."
Pliss, Oleg OOPSLA '19: "Initialize Once, Start Fast: ..."
Poli, Federico OOPSLA '19: "Leveraging Rust Types for ..."
Pradel, Michael OOPSLA '19: "Getafix: Learning to Fix Bugs ..."
Priya, Swarn OOPSLA '19: "Mergeable Replicated Data ..."
Qiu, Xiaokang OOPSLA '19: "Program Synthesis with Algebraic ..."
Raad, Azalea OOPSLA '19: "Effective Lock Handling in ..." OOPSLA '19: "Weak Persistency Semantics ..."
Radhakrishna, Arjun OOPSLA '19: "On the Fly Synthesis of Edit ..."
Rahli, Vincent OOPSLA '19: "Asphalion: Trustworthy Shielding ..."
Rahmani, Kia OOPSLA '19: "CLOTHO: Directed Test Generation ..."
Ramanathan, Murali Krishna OOPSLA '19: "Optimization of Swift Protocols ..."
Rapoport, Marianna OOPSLA '19: "A Path to DOT: Formalizing ..."
Reese, Josh OOPSLA '19: "Program Synthesis with Algebraic ..."
Rinard, Martin C. OOPSLA '19: "AL: Autogenerating Supervised ..."
Roemer, Jake OOPSLA '19: "Dependence-Aware, Unbounded ..."
Rompf, Tiark OOPSLA '19: "Precise Reasoning with Structured ..." OOPSLA '19: "Staged Abstract Interpreters: ..."
Rossbach, Christopher J. OOPSLA '19: "Design, Implementation, and ..."
Rossberg, Andreas OOPSLA '19: "Weakening WebAssembly ..."
Sagonas, Konstantinos OOPSLA '19: "Optimal Stateless Model Checking ..."
Salvaneschi, Guido OOPSLA '19: "Language-Integrated Privacy-Aware ..." OOPSLA '19: "A Fault-Tolerant Programming ..."
Sang, Yuyang OOPSLA '19: "DeepSEA: A Language for Certified ..."
Santos, Vinícius Fernandes dos OOPSLA '19: "Qubit Allocation as a Combination ..."
Sarita, Yasmin OOPSLA '19: "ApproxHPVM: A Portable Compiler ..."
Schlecht, Alexander OOPSLA '19: "Generating Precise Error Specifications ..."
Scott, Andrew OOPSLA '19: "Getafix: Learning to Fix Bugs ..."
Sen, Koushik OOPSLA '19: "AutoPandas: Neural-Backed ..." OOPSLA '19: "Aroma: Code Recommendation ..." OOPSLA '19: "FuzzFactory: Domain-Specific ..."
Sergey, Ilya OOPSLA '19: "Safer Smart Contract Programming ..."
Shajii, Ariya OOPSLA '19: "Seq: A High-Performance Language ..."
Shan, Alex OOPSLA '19: "Duet: An Expressive Higher-Order ..."
Shao, Zhong OOPSLA '19: "DeepSEA: A Language for Certified ..."
Sharif, Hashim OOPSLA '19: "ApproxHPVM: A Portable Compiler ..."
Sharma, Nikhil OOPSLA '19: "Duet: An Expressive Higher-Order ..."
Sheffi, Gali OOPSLA '19: "Efficient Lock-Free Durable ..."
Shen, Bo OOPSLA '19: "IntelliMerge: A Refactoring-Aware ..."
Shi, August OOPSLA '19: "Reflection-Aware Static Regression ..."
Simon, Laurent OOPSLA '19: "FuzzFactory: Domain-Specific ..."
Siraichi, Marcos Yukio OOPSLA '19: "Qubit Allocation as a Combination ..."
Sivaramakrishnan, KC OOPSLA '19: "Mergeable Replicated Data ..."
Sjöberg, Vilhelm OOPSLA '19: "DeepSEA: A Language for Certified ..."
Soares, Gustavo OOPSLA '19: "On the Fly Synthesis of Edit ..."
Sokolowski, Daniel OOPSLA '19: "Language-Integrated Privacy-Aware ..."
Solar-Lezama, Armando OOPSLA '19: "Program Synthesis with Algebraic ..." OOPSLA '19: "Probabilistic Verification ..."
Somani, Neel OOPSLA '19: "Duet: An Expressive Higher-Order ..."
Song, Dawn OOPSLA '19: "Duet: An Expressive Higher-Order ..."
Song, Dowon OOPSLA '19: "Automatic and Scalable Detection ..."
Sridharan, Manu OOPSLA '19: "Optimization of Swift Protocols ..."
Srivastava, Prakalp OOPSLA '19: "ApproxHPVM: A Portable Compiler ..."
Stancu, Codrut OOPSLA '19: "Initialize Once, Start Fast: ..."
Stein, Benno OOPSLA '19: "Static Analysis with Demand-Driven ..."
Stevens, Tim OOPSLA '19: "Duet: An Expressive Higher-Order ..."
Stoica, Ion OOPSLA '19: "AutoPandas: Neural-Backed ..."
Su, Zhendong OOPSLA '19: "Detecting Nondeterministic ..."
Summers, Alexander J. OOPSLA '19: "Leveraging Rust Types for ..." OOPSLA '19: "Modular Verification of Heap ..."
Surbatovich, Milijana OOPSLA '19: "I/O Dependent Idempotence ..."
Tan, Gang OOPSLA '19: "IVT: An Efficient Method for ..."
Tan, Wende OOPSLA '19: "IVT: An Efficient Method for ..."
Tang, Qiyi OOPSLA '19: "Compiler Fuzzing: How Much ..."
Tao, Guanhong OOPSLA '19: "BDA: Practical Dependence ..."