OOPSLA 2017 – Author Index

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	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Model Checking Copy Phases ..." Model Checking Copy Phases of Concurrent Copying Garbage Collection with Various Memory Models Tomoharu Ugawa, Tatsuya Abe, and Toshiyuki Maeda (Kochi University of Technology, Japan; Chiba Institute of Technology, Japan) Artifacts Functional Article: oopsla17main-oopsla246-p (type: Full Paper) doi:
	Accioly, Paola	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Evaluating and Improving Semistructured ..." Evaluating and Improving Semistructured Merge Guilherme Cavalcanti, Paulo Borba, and Paola Accioly (Federal University of Pernambuco, Brazil) Artifacts Functional Article: oopsla17main-oopsla219-p (type: Full Paper) doi:
	Adams, Michael D.	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Restricting Grammars with ..." Restricting Grammars with Tree Automata Michael D. Adams and Matthew Might (University of Utah, USA) Article: oopsla17main-oopsla234-p (type: Full Paper) doi:
	Adamsen, Christoffer Quist	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Practical Initialization Race ..." Practical Initialization Race Detection for JavaScript Web Applications Christoffer Quist Adamsen, Anders Møller, and Frank Tip (Aarhus University, Denmark; Northeastern University, USA) Artifacts Functional Article: oopsla17main-oopsla47-p (type: Full Paper) doi:
	Aftandilian, Edward	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Detecting Argument Selection ..." Detecting Argument Selection Defects Andrew Rice, Edward Aftandilian, Ciera Jaspan, Emily Johnston, Michael Pradel, and Yulissa Arroyo-Paredes (University of Cambridge, UK; Google, USA; TU Darmstadt, Germany; Columbia University, USA) Artifacts Functional Article: oopsla17main-oopsla81-p (type: Full Paper) doi:
	Aiken, Alex	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Seam: Provably Safe Local ..." Seam: Provably Safe Local Edits on Graphs Manolis Papadakis, Gilbert Louis Bernstein, Rahul Sharma, Alex Aiken, and Pat Hanrahan (Stanford University, USA; Microsoft Research, India) Artifacts Functional Article: oopsla17main-oopsla33-p (type: Full Paper) doi:
	Albarghouthi, Aws	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "FairSquare: Probabilistic ..." FairSquare: Probabilistic Verification of Program Fairness Aws Albarghouthi, Loris D'Antoni, Samuel Drews, and Aditya V. Nori (University of Wisconsin-Madison, USA; Microsoft Research, UK) Article: oopsla17main-oopsla72-p (type: Full Paper) doi:
	Ali, Karim	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "IDEal: Efficient ..." IDEal: Efficient and Precise Alias-Aware Dataflow Analysis Johannes Späth, Karim Ali, and Eric Bodden (Fraunhofer IEM, Germany; University of Alberta, Canada; University of Paderborn, Germany) Artifacts Functional Article: oopsla17main-oopsla23-p (type: Full Paper) doi:
	Amarasinghe, Saman	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "The Tensor Algebra Compiler ..." The Tensor Algebra Compiler Fredrik Kjolstad, Shoaib Kamil, Stephen Chou, David Lugato, and Saman Amarasinghe (Massachusetts Institute of Technology, USA; Adobe, USA; CEA, France) Artifacts Functional Article: oopsla17main-oopsla113-p (type: Full Paper) doi:
	Ancona, Davide	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Reasoning on Divergent Computations ..." Reasoning on Divergent Computations with Coaxioms Davide Ancona, Francesco Dagnino, and Elena Zucca (University of Genoa, Italy) Article: oopsla17main-oopsla256-p (type: Full Paper) doi:
	Appel, Andrew W.	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "A Verified Messaging System ..." A Verified Messaging System William Mansky, Andrew W. Appel, and Aleksey Nogin (Princeton University, USA; HRL Labs, USA) Article: oopsla17main-oopsla28-p (type: Full Paper) doi:
	Arroyo-Paredes, Yulissa	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Detecting Argument Selection ..." Detecting Argument Selection Defects Andrew Rice, Edward Aftandilian, Ciera Jaspan, Emily Johnston, Michael Pradel, and Yulissa Arroyo-Paredes (University of Cambridge, UK; Google, USA; TU Darmstadt, Germany; Columbia University, USA) Artifacts Functional Article: oopsla17main-oopsla81-p (type: Full Paper) doi:
	Arteca, Ellen	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "The VM Already Knew That: ..." The VM Already Knew That: Leveraging Compile-Time Knowledge to Optimize Gradual Typing Gregor Richards, Ellen Arteca, and Alexi Turcotte (University of Waterloo, Canada) Artifacts Functional Article: oopsla17main-oopsla98-p (type: Full Paper) doi:
	Bakst, Alexander	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Verifying Distributed Programs ..." Verifying Distributed Programs via Canonical Sequentialization Alexander Bakst, Klaus v. Gleissenthall, Rami Gökhan Kıcı, and Ranjit Jhala (University of California at San Diego, USA) Artifacts Functional Article: oopsla17main-oopsla34-p (type: Full Paper) doi:
	Balkind, Jonathan	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Project Snowflake: Non-blocking ..." Project Snowflake: Non-blocking Safe Manual Memory Management in .NET Matthew Parkinson, Dimitrios Vytiniotis, Kapil Vaswani, Manuel Costa, Pantazis Deligiannis, Dylan McDermott, Aaron Blankstein, and Jonathan Balkind (Microsoft Research, UK; University of Cambridge, UK; Princeton University, USA) Article: oopsla17main-oopsla101-p (type: Full Paper) doi:
	Barrett, Edd	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Virtual Machine Warmup Blows ..." Virtual Machine Warmup Blows Hot and Cold Edd Barrett, Carl Friedrich Bolz-Tereick, Rebecca Killick, Sarah Mount, and Laurence Tratt (King's College London, UK; Lancaster University, UK) Artifacts Functional Article: oopsla17main-oopsla172-p (type: Full Paper) doi:
	Bauman, Spenser	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Sound Gradual Typing: Only ..." Sound Gradual Typing: Only Mostly Dead Spenser Bauman, Carl Friedrich Bolz-Tereick, Jeremy Siek, and Sam Tobin-Hochstadt (Indiana University, USA; King's College London, UK) Article: oopsla17main-oopsla64-p (type: Full Paper) doi:
	Beresford, Alastair R.	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Verifying Strong Eventual ..." Verifying Strong Eventual Consistency in Distributed Systems Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford (University of Cambridge, UK) Artifacts Functional Article: oopsla17main-oopsla94-p (type: Full Paper) doi:
	Bernstein, Gilbert Louis	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Seam: Provably Safe Local ..." Seam: Provably Safe Local Edits on Graphs Manolis Papadakis, Gilbert Louis Bernstein, Rahul Sharma, Alex Aiken, and Pat Hanrahan (Stanford University, USA; Microsoft Research, India) Artifacts Functional Article: oopsla17main-oopsla33-p (type: Full Paper) doi:
	Bernstein, Philip A.	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Geo-Distribution of Actor-Based ..." Geo-Distribution of Actor-Based Services Philip A. Bernstein, Sebastian Burckhardt, Sergey Bykov, Natacha Crooks, Jose M. Faleiro, Gabriel Kliot, Alok Kumbhare, Muntasir Raihan Rahman, Vivek Shah, Adriana Szekeres, and Jorgen Thelin (Microsoft Research, USA; Microsoft, USA; University of Texas at Austin, USA; Yale University, USA; Google, USA; University of Copenhagen, Denmark; University of Washington, USA) Article: oopsla17main-oopsla74-p (type: Full Paper) doi:
	Blankstein, Aaron	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Project Snowflake: Non-blocking ..." Project Snowflake: Non-blocking Safe Manual Memory Management in .NET Matthew Parkinson, Dimitrios Vytiniotis, Kapil Vaswani, Manuel Costa, Pantazis Deligiannis, Dylan McDermott, Aaron Blankstein, and Jonathan Balkind (Microsoft Research, UK; University of Cambridge, UK; Princeton University, USA) Article: oopsla17main-oopsla101-p (type: Full Paper) doi:
	Bodden, Eric	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "IDEal: Efficient ..." IDEal: Efficient and Precise Alias-Aware Dataflow Analysis Johannes Späth, Karim Ali, and Eric Bodden (Fraunhofer IEM, Germany; University of Alberta, Canada; University of Paderborn, Germany) Artifacts Functional Article: oopsla17main-oopsla23-p (type: Full Paper) doi:
	Bodik, Rastislav	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Skip Blocks: Reusing Execution ..." Skip Blocks: Reusing Execution History to Accelerate Web Scripts Sarah Chasins and Rastislav Bodik (University of California at Berkeley, USA; University of Washington, USA) Article: oopsla17main-oopsla224-p (type: Full Paper) doi:
	Bolz-Tereick, Carl Friedrich	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Virtual Machine Warmup Blows ..." Virtual Machine Warmup Blows Hot and Cold Edd Barrett, Carl Friedrich Bolz-Tereick, Rebecca Killick, Sarah Mount, and Laurence Tratt (King's College London, UK; Lancaster University, UK) Artifacts Functional Article: oopsla17main-oopsla172-p (type: Full Paper) doi: Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Sound Gradual Typing: Only ..." Sound Gradual Typing: Only Mostly Dead Spenser Bauman, Carl Friedrich Bolz-Tereick, Jeremy Siek, and Sam Tobin-Hochstadt (Indiana University, USA; King's College London, UK) Article: oopsla17main-oopsla64-p (type: Full Paper) doi:
	Bond, Michael D.	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Instrumentation Bias for Dynamic ..." Instrumentation Bias for Dynamic Data Race Detection Benjamin P. Wood, Man Cao, Michael D. Bond, and Dan Grossman (Wellesley College, USA; Google, USA; Ohio State University, USA; University of Washington, USA) Artifacts Functional Article: oopsla17main-oopsla240-p (type: Full Paper) doi:
	Borba, Paulo	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Evaluating and Improving Semistructured ..." Evaluating and Improving Semistructured Merge Guilherme Cavalcanti, Paulo Borba, and Paola Accioly (Federal University of Pernambuco, Brazil) Artifacts Functional Article: oopsla17main-oopsla219-p (type: Full Paper) doi:
	Burckhardt, Sebastian	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Geo-Distribution of Actor-Based ..." Geo-Distribution of Actor-Based Services Philip A. Bernstein, Sebastian Burckhardt, Sergey Bykov, Natacha Crooks, Jose M. Faleiro, Gabriel Kliot, Alok Kumbhare, Muntasir Raihan Rahman, Vivek Shah, Adriana Szekeres, and Jorgen Thelin (Microsoft Research, USA; Microsoft, USA; University of Texas at Austin, USA; Yale University, USA; Google, USA; University of Copenhagen, Denmark; University of Washington, USA) Article: oopsla17main-oopsla74-p (type: Full Paper) doi:
	Bykov, Sergey	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Geo-Distribution of Actor-Based ..." Geo-Distribution of Actor-Based Services Philip A. Bernstein, Sebastian Burckhardt, Sergey Bykov, Natacha Crooks, Jose M. Faleiro, Gabriel Kliot, Alok Kumbhare, Muntasir Raihan Rahman, Vivek Shah, Adriana Szekeres, and Jorgen Thelin (Microsoft Research, USA; Microsoft, USA; University of Texas at Austin, USA; Yale University, USA; Google, USA; University of Copenhagen, Denmark; University of Washington, USA) Article: oopsla17main-oopsla74-p (type: Full Paper) doi:
	Campora III, John Peter	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Learning User Friendly Type-Error ..." Learning User Friendly Type-Error Messages Baijun Wu, John Peter Campora III, and Sheng Chen (University of Louisiana at Lafayette, USA) Article: oopsla17main-oopsla243-p (type: Full Paper) doi:
	Cao, Man	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Instrumentation Bias for Dynamic ..." Instrumentation Bias for Dynamic Data Race Detection Benjamin P. Wood, Man Cao, Michael D. Bond, and Dan Grossman (Wellesley College, USA; Google, USA; Ohio State University, USA; University of Washington, USA) Artifacts Functional Article: oopsla17main-oopsla240-p (type: Full Paper) doi:
	Carlson, Travis	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Reliable and Automatic Composition ..." Reliable and Automatic Composition of Language Extensions to C: The ᴀʙʟᴇC Extensible Language Framework Ted Kaminski, Lucas Kramer, Travis Carlson, and Eric Van Wyk (University of Minnesota, USA) Artifacts Functional Article: oopsla17main-oopsla206-p (type: Full Paper) doi:
	Cavalcanti, Guilherme	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Evaluating and Improving Semistructured ..." Evaluating and Improving Semistructured Merge Guilherme Cavalcanti, Paulo Borba, and Paola Accioly (Federal University of Pernambuco, Brazil) Artifacts Functional Article: oopsla17main-oopsla219-p (type: Full Paper) doi:
	Celik, Ahmet	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Bounded Exhaustive Test-Input ..." Bounded Exhaustive Test-Input Generation on GPUs Ahmet Celik, Sreepathi Pai, Sarfraz Khurshid, and Milos Gligoric (University of Texas at Austin, USA) Article: oopsla17main-oopsla232-p (type: Full Paper) doi:
	Cha, Sungdeok	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Data-Driven Context-Sensitivity ..." Data-Driven Context-Sensitivity for Points-to Analysis Sehun Jeong, Minseok Jeon, Sungdeok Cha, and Hakjoo Oh (Korea University, South Korea) Artifacts Functional Article: oopsla17main-oopsla242-p (type: Full Paper) doi:
	Chae, Kwonsoo	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Automatically Generating Features ..." Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages Kwonsoo Chae, Hakjoo Oh, Kihong Heo, and Hongseok Yang (Korea University, South Korea; Seoul National University, South Korea; University of Oxford, UK) Article: oopsla17main-oopsla250-p (type: Full Paper) doi:
	Chasins, Sarah	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Skip Blocks: Reusing Execution ..." Skip Blocks: Reusing Execution History to Accelerate Web Scripts Sarah Chasins and Rastislav Bodik (University of California at Berkeley, USA; University of Washington, USA) Article: oopsla17main-oopsla224-p (type: Full Paper) doi:
	Chaudhuri, Avik	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Fast and Precise Type Checking ..." Fast and Precise Type Checking for JavaScript Avik Chaudhuri, Panagiotis Vekris, Sam Goldman, Marshall Roch, and Gabriel Levi (Facebook, USA; University of California at San Diego, USA) Artifacts Functional Article: oopsla17main-oopsla179-p (type: Full Paper) doi:
	Chaudhuri, Kamalika	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Learning to Blame: Localizing ..." Learning to Blame: Localizing Novice Type Errors with Data-Driven Diagnosis Eric L. Seidel, Huma Sibghat, Kamalika Chaudhuri, Westley Weimer, and Ranjit Jhala (University of California at San Diego, USA; University of Virginia, USA) Artifacts Functional Article: oopsla17main-oopsla37-p (type: Full Paper) doi:
	Chen, Sheng	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "How Type Errors Were Fixed ..." How Type Errors Were Fixed and What Students Did? Baijun Wu and Sheng Chen (University of Louisiana at Lafayette, USA) Article: oopsla17main-oopsla226-p (type: Full Paper) doi: Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Learning User Friendly Type-Error ..." Learning User Friendly Type-Error Messages Baijun Wu, John Peter Campora III, and Sheng Chen (University of Louisiana at Lafayette, USA) Article: oopsla17main-oopsla243-p (type: Full Paper) doi:
	Chlipala, Adam	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "TiML: A Functional Language ..." TiML: A Functional Language for Practical Complexity Analysis with Invariants Peng Wang, Di Wang, and Adam Chlipala (Massachusetts Institute of Technology, USA; Peking University, China) Artifacts Functional Article: oopsla17main-oopsla56-p (type: Full Paper) doi:
	Chou, Stephen	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "The Tensor Algebra Compiler ..." The Tensor Algebra Compiler Fredrik Kjolstad, Shoaib Kamil, Stephen Chou, David Lugato, and Saman Amarasinghe (Massachusetts Institute of Technology, USA; Adobe, USA; CEA, France) Artifacts Functional Article: oopsla17main-oopsla113-p (type: Full Paper) doi:
	Clebsch, Sylvan	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Orca: GC and Type System Co-Design ..." Orca: GC and Type System Co-Design for Actor Languages Sylvan Clebsch, Juliana Franco, Sophia Drossopoulou, Albert Mingkun Yang, Tobias Wrigstad, and Jan Vitek (Microsoft Research, UK; Imperial College London, UK; Uppsala University, Sweden; Northeastern University, USA) Article: oopsla17main-oopsla163-p (type: Full Paper) doi:
	Cogumbreiro, Tiago	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Deadlock Avoidance in Parallel ..." Deadlock Avoidance in Parallel Programs with Futures: Why Parallel Tasks Should Not Wait for Strangers Tiago Cogumbreiro, Rishi Surendran, Francisco Martins, Vivek Sarkar, Vasco T. Vasconcelos, and Max Grossman (Rice University, USA; University of Lisbon, Portugal) Article: oopsla17main-oopsla165-p (type: Full Paper) doi:
	Cohen, Nachshon	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Efficient Logging in Non-Volatile ..." Efficient Logging in Non-Volatile Memory by Exploiting Coherency Protocols Nachshon Cohen, Michal Friedman, and James R. Larus (EPFL, Switzerland; Technion, Israel) Artifacts Functional Article: oopsla17main-oopsla76-p (type: Full Paper) doi:
	Colin, Alexei	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Alpaca: Intermittent Execution ..." Alpaca: Intermittent Execution without Checkpoints Kiwan Maeng, Alexei Colin, and Brandon Lucia (Carnegie Mellon University, USA) Article: oopsla17main-oopsla54-p (type: Full Paper) doi:
	Contrastin, Mistral	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Verifying Spatial Properties ..." Verifying Spatial Properties of Array Computations Dominic Orchard, Mistral Contrastin, Matthew Danish, and Andrew Rice (University of Kent, UK; University of Cambridge, UK) Artifacts Functional Article: oopsla17main-oopsla85-p (type: Full Paper) doi:
	Costa, Manuel	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Project Snowflake: Non-blocking ..." Project Snowflake: Non-blocking Safe Manual Memory Management in .NET Matthew Parkinson, Dimitrios Vytiniotis, Kapil Vaswani, Manuel Costa, Pantazis Deligiannis, Dylan McDermott, Aaron Blankstein, and Jonathan Balkind (Microsoft Research, UK; University of Cambridge, UK; Princeton University, USA) Article: oopsla17main-oopsla101-p (type: Full Paper) doi:
	Crooks, Natacha	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Geo-Distribution of Actor-Based ..." Geo-Distribution of Actor-Based Services Philip A. Bernstein, Sebastian Burckhardt, Sergey Bykov, Natacha Crooks, Jose M. Faleiro, Gabriel Kliot, Alok Kumbhare, Muntasir Raihan Rahman, Vivek Shah, Adriana Szekeres, and Jorgen Thelin (Microsoft Research, USA; Microsoft, USA; University of Texas at Austin, USA; Yale University, USA; Google, USA; University of Copenhagen, Denmark; University of Washington, USA) Article: oopsla17main-oopsla74-p (type: Full Paper) doi:
	Dagnino, Francesco	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Reasoning on Divergent Computations ..." Reasoning on Divergent Computations with Coaxioms Davide Ancona, Francesco Dagnino, and Elena Zucca (University of Genoa, Italy) Article: oopsla17main-oopsla256-p (type: Full Paper) doi:
	Danish, Matthew	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Verifying Spatial Properties ..." Verifying Spatial Properties of Array Computations Dominic Orchard, Mistral Contrastin, Matthew Danish, and Andrew Rice (University of Kent, UK; University of Cambridge, UK) Artifacts Functional Article: oopsla17main-oopsla85-p (type: Full Paper) doi:
	D'Antoni, Loris	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "FairSquare: Probabilistic ..." FairSquare: Probabilistic Verification of Program Fairness Aws Albarghouthi, Loris D'Antoni, Samuel Drews, and Aditya V. Nori (University of Wisconsin-Madison, USA; Microsoft Research, UK) Article: oopsla17main-oopsla72-p (type: Full Paper) doi:
	Deligiannis, Pantazis	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Project Snowflake: Non-blocking ..." Project Snowflake: Non-blocking Safe Manual Memory Management in .NET Matthew Parkinson, Dimitrios Vytiniotis, Kapil Vaswani, Manuel Costa, Pantazis Deligiannis, Dylan McDermott, Aaron Blankstein, and Jonathan Balkind (Microsoft Research, UK; University of Cambridge, UK; Princeton University, USA) Article: oopsla17main-oopsla101-p (type: Full Paper) doi:
	Devietti, Joseph	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Monadic Composition for Deterministic, ..." Monadic Composition for Deterministic, Parallel Batch Processing Ryan G. Scott, Omar S. Navarro Leija, Joseph Devietti, and Ryan R. Newton (Indiana University, USA; University of Pennsylvania, USA) Artifacts Functional Article: oopsla17main-oopsla10-p (type: Full Paper) doi:
	Dhodapkar, Rahul	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Synthesizing Configuration ..." Synthesizing Configuration File Specifications with Association Rule Learning Mark Santolucito, Ennan Zhai, Rahul Dhodapkar, Aaron Shim, and Ruzica Piskac (Yale University, USA; MongoDB, USA; Microsoft, USA) Article: oopsla17main-oopsla199-p (type: Full Paper) doi:
	Dig, Danny	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Understanding the Use of Lambda ..." Understanding the Use of Lambda Expressions in Java Davood Mazinanian, Ameya Ketkar, Nikolaos Tsantalis, and Danny Dig (Concordia University, Canada; Oregon State University, USA) Artifacts Functional Article: oopsla17main-oopsla238-p (type: Full Paper) doi:
	Dillig, Isil	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Synthesis of Data Completion ..." Synthesis of Data Completion Scripts using Finite Tree Automata Xinyu Wang, Isil Dillig, and Rishabh Singh (University of Texas at Austin, USA; Microsoft Research, USA) Article: oopsla17main-oopsla50-p (type: Full Paper) doi: Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "SQLizer: Query Synthesis from ..." SQLizer: Query Synthesis from Natural Language Navid Yaghmazadeh, Yuepeng Wang, Isil Dillig, and Thomas Dillig (University of Texas at Austin, USA) Article: oopsla17main-oopsla61-p (type: Full Paper) doi:
	Dillig, Thomas	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "SQLizer: Query Synthesis from ..." SQLizer: Query Synthesis from Natural Language Navid Yaghmazadeh, Yuepeng Wang, Isil Dillig, and Thomas Dillig (University of Texas at Austin, USA) Article: oopsla17main-oopsla61-p (type: Full Paper) doi:
	Ding, Yufei	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "GLORE: Generalized Loop Redundancy ..." GLORE: Generalized Loop Redundancy Elimination upon LER-Notation Yufei Ding and Xipeng Shen (North Carolina State University, USA) Article: oopsla17main-oopsla68-p (type: Full Paper) doi:
	Donaldson, Alastair F.	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Automated Testing of Graphics ..." Automated Testing of Graphics Shader Compilers Alastair F. Donaldson, Hugues Evrard, Andrei Lascu, and Paul Thomson (Imperial College London, UK) Article: oopsla17main-oopsla166-p (type: Full Paper) doi:
	Drews, Samuel	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "FairSquare: Probabilistic ..." FairSquare: Probabilistic Verification of Program Fairness Aws Albarghouthi, Loris D'Antoni, Samuel Drews, and Aditya V. Nori (University of Wisconsin-Madison, USA; Microsoft Research, UK) Article: oopsla17main-oopsla72-p (type: Full Paper) doi:
	Dreyer, Derek	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Robust and Compositional Verification ..." Robust and Compositional Verification of Object Capability Patterns David Swasey, Deepak Garg, and Derek Dreyer (MPI-SWS, Germany) Artifacts Functional Article: oopsla17main-oopsla154-p (type: Full Paper) doi:
	Drossopoulou, Sophia	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Orca: GC and Type System Co-Design ..." Orca: GC and Type System Co-Design for Actor Languages Sylvan Clebsch, Juliana Franco, Sophia Drossopoulou, Albert Mingkun Yang, Tobias Wrigstad, and Jan Vitek (Microsoft Research, UK; Imperial College London, UK; Uppsala University, Sweden; Northeastern University, USA) Article: oopsla17main-oopsla163-p (type: Full Paper) doi:
	El Hajj, Izzat	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "SAVI Objects: Sharing and ..." SAVI Objects: Sharing and Virtuality Incorporated Izzat El Hajj, Thomas B. Jablin, Dejan Milojicic, and Wen-mei Hwu (University of Illinois at Urbana-Champaign, USA; Hewlett Packard Labs, USA; Multicoreware, USA) Article: oopsla17main-oopsla32-p (type: Full Paper) doi:
	Evrard, Hugues	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Automated Testing of Graphics ..." Automated Testing of Graphics Shader Compilers Alastair F. Donaldson, Hugues Evrard, Andrei Lascu, and Paul Thomson (Imperial College London, UK) Article: oopsla17main-oopsla166-p (type: Full Paper) doi:
	Faleiro, Jose M.	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Geo-Distribution of Actor-Based ..." Geo-Distribution of Actor-Based Services Philip A. Bernstein, Sebastian Burckhardt, Sergey Bykov, Natacha Crooks, Jose M. Faleiro, Gabriel Kliot, Alok Kumbhare, Muntasir Raihan Rahman, Vivek Shah, Adriana Szekeres, and Jorgen Thelin (Microsoft Research, USA; Microsoft, USA; University of Texas at Austin, USA; Yale University, USA; Google, USA; University of Copenhagen, Denmark; University of Washington, USA) Article: oopsla17main-oopsla74-p (type: Full Paper) doi:
	Ferracioli, Fabrício	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Static Placement of Computation ..." Static Placement of Computation on Heterogeneous Devices Gabriel Poesia, Breno Guimarães, Fabrício Ferracioli, and Fernando Magno Quintão Pereira (Federal University of Minas Gerais, Brazil; LG Electronics, Brazil) Artifacts Functional Article: oopsla17main-oopsla59-p (type: Full Paper) doi:
	Fourtounis, George	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Heaps Don't Lie: Countering ..." Heaps Don't Lie: Countering Unsoundness with Heap Snapshots Neville Grech, George Fourtounis, Adrian Francalanza, and Yannis Smaragdakis (University of Athens, Greece; University of Malta, Malta) Artifacts Functional Article: oopsla17main-oopsla167-p (type: Full Paper) doi:
	Francalanza, Adrian	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Heaps Don't Lie: Countering ..." Heaps Don't Lie: Countering Unsoundness with Heap Snapshots Neville Grech, George Fourtounis, Adrian Francalanza, and Yannis Smaragdakis (University of Athens, Greece; University of Malta, Malta) Artifacts Functional Article: oopsla17main-oopsla167-p (type: Full Paper) doi:
	Franco, Juliana	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Orca: GC and Type System Co-Design ..." Orca: GC and Type System Co-Design for Actor Languages Sylvan Clebsch, Juliana Franco, Sophia Drossopoulou, Albert Mingkun Yang, Tobias Wrigstad, and Jan Vitek (Microsoft Research, UK; Imperial College London, UK; Uppsala University, Sweden; Northeastern University, USA) Article: oopsla17main-oopsla163-p (type: Full Paper) doi:
	Friedman, Michal	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Efficient Logging in Non-Volatile ..." Efficient Logging in Non-Volatile Memory by Exploiting Coherency Protocols Nachshon Cohen, Michal Friedman, and James R. Larus (EPFL, Switzerland; Technion, Israel) Artifacts Functional Article: oopsla17main-oopsla76-p (type: Full Paper) doi:
	Garg, Deepak	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Robust and Compositional Verification ..." Robust and Compositional Verification of Object Capability Patterns David Swasey, Deepak Garg, and Derek Dreyer (MPI-SWS, Germany) Artifacts Functional Article: oopsla17main-oopsla154-p (type: Full Paper) doi:
	Gleissenthall, Klaus v.	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Verifying Distributed Programs ..." Verifying Distributed Programs via Canonical Sequentialization Alexander Bakst, Klaus v. Gleissenthall, Rami Gökhan Kıcı, and Ranjit Jhala (University of California at San Diego, USA) Artifacts Functional Article: oopsla17main-oopsla34-p (type: Full Paper) doi:
	Gligoric, Milos	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Bounded Exhaustive Test-Input ..." Bounded Exhaustive Test-Input Generation on GPUs Ahmet Celik, Sreepathi Pai, Sarfraz Khurshid, and Milos Gligoric (University of Texas at Austin, USA) Article: oopsla17main-oopsla232-p (type: Full Paper) doi:
	Goldman, Sam	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Fast and Precise Type Checking ..." Fast and Precise Type Checking for JavaScript Avik Chaudhuri, Panagiotis Vekris, Sam Goldman, Marshall Roch, and Gabriel Levi (Facebook, USA; University of California at San Diego, USA) Artifacts Functional Article: oopsla17main-oopsla179-p (type: Full Paper) doi:
	Gomes, Victor B. F.	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Verifying Strong Eventual ..." Verifying Strong Eventual Consistency in Distributed Systems Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford (University of Cambridge, UK) Artifacts Functional Article: oopsla17main-oopsla94-p (type: Full Paper) doi:
	Grech, Neville	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "P/Taint: Unified Points-to ..." P/Taint: Unified Points-to and Taint Analysis Neville Grech and Yannis Smaragdakis (University of Athens, Greece; University of Malta, Malta) Artifacts Functional Article: oopsla17main-oopsla254-p (type: Full Paper) doi: Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Heaps Don't Lie: Countering ..." Heaps Don't Lie: Countering Unsoundness with Heap Snapshots Neville Grech, George Fourtounis, Adrian Francalanza, and Yannis Smaragdakis (University of Athens, Greece; University of Malta, Malta) Artifacts Functional Article: oopsla17main-oopsla167-p (type: Full Paper) doi:
	Grigore, Radu	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Effective Interactive Resolution ..." Effective Interactive Resolution of Static Analysis Alarms Xin Zhang, Radu Grigore, Xujie Si, and Mayur Naik (Georgia Institute of Technology, USA; University of Kent, UK; University of Pennsylvania, USA) Artifacts Functional Article: oopsla17main-oopsla124-p (type: Full Paper) doi:
	Grossman, Dan	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Instrumentation Bias for Dynamic ..." Instrumentation Bias for Dynamic Data Race Detection Benjamin P. Wood, Man Cao, Michael D. Bond, and Dan Grossman (Wellesley College, USA; Google, USA; Ohio State University, USA; University of Washington, USA) Artifacts Functional Article: oopsla17main-oopsla240-p (type: Full Paper) doi: Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "A Solver-Aided Language for ..." A Solver-Aided Language for Test Input Generation Talia Ringer, Dan Grossman, Daniel Schwartz-Narbonne, and Serdar Tasiran (University of Washington, USA; Amazon, USA) Article: oopsla17main-oopsla78-p (type: Full Paper) doi:
	Grossman, Max	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Deadlock Avoidance in Parallel ..." Deadlock Avoidance in Parallel Programs with Futures: Why Parallel Tasks Should Not Wait for Strangers Tiago Cogumbreiro, Rishi Surendran, Francisco Martins, Vivek Sarkar, Vasco T. Vasconcelos, and Max Grossman (Rice University, USA; University of Lisbon, Portugal) Article: oopsla17main-oopsla165-p (type: Full Paper) doi:
	Gu, Ronghui	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "An Auditing Language for Preventing ..." An Auditing Language for Preventing Correlated Failures in the Cloud Ennan Zhai, Ruzica Piskac, Ronghui Gu, Xun Lao, and Xi Wang (Yale University, USA; Columbia University, USA) Artifacts Functional Article: oopsla17main-oopsla102-p (type: Full Paper) doi:
	Guimarães, Breno	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Static Placement of Computation ..." Static Placement of Computation on Heterogeneous Devices Gabriel Poesia, Breno Guimarães, Fabrício Ferracioli, and Fernando Magno Quintão Pereira (Federal University of Minas Gerais, Brazil; LG Electronics, Brazil) Artifacts Functional Article: oopsla17main-oopsla59-p (type: Full Paper) doi:
	Hanrahan, Pat	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Seam: Provably Safe Local ..." Seam: Provably Safe Local Edits on Graphs Manolis Papadakis, Gilbert Louis Bernstein, Rahul Sharma, Alex Aiken, and Pat Hanrahan (Stanford University, USA; Microsoft Research, India) Artifacts Functional Article: oopsla17main-oopsla33-p (type: Full Paper) doi:
	He, Paul	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "A Simple Soundness Proof for ..." A Simple Soundness Proof for Dependent Object Types Marianna Rapoport, Ifaz Kabir, Paul He, and Ondřej Lhoták (University of Waterloo, Canada) Artifacts Functional Article: oopsla17main-oopsla104-p (type: Full Paper) doi:
	Heo, Kihong	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Automatically Generating Features ..." Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages Kwonsoo Chae, Hakjoo Oh, Kihong Heo, and Hongseok Yang (Korea University, South Korea; Seoul National University, South Korea; University of Oxford, UK) Article: oopsla17main-oopsla250-p (type: Full Paper) doi:
	Hwu, Wen-mei	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "SAVI Objects: Sharing and ..." SAVI Objects: Sharing and Virtuality Incorporated Izzat El Hajj, Thomas B. Jablin, Dejan Milojicic, and Wen-mei Hwu (University of Illinois at Urbana-Champaign, USA; Hewlett Packard Labs, USA; Multicoreware, USA) Article: oopsla17main-oopsla32-p (type: Full Paper) doi:
	Jablin, Thomas B.	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "SAVI Objects: Sharing and ..." SAVI Objects: Sharing and Virtuality Incorporated Izzat El Hajj, Thomas B. Jablin, Dejan Milojicic, and Wen-mei Hwu (University of Illinois at Urbana-Champaign, USA; Hewlett Packard Labs, USA; Multicoreware, USA) Article: oopsla17main-oopsla32-p (type: Full Paper) doi:
	Jaspan, Ciera	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Detecting Argument Selection ..." Detecting Argument Selection Defects Andrew Rice, Edward Aftandilian, Ciera Jaspan, Emily Johnston, Michael Pradel, and Yulissa Arroyo-Paredes (University of Cambridge, UK; Google, USA; TU Darmstadt, Germany; Columbia University, USA) Artifacts Functional Article: oopsla17main-oopsla81-p (type: Full Paper) doi:
	Jeon, Minseok	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Data-Driven Context-Sensitivity ..." Data-Driven Context-Sensitivity for Points-to Analysis Sehun Jeong, Minseok Jeon, Sungdeok Cha, and Hakjoo Oh (Korea University, South Korea) Artifacts Functional Article: oopsla17main-oopsla242-p (type: Full Paper) doi:
	Jeong, Sehun	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Data-Driven Context-Sensitivity ..." Data-Driven Context-Sensitivity for Points-to Analysis Sehun Jeong, Minseok Jeon, Sungdeok Cha, and Hakjoo Oh (Korea University, South Korea) Artifacts Functional Article: oopsla17main-oopsla242-p (type: Full Paper) doi:
	Jermaine, Christopher	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Abridging Source Code ..." Abridging Source Code Binhang Yuan, Vijayaraghavan Murali, and Christopher Jermaine (Rice University, USA) Article: oopsla17main-oopsla193-p (type: Full Paper) doi:
	Jhala, Ranjit	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Verifying Distributed Programs ..." Verifying Distributed Programs via Canonical Sequentialization Alexander Bakst, Klaus v. Gleissenthall, Rami Gökhan Kıcı, and Ranjit Jhala (University of California at San Diego, USA) Artifacts Functional Article: oopsla17main-oopsla34-p (type: Full Paper) doi: Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Learning to Blame: Localizing ..." Learning to Blame: Localizing Novice Type Errors with Data-Driven Diagnosis Eric L. Seidel, Huma Sibghat, Kamalika Chaudhuri, Westley Weimer, and Ranjit Jhala (University of California at San Diego, USA; University of Virginia, USA) Artifacts Functional Article: oopsla17main-oopsla37-p (type: Full Paper) doi:
	Johnston, Emily	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Detecting Argument Selection ..." Detecting Argument Selection Defects Andrew Rice, Edward Aftandilian, Ciera Jaspan, Emily Johnston, Michael Pradel, and Yulissa Arroyo-Paredes (University of Cambridge, UK; Google, USA; TU Darmstadt, Germany; Columbia University, USA) Artifacts Functional Article: oopsla17main-oopsla81-p (type: Full Paper) doi:
	Kabir, Ifaz	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "A Simple Soundness Proof for ..." A Simple Soundness Proof for Dependent Object Types Marianna Rapoport, Ifaz Kabir, Paul He, and Ondřej Lhoták (University of Waterloo, Canada) Artifacts Functional Article: oopsla17main-oopsla104-p (type: Full Paper) doi:
	Kamil, Shoaib	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "The Tensor Algebra Compiler ..." The Tensor Algebra Compiler Fredrik Kjolstad, Shoaib Kamil, Stephen Chou, David Lugato, and Saman Amarasinghe (Massachusetts Institute of Technology, USA; Adobe, USA; CEA, France) Artifacts Functional Article: oopsla17main-oopsla113-p (type: Full Paper) doi:
	Kaminski, Ted	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Reliable and Automatic Composition ..." Reliable and Automatic Composition of Language Extensions to C: The ᴀʙʟᴇC Extensible Language Framework Ted Kaminski, Lucas Kramer, Travis Carlson, and Eric Van Wyk (University of Minnesota, USA) Artifacts Functional Article: oopsla17main-oopsla206-p (type: Full Paper) doi:
	Ketkar, Ameya	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Understanding the Use of Lambda ..." Understanding the Use of Lambda Expressions in Java Davood Mazinanian, Ameya Ketkar, Nikolaos Tsantalis, and Danny Dig (Concordia University, Canada; Oregon State University, USA) Artifacts Functional Article: oopsla17main-oopsla238-p (type: Full Paper) doi:
	Khairunnesa, Samantha Syeda	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Exploiting Implicit Beliefs ..." Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining Samantha Syeda Khairunnesa, Hoan Anh Nguyen, Tien N. Nguyen, and Hridesh Rajan (Iowa State University, USA; University of Texas at Dallas, USA) Article: oopsla17main-oopsla16-p (type: Full Paper) doi:
	Khurshid, Sarfraz	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Bounded Exhaustive Test-Input ..." Bounded Exhaustive Test-Input Generation on GPUs Ahmet Celik, Sreepathi Pai, Sarfraz Khurshid, and Milos Gligoric (University of Texas at Austin, USA) Article: oopsla17main-oopsla232-p (type: Full Paper) doi:
	Kıcı, Rami Gökhan	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Verifying Distributed Programs ..." Verifying Distributed Programs via Canonical Sequentialization Alexander Bakst, Klaus v. Gleissenthall, Rami Gökhan Kıcı, and Ranjit Jhala (University of California at San Diego, USA) Artifacts Functional Article: oopsla17main-oopsla34-p (type: Full Paper) doi:
	Killick, Rebecca	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Virtual Machine Warmup Blows ..." Virtual Machine Warmup Blows Hot and Cold Edd Barrett, Carl Friedrich Bolz-Tereick, Rebecca Killick, Sarah Mount, and Laurence Tratt (King's College London, UK; Lancaster University, UK) Artifacts Functional Article: oopsla17main-oopsla172-p (type: Full Paper) doi:
	Kjolstad, Fredrik	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "The Tensor Algebra Compiler ..." The Tensor Algebra Compiler Fredrik Kjolstad, Shoaib Kamil, Stephen Chou, David Lugato, and Saman Amarasinghe (Massachusetts Institute of Technology, USA; Adobe, USA; CEA, France) Artifacts Functional Article: oopsla17main-oopsla113-p (type: Full Paper) doi:
	Kleppmann, Martin	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Verifying Strong Eventual ..." Verifying Strong Eventual Consistency in Distributed Systems Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford (University of Cambridge, UK) Artifacts Functional Article: oopsla17main-oopsla94-p (type: Full Paper) doi:
	Kliot, Gabriel	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Geo-Distribution of Actor-Based ..." Geo-Distribution of Actor-Based Services Philip A. Bernstein, Sebastian Burckhardt, Sergey Bykov, Natacha Crooks, Jose M. Faleiro, Gabriel Kliot, Alok Kumbhare, Muntasir Raihan Rahman, Vivek Shah, Adriana Szekeres, and Jorgen Thelin (Microsoft Research, USA; Microsoft, USA; University of Texas at Austin, USA; Yale University, USA; Google, USA; University of Copenhagen, Denmark; University of Washington, USA) Article: oopsla17main-oopsla74-p (type: Full Paper) doi:
	Kramer, Lucas	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Reliable and Automatic Composition ..." Reliable and Automatic Composition of Language Extensions to C: The ᴀʙʟᴇC Extensible Language Framework Ted Kaminski, Lucas Kramer, Travis Carlson, and Eric Van Wyk (University of Minnesota, USA) Artifacts Functional Article: oopsla17main-oopsla206-p (type: Full Paper) doi:
	Kristensen, Erik Krogh	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Type Test Scripts for TypeScript ..." Type Test Scripts for TypeScript Testing Erik Krogh Kristensen and Anders Møller (Aarhus University, Denmark) Artifacts Functional Article: oopsla17main-oopsla46-p (type: Full Paper) doi:
	Kulkarni, Milind	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "TreeFuser: A Framework for ..." TreeFuser: A Framework for Analyzing and Fusing General Recursive Tree Traversals Laith Sakka, Kirshanthan Sundararajah, and Milind Kulkarni (Purdue University, USA) Article: oopsla17main-oopsla90-p (type: Full Paper) doi:
	Kumbhare, Alok	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Geo-Distribution of Actor-Based ..." Geo-Distribution of Actor-Based Services Philip A. Bernstein, Sebastian Burckhardt, Sergey Bykov, Natacha Crooks, Jose M. Faleiro, Gabriel Kliot, Alok Kumbhare, Muntasir Raihan Rahman, Vivek Shah, Adriana Szekeres, and Jorgen Thelin (Microsoft Research, USA; Microsoft, USA; University of Texas at Austin, USA; Yale University, USA; Google, USA; University of Copenhagen, Denmark; University of Washington, USA) Article: oopsla17main-oopsla74-p (type: Full Paper) doi:
	Lao, Xun	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "An Auditing Language for Preventing ..." An Auditing Language for Preventing Correlated Failures in the Cloud Ennan Zhai, Ruzica Piskac, Ronghui Gu, Xun Lao, and Xi Wang (Yale University, USA; Columbia University, USA) Artifacts Functional Article: oopsla17main-oopsla102-p (type: Full Paper) doi:
	Larus, James R.	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Efficient Logging in Non-Volatile ..." Efficient Logging in Non-Volatile Memory by Exploiting Coherency Protocols Nachshon Cohen, Michal Friedman, and James R. Larus (EPFL, Switzerland; Technion, Israel) Artifacts Functional Article: oopsla17main-oopsla76-p (type: Full Paper) doi:
	Lascu, Andrei	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Automated Testing of Graphics ..." Automated Testing of Graphics Shader Compilers Alastair F. Donaldson, Hugues Evrard, Andrei Lascu, and Paul Thomson (Imperial College London, UK) Article: oopsla17main-oopsla166-p (type: Full Paper) doi:
	Levi, Gabriel	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Fast and Precise Type Checking ..." Fast and Precise Type Checking for JavaScript Avik Chaudhuri, Panagiotis Vekris, Sam Goldman, Marshall Roch, and Gabriel Levi (Facebook, USA; University of California at San Diego, USA) Artifacts Functional Article: oopsla17main-oopsla179-p (type: Full Paper) doi:
	Lhoták, Ondřej	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "A Simple Soundness Proof for ..." A Simple Soundness Proof for Dependent Object Types Marianna Rapoport, Ifaz Kabir, Paul He, and Ondřej Lhoták (University of Waterloo, Canada) Artifacts Functional Article: oopsla17main-oopsla104-p (type: Full Paper) doi: Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "A Model for Reasoning About ..." A Model for Reasoning About JavaScript Promises Magnus Madsen, Ondřej Lhoták, and Frank Tip (University of Waterloo, Canada; Northeastern University, USA) Article: oopsla17main-oopsla26-p (type: Full Paper) doi:
	Li, Xia	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Transforming Programs and ..." Transforming Programs and Tests in Tandem for Fault Localization Xia Li and Lingming Zhang (University of Texas at Dallas, USA) Article: oopsla17main-oopsla121-p (type: Full Paper) doi:
	Liu, Lun	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "A Volatile-by-Default JVM ..." A Volatile-by-Default JVM for Server Applications Lun Liu, Todd Millstein, and Madanlal Musuvathi (University of California at Los Angeles, USA; Microsoft Research, USA) Artifacts Functional Article: oopsla17main-oopsla58-p (type: Full Paper) doi:
	Lopes, Cristina V.	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "DéjàVu: A Map of Code Duplicates ..." DéjàVu: A Map of Code Duplicates on GitHub Cristina V. Lopes, Petr Maj, Pedro Martins, Vaibhav Saini, Di Yang, Jakub Zitny, Hitesh Sajnani, and Jan Vitek (University of California at Irvine, USA; Czech Technical University, Czechia; Microsoft Research, USA; Northeastern University, USA) Artifacts Functional Article: oopsla17main-oopsla176-p (type: Full Paper) doi:
	Losa, Giuliano	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Paxos Made EPR: Decidable ..." Paxos Made EPR: Decidable Reasoning about Distributed Protocols Oded Padon, Giuliano Losa, Mooly Sagiv, and Sharon Shoham (Tel Aviv University, Israel; University of California at Los Angeles, USA) Article: oopsla17main-oopsla189-p (type: Full Paper) doi:
	Lucia, Brandon	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Alpaca: Intermittent Execution ..." Alpaca: Intermittent Execution without Checkpoints Kiwan Maeng, Alexei Colin, and Brandon Lucia (Carnegie Mellon University, USA) Article: oopsla17main-oopsla54-p (type: Full Paper) doi:
	Lugato, David	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "The Tensor Algebra Compiler ..." The Tensor Algebra Compiler Fredrik Kjolstad, Shoaib Kamil, Stephen Chou, David Lugato, and Saman Amarasinghe (Massachusetts Institute of Technology, USA; Adobe, USA; CEA, France) Artifacts Functional Article: oopsla17main-oopsla113-p (type: Full Paper) doi:
	Madsen, Magnus	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "A Model for Reasoning About ..." A Model for Reasoning About JavaScript Promises Magnus Madsen, Ondřej Lhoták, and Frank Tip (University of Waterloo, Canada; Northeastern University, USA) Article: oopsla17main-oopsla26-p (type: Full Paper) doi:
	Maeda, Toshiyuki	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Model Checking Copy Phases ..." Model Checking Copy Phases of Concurrent Copying Garbage Collection with Various Memory Models Tomoharu Ugawa, Tatsuya Abe, and Toshiyuki Maeda (Kochi University of Technology, Japan; Chiba Institute of Technology, Japan) Artifacts Functional Article: oopsla17main-oopsla246-p (type: Full Paper) doi:
	Maeng, Kiwan	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Alpaca: Intermittent Execution ..." Alpaca: Intermittent Execution without Checkpoints Kiwan Maeng, Alexei Colin, and Brandon Lucia (Carnegie Mellon University, USA) Article: oopsla17main-oopsla54-p (type: Full Paper) doi:
	Maj, Petr	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "DéjàVu: A Map of Code Duplicates ..." DéjàVu: A Map of Code Duplicates on GitHub Cristina V. Lopes, Petr Maj, Pedro Martins, Vaibhav Saini, Di Yang, Jakub Zitny, Hitesh Sajnani, and Jan Vitek (University of California at Irvine, USA; Czech Technical University, Czechia; Microsoft Research, USA; Northeastern University, USA) Artifacts Functional Article: oopsla17main-oopsla176-p (type: Full Paper) doi:
	Mansky, William	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "A Verified Messaging System ..." A Verified Messaging System William Mansky, Andrew W. Appel, and Aleksey Nogin (Princeton University, USA; HRL Labs, USA) Article: oopsla17main-oopsla28-p (type: Full Paper) doi:
	Martins, Francisco	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Deadlock Avoidance in Parallel ..." Deadlock Avoidance in Parallel Programs with Futures: Why Parallel Tasks Should Not Wait for Strangers Tiago Cogumbreiro, Rishi Surendran, Francisco Martins, Vivek Sarkar, Vasco T. Vasconcelos, and Max Grossman (Rice University, USA; University of Lisbon, Portugal) Article: oopsla17main-oopsla165-p (type: Full Paper) doi:
	Martins, Pedro	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "DéjàVu: A Map of Code Duplicates ..." DéjàVu: A Map of Code Duplicates on GitHub Cristina V. Lopes, Petr Maj, Pedro Martins, Vaibhav Saini, Di Yang, Jakub Zitny, Hitesh Sajnani, and Jan Vitek (University of California at Irvine, USA; Czech Technical University, Czechia; Microsoft Research, USA; Northeastern University, USA) Artifacts Functional Article: oopsla17main-oopsla176-p (type: Full Paper) doi:
	Mazinanian, Davood	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Understanding the Use of Lambda ..." Understanding the Use of Lambda Expressions in Java Davood Mazinanian, Ameya Ketkar, Nikolaos Tsantalis, and Danny Dig (Concordia University, Canada; Oregon State University, USA) Artifacts Functional Article: oopsla17main-oopsla238-p (type: Full Paper) doi:
	McDermott, Dylan	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Project Snowflake: Non-blocking ..." Project Snowflake: Non-blocking Safe Manual Memory Management in .NET Matthew Parkinson, Dimitrios Vytiniotis, Kapil Vaswani, Manuel Costa, Pantazis Deligiannis, Dylan McDermott, Aaron Blankstein, and Jonathan Balkind (Microsoft Research, UK; University of Cambridge, UK; Princeton University, USA) Article: oopsla17main-oopsla101-p (type: Full Paper) doi:
	McKinley, Kathryn S.	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Static Stages for Heterogeneous ..." Static Stages for Heterogeneous Programming Adrian Sampson, Kathryn S. McKinley, and Todd Mytkowicz (Cornell University, USA; Google, USA; Microsoft Research, USA) Artifacts Functional Article: oopsla17main-oopsla83-p (type: Full Paper) doi:
	Might, Matthew	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Restricting Grammars with ..." Restricting Grammars with Tree Automata Michael D. Adams and Matthew Might (University of Utah, USA) Article: oopsla17main-oopsla234-p (type: Full Paper) doi:
	Millstein, Todd	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "A Volatile-by-Default JVM ..." A Volatile-by-Default JVM for Server Applications Lun Liu, Todd Millstein, and Madanlal Musuvathi (University of California at Los Angeles, USA; Microsoft Research, USA) Artifacts Functional Article: oopsla17main-oopsla58-p (type: Full Paper) doi:
	Milojicic, Dejan	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "SAVI Objects: Sharing and ..." SAVI Objects: Sharing and Virtuality Incorporated Izzat El Hajj, Thomas B. Jablin, Dejan Milojicic, and Wen-mei Hwu (University of Illinois at Urbana-Champaign, USA; Hewlett Packard Labs, USA; Multicoreware, USA) Article: oopsla17main-oopsla32-p (type: Full Paper) doi:
	Møller, Anders	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Practical Initialization Race ..." Practical Initialization Race Detection for JavaScript Web Applications Christoffer Quist Adamsen, Anders Møller, and Frank Tip (Aarhus University, Denmark; Northeastern University, USA) Artifacts Functional Article: oopsla17main-oopsla47-p (type: Full Paper) doi: Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Type Test Scripts for TypeScript ..." Type Test Scripts for TypeScript Testing Erik Krogh Kristensen and Anders Møller (Aarhus University, Denmark) Artifacts Functional Article: oopsla17main-oopsla46-p (type: Full Paper) doi:
	Mount, Sarah	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Virtual Machine Warmup Blows ..." Virtual Machine Warmup Blows Hot and Cold Edd Barrett, Carl Friedrich Bolz-Tereick, Rebecca Killick, Sarah Mount, and Laurence Tratt (King's College London, UK; Lancaster University, UK) Artifacts Functional Article: oopsla17main-oopsla172-p (type: Full Paper) doi:
	Muehlboeck, Fabian	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Sound Gradual Typing is Nominally ..." Sound Gradual Typing is Nominally Alive and Well Fabian Muehlboeck and Ross Tate (Cornell University, USA) Artifacts Functional Article: oopsla17main-oopsla185-p (type: Full Paper) doi:
	Mulligan, Dominic P.	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Verifying Strong Eventual ..." Verifying Strong Eventual Consistency in Distributed Systems Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford (University of Cambridge, UK) Artifacts Functional Article: oopsla17main-oopsla94-p (type: Full Paper) doi:
	Murali, Vijayaraghavan	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Abridging Source Code ..." Abridging Source Code Binhang Yuan, Vijayaraghavan Murali, and Christopher Jermaine (Rice University, USA) Article: oopsla17main-oopsla193-p (type: Full Paper) doi:
	Musuvathi, Madanlal	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "A Volatile-by-Default JVM ..." A Volatile-by-Default JVM for Server Applications Lun Liu, Todd Millstein, and Madanlal Musuvathi (University of California at Los Angeles, USA; Microsoft Research, USA) Artifacts Functional Article: oopsla17main-oopsla58-p (type: Full Paper) doi:
	Myers, Andrew C.	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Familia: Unifying Interfaces, ..." Familia: Unifying Interfaces, Type Classes, and Family Polymorphism Yizhou Zhang and Andrew C. Myers (Cornell University, USA) Article: oopsla17main-oopsla15-p (type: Full Paper) doi:
	Mytkowicz, Todd	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Static Stages for Heterogeneous ..." Static Stages for Heterogeneous Programming Adrian Sampson, Kathryn S. McKinley, and Todd Mytkowicz (Cornell University, USA; Google, USA; Microsoft Research, USA) Artifacts Functional Article: oopsla17main-oopsla83-p (type: Full Paper) doi:
	Naik, Mayur	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Effective Interactive Resolution ..." Effective Interactive Resolution of Static Analysis Alarms Xin Zhang, Radu Grigore, Xujie Si, and Mayur Naik (Georgia Institute of Technology, USA; University of Kent, UK; University of Pennsylvania, USA) Artifacts Functional Article: oopsla17main-oopsla124-p (type: Full Paper) doi:
	Navarro Leija, Omar S.	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Monadic Composition for Deterministic, ..." Monadic Composition for Deterministic, Parallel Batch Processing Ryan G. Scott, Omar S. Navarro Leija, Joseph Devietti, and Ryan R. Newton (Indiana University, USA; University of Pennsylvania, USA) Artifacts Functional Article: oopsla17main-oopsla10-p (type: Full Paper) doi:
	Newton, Ryan R.	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Monadic Composition for Deterministic, ..." Monadic Composition for Deterministic, Parallel Batch Processing Ryan G. Scott, Omar S. Navarro Leija, Joseph Devietti, and Ryan R. Newton (Indiana University, USA; University of Pennsylvania, USA) Artifacts Functional Article: oopsla17main-oopsla10-p (type: Full Paper) doi:
	Nguyen, Hoan Anh	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Exploiting Implicit Beliefs ..." Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining Samantha Syeda Khairunnesa, Hoan Anh Nguyen, Tien N. Nguyen, and Hridesh Rajan (Iowa State University, USA; University of Texas at Dallas, USA) Article: oopsla17main-oopsla16-p (type: Full Paper) doi:
	Nguyen, Tien N.	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Exploiting Implicit Beliefs ..." Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining Samantha Syeda Khairunnesa, Hoan Anh Nguyen, Tien N. Nguyen, and Hridesh Rajan (Iowa State University, USA; University of Texas at Dallas, USA) Article: oopsla17main-oopsla16-p (type: Full Paper) doi:
	Nogin, Aleksey	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "A Verified Messaging System ..." A Verified Messaging System William Mansky, Andrew W. Appel, and Aleksey Nogin (Princeton University, USA; HRL Labs, USA) Article: oopsla17main-oopsla28-p (type: Full Paper) doi:
	Nori, Aditya V.	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "FairSquare: Probabilistic ..." FairSquare: Probabilistic Verification of Program Fairness Aws Albarghouthi, Loris D'Antoni, Samuel Drews, and Aditya V. Nori (University of Wisconsin-Madison, USA; Microsoft Research, UK) Article: oopsla17main-oopsla72-p (type: Full Paper) doi:
	Oh, Hakjoo	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Data-Driven Context-Sensitivity ..." Data-Driven Context-Sensitivity for Points-to Analysis Sehun Jeong, Minseok Jeon, Sungdeok Cha, and Hakjoo Oh (Korea University, South Korea) Artifacts Functional Article: oopsla17main-oopsla242-p (type: Full Paper) doi: Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Automatically Generating Features ..." Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages Kwonsoo Chae, Hakjoo Oh, Kihong Heo, and Hongseok Yang (Korea University, South Korea; Seoul National University, South Korea; University of Oxford, UK) Article: oopsla17main-oopsla250-p (type: Full Paper) doi:
	Oliveira, Bruno C. d. S.	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Unifying Typing and Subtyping ..." Unifying Typing and Subtyping Yanpeng Yang and Bruno C. d. S. Oliveira (University of Hong Kong, China) Artifacts Functional Article: oopsla17main-oopsla156-p (type: Full Paper) doi:
	Orchard, Dominic	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Verifying Spatial Properties ..." Verifying Spatial Properties of Array Computations Dominic Orchard, Mistral Contrastin, Matthew Danish, and Andrew Rice (University of Kent, UK; University of Cambridge, UK) Artifacts Functional Article: oopsla17main-oopsla85-p (type: Full Paper) doi:
	Padon, Oded	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Paxos Made EPR: Decidable ..." Paxos Made EPR: Decidable Reasoning about Distributed Protocols Oded Padon, Giuliano Losa, Mooly Sagiv, and Sharon Shoham (Tel Aviv University, Israel; University of California at Los Angeles, USA) Article: oopsla17main-oopsla189-p (type: Full Paper) doi:
	Pai, Sreepathi	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Bounded Exhaustive Test-Input ..." Bounded Exhaustive Test-Input Generation on GPUs Ahmet Celik, Sreepathi Pai, Sarfraz Khurshid, and Milos Gligoric (University of Texas at Austin, USA) Article: oopsla17main-oopsla232-p (type: Full Paper) doi:
	Papadakis, Manolis	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Seam: Provably Safe Local ..." Seam: Provably Safe Local Edits on Graphs Manolis Papadakis, Gilbert Louis Bernstein, Rahul Sharma, Alex Aiken, and Pat Hanrahan (Stanford University, USA; Microsoft Research, India) Artifacts Functional Article: oopsla17main-oopsla33-p (type: Full Paper) doi:
	Parkinson, Matthew	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Project Snowflake: Non-blocking ..." Project Snowflake: Non-blocking Safe Manual Memory Management in .NET Matthew Parkinson, Dimitrios Vytiniotis, Kapil Vaswani, Manuel Costa, Pantazis Deligiannis, Dylan McDermott, Aaron Blankstein, and Jonathan Balkind (Microsoft Research, UK; University of Cambridge, UK; Princeton University, USA) Article: oopsla17main-oopsla101-p (type: Full Paper) doi:
	Pereira, Fernando Magno Quintão	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Static Placement of Computation ..." Static Placement of Computation on Heterogeneous Devices Gabriel Poesia, Breno Guimarães, Fabrício Ferracioli, and Fernando Magno Quintão Pereira (Federal University of Minas Gerais, Brazil; LG Electronics, Brazil) Artifacts Functional Article: oopsla17main-oopsla59-p (type: Full Paper) doi:
	Piskac, Ruzica	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Synthesizing Configuration ..." Synthesizing Configuration File Specifications with Association Rule Learning Mark Santolucito, Ennan Zhai, Rahul Dhodapkar, Aaron Shim, and Ruzica Piskac (Yale University, USA; MongoDB, USA; Microsoft, USA) Article: oopsla17main-oopsla199-p (type: Full Paper) doi: Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "An Auditing Language for Preventing ..." An Auditing Language for Preventing Correlated Failures in the Cloud Ennan Zhai, Ruzica Piskac, Ronghui Gu, Xun Lao, and Xi Wang (Yale University, USA; Columbia University, USA) Artifacts Functional Article: oopsla17main-oopsla102-p (type: Full Paper) doi:
	Poesia, Gabriel	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Static Placement of Computation ..." Static Placement of Computation on Heterogeneous Devices Gabriel Poesia, Breno Guimarães, Fabrício Ferracioli, and Fernando Magno Quintão Pereira (Federal University of Minas Gerais, Brazil; LG Electronics, Brazil) Artifacts Functional Article: oopsla17main-oopsla59-p (type: Full Paper) doi:
	Pradel, Michael	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Detecting Argument Selection ..." Detecting Argument Selection Defects Andrew Rice, Edward Aftandilian, Ciera Jaspan, Emily Johnston, Michael Pradel, and Yulissa Arroyo-Paredes (University of Cambridge, UK; Google, USA; TU Darmstadt, Germany; Columbia University, USA) Artifacts Functional Article: oopsla17main-oopsla81-p (type: Full Paper) doi:
	Qiu, Xiaokang	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Natural Synthesis of Provably-Correct ..." Natural Synthesis of Provably-Correct Data-Structure Manipulations Xiaokang Qiu and Armando Solar-Lezama (Purdue University, USA; Massachusetts Institute of Technology, USA) Article: oopsla17main-oopsla233-p (type: Full Paper) doi:
	Rahman, Muntasir Raihan	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Geo-Distribution of Actor-Based ..." Geo-Distribution of Actor-Based Services Philip A. Bernstein, Sebastian Burckhardt, Sergey Bykov, Natacha Crooks, Jose M. Faleiro, Gabriel Kliot, Alok Kumbhare, Muntasir Raihan Rahman, Vivek Shah, Adriana Szekeres, and Jorgen Thelin (Microsoft Research, USA; Microsoft, USA; University of Texas at Austin, USA; Yale University, USA; Google, USA; University of Copenhagen, Denmark; University of Washington, USA) Article: oopsla17main-oopsla74-p (type: Full Paper) doi:
	Rajan, Hridesh	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Exploiting Implicit Beliefs ..." Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining Samantha Syeda Khairunnesa, Hoan Anh Nguyen, Tien N. Nguyen, and Hridesh Rajan (Iowa State University, USA; University of Texas at Dallas, USA) Article: oopsla17main-oopsla16-p (type: Full Paper) doi:
	Rapoport, Marianna	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "A Simple Soundness Proof for ..." A Simple Soundness Proof for Dependent Object Types Marianna Rapoport, Ifaz Kabir, Paul He, and Ondřej Lhoták (University of Waterloo, Canada) Artifacts Functional Article: oopsla17main-oopsla104-p (type: Full Paper) doi:
	Reid, Alastair	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Who Guards the Guards? Formal ..." Who Guards the Guards? Formal Validation of the Arm v8-M Architecture Specification Alastair Reid (ARM, UK) Article: oopsla17main-oopsla30-p (type: Full Paper) doi:
	Reps, Thomas	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Model-Assisted Machine-Code ..." Model-Assisted Machine-Code Synthesis Venkatesh Srinivasan, Ara Vartanian, and Thomas Reps (University of Wisconsin-Madison, USA; GrammaTech, USA) Article: oopsla17main-oopsla11-p (type: Full Paper) doi:
	Rice, Andrew	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Detecting Argument Selection ..." Detecting Argument Selection Defects Andrew Rice, Edward Aftandilian, Ciera Jaspan, Emily Johnston, Michael Pradel, and Yulissa Arroyo-Paredes (University of Cambridge, UK; Google, USA; TU Darmstadt, Germany; Columbia University, USA) Artifacts Functional Article: oopsla17main-oopsla81-p (type: Full Paper) doi: Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Verifying Spatial Properties ..." Verifying Spatial Properties of Array Computations Dominic Orchard, Mistral Contrastin, Matthew Danish, and Andrew Rice (University of Kent, UK; University of Cambridge, UK) Artifacts Functional Article: oopsla17main-oopsla85-p (type: Full Paper) doi:
	Richards, Gregor	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "The VM Already Knew That: ..." The VM Already Knew That: Leveraging Compile-Time Knowledge to Optimize Gradual Typing Gregor Richards, Ellen Arteca, and Alexi Turcotte (University of Waterloo, Canada) Artifacts Functional Article: oopsla17main-oopsla98-p (type: Full Paper) doi:
	Ringer, Talia	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "A Solver-Aided Language for ..." A Solver-Aided Language for Test Input Generation Talia Ringer, Dan Grossman, Daniel Schwartz-Narbonne, and Serdar Tasiran (University of Washington, USA; Amazon, USA) Article: oopsla17main-oopsla78-p (type: Full Paper) doi:
	Roch, Marshall	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Fast and Precise Type Checking ..." Fast and Precise Type Checking for JavaScript Avik Chaudhuri, Panagiotis Vekris, Sam Goldman, Marshall Roch, and Gabriel Levi (Facebook, USA; University of California at San Diego, USA) Artifacts Functional Article: oopsla17main-oopsla179-p (type: Full Paper) doi:
	Sagiv, Mooly	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Paxos Made EPR: Decidable ..." Paxos Made EPR: Decidable Reasoning about Distributed Protocols Oded Padon, Giuliano Losa, Mooly Sagiv, and Sharon Shoham (Tel Aviv University, Israel; University of California at Los Angeles, USA) Article: oopsla17main-oopsla189-p (type: Full Paper) doi:
	Saini, Vaibhav	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "DéjàVu: A Map of Code Duplicates ..." DéjàVu: A Map of Code Duplicates on GitHub Cristina V. Lopes, Petr Maj, Pedro Martins, Vaibhav Saini, Di Yang, Jakub Zitny, Hitesh Sajnani, and Jan Vitek (University of California at Irvine, USA; Czech Technical University, Czechia; Microsoft Research, USA; Northeastern University, USA) Artifacts Functional Article: oopsla17main-oopsla176-p (type: Full Paper) doi:
	Sajnani, Hitesh	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "DéjàVu: A Map of Code Duplicates ..." DéjàVu: A Map of Code Duplicates on GitHub Cristina V. Lopes, Petr Maj, Pedro Martins, Vaibhav Saini, Di Yang, Jakub Zitny, Hitesh Sajnani, and Jan Vitek (University of California at Irvine, USA; Czech Technical University, Czechia; Microsoft Research, USA; Northeastern University, USA) Artifacts Functional Article: oopsla17main-oopsla176-p (type: Full Paper) doi:
	Sakka, Laith	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "TreeFuser: A Framework for ..." TreeFuser: A Framework for Analyzing and Fusing General Recursive Tree Traversals Laith Sakka, Kirshanthan Sundararajah, and Milind Kulkarni (Purdue University, USA) Article: oopsla17main-oopsla90-p (type: Full Paper) doi:
	Sampson, Adrian	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Static Stages for Heterogeneous ..." Static Stages for Heterogeneous Programming Adrian Sampson, Kathryn S. McKinley, and Todd Mytkowicz (Cornell University, USA; Google, USA; Microsoft Research, USA) Artifacts Functional Article: oopsla17main-oopsla83-p (type: Full Paper) doi:
	Santolucito, Mark	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Synthesizing Configuration ..." Synthesizing Configuration File Specifications with Association Rule Learning Mark Santolucito, Ennan Zhai, Rahul Dhodapkar, Aaron Shim, and Ruzica Piskac (Yale University, USA; MongoDB, USA; Microsoft, USA) Article: oopsla17main-oopsla199-p (type: Full Paper) doi:
	Sarkar, Vivek	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Deadlock Avoidance in Parallel ..." Deadlock Avoidance in Parallel Programs with Futures: Why Parallel Tasks Should Not Wait for Strangers Tiago Cogumbreiro, Rishi Surendran, Francisco Martins, Vivek Sarkar, Vasco T. Vasconcelos, and Max Grossman (Rice University, USA; University of Lisbon, Portugal) Article: oopsla17main-oopsla165-p (type: Full Paper) doi:
	Schwartz-Narbonne, Daniel	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "A Solver-Aided Language for ..." A Solver-Aided Language for Test Input Generation Talia Ringer, Dan Grossman, Daniel Schwartz-Narbonne, and Serdar Tasiran (University of Washington, USA; Amazon, USA) Article: oopsla17main-oopsla78-p (type: Full Paper) doi:
	Scott, Ryan G.	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Monadic Composition for Deterministic, ..." Monadic Composition for Deterministic, Parallel Batch Processing Ryan G. Scott, Omar S. Navarro Leija, Joseph Devietti, and Ryan R. Newton (Indiana University, USA; University of Pennsylvania, USA) Artifacts Functional Article: oopsla17main-oopsla10-p (type: Full Paper) doi:
	Seidel, Eric L.	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Learning to Blame: Localizing ..." Learning to Blame: Localizing Novice Type Errors with Data-Driven Diagnosis Eric L. Seidel, Huma Sibghat, Kamalika Chaudhuri, Westley Weimer, and Ranjit Jhala (University of California at San Diego, USA; University of Virginia, USA) Artifacts Functional Article: oopsla17main-oopsla37-p (type: Full Paper) doi:
	Shah, Vivek	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Geo-Distribution of Actor-Based ..." Geo-Distribution of Actor-Based Services Philip A. Bernstein, Sebastian Burckhardt, Sergey Bykov, Natacha Crooks, Jose M. Faleiro, Gabriel Kliot, Alok Kumbhare, Muntasir Raihan Rahman, Vivek Shah, Adriana Szekeres, and Jorgen Thelin (Microsoft Research, USA; Microsoft, USA; University of Texas at Austin, USA; Yale University, USA; Google, USA; University of Copenhagen, Denmark; University of Washington, USA) Article: oopsla17main-oopsla74-p (type: Full Paper) doi:
	Sharma, Rahul	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Seam: Provably Safe Local ..." Seam: Provably Safe Local Edits on Graphs Manolis Papadakis, Gilbert Louis Bernstein, Rahul Sharma, Alex Aiken, and Pat Hanrahan (Stanford University, USA; Microsoft Research, India) Artifacts Functional Article: oopsla17main-oopsla33-p (type: Full Paper) doi:
	Shen, Xipeng	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "GLORE: Generalized Loop Redundancy ..." GLORE: Generalized Loop Redundancy Elimination upon LER-Notation Yufei Ding and Xipeng Shen (North Carolina State University, USA) Article: oopsla17main-oopsla68-p (type: Full Paper) doi:
	Shim, Aaron	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Synthesizing Configuration ..." Synthesizing Configuration File Specifications with Association Rule Learning Mark Santolucito, Ennan Zhai, Rahul Dhodapkar, Aaron Shim, and Ruzica Piskac (Yale University, USA; MongoDB, USA; Microsoft, USA) Article: oopsla17main-oopsla199-p (type: Full Paper) doi:
	Shoham, Sharon	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Paxos Made EPR: Decidable ..." Paxos Made EPR: Decidable Reasoning about Distributed Protocols Oded Padon, Giuliano Losa, Mooly Sagiv, and Sharon Shoham (Tel Aviv University, Israel; University of California at Los Angeles, USA) Article: oopsla17main-oopsla189-p (type: Full Paper) doi:
	Si, Xujie	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Effective Interactive Resolution ..." Effective Interactive Resolution of Static Analysis Alarms Xin Zhang, Radu Grigore, Xujie Si, and Mayur Naik (Georgia Institute of Technology, USA; University of Kent, UK; University of Pennsylvania, USA) Artifacts Functional Article: oopsla17main-oopsla124-p (type: Full Paper) doi:
	Sibghat, Huma	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Learning to Blame: Localizing ..." Learning to Blame: Localizing Novice Type Errors with Data-Driven Diagnosis Eric L. Seidel, Huma Sibghat, Kamalika Chaudhuri, Westley Weimer, and Ranjit Jhala (University of California at San Diego, USA; University of Virginia, USA) Artifacts Functional Article: oopsla17main-oopsla37-p (type: Full Paper) doi:
	Siek, Jeremy	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Sound Gradual Typing: Only ..." Sound Gradual Typing: Only Mostly Dead Spenser Bauman, Carl Friedrich Bolz-Tereick, Jeremy Siek, and Sam Tobin-Hochstadt (Indiana University, USA; King's College London, UK) Article: oopsla17main-oopsla64-p (type: Full Paper) doi:
	Singh, Rishabh	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Synthesis of Data Completion ..." Synthesis of Data Completion Scripts using Finite Tree Automata Xinyu Wang, Isil Dillig, and Rishabh Singh (University of Texas at Austin, USA; Microsoft Research, USA) Article: oopsla17main-oopsla50-p (type: Full Paper) doi:
	Smaragdakis, Yannis	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "P/Taint: Unified Points-to ..." P/Taint: Unified Points-to and Taint Analysis Neville Grech and Yannis Smaragdakis (University of Athens, Greece; University of Malta, Malta) Artifacts Functional Article: oopsla17main-oopsla254-p (type: Full Paper) doi: Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Heaps Don't Lie: Countering ..." Heaps Don't Lie: Countering Unsoundness with Heap Snapshots Neville Grech, George Fourtounis, Adrian Francalanza, and Yannis Smaragdakis (University of Athens, Greece; University of Malta, Malta) Artifacts Functional Article: oopsla17main-oopsla167-p (type: Full Paper) doi:
	Solar-Lezama, Armando	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Natural Synthesis of Provably-Correct ..." Natural Synthesis of Provably-Correct Data-Structure Manipulations Xiaokang Qiu and Armando Solar-Lezama (Purdue University, USA; Massachusetts Institute of Technology, USA) Article: oopsla17main-oopsla233-p (type: Full Paper) doi:
	Späth, Johannes	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "IDEal: Efficient ..." IDEal: Efficient and Precise Alias-Aware Dataflow Analysis Johannes Späth, Karim Ali, and Eric Bodden (Fraunhofer IEM, Germany; University of Alberta, Canada; University of Paderborn, Germany) Artifacts Functional Article: oopsla17main-oopsla23-p (type: Full Paper) doi:
	Srinivasan, Venkatesh	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Model-Assisted Machine-Code ..." Model-Assisted Machine-Code Synthesis Venkatesh Srinivasan, Ara Vartanian, and Thomas Reps (University of Wisconsin-Madison, USA; GrammaTech, USA) Article: oopsla17main-oopsla11-p (type: Full Paper) doi:
	Sundararajah, Kirshanthan	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "TreeFuser: A Framework for ..." TreeFuser: A Framework for Analyzing and Fusing General Recursive Tree Traversals Laith Sakka, Kirshanthan Sundararajah, and Milind Kulkarni (Purdue University, USA) Article: oopsla17main-oopsla90-p (type: Full Paper) doi:
	Surendran, Rishi	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Deadlock Avoidance in Parallel ..." Deadlock Avoidance in Parallel Programs with Futures: Why Parallel Tasks Should Not Wait for Strangers Tiago Cogumbreiro, Rishi Surendran, Francisco Martins, Vivek Sarkar, Vasco T. Vasconcelos, and Max Grossman (Rice University, USA; University of Lisbon, Portugal) Article: oopsla17main-oopsla165-p (type: Full Paper) doi:
	Swasey, David	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Robust and Compositional Verification ..." Robust and Compositional Verification of Object Capability Patterns David Swasey, Deepak Garg, and Derek Dreyer (MPI-SWS, Germany) Artifacts Functional Article: oopsla17main-oopsla154-p (type: Full Paper) doi:
	Szekeres, Adriana	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Geo-Distribution of Actor-Based ..." Geo-Distribution of Actor-Based Services Philip A. Bernstein, Sebastian Burckhardt, Sergey Bykov, Natacha Crooks, Jose M. Faleiro, Gabriel Kliot, Alok Kumbhare, Muntasir Raihan Rahman, Vivek Shah, Adriana Szekeres, and Jorgen Thelin (Microsoft Research, USA; Microsoft, USA; University of Texas at Austin, USA; Yale University, USA; Google, USA; University of Copenhagen, Denmark; University of Washington, USA) Article: oopsla17main-oopsla74-p (type: Full Paper) doi:
	Tasiran, Serdar	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "A Solver-Aided Language for ..." A Solver-Aided Language for Test Input Generation Talia Ringer, Dan Grossman, Daniel Schwartz-Narbonne, and Serdar Tasiran (University of Washington, USA; Amazon, USA) Article: oopsla17main-oopsla78-p (type: Full Paper) doi:
	Tate, Ross	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Sound Gradual Typing is Nominally ..." Sound Gradual Typing is Nominally Alive and Well Fabian Muehlboeck and Ross Tate (Cornell University, USA) Artifacts Functional Article: oopsla17main-oopsla185-p (type: Full Paper) doi:
	Thelin, Jorgen	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Geo-Distribution of Actor-Based ..." Geo-Distribution of Actor-Based Services Philip A. Bernstein, Sebastian Burckhardt, Sergey Bykov, Natacha Crooks, Jose M. Faleiro, Gabriel Kliot, Alok Kumbhare, Muntasir Raihan Rahman, Vivek Shah, Adriana Szekeres, and Jorgen Thelin (Microsoft Research, USA; Microsoft, USA; University of Texas at Austin, USA; Yale University, USA; Google, USA; University of Copenhagen, Denmark; University of Washington, USA) Article: oopsla17main-oopsla74-p (type: Full Paper) doi:
	Thomson, Paul	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Automated Testing of Graphics ..." Automated Testing of Graphics Shader Compilers Alastair F. Donaldson, Hugues Evrard, Andrei Lascu, and Paul Thomson (Imperial College London, UK) Article: oopsla17main-oopsla166-p (type: Full Paper) doi:
	Tip, Frank	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Practical Initialization Race ..." Practical Initialization Race Detection for JavaScript Web Applications Christoffer Quist Adamsen, Anders Møller, and Frank Tip (Aarhus University, Denmark; Northeastern University, USA) Artifacts Functional Article: oopsla17main-oopsla47-p (type: Full Paper) doi: Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "A Model for Reasoning About ..." A Model for Reasoning About JavaScript Promises Magnus Madsen, Ondřej Lhoták, and Frank Tip (University of Waterloo, Canada; Northeastern University, USA) Article: oopsla17main-oopsla26-p (type: Full Paper) doi:
	Tobin-Hochstadt, Sam	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Sound Gradual Typing: Only ..." Sound Gradual Typing: Only Mostly Dead Spenser Bauman, Carl Friedrich Bolz-Tereick, Jeremy Siek, and Sam Tobin-Hochstadt (Indiana University, USA; King's College London, UK) Article: oopsla17main-oopsla64-p (type: Full Paper) doi:
	Tratt, Laurence	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Virtual Machine Warmup Blows ..." Virtual Machine Warmup Blows Hot and Cold Edd Barrett, Carl Friedrich Bolz-Tereick, Rebecca Killick, Sarah Mount, and Laurence Tratt (King's College London, UK; Lancaster University, UK) Artifacts Functional Article: oopsla17main-oopsla172-p (type: Full Paper) doi:
	Tsantalis, Nikolaos	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Understanding the Use of Lambda ..." Understanding the Use of Lambda Expressions in Java Davood Mazinanian, Ameya Ketkar, Nikolaos Tsantalis, and Danny Dig (Concordia University, Canada; Oregon State University, USA) Artifacts Functional Article: oopsla17main-oopsla238-p (type: Full Paper) doi:
	Turcotte, Alexi	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "The VM Already Knew That: ..." The VM Already Knew That: Leveraging Compile-Time Knowledge to Optimize Gradual Typing Gregor Richards, Ellen Arteca, and Alexi Turcotte (University of Waterloo, Canada) Artifacts Functional Article: oopsla17main-oopsla98-p (type: Full Paper) doi:
	Ugawa, Tomoharu	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Model Checking Copy Phases ..." Model Checking Copy Phases of Concurrent Copying Garbage Collection with Various Memory Models Tomoharu Ugawa, Tatsuya Abe, and Toshiyuki Maeda (Kochi University of Technology, Japan; Chiba Institute of Technology, Japan) Artifacts Functional Article: oopsla17main-oopsla246-p (type: Full Paper) doi:
	Van Wyk, Eric	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Reliable and Automatic Composition ..." Reliable and Automatic Composition of Language Extensions to C: The ᴀʙʟᴇC Extensible Language Framework Ted Kaminski, Lucas Kramer, Travis Carlson, and Eric Van Wyk (University of Minnesota, USA) Artifacts Functional Article: oopsla17main-oopsla206-p (type: Full Paper) doi:
	Vartanian, Ara	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Model-Assisted Machine-Code ..." Model-Assisted Machine-Code Synthesis Venkatesh Srinivasan, Ara Vartanian, and Thomas Reps (University of Wisconsin-Madison, USA; GrammaTech, USA) Article: oopsla17main-oopsla11-p (type: Full Paper) doi:
	Vasconcelos, Vasco T.	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Deadlock Avoidance in Parallel ..." Deadlock Avoidance in Parallel Programs with Futures: Why Parallel Tasks Should Not Wait for Strangers Tiago Cogumbreiro, Rishi Surendran, Francisco Martins, Vivek Sarkar, Vasco T. Vasconcelos, and Max Grossman (Rice University, USA; University of Lisbon, Portugal) Article: oopsla17main-oopsla165-p (type: Full Paper) doi:
	Vaswani, Kapil	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Project Snowflake: Non-blocking ..." Project Snowflake: Non-blocking Safe Manual Memory Management in .NET Matthew Parkinson, Dimitrios Vytiniotis, Kapil Vaswani, Manuel Costa, Pantazis Deligiannis, Dylan McDermott, Aaron Blankstein, and Jonathan Balkind (Microsoft Research, UK; University of Cambridge, UK; Princeton University, USA) Article: oopsla17main-oopsla101-p (type: Full Paper) doi:
	Vekris, Panagiotis	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Fast and Precise Type Checking ..." Fast and Precise Type Checking for JavaScript Avik Chaudhuri, Panagiotis Vekris, Sam Goldman, Marshall Roch, and Gabriel Levi (Facebook, USA; University of California at San Diego, USA) Artifacts Functional Article: oopsla17main-oopsla179-p (type: Full Paper) doi:
	Vitek, Jan	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Orca: GC and Type System Co-Design ..." Orca: GC and Type System Co-Design for Actor Languages Sylvan Clebsch, Juliana Franco, Sophia Drossopoulou, Albert Mingkun Yang, Tobias Wrigstad, and Jan Vitek (Microsoft Research, UK; Imperial College London, UK; Uppsala University, Sweden; Northeastern University, USA) Article: oopsla17main-oopsla163-p (type: Full Paper) doi: Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "DéjàVu: A Map of Code Duplicates ..." DéjàVu: A Map of Code Duplicates on GitHub Cristina V. Lopes, Petr Maj, Pedro Martins, Vaibhav Saini, Di Yang, Jakub Zitny, Hitesh Sajnani, and Jan Vitek (University of California at Irvine, USA; Czech Technical University, Czechia; Microsoft Research, USA; Northeastern University, USA) Artifacts Functional Article: oopsla17main-oopsla176-p (type: Full Paper) doi:
	Vytiniotis, Dimitrios	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Project Snowflake: Non-blocking ..." Project Snowflake: Non-blocking Safe Manual Memory Management in .NET Matthew Parkinson, Dimitrios Vytiniotis, Kapil Vaswani, Manuel Costa, Pantazis Deligiannis, Dylan McDermott, Aaron Blankstein, and Jonathan Balkind (Microsoft Research, UK; University of Cambridge, UK; Princeton University, USA) Article: oopsla17main-oopsla101-p (type: Full Paper) doi:
	Wang, Di	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "TiML: A Functional Language ..." TiML: A Functional Language for Practical Complexity Analysis with Invariants Peng Wang, Di Wang, and Adam Chlipala (Massachusetts Institute of Technology, USA; Peking University, China) Artifacts Functional Article: oopsla17main-oopsla56-p (type: Full Paper) doi:
	Wang, Peng	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "TiML: A Functional Language ..." TiML: A Functional Language for Practical Complexity Analysis with Invariants Peng Wang, Di Wang, and Adam Chlipala (Massachusetts Institute of Technology, USA; Peking University, China) Artifacts Functional Article: oopsla17main-oopsla56-p (type: Full Paper) doi:
	Wang, Xi	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "An Auditing Language for Preventing ..." An Auditing Language for Preventing Correlated Failures in the Cloud Ennan Zhai, Ruzica Piskac, Ronghui Gu, Xun Lao, and Xi Wang (Yale University, USA; Columbia University, USA) Artifacts Functional Article: oopsla17main-oopsla102-p (type: Full Paper) doi:
	Wang, Xinyu	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Synthesis of Data Completion ..." Synthesis of Data Completion Scripts using Finite Tree Automata Xinyu Wang, Isil Dillig, and Rishabh Singh (University of Texas at Austin, USA; Microsoft Research, USA) Article: oopsla17main-oopsla50-p (type: Full Paper) doi:
	Wang, Yuepeng	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "SQLizer: Query Synthesis from ..." SQLizer: Query Synthesis from Natural Language Navid Yaghmazadeh, Yuepeng Wang, Isil Dillig, and Thomas Dillig (University of Texas at Austin, USA) Article: oopsla17main-oopsla61-p (type: Full Paper) doi:
	Weimer, Westley	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Learning to Blame: Localizing ..." Learning to Blame: Localizing Novice Type Errors with Data-Driven Diagnosis Eric L. Seidel, Huma Sibghat, Kamalika Chaudhuri, Westley Weimer, and Ranjit Jhala (University of California at San Diego, USA; University of Virginia, USA) Artifacts Functional Article: oopsla17main-oopsla37-p (type: Full Paper) doi:
	Wood, Benjamin P.	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Instrumentation Bias for Dynamic ..." Instrumentation Bias for Dynamic Data Race Detection Benjamin P. Wood, Man Cao, Michael D. Bond, and Dan Grossman (Wellesley College, USA; Google, USA; Ohio State University, USA; University of Washington, USA) Artifacts Functional Article: oopsla17main-oopsla240-p (type: Full Paper) doi:
	Wrigstad, Tobias	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Orca: GC and Type System Co-Design ..." Orca: GC and Type System Co-Design for Actor Languages Sylvan Clebsch, Juliana Franco, Sophia Drossopoulou, Albert Mingkun Yang, Tobias Wrigstad, and Jan Vitek (Microsoft Research, UK; Imperial College London, UK; Uppsala University, Sweden; Northeastern University, USA) Article: oopsla17main-oopsla163-p (type: Full Paper) doi:
	Wu, Baijun	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "How Type Errors Were Fixed ..." How Type Errors Were Fixed and What Students Did? Baijun Wu and Sheng Chen (University of Louisiana at Lafayette, USA) Article: oopsla17main-oopsla226-p (type: Full Paper) doi: Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Learning User Friendly Type-Error ..." Learning User Friendly Type-Error Messages Baijun Wu, John Peter Campora III, and Sheng Chen (University of Louisiana at Lafayette, USA) Article: oopsla17main-oopsla243-p (type: Full Paper) doi:
	Yaghmazadeh, Navid	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "SQLizer: Query Synthesis from ..." SQLizer: Query Synthesis from Natural Language Navid Yaghmazadeh, Yuepeng Wang, Isil Dillig, and Thomas Dillig (University of Texas at Austin, USA) Article: oopsla17main-oopsla61-p (type: Full Paper) doi:
	Yang, Albert Mingkun	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Orca: GC and Type System Co-Design ..." Orca: GC and Type System Co-Design for Actor Languages Sylvan Clebsch, Juliana Franco, Sophia Drossopoulou, Albert Mingkun Yang, Tobias Wrigstad, and Jan Vitek (Microsoft Research, UK; Imperial College London, UK; Uppsala University, Sweden; Northeastern University, USA) Article: oopsla17main-oopsla163-p (type: Full Paper) doi:
	Yang, Di	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "DéjàVu: A Map of Code Duplicates ..." DéjàVu: A Map of Code Duplicates on GitHub Cristina V. Lopes, Petr Maj, Pedro Martins, Vaibhav Saini, Di Yang, Jakub Zitny, Hitesh Sajnani, and Jan Vitek (University of California at Irvine, USA; Czech Technical University, Czechia; Microsoft Research, USA; Northeastern University, USA) Artifacts Functional Article: oopsla17main-oopsla176-p (type: Full Paper) doi:
	Yang, Hongseok	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Automatically Generating Features ..." Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages Kwonsoo Chae, Hakjoo Oh, Kihong Heo, and Hongseok Yang (Korea University, South Korea; Seoul National University, South Korea; University of Oxford, UK) Article: oopsla17main-oopsla250-p (type: Full Paper) doi:
	Yang, Yanpeng	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Unifying Typing and Subtyping ..." Unifying Typing and Subtyping Yanpeng Yang and Bruno C. d. S. Oliveira (University of Hong Kong, China) Artifacts Functional Article: oopsla17main-oopsla156-p (type: Full Paper) doi:
	Yuan, Binhang	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Abridging Source Code ..." Abridging Source Code Binhang Yuan, Vijayaraghavan Murali, and Christopher Jermaine (Rice University, USA) Article: oopsla17main-oopsla193-p (type: Full Paper) doi:
	Zhai, Ennan	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Synthesizing Configuration ..." Synthesizing Configuration File Specifications with Association Rule Learning Mark Santolucito, Ennan Zhai, Rahul Dhodapkar, Aaron Shim, and Ruzica Piskac (Yale University, USA; MongoDB, USA; Microsoft, USA) Article: oopsla17main-oopsla199-p (type: Full Paper) doi: Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "An Auditing Language for Preventing ..." An Auditing Language for Preventing Correlated Failures in the Cloud Ennan Zhai, Ruzica Piskac, Ronghui Gu, Xun Lao, and Xi Wang (Yale University, USA; Columbia University, USA) Artifacts Functional Article: oopsla17main-oopsla102-p (type: Full Paper) doi:
	Zhang, Lingming	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Transforming Programs and ..." Transforming Programs and Tests in Tandem for Fault Localization Xia Li and Lingming Zhang (University of Texas at Dallas, USA) Article: oopsla17main-oopsla121-p (type: Full Paper) doi:
	Zhang, Xin	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Effective Interactive Resolution ..." Effective Interactive Resolution of Static Analysis Alarms Xin Zhang, Radu Grigore, Xujie Si, and Mayur Naik (Georgia Institute of Technology, USA; University of Kent, UK; University of Pennsylvania, USA) Artifacts Functional Article: oopsla17main-oopsla124-p (type: Full Paper) doi:
	Zhang, Yizhou	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Familia: Unifying Interfaces, ..." Familia: Unifying Interfaces, Type Classes, and Family Polymorphism Yizhou Zhang and Andrew C. Myers (Cornell University, USA) Article: oopsla17main-oopsla15-p (type: Full Paper) doi:
	Zitny, Jakub	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "DéjàVu: A Map of Code Duplicates ..." DéjàVu: A Map of Code Duplicates on GitHub Cristina V. Lopes, Petr Maj, Pedro Martins, Vaibhav Saini, Di Yang, Jakub Zitny, Hitesh Sajnani, and Jan Vitek (University of California at Irvine, USA; Czech Technical University, Czechia; Microsoft Research, USA; Northeastern University, USA) Artifacts Functional Article: oopsla17main-oopsla176-p (type: Full Paper) doi:
	Zucca, Elena	Proc. ACM Program. Lang., vol. 1, issue OOPSLA: "Reasoning on Divergent Computations ..." Reasoning on Divergent Computations with Coaxioms Davide Ancona, Francesco Dagnino, and Elena Zucca (University of Genoa, Italy) Article: oopsla17main-oopsla256-p (type: Full Paper) doi:

248 authors

proc time: 0.21