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
	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
	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)
	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
	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
	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
	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)
	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
	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
	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)
	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)
	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
	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
	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
	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)
	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
	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)
	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
	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
	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)
	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)
	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
	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)
	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 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)
	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
	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
	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)
	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)
	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)
	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
	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
	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
	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)
	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
	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)
	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)
	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
	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
	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) 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)
	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
	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
	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)
	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)
	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
	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)
	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
	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)
	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)
	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)
	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
	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)
	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)
	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
	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)
	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
	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) 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)
	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)
	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)
	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)
	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)
	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
	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)
	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)
	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)
	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)
	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
	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
	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
	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)
	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
	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
	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
	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)
	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
	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
	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 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
	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
	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 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)
	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)
	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
	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
	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
	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
	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)
	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)
	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)
	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
	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
	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
	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)
	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 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
	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
	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
	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
	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
	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
	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)
	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)
	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
	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
	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
	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
	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)
	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
	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
	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)
	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)
	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
	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
	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)
	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
	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 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)
	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)
	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
	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
	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)
	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)
	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
	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)
	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
	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)
	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
	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)
	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)
	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
	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
	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)
	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
	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)
	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
	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)
	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 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
	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
	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
	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
	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)
	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
	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)
	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
	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
	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
	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
	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)
	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)
	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)
	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)
	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 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)
	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
	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
	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)
	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)
	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
	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)
	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
	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) 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
	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
	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
	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)
	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)
	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)
	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
	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)
	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)
	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 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
	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
	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)
	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
	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)
	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
	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
	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)
	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
	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)
	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)
	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)
	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
	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
	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)
	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
	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)
	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)
	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)
	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
	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
	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)
	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)
	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 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
	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)
	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
	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)
	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)
	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)
	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
	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)
	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)
	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
	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)
	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)
	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 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)
	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)
	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
	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
	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
	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
	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
	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)
	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)
	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)
	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
	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) 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
	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)
	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
	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
	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
	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)
	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)
	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
	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
	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)
	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) 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)
	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)
	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)
	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
	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)
	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
	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)
	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) 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
	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)
	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
	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)
	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
	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)

248 authors

proc time: 0.19