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

Proceedings of the ACM on Programming Languages, Volume 2, Number OOPSLA, November 7–9, 2018, Boston, MA, USA

OOPSLA 2018 – Author Index

Contents - Abstracts - Authors

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

Abdulla, Parosh Aziz OOPSLA '18: "Optimal Stateless Model Checking ..."
Adve, Vikram OOPSLA '18: "Software Multiplexing: Share ..."
Aksun, David T. OOPSLA '18: "Object-Oriented Recovery for ..."
Alimadadi, Saba OOPSLA '18: "Finding Broken Promises in ..."
Alpernas, Kalev OOPSLA '18: "Secure Serverless Computing ..."
Amarasinghe, Saman OOPSLA '18: "goSLP: Globally Optimized ..." OOPSLA '18: "GraphIt: A High-Performance ..." OOPSLA '18: "Format Abstraction for Sparse ..."
Atig, Mohamed Faouzi OOPSLA '18: "Optimal Stateless Model Checking ..."
Bach Poulsen, Casper OOPSLA '18: "Scopes as Types ..."
Baghdadi, Riyadh OOPSLA '18: "GraphIt: A High-Performance ..."
Barowy, Daniel W. OOPSLA '18: "ExceLint: Automatically Finding ..."
Befrouei, Mitra Tabaei OOPSLA '18: "Randomized Testing of Distributed ..."
Belyakova, Julia OOPSLA '18: "Julia Subtyping: A Rational ..."
Berger, Emery D. OOPSLA '18: "ExceLint: Automatically Finding ..."
Bergmann, Gábor OOPSLA '18: "Incrementalizing Lattice-Based ..."
Bezanson, Jeff OOPSLA '18: "Julia Subtyping: A Rational ..." OOPSLA '18: "Julia: Dynamism and Performance ..."
Bielik, Pavol OOPSLA '18: "Robust Relational Layout Synthesis ..."
Blackshear, Sam OOPSLA '18: "RacerD: Compositional Static ..."
Bodik, Rastislav OOPSLA '18: "Speeding up Symbolic Reasoning ..."
Boesche, Klaas OOPSLA '18: "AnyDSL: A Partial Evaluation ..."
Bornholt, James OOPSLA '18: "Finding Code That Explodes ..."
Boston, Brett OOPSLA '18: "Leto: Verifying Application-Specific ..."
Brachthäuser, Jonathan Immanuel OOPSLA '18: "Effect Handlers for the Masses ..."
Brent, Lexi OOPSLA '18: "MadMax: Surviving Out-of-Gas ..."
Brisk, Philip OOPSLA '18: "BioScript: Programming Safe ..."
Brock, Jacob OOPSLA '18: "ShareJIT: JIT Code Cache Sharing ..."
Burckhardt, Sebastian OOPSLA '18: "Reactive Caching for Composed ..."
Carbin, Michael OOPSLA '18: "Leto: Verifying Application-Specific ..."
Chen, Jiahao OOPSLA '18: "Julia: Dynamism and Performance ..."
Chen, Zhi OOPSLA '18: "An Empirical Study of the ..."
Cheung, Alvin OOPSLA '18: "Speeding up Symbolic Reasoning ..."
Chou, Stephen OOPSLA '18: "Format Abstraction for Sparse ..."
Chugh, Ravi OOPSLA '18: "Bidirectional Evaluation with ..."
Chung, Benjamin OOPSLA '18: "Julia Subtyping: A Rational ..." OOPSLA '18: "Julia: Dynamism and Performance ..."
Cohen, Nachshon OOPSLA '18: "Object-Oriented Recovery for ..." OOPSLA '18: "Every Data Structure Deserves ..."
Cooper, Keith OOPSLA '18: "ShareJIT: JIT Code Cache Sharing ..."
Coppieters, Tim OOPSLA '18: "Reactive Caching for Composed ..."
Curtis, Chris OOPSLA '18: "BioScript: Programming Safe ..."
Daloze, Benoit OOPSLA '18: "Parallelization of Dynamic ..."
Degenbaev, Ulan OOPSLA '18: "Cross-Component Garbage Collection ..."
Demsky, Brian OOPSLA '18: "Towards Understanding the ..."
Desai, Ankush OOPSLA '18: "Compositional Programming ..."
Dietz, Will OOPSLA '18: "Software Multiplexing: Share ..."
Dillig, Isil OOPSLA '18: "Verified Three-Way Program ..." OOPSLA '18: "Relational Program Synthesis ..."
Drechsler, Joscha OOPSLA '18: "Thread-Safe Reactive Programming ..."
D'Souza, Deepak OOPSLA '18: "Horn-ICE Learning for Synthesizing ..."
Earanky, Kapil OOPSLA '18: "Safe Replication through Bounded ..."
Eisinger, Jochen OOPSLA '18: "Cross-Component Garbage Collection ..."
Erdweg, Sebastian OOPSLA '18: "Incrementalizing Lattice-Based ..."
Ezudheen, P. OOPSLA '18: "Horn-ICE Learning for Synthesizing ..."
Faes, Michael OOPSLA '18: "Concurrency-Aware Object-Oriented ..."
Feltey, Daniel OOPSLA '18: "Collapsible Contracts: Fixing ..."
Findler, Robert Bruce OOPSLA '18: "Collapsible Contracts: Fixing ..."
Fischer, Marc OOPSLA '18: "Robust Relational Layout Synthesis ..."
Flanagan, Cormac OOPSLA '18: "Secure Serverless Computing ..."
Fouladi, Sadjad OOPSLA '18: "Secure Serverless Computing ..."
Garg, Pranav OOPSLA '18: "Horn-ICE Learning for Synthesizing ..."
Gong, Zhangxiaowen OOPSLA '18: "An Empirical Study of the ..."
Gong, Zoe OOPSLA '18: "Leto: Verifying Application-Specific ..."
Gorogiannis, Nikos OOPSLA '18: "RacerD: Compositional Static ..."
Grech, Neville OOPSLA '18: "MadMax: Surviving Out-of-Gas ..."
Greenman, Ben OOPSLA '18: "Collapsible Contracts: Fixing ..."
Gross, Thomas R. OOPSLA '18: "Virtual Machine Design for ..." OOPSLA '18: "Concurrency-Aware Object-Oriented ..."
Gulwani, Sumit OOPSLA '18: "FlashProfile: A Framework ..."
Hack, Sebastian OOPSLA '18: "AnyDSL: A Partial Evaluation ..."
Hara, Kentaro OOPSLA '18: "Cross-Component Garbage Collection ..."
He, Fei OOPSLA '18: "Conflict Resolution for Structured ..."
Hlopko, Marcel OOPSLA '18: "Cross-Component Garbage Collection ..."
Hur, Chung-Kil OOPSLA '18: "Reconciling High-Level Optimizations ..."
Jagannathan, Suresh OOPSLA '18: "Safe Replication through Bounded ..."
Jain, Prateek OOPSLA '18: "FlashProfile: A Framework ..."
Jeon, Minseok OOPSLA '18: "Precise and Scalable Points-to ..."
Jeong, Sehun OOPSLA '18: "Precise and Scalable Points-to ..."
Jonsson, Bengt OOPSLA '18: "Optimal Stateless Model Checking ..."
Jung, Ralf OOPSLA '18: "Reconciling High-Level Optimizations ..."
Jurisevic, Anton OOPSLA '18: "MadMax: Surviving Out-of-Gas ..."
Kästner, Christian OOPSLA '18: "Faster Variational Execution ..."
Kaki, Gowtham OOPSLA '18: "Safe Replication through Bounded ..."
Kalhauge, Christian Gram OOPSLA '18: "Sound Deadlock Prediction ..."
Kamil, Shoaib OOPSLA '18: "GraphIt: A High-Performance ..."
Karim, Rezwana OOPSLA '18: "Test Generation for Higher-Order ..."
Karpinski, Stefan OOPSLA '18: "Julia: Dynamism and Performance ..."
Kini, Dileep OOPSLA '18: "What Happens-After the First ..."
Kjolstad, Fredrik OOPSLA '18: "Format Abstraction for Sparse ..."
Köhler, Mirko OOPSLA '18: "Distributed System Development ..."
Komondoor, Raghavan OOPSLA '18: "Refinement in Object-Sensitivity ..."
Kong, Michael OOPSLA '18: "MadMax: Surviving Out-of-Gas ..."
Koppel, James OOPSLA '18: "One Tool, Many Languages: ..."
Kuncak, Viktor OOPSLA '18: "Bidirectional Evaluation with ..."
Lahiri, Shuvendu K. OOPSLA '18: "Verified Three-Way Program ..."
Larus, James R. OOPSLA '18: "Object-Oriented Recovery for ..."
Lazarek, Lukas OOPSLA '18: "Faster Variational Execution ..."
Lee, Juneyoung OOPSLA '18: "Reconciling High-Level Optimizations ..."
Lee, Junho OOPSLA '18: "Automatic Diagnosis and Correction ..."
Leißa, Roland OOPSLA '18: "AnyDSL: A Partial Evaluation ..."
Lesani, Mohsen OOPSLA '18: "BioScript: Programming Safe ..."
Li, Peixuan OOPSLA '18: "A Derivation Framework for ..."
Li, Yue OOPSLA '18: "Precision-Guided Context Sensitivity ..."
Lippautz, Michael OOPSLA '18: "Cross-Component Garbage Collection ..."
Liu, Zhengyang OOPSLA '18: "Reconciling High-Level Optimizations ..."
Lopes, Nuno P. OOPSLA '18: "Reconciling High-Level Optimizations ..."
Loveless, Tyson OOPSLA '18: "BioScript: Programming Safe ..."
Madhusudan, P. OOPSLA '18: "Horn-ICE Learning for Synthesizing ..."
Madsen, Magnus OOPSLA '18: "Finding Broken Promises in ..."
Majumdar, Rupak OOPSLA '18: "Randomized Testing of Distributed ..."
Maleki, Saeed OOPSLA '18: "An Empirical Study of the ..."
Marr, Stefan OOPSLA '18: "Parallelization of Dynamic ..."
Mathur, Umang OOPSLA '18: "What Happens-After the First ..."
Mayer, Mikaël OOPSLA '18: "Bidirectional Evaluation with ..."
Meier, Remigius OOPSLA '18: "Virtual Machine Design for ..."
Meinicke, Jens OOPSLA '18: "Faster Variational Execution ..."
Membarth, Richard OOPSLA '18: "AnyDSL: A Partial Evaluation ..."
Mendis, Charith OOPSLA '18: "goSLP: Globally Optimized ..."
Mezini, Mira OOPSLA '18: "Thread-Safe Reactive Programming ..."
Millstein, Todd OOPSLA '18: "FlashProfile: A Framework ..."
Møller, Anders OOPSLA '18: "Precision-Guided Context Sensitivity ..."
Mössenböck, Hanspeter OOPSLA '18: "Parallelization of Dynamic ..."
Mogk, Ragnar OOPSLA '18: "Thread-Safe Reactive Programming ..."
Morris, J. Garrett OOPSLA '18: "The Root Cause of Blame: Contracts ..."
Muehlboeck, Fabian OOPSLA '18: "Empowering Union and Intersection ..."
Müller, André OOPSLA '18: "AnyDSL: A Partial Evaluation ..."
Nandivada, V. Krishna OOPSLA '18: "Identifying Refactoring Opportunities ..."
Neider, Daniel OOPSLA '18: "Horn-ICE Learning for Synthesizing ..."
Ngo, Tuan Phong OOPSLA '18: "Optimal Stateless Model Checking ..."
Nicolau, Alexandru OOPSLA '18: "An Empirical Study of the ..."
Niksic, Filip OOPSLA '18: "Randomized Testing of Distributed ..."
Oh, Hakjoo OOPSLA '18: "Automatic Diagnosis and Correction ..." OOPSLA '18: "Precise and Scalable Points-to ..."
O'Hearn, Peter W. OOPSLA '18: "RacerD: Compositional Static ..."
Ostermann, Klaus OOPSLA '18: "Effect Handlers for the Masses ..."
Ott, Jason OOPSLA '18: "BioScript: Programming Safe ..."
Ou, Peizhao OOPSLA '18: "Towards Understanding the ..."
Ozkan, Burcu Kulahcioglu OOPSLA '18: "Randomized Testing of Distributed ..."
Padhi, Saswat OOPSLA '18: "FlashProfile: A Framework ..."
Padua, David OOPSLA '18: "An Empirical Study of the ..."
Palsberg, Jens OOPSLA '18: "Sound Deadlock Prediction ..."
Payer, Hannes OOPSLA '18: "Cross-Component Garbage Collection ..."
Pelenitsyn, Artem OOPSLA '18: "Julia Subtyping: A Rational ..."
Pérard-Gayot, Arsène OOPSLA '18: "AnyDSL: A Partial Evaluation ..."
Perelman, Daniel OOPSLA '18: "FlashProfile: A Framework ..."
Petrank, Erez OOPSLA '18: "Parallelization of Dynamic ..."
Phanishayee, Amar OOPSLA '18: "Compositional Programming ..."
Polozov, Oleksandr OOPSLA '18: "FlashProfile: A Framework ..."
Pradel, Michael OOPSLA '18: "DeepBugs: A Learning Approach ..." OOPSLA '18: "Test Generation for Higher-Order ..."
Premtoon, Varot OOPSLA '18: "One Tool, Many Languages: ..."
Qadeer, Shaz OOPSLA '18: "Compositional Programming ..."
Raad, Azalea OOPSLA '18: "Persistence Semantics for ..."
Rama, Girish Maskeri OOPSLA '18: "Refinement in Object-Sensitivity ..."
Regehr, John OOPSLA '18: "Reconciling High-Level Optimizations ..."
Rigo, Armin OOPSLA '18: "Virtual Machine Design for ..."
Rouvoet, Arjen OOPSLA '18: "Scopes as Types ..."
Ryzhyk, Leonid OOPSLA '18: "Secure Serverless Computing ..."
Sagiv, Mooly OOPSLA '18: "Secure Serverless Computing ..."
Salvaneschi, Guido OOPSLA '18: "Thread-Safe Reactive Programming ..." OOPSLA '18: "Distributed System Development ..."
Schmidt, Bertil OOPSLA '18: "AnyDSL: A Partial Evaluation ..."
Schmitz, Thomas OOPSLA '18: "Secure Serverless Computing ..."
Scholliers, Christophe OOPSLA '18: "Collapsible Contracts: Fixing ..."
Scholz, Bernhard OOPSLA '18: "MadMax: Surviving Out-of-Gas ..."
Schuster, Philipp OOPSLA '18: "Effect Handlers for the Masses ..."
Selakovic, Marija OOPSLA '18: "Test Generation for Higher-Order ..."
Sen, Koushik OOPSLA '18: "DeepBugs: A Learning Approach ..."
Sergey, Ilya OOPSLA '18: "RacerD: Compositional Static ..."
Seshia, Sanjit A. OOPSLA '18: "Compositional Programming ..."
Shah, Viral B. OOPSLA '18: "Julia: Dynamism and Performance ..."
Sharma, Himanshu OOPSLA '18: "Refinement in Object-Sensitivity ..."
Shun, Julian OOPSLA '18: "GraphIt: A High-Performance ..."
Sivaramakrishnan, KC OOPSLA '18: "Safe Replication through Bounded ..."
Slusallek, Philipp OOPSLA '18: "AnyDSL: A Partial Evaluation ..."
Smaragdakis, Yannis OOPSLA '18: "MadMax: Surviving Out-of-Gas ..." OOPSLA '18: "Precision-Guided Context Sensitivity ..."
So, Sunbeom OOPSLA '18: "Automatic Diagnosis and Correction ..."
Solar-Lezama, Armando OOPSLA '18: "One Tool, Many Languages: ..."
Song, Dowon OOPSLA '18: "Automatic Diagnosis and Correction ..."
Sousa, Marcelo OOPSLA '18: "Verified Three-Way Program ..."
St-Amour, Vincent OOPSLA '18: "Collapsible Contracts: Fixing ..."
Sura, Zehra OOPSLA '18: "An Empirical Study of the ..."
Szabó, Tamás OOPSLA '18: "Incrementalizing Lattice-Based ..."
Szaday, Justin OOPSLA '18: "An Empirical Study of the ..."
Tal, Arie OOPSLA '18: "Parallelization of Dynamic ..."
Tan, Tian OOPSLA '18: "Precision-Guided Context Sensitivity ..."
Tanter, Éric OOPSLA '18: "Gradual Liquid Type Inference ..."
Tate, Ross OOPSLA '18: "Empowering Union and Intersection ..."
Tip, Frank OOPSLA '18: "Finding Broken Promises in ..." OOPSLA '18: "Test Generation for Higher-Order ..."
Torlak, Emina OOPSLA '18: "Finding Code That Explodes ..."
Torrellas, Josep OOPSLA '18: "An Empirical Study of the ..."
Vafeiadis, Viktor OOPSLA '18: "Persistence Semantics for ..."
Van Antwerpen, Hendrik OOPSLA '18: "Scopes as Types ..."
Van Horn, David OOPSLA '18: "Gradual Liquid Type Inference ..."
Vazou, Niki OOPSLA '18: "Gradual Liquid Type Inference ..."
Vechev, Martin OOPSLA '18: "Robust Relational Layout Synthesis ..."
Vedurada, Jyothi OOPSLA '18: "Identifying Refactoring Opportunities ..."
Veidenbaum, Alexander OOPSLA '18: "An Empirical Study of the ..."
Visser, Eelco OOPSLA '18: "Scopes as Types ..."
Viswanathan, Mahesh OOPSLA '18: "What Happens-After the First ..."
Vitek, Jan OOPSLA '18: "Julia Subtyping: A Rational ..." OOPSLA '18: "Julia: Dynamism and Performance ..."
Voelter, Markus OOPSLA '18: "Incrementalizing Lattice-Based ..."
Wadler, Philip OOPSLA '18: "The Root Cause of Blame: Contracts ..."
Wang, Chenglong OOPSLA '18: "Speeding up Symbolic Reasoning ..."
Wang, Xinyu OOPSLA '18: "Relational Program Synthesis ..."
Wang, Yuepeng OOPSLA '18: "Relational Program Synthesis ..."
Watkinson, Neftali OOPSLA '18: "An Empirical Study of the ..."
Weisenburger, Pascal OOPSLA '18: "Distributed System Development ..."
Weissenbacher, Georg OOPSLA '18: "Randomized Testing of Distributed ..."
Williams, Jack OOPSLA '18: "The Root Cause of Blame: Contracts ..."
Winstein, Keith OOPSLA '18: "Secure Serverless Computing ..."
Wong, Chu-Pan OOPSLA '18: "Faster Variational Execution ..."
Wong, David OOPSLA '18: "An Empirical Study of the ..."
Xu, Xiaoran OOPSLA '18: "ShareJIT: JIT Code Cache Sharing ..."
Yang, Mengjiao OOPSLA '18: "GraphIt: A High-Performance ..."
Ye, Handong OOPSLA '18: "ShareJIT: JIT Code Cache Sharing ..."
Zappa Nardelli, Francesco OOPSLA '18: "Julia Subtyping: A Rational ..."
Zhang, Danfeng OOPSLA '18: "A Derivation Framework for ..."
Zhang, Yan OOPSLA '18: "ShareJIT: JIT Code Cache Sharing ..."
Zhang, Yunming OOPSLA '18: "GraphIt: A High-Performance ..."
Zhong, Di OOPSLA '18: "Finding Broken Promises in ..."
Zhu, Fengmin OOPSLA '18: "Conflict Resolution for Structured ..."
Zorn, Benjamin OOPSLA '18: "ExceLint: Automatically Finding ..."
Zoubritzky, Lionel OOPSLA '18: "Julia: Dynamism and Performance ..."

215 authors

proc time: 3.72