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

Proceedings of the ACM on Programming Languages, Volume 1, Number OOPSLA, October 22–27, 2017, Vancouver, BC, Canada

OOPSLA 2017 – Author Index

Contents - Abstracts - Authors

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

Abe, Tatsuya OOPSLA'17: "Model Checking Copy Phases ..."
Accioly, Paola OOPSLA'17: "Evaluating and Improving Semistructured ..."
Adams, Michael D. OOPSLA'17: "Restricting Grammars with ..."
Adamsen, Christoffer Quist OOPSLA'17: "Practical Initialization Race ..."
Aftandilian, Edward OOPSLA'17: "Detecting Argument Selection ..."
Aiken, Alex OOPSLA'17: "Seam: Provably Safe Local ..."
Albarghouthi, Aws OOPSLA'17: "FairSquare: Probabilistic ..."
Ali, Karim OOPSLA'17: "IDEal: Efficient ..."
Amarasinghe, Saman OOPSLA'17: "The Tensor Algebra Compiler ..."
Ancona, Davide OOPSLA'17: "Reasoning on Divergent Computations ..."
Appel, Andrew W. OOPSLA'17: "A Verified Messaging System ..."
Arroyo-Paredes, Yulissa OOPSLA'17: "Detecting Argument Selection ..."
Arteca, Ellen OOPSLA'17: "The VM Already Knew That: ..."
Bakst, Alexander OOPSLA'17: "Verifying Distributed Programs ..."
Balkind, Jonathan OOPSLA'17: "Project Snowflake: Non-blocking ..."
Barrett, Edd OOPSLA'17: "Virtual Machine Warmup Blows ..."
Bauman, Spenser OOPSLA'17: "Sound Gradual Typing: Only ..."
Beresford, Alastair R. OOPSLA'17: "Verifying Strong Eventual ..."
Bernstein, Gilbert Louis OOPSLA'17: "Seam: Provably Safe Local ..."
Bernstein, Philip A. OOPSLA'17: "Geo-Distribution of Actor-Based ..."
Blankstein, Aaron OOPSLA'17: "Project Snowflake: Non-blocking ..."
Bodden, Eric OOPSLA'17: "IDEal: Efficient ..."
Bodik, Rastislav OOPSLA'17: "Skip Blocks: Reusing Execution ..."
Bolz-Tereick, Carl Friedrich OOPSLA'17: "Virtual Machine Warmup Blows ..." OOPSLA'17: "Sound Gradual Typing: Only ..."
Bond, Michael D. OOPSLA'17: "Instrumentation Bias for Dynamic ..."
Borba, Paulo OOPSLA'17: "Evaluating and Improving Semistructured ..."
Burckhardt, Sebastian OOPSLA'17: "Geo-Distribution of Actor-Based ..."
Bykov, Sergey OOPSLA'17: "Geo-Distribution of Actor-Based ..."
Campora III, John Peter OOPSLA'17: "Learning User Friendly Type-Error ..."
Cao, Man OOPSLA'17: "Instrumentation Bias for Dynamic ..."
Carlson, Travis OOPSLA'17: "Reliable and Automatic Composition ..."
Cavalcanti, Guilherme OOPSLA'17: "Evaluating and Improving Semistructured ..."
Celik, Ahmet OOPSLA'17: "Bounded Exhaustive Test-Input ..."
Cha, Sungdeok OOPSLA'17: "Data-Driven Context-Sensitivity ..."
Chae, Kwonsoo OOPSLA'17: "Automatically Generating Features ..."
Chasins, Sarah OOPSLA'17: "Skip Blocks: Reusing Execution ..."
Chaudhuri, Avik OOPSLA'17: "Fast and Precise Type Checking ..."
Chaudhuri, Kamalika OOPSLA'17: "Learning to Blame: Localizing ..."
Chen, Sheng OOPSLA'17: "Learning User Friendly Type-Error ..." OOPSLA'17: "How Type Errors Were Fixed ..."
Chlipala, Adam OOPSLA'17: "TiML: A Functional Language ..."
Chou, Stephen OOPSLA'17: "The Tensor Algebra Compiler ..."
Clebsch, Sylvan OOPSLA'17: "Orca: GC and Type System Co-Design ..."
Cogumbreiro, Tiago OOPSLA'17: "Deadlock Avoidance in Parallel ..."
Cohen, Nachshon OOPSLA'17: "Efficient Logging in Non-Volatile ..."
Colin, Alexei OOPSLA'17: "Alpaca: Intermittent Execution ..."
Contrastin, Mistral OOPSLA'17: "Verifying Spatial Properties ..."
Costa, Manuel OOPSLA'17: "Project Snowflake: Non-blocking ..."
Crooks, Natacha OOPSLA'17: "Geo-Distribution of Actor-Based ..."
Dagnino, Francesco OOPSLA'17: "Reasoning on Divergent Computations ..."
Danish, Matthew OOPSLA'17: "Verifying Spatial Properties ..."
D'Antoni, Loris OOPSLA'17: "FairSquare: Probabilistic ..."
Deligiannis, Pantazis OOPSLA'17: "Project Snowflake: Non-blocking ..."
Devietti, Joseph OOPSLA'17: "Monadic Composition for Deterministic, ..."
Dhodapkar, Rahul OOPSLA'17: "Synthesizing Configuration ..."
Dig, Danny OOPSLA'17: "Understanding the Use of Lambda ..."
Dillig, Isil OOPSLA'17: "SQLizer: Query Synthesis from ..." OOPSLA'17: "Synthesis of Data Completion ..."
Dillig, Thomas OOPSLA'17: "SQLizer: Query Synthesis from ..."
Ding, Yufei OOPSLA'17: "GLORE: Generalized Loop Redundancy ..."
Donaldson, Alastair F. OOPSLA'17: "Automated Testing of Graphics ..."
Drews, Samuel OOPSLA'17: "FairSquare: Probabilistic ..."
Dreyer, Derek OOPSLA'17: "Robust and Compositional Verification ..."
Drossopoulou, Sophia OOPSLA'17: "Orca: GC and Type System Co-Design ..."
El Hajj, Izzat OOPSLA'17: "SAVI Objects: Sharing and ..."
Evrard, Hugues OOPSLA'17: "Automated Testing of Graphics ..."
Faleiro, Jose M. OOPSLA'17: "Geo-Distribution of Actor-Based ..."
Ferracioli, Fabrício OOPSLA'17: "Static Placement of Computation ..."
Fourtounis, George OOPSLA'17: "Heaps Don't Lie: Countering ..."
Francalanza, Adrian OOPSLA'17: "Heaps Don't Lie: Countering ..."
Franco, Juliana OOPSLA'17: "Orca: GC and Type System Co-Design ..."
Friedman, Michal OOPSLA'17: "Efficient Logging in Non-Volatile ..."
Garg, Deepak OOPSLA'17: "Robust and Compositional Verification ..."
Gleissenthall, Klaus v. OOPSLA'17: "Verifying Distributed Programs ..."
Gligoric, Milos OOPSLA'17: "Bounded Exhaustive Test-Input ..."
Goldman, Sam OOPSLA'17: "Fast and Precise Type Checking ..."
Gomes, Victor B. F. OOPSLA'17: "Verifying Strong Eventual ..."
Grech, Neville OOPSLA'17: "P/Taint: Unified Points-to ..." OOPSLA'17: "Heaps Don't Lie: Countering ..."
Grigore, Radu OOPSLA'17: "Effective Interactive Resolution ..."
Grossman, Dan OOPSLA'17: "Instrumentation Bias for Dynamic ..." OOPSLA'17: "A Solver-Aided Language for ..."
Grossman, Max OOPSLA'17: "Deadlock Avoidance in Parallel ..."
Gu, Ronghui OOPSLA'17: "An Auditing Language for Preventing ..."
Guimarães, Breno OOPSLA'17: "Static Placement of Computation ..."
Hanrahan, Pat OOPSLA'17: "Seam: Provably Safe Local ..."
He, Paul OOPSLA'17: "A Simple Soundness Proof for ..."
Heo, Kihong OOPSLA'17: "Automatically Generating Features ..."
Hwu, Wen-mei OOPSLA'17: "SAVI Objects: Sharing and ..."
Jablin, Thomas B. OOPSLA'17: "SAVI Objects: Sharing and ..."
Jaspan, Ciera OOPSLA'17: "Detecting Argument Selection ..."
Jeon, Minseok OOPSLA'17: "Data-Driven Context-Sensitivity ..."
Jeong, Sehun OOPSLA'17: "Data-Driven Context-Sensitivity ..."
Jermaine, Christopher OOPSLA'17: "Abridging Source Code ..."
Jhala, Ranjit OOPSLA'17: "Learning to Blame: Localizing ..." OOPSLA'17: "Verifying Distributed Programs ..."
Johnston, Emily OOPSLA'17: "Detecting Argument Selection ..."
Kabir, Ifaz OOPSLA'17: "A Simple Soundness Proof for ..."
Kamil, Shoaib OOPSLA'17: "The Tensor Algebra Compiler ..."
Kaminski, Ted OOPSLA'17: "Reliable and Automatic Composition ..."
Ketkar, Ameya OOPSLA'17: "Understanding the Use of Lambda ..."
Khairunnesa, Samantha Syeda OOPSLA'17: "Exploiting Implicit Beliefs ..."
Khurshid, Sarfraz OOPSLA'17: "Bounded Exhaustive Test-Input ..."
Kıcı, Rami Gökhan OOPSLA'17: "Verifying Distributed Programs ..."
Killick, Rebecca OOPSLA'17: "Virtual Machine Warmup Blows ..."
Kjolstad, Fredrik OOPSLA'17: "The Tensor Algebra Compiler ..."
Kleppmann, Martin OOPSLA'17: "Verifying Strong Eventual ..."
Kliot, Gabriel OOPSLA'17: "Geo-Distribution of Actor-Based ..."
Kramer, Lucas OOPSLA'17: "Reliable and Automatic Composition ..."
Kristensen, Erik Krogh OOPSLA'17: "Type Test Scripts for TypeScript ..."
Kulkarni, Milind OOPSLA'17: "TreeFuser: A Framework for ..."
Kumbhare, Alok OOPSLA'17: "Geo-Distribution of Actor-Based ..."
Lao, Xun OOPSLA'17: "An Auditing Language for Preventing ..."
Larus, James R. OOPSLA'17: "Efficient Logging in Non-Volatile ..."
Lascu, Andrei OOPSLA'17: "Automated Testing of Graphics ..."
Levi, Gabriel OOPSLA'17: "Fast and Precise Type Checking ..."
Lhoták, Ondřej OOPSLA'17: "A Simple Soundness Proof for ..." OOPSLA'17: "A Model for Reasoning About ..."
Li, Xia OOPSLA'17: "Transforming Programs and ..."
Liu, Lun OOPSLA'17: "A Volatile-by-Default JVM ..."
Lopes, Cristina V. OOPSLA'17: "DéjàVu: A Map of Code Duplicates ..."
Losa, Giuliano OOPSLA'17: "Paxos Made EPR: Decidable ..."
Lucia, Brandon OOPSLA'17: "Alpaca: Intermittent Execution ..."
Lugato, David OOPSLA'17: "The Tensor Algebra Compiler ..."
Madsen, Magnus OOPSLA'17: "A Model for Reasoning About ..."
Maeda, Toshiyuki OOPSLA'17: "Model Checking Copy Phases ..."
Maeng, Kiwan OOPSLA'17: "Alpaca: Intermittent Execution ..."
Maj, Petr OOPSLA'17: "DéjàVu: A Map of Code Duplicates ..."
Mansky, William OOPSLA'17: "A Verified Messaging System ..."
Martins, Francisco OOPSLA'17: "Deadlock Avoidance in Parallel ..."
Martins, Pedro OOPSLA'17: "DéjàVu: A Map of Code Duplicates ..."
Mazinanian, Davood OOPSLA'17: "Understanding the Use of Lambda ..."
McDermott, Dylan OOPSLA'17: "Project Snowflake: Non-blocking ..."
McKinley, Kathryn S. OOPSLA'17: "Static Stages for Heterogeneous ..."
Might, Matthew OOPSLA'17: "Restricting Grammars with ..."
Millstein, Todd OOPSLA'17: "A Volatile-by-Default JVM ..."
Milojicic, Dejan OOPSLA'17: "SAVI Objects: Sharing and ..."
Møller, Anders OOPSLA'17: "Practical Initialization Race ..." OOPSLA'17: "Type Test Scripts for TypeScript ..."
Mount, Sarah OOPSLA'17: "Virtual Machine Warmup Blows ..."
Muehlboeck, Fabian OOPSLA'17: "Sound Gradual Typing is Nominally ..."
Mulligan, Dominic P. OOPSLA'17: "Verifying Strong Eventual ..."
Murali, Vijayaraghavan OOPSLA'17: "Abridging Source Code ..."
Musuvathi, Madanlal OOPSLA'17: "A Volatile-by-Default JVM ..."
Myers, Andrew C. OOPSLA'17: "Familia: Unifying Interfaces, ..."
Mytkowicz, Todd OOPSLA'17: "Static Stages for Heterogeneous ..."
Naik, Mayur OOPSLA'17: "Effective Interactive Resolution ..."
Navarro Leija, Omar S. OOPSLA'17: "Monadic Composition for Deterministic, ..."
Newton, Ryan R. OOPSLA'17: "Monadic Composition for Deterministic, ..."
Nguyen, Hoan Anh OOPSLA'17: "Exploiting Implicit Beliefs ..."
Nguyen, Tien N. OOPSLA'17: "Exploiting Implicit Beliefs ..."
Nogin, Aleksey OOPSLA'17: "A Verified Messaging System ..."
Nori, Aditya V. OOPSLA'17: "FairSquare: Probabilistic ..."
Oh, Hakjoo OOPSLA'17: "Automatically Generating Features ..." OOPSLA'17: "Data-Driven Context-Sensitivity ..."
Oliveira, Bruno C. d. S. OOPSLA'17: "Unifying Typing and Subtyping ..."
Orchard, Dominic OOPSLA'17: "Verifying Spatial Properties ..."
Padon, Oded OOPSLA'17: "Paxos Made EPR: Decidable ..."
Pai, Sreepathi OOPSLA'17: "Bounded Exhaustive Test-Input ..."
Papadakis, Manolis OOPSLA'17: "Seam: Provably Safe Local ..."
Parkinson, Matthew OOPSLA'17: "Project Snowflake: Non-blocking ..."
Pereira, Fernando Magno Quintão OOPSLA'17: "Static Placement of Computation ..."
Piskac, Ruzica OOPSLA'17: "Synthesizing Configuration ..." OOPSLA'17: "An Auditing Language for Preventing ..."
Poesia, Gabriel OOPSLA'17: "Static Placement of Computation ..."
Pradel, Michael OOPSLA'17: "Detecting Argument Selection ..."
Qiu, Xiaokang OOPSLA'17: "Natural Synthesis of Provably-Correct ..."
Rahman, Muntasir Raihan OOPSLA'17: "Geo-Distribution of Actor-Based ..."
Rajan, Hridesh OOPSLA'17: "Exploiting Implicit Beliefs ..."
Rapoport, Marianna OOPSLA'17: "A Simple Soundness Proof for ..."
Reid, Alastair OOPSLA'17: "Who Guards the Guards? Formal ..."
Reps, Thomas OOPSLA'17: "Model-Assisted Machine-Code ..."
Rice, Andrew OOPSLA'17: "Verifying Spatial Properties ..." OOPSLA'17: "Detecting Argument Selection ..."
Richards, Gregor OOPSLA'17: "The VM Already Knew That: ..."
Ringer, Talia OOPSLA'17: "A Solver-Aided Language for ..."
Roch, Marshall OOPSLA'17: "Fast and Precise Type Checking ..."
Sagiv, Mooly OOPSLA'17: "Paxos Made EPR: Decidable ..."
Saini, Vaibhav OOPSLA'17: "DéjàVu: A Map of Code Duplicates ..."
Sajnani, Hitesh OOPSLA'17: "DéjàVu: A Map of Code Duplicates ..."
Sakka, Laith OOPSLA'17: "TreeFuser: A Framework for ..."
Sampson, Adrian OOPSLA'17: "Static Stages for Heterogeneous ..."
Santolucito, Mark OOPSLA'17: "Synthesizing Configuration ..."
Sarkar, Vivek OOPSLA'17: "Deadlock Avoidance in Parallel ..."
Schwartz-Narbonne, Daniel OOPSLA'17: "A Solver-Aided Language for ..."
Scott, Ryan G. OOPSLA'17: "Monadic Composition for Deterministic, ..."
Seidel, Eric L. OOPSLA'17: "Learning to Blame: Localizing ..."
Shah, Vivek OOPSLA'17: "Geo-Distribution of Actor-Based ..."
Sharma, Rahul OOPSLA'17: "Seam: Provably Safe Local ..."
Shen, Xipeng OOPSLA'17: "GLORE: Generalized Loop Redundancy ..."
Shim, Aaron OOPSLA'17: "Synthesizing Configuration ..."
Shoham, Sharon OOPSLA'17: "Paxos Made EPR: Decidable ..."
Si, Xujie OOPSLA'17: "Effective Interactive Resolution ..."
Sibghat, Huma OOPSLA'17: "Learning to Blame: Localizing ..."
Siek, Jeremy OOPSLA'17: "Sound Gradual Typing: Only ..."
Singh, Rishabh OOPSLA'17: "Synthesis of Data Completion ..."
Smaragdakis, Yannis OOPSLA'17: "P/Taint: Unified Points-to ..." OOPSLA'17: "Heaps Don't Lie: Countering ..."
Solar-Lezama, Armando OOPSLA'17: "Natural Synthesis of Provably-Correct ..."
Späth, Johannes OOPSLA'17: "IDEal: Efficient ..."
Srinivasan, Venkatesh OOPSLA'17: "Model-Assisted Machine-Code ..."
Sundararajah, Kirshanthan OOPSLA'17: "TreeFuser: A Framework for ..."
Surendran, Rishi OOPSLA'17: "Deadlock Avoidance in Parallel ..."
Swasey, David OOPSLA'17: "Robust and Compositional Verification ..."
Szekeres, Adriana OOPSLA'17: "Geo-Distribution of Actor-Based ..."
Tasiran, Serdar OOPSLA'17: "A Solver-Aided Language for ..."
Tate, Ross OOPSLA'17: "Sound Gradual Typing is Nominally ..."
Thelin, Jorgen OOPSLA'17: "Geo-Distribution of Actor-Based ..."
Thomson, Paul OOPSLA'17: "Automated Testing of Graphics ..."
Tip, Frank OOPSLA'17: "Practical Initialization Race ..." OOPSLA'17: "A Model for Reasoning About ..."
Tobin-Hochstadt, Sam OOPSLA'17: "Sound Gradual Typing: Only ..."
Tratt, Laurence OOPSLA'17: "Virtual Machine Warmup Blows ..."
Tsantalis, Nikolaos OOPSLA'17: "Understanding the Use of Lambda ..."
Turcotte, Alexi OOPSLA'17: "The VM Already Knew That: ..."
Ugawa, Tomoharu OOPSLA'17: "Model Checking Copy Phases ..."
Van Wyk, Eric OOPSLA'17: "Reliable and Automatic Composition ..."
Vartanian, Ara OOPSLA'17: "Model-Assisted Machine-Code ..."
Vasconcelos, Vasco T. OOPSLA'17: "Deadlock Avoidance in Parallel ..."
Vaswani, Kapil OOPSLA'17: "Project Snowflake: Non-blocking ..."
Vekris, Panagiotis OOPSLA'17: "Fast and Precise Type Checking ..."
Vitek, Jan OOPSLA'17: "DéjàVu: A Map of Code Duplicates ..." OOPSLA'17: "Orca: GC and Type System Co-Design ..."
Vytiniotis, Dimitrios OOPSLA'17: "Project Snowflake: Non-blocking ..."
Wang, Di OOPSLA'17: "TiML: A Functional Language ..."
Wang, Peng OOPSLA'17: "TiML: A Functional Language ..."
Wang, Xi OOPSLA'17: "An Auditing Language for Preventing ..."
Wang, Xinyu OOPSLA'17: "Synthesis of Data Completion ..."
Wang, Yuepeng OOPSLA'17: "SQLizer: Query Synthesis from ..."
Weimer, Westley OOPSLA'17: "Learning to Blame: Localizing ..."
Wood, Benjamin P. OOPSLA'17: "Instrumentation Bias for Dynamic ..."
Wrigstad, Tobias OOPSLA'17: "Orca: GC and Type System Co-Design ..."
Wu, Baijun OOPSLA'17: "Learning User Friendly Type-Error ..." OOPSLA'17: "How Type Errors Were Fixed ..."
Yaghmazadeh, Navid OOPSLA'17: "SQLizer: Query Synthesis from ..."
Yang, Albert Mingkun OOPSLA'17: "Orca: GC and Type System Co-Design ..."
Yang, Di OOPSLA'17: "DéjàVu: A Map of Code Duplicates ..."
Yang, Hongseok OOPSLA'17: "Automatically Generating Features ..."
Yang, Yanpeng OOPSLA'17: "Unifying Typing and Subtyping ..."
Yuan, Binhang OOPSLA'17: "Abridging Source Code ..."
Zhai, Ennan OOPSLA'17: "Synthesizing Configuration ..." OOPSLA'17: "An Auditing Language for Preventing ..."
Zhang, Lingming OOPSLA'17: "Transforming Programs and ..."
Zhang, Xin OOPSLA'17: "Effective Interactive Resolution ..."
Zhang, Yizhou OOPSLA'17: "Familia: Unifying Interfaces, ..."
Zitny, Jakub OOPSLA'17: "DéjàVu: A Map of Code Duplicates ..."
Zucca, Elena OOPSLA'17: "Reasoning on Divergent Computations ..."

232 authors

proc time: 0.38