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

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

293 authors

proc time: 13.2