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

	Aiken, Alex	OOPSLA '16: "Dependent Partitioning ..." Dependent Partitioning Sean Treichler, Michael Bauer, Rahul Sharma, Elliott Slaughter, and Alex Aiken (Stanford University, USA; NVIDIA Research, USA) @InProceedings{OOPSLA16p381, author = {Sean Treichler and Michael Bauer and Rahul Sharma and Elliott Slaughter and Alex Aiken}, title = {Dependent Partitioning}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {381-380}, doi = {}, year = {2016}, } Article: oopsla16main-main102-p doi:
	Alayón, Lilliam I. González	OOPSLA '16: "Gentrification Gone too Far? ..." Gentrification Gone too Far? Affordable 2nd-Class Values for Fun and (Co-)Effect Leo Osvald, Grégory Essertel, Xilun Wu, Lilliam I. González Alayón, and Tiark Rompf (Purdue University, USA) @InProceedings{OOPSLA16p261, author = {Leo Osvald and Grégory Essertel and Xilun Wu and Lilliam I. González Alayón and Tiark Rompf}, title = {Gentrification Gone too Far? Affordable 2nd-Class Values for Fun and (Co-)Effect}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {261-260}, doi = {}, year = {2016}, } Article: oopsla16main-main65-p doi:
	Amin, Nada	OOPSLA '16: "Type Soundness for Dependent ..." Type Soundness for Dependent Object Types (DOT) Tiark Rompf and Nada Amin (Purdue University, USA; EPFL, Switzerland) @InProceedings{OOPSLA16p701, author = {Tiark Rompf and Nada Amin}, title = {Type Soundness for Dependent Object Types (DOT)}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {701-700}, doi = {}, year = {2016}, } Article: oopsla16main-main64-p doi: OOPSLA '16: "Java and Scala's Type ..." Java and Scala's Type Systems are Unsound: The Existential Crisis of Null Pointers Nada Amin and Ross Tate (EPFL, Switzerland; Cornell University, USA) @InProceedings{OOPSLA16p941, author = {Nada Amin and Ross Tate}, title = {Java and Scala's Type Systems are Unsound: The Existential Crisis of Null Pointers}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {941-940}, doi = {}, year = {2016}, } Article: oopsla16main-main58-p doi:
	Ancona, Davide	OOPSLA '16: "Semantic Subtyping for Imperative ..." Semantic Subtyping for Imperative Object-Oriented Languages Davide Ancona and Andrea Corradi (University of Genoa, Italy) @InProceedings{OOPSLA16p641, author = {Davide Ancona and Andrea Corradi}, title = {Semantic Subtyping for Imperative Object-Oriented Languages}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {641-640}, doi = {}, year = {2016}, } Article: oopsla16main-main15-p doi:
	Azim, Tanzirul	OOPSLA '16: "Finding Resume and Restart ..." Finding Resume and Restart Errors in Android Applications Zhiyong Shan, Tanzirul Azim, and Iulian Neamtiu (University of Central Missouri, USA; University of California at Riverside, USA; New Jersey Institute of Technology, USA) @InProceedings{OOPSLA16p981, author = {Zhiyong Shan and Tanzirul Azim and Iulian Neamtiu}, title = {Finding Resume and Restart Errors in Android Applications}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {981-980}, doi = {}, year = {2016}, } Article: oopsla16main-main71-p doi:
	Banerjee, Anindya	OOPSLA '16: "Hoare-Style Specifications ..." Hoare-Style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee, and Germán Andrés Delbianco (University College London, UK; IMDEA Software Institute, Spain) @InProceedings{OOPSLA16p101, author = {Ilya Sergey and Aleksandar Nanevski and Anindya Banerjee and Germán Andrés Delbianco}, title = {Hoare-Style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {101-100}, doi = {}, year = {2016}, } Article: oopsla16main-main49-p doi:
	Barman, Shaon	OOPSLA '16: "Ringer: Web Automation by ..." Ringer: Web Automation by Demonstration Shaon Barman, Sarah Chasins, Rastislav Bodik, and Sumit Gulwani (University of California at Berkeley, USA; University of Washington, USA; Microsoft Research, USA) @InProceedings{OOPSLA16p841, author = {Shaon Barman and Sarah Chasins and Rastislav Bodik and Sumit Gulwani}, title = {Ringer: Web Automation by Demonstration}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {841-840}, doi = {}, year = {2016}, } Article: oopsla16main-main118-p doi:
	Batty, Mark	OOPSLA '16: "Portable Inter-workgroup Barrier ..." Portable Inter-workgroup Barrier Synchronisation for GPUs Tyler Sorensen, Alastair F. Donaldson, Mark Batty, Ganesh Gopalakrishnan, and Zvonimir Rakamarić (Imperial College London, UK; University of Kent, UK; University of Utah, USA) @InProceedings{OOPSLA16p41, author = {Tyler Sorensen and Alastair F. Donaldson and Mark Batty and Ganesh Gopalakrishnan and Zvonimir Rakamarić}, title = {Portable Inter-workgroup Barrier Synchronisation for GPUs}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {41-40}, doi = {}, year = {2016}, } Article: oopsla16main-main157-p doi:
	Bauer, Michael	OOPSLA '16: "Dependent Partitioning ..." Dependent Partitioning Sean Treichler, Michael Bauer, Rahul Sharma, Elliott Slaughter, and Alex Aiken (Stanford University, USA; NVIDIA Research, USA) @InProceedings{OOPSLA16p381, author = {Sean Treichler and Michael Bauer and Rahul Sharma and Elliott Slaughter and Alex Aiken}, title = {Dependent Partitioning}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {381-380}, doi = {}, year = {2016}, } Article: oopsla16main-main102-p doi:
	Bavishi, Rohan	OOPSLA '16: "To Be Precise: Regression ..." To Be Precise: Regression Aware Debugging Rohan Bavishi, Awanish Pandey, and Subhajit Roy (IIT Kanpur, India) @InProceedings{OOPSLA16p1021, author = {Rohan Bavishi and Awanish Pandey and Subhajit Roy}, title = {To Be Precise: Regression Aware Debugging}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {1021-1020}, doi = {}, year = {2016}, } Article: oopsla16main-main89-p doi:
	Berger, Emery D.	OOPSLA '16: "Prioritized Garbage Collection: ..." Prioritized Garbage Collection: Explicit GC Support for Software Caches Diogenes Nunez, Samuel Z. Guyer, and Emery D. Berger (Tufts University, USA; University of Massachusetts at Amherst, USA) @InProceedings{OOPSLA16p781, author = {Diogenes Nunez and Samuel Z. Guyer and Emery D. Berger}, title = {Prioritized Garbage Collection: Explicit GC Support for Software Caches}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {781-780}, doi = {}, year = {2016}, } Article: oopsla16main-main141-p doi:
	Bhandari, Kumud	OOPSLA '16: "Makalu: Fast Recoverable Allocation ..." Makalu: Fast Recoverable Allocation of Non-volatile Memory Kumud Bhandari, Dhruva R. Chakrabarti, and Hans-J. Boehm (Rice University, USA; Hewlett Packard Labs, USA; Google, USA) @InProceedings{OOPSLA16p761, author = {Kumud Bhandari and Dhruva R. Chakrabarti and Hans-J. Boehm}, title = {Makalu: Fast Recoverable Allocation of Non-volatile Memory}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {761-760}, doi = {}, year = {2016}, } Article: oopsla16main-main116-p doi:
	Bielik, Pavol	OOPSLA '16: "Probabilistic Model for Code ..." Probabilistic Model for Code with Decision Trees Veselin Raychev, Pavol Bielik, and Martin Vechev (ETH Zurich, Switzerland) @InProceedings{OOPSLA16p821, author = {Veselin Raychev and Pavol Bielik and Martin Vechev}, title = {Probabilistic Model for Code with Decision Trees}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {821-820}, doi = {}, year = {2016}, } Article: oopsla16main-main208-p doi:
	Binder, Walter	OOPSLA '16: "GEMs: Shared-Memory Parallel ..." GEMs: Shared-Memory Parallel Programming for Node.js Daniele Bonetta, Luca Salucci, Stefan Marr, and Walter Binder (Oracle Labs, Austria; University of Lugano, Switzerland; JKU Linz, Austria) @InProceedings{OOPSLA16p601, author = {Daniele Bonetta and Luca Salucci and Stefan Marr and Walter Binder}, title = {GEMs: Shared-Memory Parallel Programming for Node.js}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {601-600}, doi = {}, year = {2016}, } Article: oopsla16main-main194-p doi:
	Blum, Ben	OOPSLA '16: "Stateless Model Checking with ..." Stateless Model Checking with Data-Race Preemption Points Ben Blum and Garth Gibson (Carnegie Mellon University, USA) @InProceedings{OOPSLA16p541, author = {Ben Blum and Garth Gibson}, title = {Stateless Model Checking with Data-Race Preemption Points}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {541-540}, doi = {}, year = {2016}, } Article: oopsla16main-main177-p doi:
	Bodik, Rastislav	OOPSLA '16: "Ringer: Web Automation by ..." Ringer: Web Automation by Demonstration Shaon Barman, Sarah Chasins, Rastislav Bodik, and Sumit Gulwani (University of California at Berkeley, USA; University of Washington, USA; Microsoft Research, USA) @InProceedings{OOPSLA16p841, author = {Shaon Barman and Sarah Chasins and Rastislav Bodik and Sumit Gulwani}, title = {Ringer: Web Automation by Demonstration}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {841-840}, doi = {}, year = {2016}, } Article: oopsla16main-main118-p doi:
	Boehm, Hans-J.	OOPSLA '16: "Makalu: Fast Recoverable Allocation ..." Makalu: Fast Recoverable Allocation of Non-volatile Memory Kumud Bhandari, Dhruva R. Chakrabarti, and Hans-J. Boehm (Rice University, USA; Hewlett Packard Labs, USA; Google, USA) @InProceedings{OOPSLA16p761, author = {Kumud Bhandari and Dhruva R. Chakrabarti and Hans-J. Boehm}, title = {Makalu: Fast Recoverable Allocation of Non-volatile Memory}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {761-760}, doi = {}, year = {2016}, } Article: oopsla16main-main116-p doi:
	Bonetta, Daniele	OOPSLA '16: "GEMs: Shared-Memory Parallel ..." GEMs: Shared-Memory Parallel Programming for Node.js Daniele Bonetta, Luca Salucci, Stefan Marr, and Walter Binder (Oracle Labs, Austria; University of Lugano, Switzerland; JKU Linz, Austria) @InProceedings{OOPSLA16p601, author = {Daniele Bonetta and Luca Salucci and Stefan Marr and Walter Binder}, title = {GEMs: Shared-Memory Parallel Programming for Node.js}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {601-600}, doi = {}, year = {2016}, } Article: oopsla16main-main194-p doi: OOPSLA '16: "Efficient and Thread-Safe ..." Efficient and Thread-Safe Objects for Dynamically-Typed Languages Benoit Daloze, Stefan Marr, Daniele Bonetta, and Hanspeter Mössenböck (JKU Linz, Austria; Oracle Labs, Austria) @InProceedings{OOPSLA16p721, author = {Benoit Daloze and Stefan Marr and Daniele Bonetta and Hanspeter Mössenböck}, title = {Efficient and Thread-Safe Objects for Dynamically-Typed Languages}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {721-720}, doi = {}, year = {2016}, } Article: oopsla16main-main52-p doi:
	Brachthäuser, Jonathan Immanuel	OOPSLA '16: "Parsing with First-Class Derivatives ..." Parsing with First-Class Derivatives Jonathan Immanuel Brachthäuser, Tillmann Rendel, and Klaus Ostermann (University of Tübingen, Germany) @InProceedings{OOPSLA16p661, author = {Jonathan Immanuel Brachthäuser and Tillmann Rendel and Klaus Ostermann}, title = {Parsing with First-Class Derivatives}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {661-660}, doi = {}, year = {2016}, } Article: oopsla16main-main138-p doi:
	Chakrabarti, Dhruva R.	OOPSLA '16: "Makalu: Fast Recoverable Allocation ..." Makalu: Fast Recoverable Allocation of Non-volatile Memory Kumud Bhandari, Dhruva R. Chakrabarti, and Hans-J. Boehm (Rice University, USA; Hewlett Packard Labs, USA; Google, USA) @InProceedings{OOPSLA16p761, author = {Kumud Bhandari and Dhruva R. Chakrabarti and Hans-J. Boehm}, title = {Makalu: Fast Recoverable Allocation of Non-volatile Memory}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {761-760}, doi = {}, year = {2016}, } Article: oopsla16main-main116-p doi:
	Chandra, Satish	OOPSLA '16: "Type Inference for Static ..." Type Inference for Static Compilation of JavaScript Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, and Youngil Choi (Samsung Research, USA; Drexel University, USA; Northeastern University, USA; Samsung Electronics, South Korea) @InProceedings{OOPSLA16p461, author = {Satish Chandra and Colin S. Gordon and Jean-Baptiste Jeannin and Cole Schlesinger and Manu Sridharan and Frank Tip and Youngil Choi}, title = {Type Inference for Static Compilation of JavaScript}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {461-460}, doi = {}, year = {2016}, } Article: oopsla16main-main105-p doi: OOPSLA '16: "A Practical Framework for ..." A Practical Framework for Type Inference Error Explanation Calvin Loncaric, Satish Chandra, Cole Schlesinger, and Manu Sridharan (University of Washington, USA; Samsung Research, USA) @InProceedings{OOPSLA16p881, author = {Calvin Loncaric and Satish Chandra and Cole Schlesinger and Manu Sridharan}, title = {A Practical Framework for Type Inference Error Explanation}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {881-880}, doi = {}, year = {2016}, } Article: oopsla16main-main23-p doi:
	Chapman, Keith	OOPSLA '16: "Hybrid STM/HTM for Nested ..." Hybrid STM/HTM for Nested Transactions on OpenJDK Keith Chapman, Antony L. Hosking, and J. Eliot B. Moss (Purdue University, USA; Australian National University, Australia; Data61, Australia; University of Massachusetts at Amherst, USA) @InProceedings{OOPSLA16p741, author = {Keith Chapman and Antony L. Hosking and J. Eliot B. Moss}, title = {Hybrid STM/HTM for Nested Transactions on OpenJDK}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {741-740}, doi = {}, year = {2016}, } Article: oopsla16main-main146-p doi:
	Chasins, Sarah	OOPSLA '16: "Ringer: Web Automation by ..." Ringer: Web Automation by Demonstration Shaon Barman, Sarah Chasins, Rastislav Bodik, and Sumit Gulwani (University of California at Berkeley, USA; University of Washington, USA; Microsoft Research, USA) @InProceedings{OOPSLA16p841, author = {Shaon Barman and Sarah Chasins and Rastislav Bodik and Sumit Gulwani}, title = {Ringer: Web Automation by Demonstration}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {841-840}, doi = {}, year = {2016}, } Article: oopsla16main-main118-p doi:
	Choi, Youngil	OOPSLA '16: "Type Inference for Static ..." Type Inference for Static Compilation of JavaScript Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, and Youngil Choi (Samsung Research, USA; Drexel University, USA; Northeastern University, USA; Samsung Electronics, South Korea) @InProceedings{OOPSLA16p461, author = {Satish Chandra and Colin S. Gordon and Jean-Baptiste Jeannin and Cole Schlesinger and Manu Sridharan and Frank Tip and Youngil Choi}, title = {Type Inference for Static Compilation of JavaScript}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {461-460}, doi = {}, year = {2016}, } Article: oopsla16main-main105-p doi:
	Chong, Stephen	OOPSLA '16: "Extensible Access Control ..." Extensible Access Control with Authorization Contracts Scott Moore, Christos Dimoulas, Robert Bruce Findler, Matthew Flatt, and Stephen Chong (Harvard University, USA; Northwestern University, USA; University of Utah, USA) @InProceedings{OOPSLA16p241, author = {Scott Moore and Christos Dimoulas and Robert Bruce Findler and Matthew Flatt and Stephen Chong}, title = {Extensible Access Control with Authorization Contracts}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {241-240}, doi = {}, year = {2016}, } Article: oopsla16main-main122-p doi: OOPSLA '16: "Automatic Enforcement of Expressive ..." Automatic Enforcement of Expressive Security Policies using Enclaves Anitha Gollamudi and Stephen Chong (Harvard University, USA) @InProceedings{OOPSLA16p561, author = {Anitha Gollamudi and Stephen Chong}, title = {Automatic Enforcement of Expressive Security Policies using Enclaves}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {561-560}, doi = {}, year = {2016}, } Article: oopsla16main-main54-p doi:
	Chowdhury, Rezaul	OOPSLA '16: "Deriving Divide-and-Conquer ..." Deriving Divide-and-Conquer Dynamic Programming Algorithms using Solver-Aided Transformations Shachar Itzhaky, Rohit Singh, Armando Solar-Lezama, Kuat Yessenov, Yongquan Lu, Charles Leiserson, and Rezaul Chowdhury (Massachusetts Institute of Technology, USA; Stony Brook University, USA) @InProceedings{OOPSLA16p161, author = {Shachar Itzhaky and Rohit Singh and Armando Solar-Lezama and Kuat Yessenov and Yongquan Lu and Charles Leiserson and Rezaul Chowdhury}, title = {Deriving Divide-and-Conquer Dynamic Programming Algorithms using Solver-Aided Transformations}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {161-160}, doi = {}, year = {2016}, } Article: oopsla16main-main17-p doi:
	Colin, Alexei	OOPSLA '16: "Chain: Tasks and Channels ..." Chain: Tasks and Channels for Reliable Intermittent Programs Alexei Colin and Brandon Lucia (Carnegie Mellon University, USA) @InProceedings{OOPSLA16p581, author = {Alexei Colin and Brandon Lucia}, title = {Chain: Tasks and Channels for Reliable Intermittent Programs}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {581-580}, doi = {}, year = {2016}, } Article: oopsla16main-main28-p doi:
	Cook, William R.	OOPSLA '16: "OrcO: A Concurrency-First ..." OrcO: A Concurrency-First Approach to Objects Arthur Michener Peters, David Kitchin, John A. Thywissen, and William R. Cook (University of Texas at Austin, USA; Google, USA) @InProceedings{OOPSLA16p621, author = {Arthur Michener Peters and David Kitchin and John A. Thywissen and William R. Cook}, title = {OrcO: A Concurrency-First Approach to Objects}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {621-620}, doi = {}, year = {2016}, } Article: oopsla16main-main123-p doi:
	Corradi, Andrea	OOPSLA '16: "Semantic Subtyping for Imperative ..." Semantic Subtyping for Imperative Object-Oriented Languages Davide Ancona and Andrea Corradi (University of Genoa, Italy) @InProceedings{OOPSLA16p641, author = {Davide Ancona and Andrea Corradi}, title = {Semantic Subtyping for Imperative Object-Oriented Languages}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {641-640}, doi = {}, year = {2016}, } Article: oopsla16main-main15-p doi:
	Daloze, Benoit	OOPSLA '16: "Efficient and Thread-Safe ..." Efficient and Thread-Safe Objects for Dynamically-Typed Languages Benoit Daloze, Stefan Marr, Daniele Bonetta, and Hanspeter Mössenböck (JKU Linz, Austria; Oracle Labs, Austria) @InProceedings{OOPSLA16p721, author = {Benoit Daloze and Stefan Marr and Daniele Bonetta and Hanspeter Mössenböck}, title = {Efficient and Thread-Safe Objects for Dynamically-Typed Languages}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {721-720}, doi = {}, year = {2016}, } Article: oopsla16main-main52-p doi:
	Dan, Andrei Marian	OOPSLA '16: "Modeling and Analysis of Remote ..." Modeling and Analysis of Remote Memory Access Programming Andrei Marian Dan, Patrick Lam, Torsten Hoefler, and Martin Vechev (ETH Zurich, Switzerland; University of Waterloo, Canada) @InProceedings{OOPSLA16p141, author = {Andrei Marian Dan and Patrick Lam and Torsten Hoefler and Martin Vechev}, title = {Modeling and Analysis of Remote Memory Access Programming}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {141-140}, doi = {}, year = {2016}, } Article: oopsla16main-main162-p doi:
	Delbianco, Germán Andrés	OOPSLA '16: "Hoare-Style Specifications ..." Hoare-Style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee, and Germán Andrés Delbianco (University College London, UK; IMDEA Software Institute, Spain) @InProceedings{OOPSLA16p101, author = {Ilya Sergey and Aleksandar Nanevski and Anindya Banerjee and Germán Andrés Delbianco}, title = {Hoare-Style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {101-100}, doi = {}, year = {2016}, } Article: oopsla16main-main49-p doi:
	De Rosso, Santiago Perez	OOPSLA '16: "Purposes, Concepts, Misfits, ..." Purposes, Concepts, Misfits, and a Redesign of Git Santiago Perez De Rosso and Daniel Jackson (Massachusetts Institute of Technology, USA) @InProceedings{OOPSLA16p321, author = {Santiago Perez De Rosso and Daniel Jackson}, title = {Purposes, Concepts, Misfits, and a Redesign of Git}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {321-320}, doi = {}, year = {2016}, } Article: oopsla16main-main109-p doi:
	DiLorenzo, Jonathan	OOPSLA '16: "Incremental Forest: A DSL ..." Incremental Forest: A DSL for Efficiently Managing Filestores Jonathan DiLorenzo, Richard Zhang, Erin Menzies, Kathleen Fisher, and Nate Foster (Cornell University, USA; University of Pennsylvania, USA; Tufts University, USA) @InProceedings{OOPSLA16p281, author = {Jonathan DiLorenzo and Richard Zhang and Erin Menzies and Kathleen Fisher and Nate Foster}, title = {Incremental Forest: A DSL for Efficiently Managing Filestores}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {281-280}, doi = {}, year = {2016}, } Article: oopsla16main-main172-p doi:
	Dimoulas, Christos	OOPSLA '16: "Extensible Access Control ..." Extensible Access Control with Authorization Contracts Scott Moore, Christos Dimoulas, Robert Bruce Findler, Matthew Flatt, and Stephen Chong (Harvard University, USA; Northwestern University, USA; University of Utah, USA) @InProceedings{OOPSLA16p241, author = {Scott Moore and Christos Dimoulas and Robert Bruce Findler and Matthew Flatt and Stephen Chong}, title = {Extensible Access Control with Authorization Contracts}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {241-240}, doi = {}, year = {2016}, } Article: oopsla16main-main122-p doi:
	Doeraene, Sébastien	OOPSLA '16: "Parallel Incremental Whole-Program ..." Parallel Incremental Whole-Program Optimizations for Scala.js Sébastien Doeraene and Tobias Schlatter (EPFL, Switzerland) @InProceedings{OOPSLA16p61, author = {Sébastien Doeraene and Tobias Schlatter}, title = {Parallel Incremental Whole-Program Optimizations for Scala.js}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {61-60}, doi = {}, year = {2016}, } Article: oopsla16main-main84-p doi:
	Donaldson, Alastair F.	OOPSLA '16: "Portable Inter-workgroup Barrier ..." Portable Inter-workgroup Barrier Synchronisation for GPUs Tyler Sorensen, Alastair F. Donaldson, Mark Batty, Ganesh Gopalakrishnan, and Zvonimir Rakamarić (Imperial College London, UK; University of Kent, UK; University of Utah, USA) @InProceedings{OOPSLA16p41, author = {Tyler Sorensen and Alastair F. Donaldson and Mark Batty and Ganesh Gopalakrishnan and Zvonimir Rakamarić}, title = {Portable Inter-workgroup Barrier Synchronisation for GPUs}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {41-40}, doi = {}, year = {2016}, } Article: oopsla16main-main157-p doi:
	Dustdar, Schahram	OOPSLA '16: "Asserting Reliable Convergence ..." Asserting Reliable Convergence for Configuration Management Scripts Oliver Hanappi, Waldemar Hummer, and Schahram Dustdar (Vienna University of Technology, Austria) @InProceedings{OOPSLA16p361, author = {Oliver Hanappi and Waldemar Hummer and Schahram Dustdar}, title = {Asserting Reliable Convergence for Configuration Management Scripts}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {361-360}, doi = {}, year = {2016}, } Article: oopsla16main-main51-p doi:
	Ernst, Michael D.	OOPSLA '16: "Scalable Verification of Border ..." Scalable Verification of Border Gateway Protocol Configurations with an SMT Solver Konstantin Weitz, Doug Woos, Emina Torlak, Michael D. Ernst, Arvind Krishnamurthy, and Zachary Tatlock (University of Washington, USA) @InProceedings{OOPSLA16p861, author = {Konstantin Weitz and Doug Woos and Emina Torlak and Michael D. Ernst and Arvind Krishnamurthy and Zachary Tatlock}, title = {Scalable Verification of Border Gateway Protocol Configurations with an SMT Solver}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {861-860}, doi = {}, year = {2016}, } Article: oopsla16main-main72-p doi:
	Essertel, Grégory	OOPSLA '16: "Gentrification Gone too Far? ..." Gentrification Gone too Far? Affordable 2nd-Class Values for Fun and (Co-)Effect Leo Osvald, Grégory Essertel, Xilun Wu, Lilliam I. González Alayón, and Tiark Rompf (Purdue University, USA) @InProceedings{OOPSLA16p261, author = {Leo Osvald and Grégory Essertel and Xilun Wu and Lilliam I. González Alayón and Tiark Rompf}, title = {Gentrification Gone too Far? Affordable 2nd-Class Values for Fun and (Co-)Effect}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {261-260}, doi = {}, year = {2016}, } Article: oopsla16main-main65-p doi:
	Fang, Lu	OOPSLA '16: "Low-Overhead and Fully Automated ..." Low-Overhead and Fully Automated Statistical Debugging with Abstraction Refinement Zhiqiang Zuo, Lu Fang, Siau-Cheng Khoo, Guoqing Xu, and Shan Lu (University of California at Irvine, USA; National University of Singapore, Singapore; University of Chicago, USA) @InProceedings{OOPSLA16p1001, author = {Zhiqiang Zuo and Lu Fang and Siau-Cheng Khoo and Guoqing Xu and Shan Lu}, title = {Low-Overhead and Fully Automated Statistical Debugging with Abstraction Refinement}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {1001-1000}, doi = {}, year = {2016}, } Article: oopsla16main-main60-p doi:
	Findler, Robert Bruce	OOPSLA '16: "Extensible Access Control ..." Extensible Access Control with Authorization Contracts Scott Moore, Christos Dimoulas, Robert Bruce Findler, Matthew Flatt, and Stephen Chong (Harvard University, USA; Northwestern University, USA; University of Utah, USA) @InProceedings{OOPSLA16p241, author = {Scott Moore and Christos Dimoulas and Robert Bruce Findler and Matthew Flatt and Stephen Chong}, title = {Extensible Access Control with Authorization Contracts}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {241-240}, doi = {}, year = {2016}, } Article: oopsla16main-main122-p doi:
	Fisher, Kathleen	OOPSLA '16: "Incremental Forest: A DSL ..." Incremental Forest: A DSL for Efficiently Managing Filestores Jonathan DiLorenzo, Richard Zhang, Erin Menzies, Kathleen Fisher, and Nate Foster (Cornell University, USA; University of Pennsylvania, USA; Tufts University, USA) @InProceedings{OOPSLA16p281, author = {Jonathan DiLorenzo and Richard Zhang and Erin Menzies and Kathleen Fisher and Nate Foster}, title = {Incremental Forest: A DSL for Efficiently Managing Filestores}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {281-280}, doi = {}, year = {2016}, } Article: oopsla16main-main172-p doi:
	Flatt, Matthew	OOPSLA '16: "Extensible Access Control ..." Extensible Access Control with Authorization Contracts Scott Moore, Christos Dimoulas, Robert Bruce Findler, Matthew Flatt, and Stephen Chong (Harvard University, USA; Northwestern University, USA; University of Utah, USA) @InProceedings{OOPSLA16p241, author = {Scott Moore and Christos Dimoulas and Robert Bruce Findler and Matthew Flatt and Stephen Chong}, title = {Extensible Access Control with Authorization Contracts}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {241-240}, doi = {}, year = {2016}, } Article: oopsla16main-main122-p doi:
	Foster, Nate	OOPSLA '16: "Incremental Forest: A DSL ..." Incremental Forest: A DSL for Efficiently Managing Filestores Jonathan DiLorenzo, Richard Zhang, Erin Menzies, Kathleen Fisher, and Nate Foster (Cornell University, USA; University of Pennsylvania, USA; Tufts University, USA) @InProceedings{OOPSLA16p281, author = {Jonathan DiLorenzo and Richard Zhang and Erin Menzies and Kathleen Fisher and Nate Foster}, title = {Incremental Forest: A DSL for Efficiently Managing Filestores}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {281-280}, doi = {}, year = {2016}, } Article: oopsla16main-main172-p doi:
	Gibson, Garth	OOPSLA '16: "Stateless Model Checking with ..." Stateless Model Checking with Data-Race Preemption Points Ben Blum and Garth Gibson (Carnegie Mellon University, USA) @InProceedings{OOPSLA16p541, author = {Ben Blum and Garth Gibson}, title = {Stateless Model Checking with Data-Race Preemption Points}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {541-540}, doi = {}, year = {2016}, } Article: oopsla16main-main177-p doi:
	Gollamudi, Anitha	OOPSLA '16: "Automatic Enforcement of Expressive ..." Automatic Enforcement of Expressive Security Policies using Enclaves Anitha Gollamudi and Stephen Chong (Harvard University, USA) @InProceedings{OOPSLA16p561, author = {Anitha Gollamudi and Stephen Chong}, title = {Automatic Enforcement of Expressive Security Policies using Enclaves}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {561-560}, doi = {}, year = {2016}, } Article: oopsla16main-main54-p doi:
	Gopalakrishnan, Ganesh	OOPSLA '16: "Portable Inter-workgroup Barrier ..." Portable Inter-workgroup Barrier Synchronisation for GPUs Tyler Sorensen, Alastair F. Donaldson, Mark Batty, Ganesh Gopalakrishnan, and Zvonimir Rakamarić (Imperial College London, UK; University of Kent, UK; University of Utah, USA) @InProceedings{OOPSLA16p41, author = {Tyler Sorensen and Alastair F. Donaldson and Mark Batty and Ganesh Gopalakrishnan and Zvonimir Rakamarić}, title = {Portable Inter-workgroup Barrier Synchronisation for GPUs}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {41-40}, doi = {}, year = {2016}, } Article: oopsla16main-main157-p doi:
	Gordon, Colin S.	OOPSLA '16: "Type Inference for Static ..." Type Inference for Static Compilation of JavaScript Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, and Youngil Choi (Samsung Research, USA; Drexel University, USA; Northeastern University, USA; Samsung Electronics, South Korea) @InProceedings{OOPSLA16p461, author = {Satish Chandra and Colin S. Gordon and Jean-Baptiste Jeannin and Cole Schlesinger and Manu Sridharan and Frank Tip and Youngil Choi}, title = {Type Inference for Static Compilation of JavaScript}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {461-460}, doi = {}, year = {2016}, } Article: oopsla16main-main105-p doi:
	Gulwani, Sumit	OOPSLA '16: "FIDEX: Filtering Spreadsheet ..." FIDEX: Filtering Spreadsheet Data using Examples Xinyu Wang, Sumit Gulwani, and Rishabh Singh (University of Texas at Austin, USA; Microsoft Research, USA) @InProceedings{OOPSLA16p221, author = {Xinyu Wang and Sumit Gulwani and Rishabh Singh}, title = {FIDEX: Filtering Spreadsheet Data using Examples}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {221-220}, doi = {}, year = {2016}, } Article: oopsla16main-main151-p doi: OOPSLA '16: "Ringer: Web Automation by ..." Ringer: Web Automation by Demonstration Shaon Barman, Sarah Chasins, Rastislav Bodik, and Sumit Gulwani (University of California at Berkeley, USA; University of Washington, USA; Microsoft Research, USA) @InProceedings{OOPSLA16p841, author = {Shaon Barman and Sarah Chasins and Rastislav Bodik and Sumit Gulwani}, title = {Ringer: Web Automation by Demonstration}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {841-840}, doi = {}, year = {2016}, } Article: oopsla16main-main118-p doi:
	Guyer, Samuel Z.	OOPSLA '16: "Prioritized Garbage Collection: ..." Prioritized Garbage Collection: Explicit GC Support for Software Caches Diogenes Nunez, Samuel Z. Guyer, and Emery D. Berger (Tufts University, USA; University of Massachusetts at Amherst, USA) @InProceedings{OOPSLA16p781, author = {Diogenes Nunez and Samuel Z. Guyer and Emery D. Berger}, title = {Prioritized Garbage Collection: Explicit GC Support for Software Caches}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {781-780}, doi = {}, year = {2016}, } Article: oopsla16main-main141-p doi:
	Hagemann, Jörg	OOPSLA '16: "Computing Repair Alternatives ..." Computing Repair Alternatives for Malformed Programs using Constraint Attribute Grammars Friedrich Steimann, Jörg Hagemann, and Bastian Ulke (Fernuniversität in Hagen, Germany) @InProceedings{OOPSLA16p801, author = {Friedrich Steimann and Jörg Hagemann and Bastian Ulke}, title = {Computing Repair Alternatives for Malformed Programs using Constraint Attribute Grammars}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {801-800}, doi = {}, year = {2016}, } Article: oopsla16main-main63-p doi:
	Haller, Philipp	OOPSLA '16: "LaCasa: Lightweight Affinity ..." LaCasa: Lightweight Affinity and Object Capabilities in Scala Philipp Haller and Alex Loiko (KTH, Sweden; Google, Sweden) @InProceedings{OOPSLA16p301, author = {Philipp Haller and Alex Loiko}, title = {LaCasa: Lightweight Affinity and Object Capabilities in Scala}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {301-300}, doi = {}, year = {2016}, } Article: oopsla16main-main210-p doi:
	Hanappi, Oliver	OOPSLA '16: "Asserting Reliable Convergence ..." Asserting Reliable Convergence for Configuration Management Scripts Oliver Hanappi, Waldemar Hummer, and Schahram Dustdar (Vienna University of Technology, Austria) @InProceedings{OOPSLA16p361, author = {Oliver Hanappi and Waldemar Hummer and Schahram Dustdar}, title = {Asserting Reliable Convergence for Configuration Management Scripts}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {361-360}, doi = {}, year = {2016}, } Article: oopsla16main-main51-p doi:
	Hoefler, Torsten	OOPSLA '16: "Modeling and Analysis of Remote ..." Modeling and Analysis of Remote Memory Access Programming Andrei Marian Dan, Patrick Lam, Torsten Hoefler, and Martin Vechev (ETH Zurich, Switzerland; University of Waterloo, Canada) @InProceedings{OOPSLA16p141, author = {Andrei Marian Dan and Patrick Lam and Torsten Hoefler and Martin Vechev}, title = {Modeling and Analysis of Remote Memory Access Programming}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {141-140}, doi = {}, year = {2016}, } Article: oopsla16main-main162-p doi:
	Hosking, Antony L.	OOPSLA '16: "Hybrid STM/HTM for Nested ..." Hybrid STM/HTM for Nested Transactions on OpenJDK Keith Chapman, Antony L. Hosking, and J. Eliot B. Moss (Purdue University, USA; Australian National University, Australia; Data61, Australia; University of Massachusetts at Amherst, USA) @InProceedings{OOPSLA16p741, author = {Keith Chapman and Antony L. Hosking and J. Eliot B. Moss}, title = {Hybrid STM/HTM for Nested Transactions on OpenJDK}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {741-740}, doi = {}, year = {2016}, } Article: oopsla16main-main146-p doi:
	Huang, Jeff	OOPSLA '16: "Maximal Causality Reduction ..." Maximal Causality Reduction for TSO and PSO Shiyou Huang and Jeff Huang (Texas A&M University, USA) @InProceedings{OOPSLA16p501, author = {Shiyou Huang and Jeff Huang}, title = {Maximal Causality Reduction for TSO and PSO}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {501-500}, doi = {}, year = {2016}, } Article: oopsla16main-main128-p doi: OOPSLA '16: "Precise and Maximal Race Detection ..." Precise and Maximal Race Detection from Incomplete Traces Jeff Huang and Arun K. Rajagopalan (Texas A&M University, USA) @InProceedings{OOPSLA16p521, author = {Jeff Huang and Arun K. Rajagopalan}, title = {Precise and Maximal Race Detection from Incomplete Traces}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {521-520}, doi = {}, year = {2016}, } Article: oopsla16main-main126-p doi:
	Huang, Shiyou	OOPSLA '16: "Maximal Causality Reduction ..." Maximal Causality Reduction for TSO and PSO Shiyou Huang and Jeff Huang (Texas A&M University, USA) @InProceedings{OOPSLA16p501, author = {Shiyou Huang and Jeff Huang}, title = {Maximal Causality Reduction for TSO and PSO}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {501-500}, doi = {}, year = {2016}, } Article: oopsla16main-main128-p doi:
	Hummer, Waldemar	OOPSLA '16: "Asserting Reliable Convergence ..." Asserting Reliable Convergence for Configuration Management Scripts Oliver Hanappi, Waldemar Hummer, and Schahram Dustdar (Vienna University of Technology, Austria) @InProceedings{OOPSLA16p361, author = {Oliver Hanappi and Waldemar Hummer and Schahram Dustdar}, title = {Asserting Reliable Convergence for Configuration Management Scripts}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {361-360}, doi = {}, year = {2016}, } Article: oopsla16main-main51-p doi:
	Itzhaky, Shachar	OOPSLA '16: "Deriving Divide-and-Conquer ..." Deriving Divide-and-Conquer Dynamic Programming Algorithms using Solver-Aided Transformations Shachar Itzhaky, Rohit Singh, Armando Solar-Lezama, Kuat Yessenov, Yongquan Lu, Charles Leiserson, and Rezaul Chowdhury (Massachusetts Institute of Technology, USA; Stony Brook University, USA) @InProceedings{OOPSLA16p161, author = {Shachar Itzhaky and Rohit Singh and Armando Solar-Lezama and Kuat Yessenov and Yongquan Lu and Charles Leiserson and Rezaul Chowdhury}, title = {Deriving Divide-and-Conquer Dynamic Programming Algorithms using Solver-Aided Transformations}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {161-160}, doi = {}, year = {2016}, } Article: oopsla16main-main17-p doi:
	Jackson, Daniel	OOPSLA '16: "Purposes, Concepts, Misfits, ..." Purposes, Concepts, Misfits, and a Redesign of Git Santiago Perez De Rosso and Daniel Jackson (Massachusetts Institute of Technology, USA) @InProceedings{OOPSLA16p321, author = {Santiago Perez De Rosso and Daniel Jackson}, title = {Purposes, Concepts, Misfits, and a Redesign of Git}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {321-320}, doi = {}, year = {2016}, } Article: oopsla16main-main109-p doi:
	Jeannin, Jean-Baptiste	OOPSLA '16: "Type Inference for Static ..." Type Inference for Static Compilation of JavaScript Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, and Youngil Choi (Samsung Research, USA; Drexel University, USA; Northeastern University, USA; Samsung Electronics, South Korea) @InProceedings{OOPSLA16p461, author = {Satish Chandra and Colin S. Gordon and Jean-Baptiste Jeannin and Cole Schlesinger and Manu Sridharan and Frank Tip and Youngil Choi}, title = {Type Inference for Static Compilation of JavaScript}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {461-460}, doi = {}, year = {2016}, } Article: oopsla16main-main105-p doi:
	Kell, Stephen	OOPSLA '16: "The Missing Link: Explaining ..." The Missing Link: Explaining ELF Static Linking, Semantically Stephen Kell, Dominic P. Mulligan, and Peter Sewell (University of Cambridge, UK) @InProceedings{OOPSLA16p681, author = {Stephen Kell and Dominic P. Mulligan and Peter Sewell}, title = {The Missing Link: Explaining ELF Static Linking, Semantically}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {681-680}, doi = {}, year = {2016}, } Article: oopsla16main-main37-p doi: OOPSLA '16: "Dynamically Diagnosing Type ..." Dynamically Diagnosing Type Errors in Unsafe Code Stephen Kell (University of Cambridge, UK) @InProceedings{OOPSLA16p901, author = {Stephen Kell}, title = {Dynamically Diagnosing Type Errors in Unsafe Code}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {901-900}, doi = {}, year = {2016}, } Article: oopsla16main-main41-p doi:
	Khoo, Siau-Cheng	OOPSLA '16: "Low-Overhead and Fully Automated ..." Low-Overhead and Fully Automated Statistical Debugging with Abstraction Refinement Zhiqiang Zuo, Lu Fang, Siau-Cheng Khoo, Guoqing Xu, and Shan Lu (University of California at Irvine, USA; National University of Singapore, Singapore; University of Chicago, USA) @InProceedings{OOPSLA16p1001, author = {Zhiqiang Zuo and Lu Fang and Siau-Cheng Khoo and Guoqing Xu and Shan Lu}, title = {Low-Overhead and Fully Automated Statistical Debugging with Abstraction Refinement}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {1001-1000}, doi = {}, year = {2016}, } Article: oopsla16main-main60-p doi:
	Kim, Dohyeong	OOPSLA '16: "Apex: Automatic Programming ..." Apex: Automatic Programming Assignment Error Explanation Dohyeong Kim, Yonghwi Kwon, Peng Liu, I. Luk Kim, David Mitchel Perry, Xiangyu Zhang, and Gustavo Rodriguez-Rivera (Purdue University, USA) @InProceedings{OOPSLA16p341, author = {Dohyeong Kim and Yonghwi Kwon and Peng Liu and I. Luk Kim and David Mitchel Perry and Xiangyu Zhang and Gustavo Rodriguez-Rivera}, title = {Apex: Automatic Programming Assignment Error Explanation}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {341-340}, doi = {}, year = {2016}, } Article: oopsla16main-main153-p doi:
	Kim, I. Luk	OOPSLA '16: "Apex: Automatic Programming ..." Apex: Automatic Programming Assignment Error Explanation Dohyeong Kim, Yonghwi Kwon, Peng Liu, I. Luk Kim, David Mitchel Perry, Xiangyu Zhang, and Gustavo Rodriguez-Rivera (Purdue University, USA) @InProceedings{OOPSLA16p341, author = {Dohyeong Kim and Yonghwi Kwon and Peng Liu and I. Luk Kim and David Mitchel Perry and Xiangyu Zhang and Gustavo Rodriguez-Rivera}, title = {Apex: Automatic Programming Assignment Error Explanation}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {341-340}, doi = {}, year = {2016}, } Article: oopsla16main-main153-p doi:
	Kitchin, David	OOPSLA '16: "OrcO: A Concurrency-First ..." OrcO: A Concurrency-First Approach to Objects Arthur Michener Peters, David Kitchin, John A. Thywissen, and William R. Cook (University of Texas at Austin, USA; Google, USA) @InProceedings{OOPSLA16p621, author = {Arthur Michener Peters and David Kitchin and John A. Thywissen and William R. Cook}, title = {OrcO: A Concurrency-First Approach to Objects}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {621-620}, doi = {}, year = {2016}, } Article: oopsla16main-main123-p doi:
	Krishnamurthy, Arvind	OOPSLA '16: "Scalable Verification of Border ..." Scalable Verification of Border Gateway Protocol Configurations with an SMT Solver Konstantin Weitz, Doug Woos, Emina Torlak, Michael D. Ernst, Arvind Krishnamurthy, and Zachary Tatlock (University of Washington, USA) @InProceedings{OOPSLA16p861, author = {Konstantin Weitz and Doug Woos and Emina Torlak and Michael D. Ernst and Arvind Krishnamurthy and Zachary Tatlock}, title = {Scalable Verification of Border Gateway Protocol Configurations with an SMT Solver}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {861-860}, doi = {}, year = {2016}, } Article: oopsla16main-main72-p doi:
	Kulkarni, Sulekha	OOPSLA '16: "Accelerating Program Analyses ..." Accelerating Program Analyses by Cross-Program Training Sulekha Kulkarni, Ravi Mangal, Xin Zhang, and Mayur Naik (Georgia Tech, USA) @InProceedings{OOPSLA16p401, author = {Sulekha Kulkarni and Ravi Mangal and Xin Zhang and Mayur Naik}, title = {Accelerating Program Analyses by Cross-Program Training}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {401-400}, doi = {}, year = {2016}, } Article: oopsla16main-main124-p doi:
	Kwon, Yonghwi	OOPSLA '16: "Apex: Automatic Programming ..." Apex: Automatic Programming Assignment Error Explanation Dohyeong Kim, Yonghwi Kwon, Peng Liu, I. Luk Kim, David Mitchel Perry, Xiangyu Zhang, and Gustavo Rodriguez-Rivera (Purdue University, USA) @InProceedings{OOPSLA16p341, author = {Dohyeong Kim and Yonghwi Kwon and Peng Liu and I. Luk Kim and David Mitchel Perry and Xiangyu Zhang and Gustavo Rodriguez-Rivera}, title = {Apex: Automatic Programming Assignment Error Explanation}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {341-340}, doi = {}, year = {2016}, } Article: oopsla16main-main153-p doi:
	Lam, Patrick	OOPSLA '16: "Modeling and Analysis of Remote ..." Modeling and Analysis of Remote Memory Access Programming Andrei Marian Dan, Patrick Lam, Torsten Hoefler, and Martin Vechev (ETH Zurich, Switzerland; University of Waterloo, Canada) @InProceedings{OOPSLA16p141, author = {Andrei Marian Dan and Patrick Lam and Torsten Hoefler and Martin Vechev}, title = {Modeling and Analysis of Remote Memory Access Programming}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {141-140}, doi = {}, year = {2016}, } Article: oopsla16main-main162-p doi:
	Le, Vu	OOPSLA '16: "Finding Compiler Bugs via ..." Finding Compiler Bugs via Live Code Mutation Chengnian Sun, Vu Le, and Zhendong Su (University of California at Davis, USA) @InProceedings{OOPSLA16p961, author = {Chengnian Sun and Vu Le and Zhendong Su}, title = {Finding Compiler Bugs via Live Code Mutation}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {961-960}, doi = {}, year = {2016}, } Article: oopsla16main-main182-p doi:
	Leiserson, Charles	OOPSLA '16: "Deriving Divide-and-Conquer ..." Deriving Divide-and-Conquer Dynamic Programming Algorithms using Solver-Aided Transformations Shachar Itzhaky, Rohit Singh, Armando Solar-Lezama, Kuat Yessenov, Yongquan Lu, Charles Leiserson, and Rezaul Chowdhury (Massachusetts Institute of Technology, USA; Stony Brook University, USA) @InProceedings{OOPSLA16p161, author = {Shachar Itzhaky and Rohit Singh and Armando Solar-Lezama and Kuat Yessenov and Yongquan Lu and Charles Leiserson and Rezaul Chowdhury}, title = {Deriving Divide-and-Conquer Dynamic Programming Algorithms using Solver-Aided Transformations}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {161-160}, doi = {}, year = {2016}, } Article: oopsla16main-main17-p doi:
	Lhoták, Ondřej	OOPSLA '16: "Call Graphs for Languages ..." Call Graphs for Languages with Parametric Polymorphism Dmitry Petrashko, Vlad Ureche, Ondřej Lhoták, and Martin Odersky (EPFL, Switzerland; University of Waterloo, Canada) @InProceedings{OOPSLA16p441, author = {Dmitry Petrashko and Vlad Ureche and Ondřej Lhoták and Martin Odersky}, title = {Call Graphs for Languages with Parametric Polymorphism}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {441-440}, doi = {}, year = {2016}, } Article: oopsla16main-main7-p doi:
	Li, Yilong	OOPSLA '16: "Semantics-Based Program Verifiers ..." Semantics-Based Program Verifiers for All Languages Andrei Stefănescu, Daejun Park, Shijiao Yuwen, Yilong Li, and Grigore Roşu (University of Illinois at Urbana-Champaign, USA; Runtime Verification, USA) @InProceedings{OOPSLA16p81, author = {Andrei Stefănescu and Daejun Park and Shijiao Yuwen and Yilong Li and Grigore Roşu}, title = {Semantics-Based Program Verifiers for All Languages}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {81-80}, doi = {}, year = {2016}, } Article: oopsla16main-main139-p doi:
	Liu, Peng	OOPSLA '16: "Apex: Automatic Programming ..." Apex: Automatic Programming Assignment Error Explanation Dohyeong Kim, Yonghwi Kwon, Peng Liu, I. Luk Kim, David Mitchel Perry, Xiangyu Zhang, and Gustavo Rodriguez-Rivera (Purdue University, USA) @InProceedings{OOPSLA16p341, author = {Dohyeong Kim and Yonghwi Kwon and Peng Liu and I. Luk Kim and David Mitchel Perry and Xiangyu Zhang and Gustavo Rodriguez-Rivera}, title = {Apex: Automatic Programming Assignment Error Explanation}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {341-340}, doi = {}, year = {2016}, } Article: oopsla16main-main153-p doi:
	Liu, Yu David	OOPSLA '16: "First-Class Effect Reflection ..." First-Class Effect Reflection for Effect-Guided Programming Yuheng Long, Yu David Liu, and Hridesh Rajan (Iowa State University, USA; SUNY Binghamton, USA) @InProceedings{OOPSLA16p921, author = {Yuheng Long and Yu David Liu and Hridesh Rajan}, title = {First-Class Effect Reflection for Effect-Guided Programming}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {921-920}, doi = {}, year = {2016}, } Article: oopsla16main-main180-p doi:
	Loiko, Alex	OOPSLA '16: "LaCasa: Lightweight Affinity ..." LaCasa: Lightweight Affinity and Object Capabilities in Scala Philipp Haller and Alex Loiko (KTH, Sweden; Google, Sweden) @InProceedings{OOPSLA16p301, author = {Philipp Haller and Alex Loiko}, title = {LaCasa: Lightweight Affinity and Object Capabilities in Scala}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {301-300}, doi = {}, year = {2016}, } Article: oopsla16main-main210-p doi:
	Loncaric, Calvin	OOPSLA '16: "A Practical Framework for ..." A Practical Framework for Type Inference Error Explanation Calvin Loncaric, Satish Chandra, Cole Schlesinger, and Manu Sridharan (University of Washington, USA; Samsung Research, USA) @InProceedings{OOPSLA16p881, author = {Calvin Loncaric and Satish Chandra and Cole Schlesinger and Manu Sridharan}, title = {A Practical Framework for Type Inference Error Explanation}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {881-880}, doi = {}, year = {2016}, } Article: oopsla16main-main23-p doi:
	Long, Yuheng	OOPSLA '16: "First-Class Effect Reflection ..." First-Class Effect Reflection for Effect-Guided Programming Yuheng Long, Yu David Liu, and Hridesh Rajan (Iowa State University, USA; SUNY Binghamton, USA) @InProceedings{OOPSLA16p921, author = {Yuheng Long and Yu David Liu and Hridesh Rajan}, title = {First-Class Effect Reflection for Effect-Guided Programming}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {921-920}, doi = {}, year = {2016}, } Article: oopsla16main-main180-p doi:
	Lu, Shan	OOPSLA '16: "Low-Overhead and Fully Automated ..." Low-Overhead and Fully Automated Statistical Debugging with Abstraction Refinement Zhiqiang Zuo, Lu Fang, Siau-Cheng Khoo, Guoqing Xu, and Shan Lu (University of California at Irvine, USA; National University of Singapore, Singapore; University of Chicago, USA) @InProceedings{OOPSLA16p1001, author = {Zhiqiang Zuo and Lu Fang and Siau-Cheng Khoo and Guoqing Xu and Shan Lu}, title = {Low-Overhead and Fully Automated Statistical Debugging with Abstraction Refinement}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {1001-1000}, doi = {}, year = {2016}, } Article: oopsla16main-main60-p doi:
	Lu, Yongquan	OOPSLA '16: "Deriving Divide-and-Conquer ..." Deriving Divide-and-Conquer Dynamic Programming Algorithms using Solver-Aided Transformations Shachar Itzhaky, Rohit Singh, Armando Solar-Lezama, Kuat Yessenov, Yongquan Lu, Charles Leiserson, and Rezaul Chowdhury (Massachusetts Institute of Technology, USA; Stony Brook University, USA) @InProceedings{OOPSLA16p161, author = {Shachar Itzhaky and Rohit Singh and Armando Solar-Lezama and Kuat Yessenov and Yongquan Lu and Charles Leiserson and Rezaul Chowdhury}, title = {Deriving Divide-and-Conquer Dynamic Programming Algorithms using Solver-Aided Transformations}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {161-160}, doi = {}, year = {2016}, } Article: oopsla16main-main17-p doi:
	Lucia, Brandon	OOPSLA '16: "Chain: Tasks and Channels ..." Chain: Tasks and Channels for Reliable Intermittent Programs Alexei Colin and Brandon Lucia (Carnegie Mellon University, USA) @InProceedings{OOPSLA16p581, author = {Alexei Colin and Brandon Lucia}, title = {Chain: Tasks and Channels for Reliable Intermittent Programs}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {581-580}, doi = {}, year = {2016}, } Article: oopsla16main-main28-p doi:
	Mangal, Ravi	OOPSLA '16: "Accelerating Program Analyses ..." Accelerating Program Analyses by Cross-Program Training Sulekha Kulkarni, Ravi Mangal, Xin Zhang, and Mayur Naik (Georgia Tech, USA) @InProceedings{OOPSLA16p401, author = {Sulekha Kulkarni and Ravi Mangal and Xin Zhang and Mayur Naik}, title = {Accelerating Program Analyses by Cross-Program Training}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {401-400}, doi = {}, year = {2016}, } Article: oopsla16main-main124-p doi:
	Marr, Stefan	OOPSLA '16: "GEMs: Shared-Memory Parallel ..." GEMs: Shared-Memory Parallel Programming for Node.js Daniele Bonetta, Luca Salucci, Stefan Marr, and Walter Binder (Oracle Labs, Austria; University of Lugano, Switzerland; JKU Linz, Austria) @InProceedings{OOPSLA16p601, author = {Daniele Bonetta and Luca Salucci and Stefan Marr and Walter Binder}, title = {GEMs: Shared-Memory Parallel Programming for Node.js}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {601-600}, doi = {}, year = {2016}, } Article: oopsla16main-main194-p doi: OOPSLA '16: "Efficient and Thread-Safe ..." Efficient and Thread-Safe Objects for Dynamically-Typed Languages Benoit Daloze, Stefan Marr, Daniele Bonetta, and Hanspeter Mössenböck (JKU Linz, Austria; Oracle Labs, Austria) @InProceedings{OOPSLA16p721, author = {Benoit Daloze and Stefan Marr and Daniele Bonetta and Hanspeter Mössenböck}, title = {Efficient and Thread-Safe Objects for Dynamically-Typed Languages}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {721-720}, doi = {}, year = {2016}, } Article: oopsla16main-main52-p doi:
	Memarian, Kayvan	OOPSLA '16: "An Operational Semantics for ..." An Operational Semantics for C/C++11 Concurrency Kyndylan Nienhuis, Kayvan Memarian, and Peter Sewell (University of Cambridge, UK) @InProceedings{OOPSLA16p121, author = {Kyndylan Nienhuis and Kayvan Memarian and Peter Sewell}, title = {An Operational Semantics for C/C++11 Concurrency}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {121-120}, doi = {}, year = {2016}, } Article: oopsla16main-main40-p doi:
	Menzies, Erin	OOPSLA '16: "Incremental Forest: A DSL ..." Incremental Forest: A DSL for Efficiently Managing Filestores Jonathan DiLorenzo, Richard Zhang, Erin Menzies, Kathleen Fisher, and Nate Foster (Cornell University, USA; University of Pennsylvania, USA; Tufts University, USA) @InProceedings{OOPSLA16p281, author = {Jonathan DiLorenzo and Richard Zhang and Erin Menzies and Kathleen Fisher and Nate Foster}, title = {Incremental Forest: A DSL for Efficiently Managing Filestores}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {281-280}, doi = {}, year = {2016}, } Article: oopsla16main-main172-p doi:
	Moore, Scott	OOPSLA '16: "Extensible Access Control ..." Extensible Access Control with Authorization Contracts Scott Moore, Christos Dimoulas, Robert Bruce Findler, Matthew Flatt, and Stephen Chong (Harvard University, USA; Northwestern University, USA; University of Utah, USA) @InProceedings{OOPSLA16p241, author = {Scott Moore and Christos Dimoulas and Robert Bruce Findler and Matthew Flatt and Stephen Chong}, title = {Extensible Access Control with Authorization Contracts}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {241-240}, doi = {}, year = {2016}, } Article: oopsla16main-main122-p doi:
	Moss, J. Eliot B.	OOPSLA '16: "Hybrid STM/HTM for Nested ..." Hybrid STM/HTM for Nested Transactions on OpenJDK Keith Chapman, Antony L. Hosking, and J. Eliot B. Moss (Purdue University, USA; Australian National University, Australia; Data61, Australia; University of Massachusetts at Amherst, USA) @InProceedings{OOPSLA16p741, author = {Keith Chapman and Antony L. Hosking and J. Eliot B. Moss}, title = {Hybrid STM/HTM for Nested Transactions on OpenJDK}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {741-740}, doi = {}, year = {2016}, } Article: oopsla16main-main146-p doi:
	Mössenböck, Hanspeter	OOPSLA '16: "Efficient and Thread-Safe ..." Efficient and Thread-Safe Objects for Dynamically-Typed Languages Benoit Daloze, Stefan Marr, Daniele Bonetta, and Hanspeter Mössenböck (JKU Linz, Austria; Oracle Labs, Austria) @InProceedings{OOPSLA16p721, author = {Benoit Daloze and Stefan Marr and Daniele Bonetta and Hanspeter Mössenböck}, title = {Efficient and Thread-Safe Objects for Dynamically-Typed Languages}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {721-720}, doi = {}, year = {2016}, } Article: oopsla16main-main52-p doi:
	Mulligan, Dominic P.	OOPSLA '16: "The Missing Link: Explaining ..." The Missing Link: Explaining ELF Static Linking, Semantically Stephen Kell, Dominic P. Mulligan, and Peter Sewell (University of Cambridge, UK) @InProceedings{OOPSLA16p681, author = {Stephen Kell and Dominic P. Mulligan and Peter Sewell}, title = {The Missing Link: Explaining ELF Static Linking, Semantically}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {681-680}, doi = {}, year = {2016}, } Article: oopsla16main-main37-p doi:
	Naik, Mayur	OOPSLA '16: "Accelerating Program Analyses ..." Accelerating Program Analyses by Cross-Program Training Sulekha Kulkarni, Ravi Mangal, Xin Zhang, and Mayur Naik (Georgia Tech, USA) @InProceedings{OOPSLA16p401, author = {Sulekha Kulkarni and Ravi Mangal and Xin Zhang and Mayur Naik}, title = {Accelerating Program Analyses by Cross-Program Training}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {401-400}, doi = {}, year = {2016}, } Article: oopsla16main-main124-p doi:
	Nanevski, Aleksandar	OOPSLA '16: "Hoare-Style Specifications ..." Hoare-Style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee, and Germán Andrés Delbianco (University College London, UK; IMDEA Software Institute, Spain) @InProceedings{OOPSLA16p101, author = {Ilya Sergey and Aleksandar Nanevski and Anindya Banerjee and Germán Andrés Delbianco}, title = {Hoare-Style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {101-100}, doi = {}, year = {2016}, } Article: oopsla16main-main49-p doi:
	Neamtiu, Iulian	OOPSLA '16: "Finding Resume and Restart ..." Finding Resume and Restart Errors in Android Applications Zhiyong Shan, Tanzirul Azim, and Iulian Neamtiu (University of Central Missouri, USA; University of California at Riverside, USA; New Jersey Institute of Technology, USA) @InProceedings{OOPSLA16p981, author = {Zhiyong Shan and Tanzirul Azim and Iulian Neamtiu}, title = {Finding Resume and Restart Errors in Android Applications}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {981-980}, doi = {}, year = {2016}, } Article: oopsla16main-main71-p doi:
	Nienhuis, Kyndylan	OOPSLA '16: "An Operational Semantics for ..." An Operational Semantics for C/C++11 Concurrency Kyndylan Nienhuis, Kayvan Memarian, and Peter Sewell (University of Cambridge, UK) @InProceedings{OOPSLA16p121, author = {Kyndylan Nienhuis and Kayvan Memarian and Peter Sewell}, title = {An Operational Semantics for C/C++11 Concurrency}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {121-120}, doi = {}, year = {2016}, } Article: oopsla16main-main40-p doi:
	Nunez, Diogenes	OOPSLA '16: "Prioritized Garbage Collection: ..." Prioritized Garbage Collection: Explicit GC Support for Software Caches Diogenes Nunez, Samuel Z. Guyer, and Emery D. Berger (Tufts University, USA; University of Massachusetts at Amherst, USA) @InProceedings{OOPSLA16p781, author = {Diogenes Nunez and Samuel Z. Guyer and Emery D. Berger}, title = {Prioritized Garbage Collection: Explicit GC Support for Software Caches}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {781-780}, doi = {}, year = {2016}, } Article: oopsla16main-main141-p doi:
	Odersky, Martin	OOPSLA '16: "Call Graphs for Languages ..." Call Graphs for Languages with Parametric Polymorphism Dmitry Petrashko, Vlad Ureche, Ondřej Lhoták, and Martin Odersky (EPFL, Switzerland; University of Waterloo, Canada) @InProceedings{OOPSLA16p441, author = {Dmitry Petrashko and Vlad Ureche and Ondřej Lhoták and Martin Odersky}, title = {Call Graphs for Languages with Parametric Polymorphism}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {441-440}, doi = {}, year = {2016}, } Article: oopsla16main-main7-p doi:
	Ostermann, Klaus	OOPSLA '16: "Parsing with First-Class Derivatives ..." Parsing with First-Class Derivatives Jonathan Immanuel Brachthäuser, Tillmann Rendel, and Klaus Ostermann (University of Tübingen, Germany) @InProceedings{OOPSLA16p661, author = {Jonathan Immanuel Brachthäuser and Tillmann Rendel and Klaus Ostermann}, title = {Parsing with First-Class Derivatives}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {661-660}, doi = {}, year = {2016}, } Article: oopsla16main-main138-p doi:
	Osvald, Leo	OOPSLA '16: "Gentrification Gone too Far? ..." Gentrification Gone too Far? Affordable 2nd-Class Values for Fun and (Co-)Effect Leo Osvald, Grégory Essertel, Xilun Wu, Lilliam I. González Alayón, and Tiark Rompf (Purdue University, USA) @InProceedings{OOPSLA16p261, author = {Leo Osvald and Grégory Essertel and Xilun Wu and Lilliam I. González Alayón and Tiark Rompf}, title = {Gentrification Gone too Far? Affordable 2nd-Class Values for Fun and (Co-)Effect}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {261-260}, doi = {}, year = {2016}, } Article: oopsla16main-main65-p doi:
	Pai, Sreepathi	OOPSLA '16: "A Compiler for Throughput ..." A Compiler for Throughput Optimization of Graph Algorithms on GPUs Sreepathi Pai and Keshav Pingali (University of Texas at Austin, USA) @InProceedings{OOPSLA16p1, author = {Sreepathi Pai and Keshav Pingali}, title = {A Compiler for Throughput Optimization of Graph Algorithms on GPUs}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2016}, } Article: oopsla16main-main92-p doi:
	Panchekha, Pavel	OOPSLA '16: "Automated Reasoning for Web ..." Automated Reasoning for Web Page Layout Pavel Panchekha and Emina Torlak (University of Washington, USA) @InProceedings{OOPSLA16p201, author = {Pavel Panchekha and Emina Torlak}, title = {Automated Reasoning for Web Page Layout}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {201-200}, doi = {}, year = {2016}, } Article: oopsla16main-main69-p doi:
	Pandey, Awanish	OOPSLA '16: "To Be Precise: Regression ..." To Be Precise: Regression Aware Debugging Rohan Bavishi, Awanish Pandey, and Subhajit Roy (IIT Kanpur, India) @InProceedings{OOPSLA16p1021, author = {Rohan Bavishi and Awanish Pandey and Subhajit Roy}, title = {To Be Precise: Regression Aware Debugging}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {1021-1020}, doi = {}, year = {2016}, } Article: oopsla16main-main89-p doi:
	Park, Daejun	OOPSLA '16: "Semantics-Based Program Verifiers ..." Semantics-Based Program Verifiers for All Languages Andrei Stefănescu, Daejun Park, Shijiao Yuwen, Yilong Li, and Grigore Roşu (University of Illinois at Urbana-Champaign, USA; Runtime Verification, USA) @InProceedings{OOPSLA16p81, author = {Andrei Stefănescu and Daejun Park and Shijiao Yuwen and Yilong Li and Grigore Roşu}, title = {Semantics-Based Program Verifiers for All Languages}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {81-80}, doi = {}, year = {2016}, } Article: oopsla16main-main139-p doi:
	Perry, David Mitchel	OOPSLA '16: "Apex: Automatic Programming ..." Apex: Automatic Programming Assignment Error Explanation Dohyeong Kim, Yonghwi Kwon, Peng Liu, I. Luk Kim, David Mitchel Perry, Xiangyu Zhang, and Gustavo Rodriguez-Rivera (Purdue University, USA) @InProceedings{OOPSLA16p341, author = {Dohyeong Kim and Yonghwi Kwon and Peng Liu and I. Luk Kim and David Mitchel Perry and Xiangyu Zhang and Gustavo Rodriguez-Rivera}, title = {Apex: Automatic Programming Assignment Error Explanation}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {341-340}, doi = {}, year = {2016}, } Article: oopsla16main-main153-p doi:
	Peters, Arthur Michener	OOPSLA '16: "OrcO: A Concurrency-First ..." OrcO: A Concurrency-First Approach to Objects Arthur Michener Peters, David Kitchin, John A. Thywissen, and William R. Cook (University of Texas at Austin, USA; Google, USA) @InProceedings{OOPSLA16p621, author = {Arthur Michener Peters and David Kitchin and John A. Thywissen and William R. Cook}, title = {OrcO: A Concurrency-First Approach to Objects}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {621-620}, doi = {}, year = {2016}, } Article: oopsla16main-main123-p doi:
	Petrashko, Dmitry	OOPSLA '16: "Call Graphs for Languages ..." Call Graphs for Languages with Parametric Polymorphism Dmitry Petrashko, Vlad Ureche, Ondřej Lhoták, and Martin Odersky (EPFL, Switzerland; University of Waterloo, Canada) @InProceedings{OOPSLA16p441, author = {Dmitry Petrashko and Vlad Ureche and Ondřej Lhoták and Martin Odersky}, title = {Call Graphs for Languages with Parametric Polymorphism}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {441-440}, doi = {}, year = {2016}, } Article: oopsla16main-main7-p doi:
	Pingali, Keshav	OOPSLA '16: "A Compiler for Throughput ..." A Compiler for Throughput Optimization of Graph Algorithms on GPUs Sreepathi Pai and Keshav Pingali (University of Texas at Austin, USA) @InProceedings{OOPSLA16p1, author = {Sreepathi Pai and Keshav Pingali}, title = {A Compiler for Throughput Optimization of Graph Algorithms on GPUs}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2016}, } Article: oopsla16main-main92-p doi:
	Rajagopalan, Arun K.	OOPSLA '16: "Precise and Maximal Race Detection ..." Precise and Maximal Race Detection from Incomplete Traces Jeff Huang and Arun K. Rajagopalan (Texas A&M University, USA) @InProceedings{OOPSLA16p521, author = {Jeff Huang and Arun K. Rajagopalan}, title = {Precise and Maximal Race Detection from Incomplete Traces}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {521-520}, doi = {}, year = {2016}, } Article: oopsla16main-main126-p doi:
	Rajan, Hridesh	OOPSLA '16: "First-Class Effect Reflection ..." First-Class Effect Reflection for Effect-Guided Programming Yuheng Long, Yu David Liu, and Hridesh Rajan (Iowa State University, USA; SUNY Binghamton, USA) @InProceedings{OOPSLA16p921, author = {Yuheng Long and Yu David Liu and Hridesh Rajan}, title = {First-Class Effect Reflection for Effect-Guided Programming}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {921-920}, doi = {}, year = {2016}, } Article: oopsla16main-main180-p doi:
	Rakamarić, Zvonimir	OOPSLA '16: "Portable Inter-workgroup Barrier ..." Portable Inter-workgroup Barrier Synchronisation for GPUs Tyler Sorensen, Alastair F. Donaldson, Mark Batty, Ganesh Gopalakrishnan, and Zvonimir Rakamarić (Imperial College London, UK; University of Kent, UK; University of Utah, USA) @InProceedings{OOPSLA16p41, author = {Tyler Sorensen and Alastair F. Donaldson and Mark Batty and Ganesh Gopalakrishnan and Zvonimir Rakamarić}, title = {Portable Inter-workgroup Barrier Synchronisation for GPUs}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {41-40}, doi = {}, year = {2016}, } Article: oopsla16main-main157-p doi:
	Ramanathan, Murali Krishna	OOPSLA '16: "Directed Synthesis of Failing ..." Directed Synthesis of Failing Concurrent Executions Malavika Samak, Omer Tripp, and Murali Krishna Ramanathan (IISc Bangalore, India; Google, USA) @InProceedings{OOPSLA16p481, author = {Malavika Samak and Omer Tripp and Murali Krishna Ramanathan}, title = {Directed Synthesis of Failing Concurrent Executions}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {481-480}, doi = {}, year = {2016}, } Article: oopsla16main-main207-p doi:
	Raychev, Veselin	OOPSLA '16: "Probabilistic Model for Code ..." Probabilistic Model for Code with Decision Trees Veselin Raychev, Pavol Bielik, and Martin Vechev (ETH Zurich, Switzerland) @InProceedings{OOPSLA16p821, author = {Veselin Raychev and Pavol Bielik and Martin Vechev}, title = {Probabilistic Model for Code with Decision Trees}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {821-820}, doi = {}, year = {2016}, } Article: oopsla16main-main208-p doi:
	Rendel, Tillmann	OOPSLA '16: "Parsing with First-Class Derivatives ..." Parsing with First-Class Derivatives Jonathan Immanuel Brachthäuser, Tillmann Rendel, and Klaus Ostermann (University of Tübingen, Germany) @InProceedings{OOPSLA16p661, author = {Jonathan Immanuel Brachthäuser and Tillmann Rendel and Klaus Ostermann}, title = {Parsing with First-Class Derivatives}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {661-660}, doi = {}, year = {2016}, } Article: oopsla16main-main138-p doi:
	Reps, Thomas	OOPSLA '16: "Speeding Up Machine-Code Synthesis ..." Speeding Up Machine-Code Synthesis Venkatesh Srinivasan, Tushar Sharma, and Thomas Reps (University of Wisconsin-Madison, USA; GrammaTech, USA) @InProceedings{OOPSLA16p181, author = {Venkatesh Srinivasan and Tushar Sharma and Thomas Reps}, title = {Speeding Up Machine-Code Synthesis}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {181-180}, doi = {}, year = {2016}, } Article: oopsla16main-main61-p doi: OOPSLA '16: "An Improved Algorithm for ..." An Improved Algorithm for Slicing Machine Code Venkatesh Srinivasan and Thomas Reps (University of Wisconsin-Madison, USA; GrammaTech, USA) @InProceedings{OOPSLA16p421, author = {Venkatesh Srinivasan and Thomas Reps}, title = {An Improved Algorithm for Slicing Machine Code}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {421-420}, doi = {}, year = {2016}, } Article: oopsla16main-main56-p doi:
	Rodriguez-Rivera, Gustavo	OOPSLA '16: "Apex: Automatic Programming ..." Apex: Automatic Programming Assignment Error Explanation Dohyeong Kim, Yonghwi Kwon, Peng Liu, I. Luk Kim, David Mitchel Perry, Xiangyu Zhang, and Gustavo Rodriguez-Rivera (Purdue University, USA) @InProceedings{OOPSLA16p341, author = {Dohyeong Kim and Yonghwi Kwon and Peng Liu and I. Luk Kim and David Mitchel Perry and Xiangyu Zhang and Gustavo Rodriguez-Rivera}, title = {Apex: Automatic Programming Assignment Error Explanation}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {341-340}, doi = {}, year = {2016}, } Article: oopsla16main-main153-p doi:
	Rompf, Tiark	OOPSLA '16: "Gentrification Gone too Far? ..." Gentrification Gone too Far? Affordable 2nd-Class Values for Fun and (Co-)Effect Leo Osvald, Grégory Essertel, Xilun Wu, Lilliam I. González Alayón, and Tiark Rompf (Purdue University, USA) @InProceedings{OOPSLA16p261, author = {Leo Osvald and Grégory Essertel and Xilun Wu and Lilliam I. González Alayón and Tiark Rompf}, title = {Gentrification Gone too Far? Affordable 2nd-Class Values for Fun and (Co-)Effect}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {261-260}, doi = {}, year = {2016}, } Article: oopsla16main-main65-p doi: OOPSLA '16: "Type Soundness for Dependent ..." Type Soundness for Dependent Object Types (DOT) Tiark Rompf and Nada Amin (Purdue University, USA; EPFL, Switzerland) @InProceedings{OOPSLA16p701, author = {Tiark Rompf and Nada Amin}, title = {Type Soundness for Dependent Object Types (DOT)}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {701-700}, doi = {}, year = {2016}, } Article: oopsla16main-main64-p doi:
	Roşu, Grigore	OOPSLA '16: "Semantics-Based Program Verifiers ..." Semantics-Based Program Verifiers for All Languages Andrei Stefănescu, Daejun Park, Shijiao Yuwen, Yilong Li, and Grigore Roşu (University of Illinois at Urbana-Champaign, USA; Runtime Verification, USA) @InProceedings{OOPSLA16p81, author = {Andrei Stefănescu and Daejun Park and Shijiao Yuwen and Yilong Li and Grigore Roşu}, title = {Semantics-Based Program Verifiers for All Languages}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {81-80}, doi = {}, year = {2016}, } Article: oopsla16main-main139-p doi:
	Roy, Subhajit	OOPSLA '16: "To Be Precise: Regression ..." To Be Precise: Regression Aware Debugging Rohan Bavishi, Awanish Pandey, and Subhajit Roy (IIT Kanpur, India) @InProceedings{OOPSLA16p1021, author = {Rohan Bavishi and Awanish Pandey and Subhajit Roy}, title = {To Be Precise: Regression Aware Debugging}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {1021-1020}, doi = {}, year = {2016}, } Article: oopsla16main-main89-p doi:
	Salucci, Luca	OOPSLA '16: "GEMs: Shared-Memory Parallel ..." GEMs: Shared-Memory Parallel Programming for Node.js Daniele Bonetta, Luca Salucci, Stefan Marr, and Walter Binder (Oracle Labs, Austria; University of Lugano, Switzerland; JKU Linz, Austria) @InProceedings{OOPSLA16p601, author = {Daniele Bonetta and Luca Salucci and Stefan Marr and Walter Binder}, title = {GEMs: Shared-Memory Parallel Programming for Node.js}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {601-600}, doi = {}, year = {2016}, } Article: oopsla16main-main194-p doi:
	Samak, Malavika	OOPSLA '16: "Directed Synthesis of Failing ..." Directed Synthesis of Failing Concurrent Executions Malavika Samak, Omer Tripp, and Murali Krishna Ramanathan (IISc Bangalore, India; Google, USA) @InProceedings{OOPSLA16p481, author = {Malavika Samak and Omer Tripp and Murali Krishna Ramanathan}, title = {Directed Synthesis of Failing Concurrent Executions}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {481-480}, doi = {}, year = {2016}, } Article: oopsla16main-main207-p doi:
	Sarkar, Vivek	OOPSLA '16: "Automatic Parallelization ..." Automatic Parallelization of Pure Method Calls via Conditional Future Synthesis Rishi Surendran and Vivek Sarkar (Rice University, USA) @InProceedings{OOPSLA16p21, author = {Rishi Surendran and Vivek Sarkar}, title = {Automatic Parallelization of Pure Method Calls via Conditional Future Synthesis}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {21-20}, doi = {}, year = {2016}, } Article: oopsla16main-main175-p doi:
	Schlatter, Tobias	OOPSLA '16: "Parallel Incremental Whole-Program ..." Parallel Incremental Whole-Program Optimizations for Scala.js Sébastien Doeraene and Tobias Schlatter (EPFL, Switzerland) @InProceedings{OOPSLA16p61, author = {Sébastien Doeraene and Tobias Schlatter}, title = {Parallel Incremental Whole-Program Optimizations for Scala.js}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {61-60}, doi = {}, year = {2016}, } Article: oopsla16main-main84-p doi:
	Schlesinger, Cole	OOPSLA '16: "Type Inference for Static ..." Type Inference for Static Compilation of JavaScript Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, and Youngil Choi (Samsung Research, USA; Drexel University, USA; Northeastern University, USA; Samsung Electronics, South Korea) @InProceedings{OOPSLA16p461, author = {Satish Chandra and Colin S. Gordon and Jean-Baptiste Jeannin and Cole Schlesinger and Manu Sridharan and Frank Tip and Youngil Choi}, title = {Type Inference for Static Compilation of JavaScript}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {461-460}, doi = {}, year = {2016}, } Article: oopsla16main-main105-p doi: OOPSLA '16: "A Practical Framework for ..." A Practical Framework for Type Inference Error Explanation Calvin Loncaric, Satish Chandra, Cole Schlesinger, and Manu Sridharan (University of Washington, USA; Samsung Research, USA) @InProceedings{OOPSLA16p881, author = {Calvin Loncaric and Satish Chandra and Cole Schlesinger and Manu Sridharan}, title = {A Practical Framework for Type Inference Error Explanation}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {881-880}, doi = {}, year = {2016}, } Article: oopsla16main-main23-p doi:
	Sergey, Ilya	OOPSLA '16: "Hoare-Style Specifications ..." Hoare-Style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee, and Germán Andrés Delbianco (University College London, UK; IMDEA Software Institute, Spain) @InProceedings{OOPSLA16p101, author = {Ilya Sergey and Aleksandar Nanevski and Anindya Banerjee and Germán Andrés Delbianco}, title = {Hoare-Style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {101-100}, doi = {}, year = {2016}, } Article: oopsla16main-main49-p doi:
	Sewell, Peter	OOPSLA '16: "An Operational Semantics for ..." An Operational Semantics for C/C++11 Concurrency Kyndylan Nienhuis, Kayvan Memarian, and Peter Sewell (University of Cambridge, UK) @InProceedings{OOPSLA16p121, author = {Kyndylan Nienhuis and Kayvan Memarian and Peter Sewell}, title = {An Operational Semantics for C/C++11 Concurrency}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {121-120}, doi = {}, year = {2016}, } Article: oopsla16main-main40-p doi: OOPSLA '16: "The Missing Link: Explaining ..." The Missing Link: Explaining ELF Static Linking, Semantically Stephen Kell, Dominic P. Mulligan, and Peter Sewell (University of Cambridge, UK) @InProceedings{OOPSLA16p681, author = {Stephen Kell and Dominic P. Mulligan and Peter Sewell}, title = {The Missing Link: Explaining ELF Static Linking, Semantically}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {681-680}, doi = {}, year = {2016}, } Article: oopsla16main-main37-p doi:
	Shan, Zhiyong	OOPSLA '16: "Finding Resume and Restart ..." Finding Resume and Restart Errors in Android Applications Zhiyong Shan, Tanzirul Azim, and Iulian Neamtiu (University of Central Missouri, USA; University of California at Riverside, USA; New Jersey Institute of Technology, USA) @InProceedings{OOPSLA16p981, author = {Zhiyong Shan and Tanzirul Azim and Iulian Neamtiu}, title = {Finding Resume and Restart Errors in Android Applications}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {981-980}, doi = {}, year = {2016}, } Article: oopsla16main-main71-p doi:
	Sharma, Rahul	OOPSLA '16: "Dependent Partitioning ..." Dependent Partitioning Sean Treichler, Michael Bauer, Rahul Sharma, Elliott Slaughter, and Alex Aiken (Stanford University, USA; NVIDIA Research, USA) @InProceedings{OOPSLA16p381, author = {Sean Treichler and Michael Bauer and Rahul Sharma and Elliott Slaughter and Alex Aiken}, title = {Dependent Partitioning}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {381-380}, doi = {}, year = {2016}, } Article: oopsla16main-main102-p doi:
	Sharma, Tushar	OOPSLA '16: "Speeding Up Machine-Code Synthesis ..." Speeding Up Machine-Code Synthesis Venkatesh Srinivasan, Tushar Sharma, and Thomas Reps (University of Wisconsin-Madison, USA; GrammaTech, USA) @InProceedings{OOPSLA16p181, author = {Venkatesh Srinivasan and Tushar Sharma and Thomas Reps}, title = {Speeding Up Machine-Code Synthesis}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {181-180}, doi = {}, year = {2016}, } Article: oopsla16main-main61-p doi:
	Singh, Rishabh	OOPSLA '16: "FIDEX: Filtering Spreadsheet ..." FIDEX: Filtering Spreadsheet Data using Examples Xinyu Wang, Sumit Gulwani, and Rishabh Singh (University of Texas at Austin, USA; Microsoft Research, USA) @InProceedings{OOPSLA16p221, author = {Xinyu Wang and Sumit Gulwani and Rishabh Singh}, title = {FIDEX: Filtering Spreadsheet Data using Examples}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {221-220}, doi = {}, year = {2016}, } Article: oopsla16main-main151-p doi:
	Singh, Rohit	OOPSLA '16: "Deriving Divide-and-Conquer ..." Deriving Divide-and-Conquer Dynamic Programming Algorithms using Solver-Aided Transformations Shachar Itzhaky, Rohit Singh, Armando Solar-Lezama, Kuat Yessenov, Yongquan Lu, Charles Leiserson, and Rezaul Chowdhury (Massachusetts Institute of Technology, USA; Stony Brook University, USA) @InProceedings{OOPSLA16p161, author = {Shachar Itzhaky and Rohit Singh and Armando Solar-Lezama and Kuat Yessenov and Yongquan Lu and Charles Leiserson and Rezaul Chowdhury}, title = {Deriving Divide-and-Conquer Dynamic Programming Algorithms using Solver-Aided Transformations}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {161-160}, doi = {}, year = {2016}, } Article: oopsla16main-main17-p doi:
	Slaughter, Elliott	OOPSLA '16: "Dependent Partitioning ..." Dependent Partitioning Sean Treichler, Michael Bauer, Rahul Sharma, Elliott Slaughter, and Alex Aiken (Stanford University, USA; NVIDIA Research, USA) @InProceedings{OOPSLA16p381, author = {Sean Treichler and Michael Bauer and Rahul Sharma and Elliott Slaughter and Alex Aiken}, title = {Dependent Partitioning}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {381-380}, doi = {}, year = {2016}, } Article: oopsla16main-main102-p doi:
	Solar-Lezama, Armando	OOPSLA '16: "Deriving Divide-and-Conquer ..." Deriving Divide-and-Conquer Dynamic Programming Algorithms using Solver-Aided Transformations Shachar Itzhaky, Rohit Singh, Armando Solar-Lezama, Kuat Yessenov, Yongquan Lu, Charles Leiserson, and Rezaul Chowdhury (Massachusetts Institute of Technology, USA; Stony Brook University, USA) @InProceedings{OOPSLA16p161, author = {Shachar Itzhaky and Rohit Singh and Armando Solar-Lezama and Kuat Yessenov and Yongquan Lu and Charles Leiserson and Rezaul Chowdhury}, title = {Deriving Divide-and-Conquer Dynamic Programming Algorithms using Solver-Aided Transformations}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {161-160}, doi = {}, year = {2016}, } Article: oopsla16main-main17-p doi:
	Sorensen, Tyler	OOPSLA '16: "Portable Inter-workgroup Barrier ..." Portable Inter-workgroup Barrier Synchronisation for GPUs Tyler Sorensen, Alastair F. Donaldson, Mark Batty, Ganesh Gopalakrishnan, and Zvonimir Rakamarić (Imperial College London, UK; University of Kent, UK; University of Utah, USA) @InProceedings{OOPSLA16p41, author = {Tyler Sorensen and Alastair F. Donaldson and Mark Batty and Ganesh Gopalakrishnan and Zvonimir Rakamarić}, title = {Portable Inter-workgroup Barrier Synchronisation for GPUs}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {41-40}, doi = {}, year = {2016}, } Article: oopsla16main-main157-p doi:
	Sridharan, Manu	OOPSLA '16: "Type Inference for Static ..." Type Inference for Static Compilation of JavaScript Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, and Youngil Choi (Samsung Research, USA; Drexel University, USA; Northeastern University, USA; Samsung Electronics, South Korea) @InProceedings{OOPSLA16p461, author = {Satish Chandra and Colin S. Gordon and Jean-Baptiste Jeannin and Cole Schlesinger and Manu Sridharan and Frank Tip and Youngil Choi}, title = {Type Inference for Static Compilation of JavaScript}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {461-460}, doi = {}, year = {2016}, } Article: oopsla16main-main105-p doi: OOPSLA '16: "A Practical Framework for ..." A Practical Framework for Type Inference Error Explanation Calvin Loncaric, Satish Chandra, Cole Schlesinger, and Manu Sridharan (University of Washington, USA; Samsung Research, USA) @InProceedings{OOPSLA16p881, author = {Calvin Loncaric and Satish Chandra and Cole Schlesinger and Manu Sridharan}, title = {A Practical Framework for Type Inference Error Explanation}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {881-880}, doi = {}, year = {2016}, } Article: oopsla16main-main23-p doi:
	Srinivasan, Venkatesh	OOPSLA '16: "Speeding Up Machine-Code Synthesis ..." Speeding Up Machine-Code Synthesis Venkatesh Srinivasan, Tushar Sharma, and Thomas Reps (University of Wisconsin-Madison, USA; GrammaTech, USA) @InProceedings{OOPSLA16p181, author = {Venkatesh Srinivasan and Tushar Sharma and Thomas Reps}, title = {Speeding Up Machine-Code Synthesis}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {181-180}, doi = {}, year = {2016}, } Article: oopsla16main-main61-p doi: OOPSLA '16: "An Improved Algorithm for ..." An Improved Algorithm for Slicing Machine Code Venkatesh Srinivasan and Thomas Reps (University of Wisconsin-Madison, USA; GrammaTech, USA) @InProceedings{OOPSLA16p421, author = {Venkatesh Srinivasan and Thomas Reps}, title = {An Improved Algorithm for Slicing Machine Code}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {421-420}, doi = {}, year = {2016}, } Article: oopsla16main-main56-p doi:
	Stefănescu, Andrei	OOPSLA '16: "Semantics-Based Program Verifiers ..." Semantics-Based Program Verifiers for All Languages Andrei Stefănescu, Daejun Park, Shijiao Yuwen, Yilong Li, and Grigore Roşu (University of Illinois at Urbana-Champaign, USA; Runtime Verification, USA) @InProceedings{OOPSLA16p81, author = {Andrei Stefănescu and Daejun Park and Shijiao Yuwen and Yilong Li and Grigore Roşu}, title = {Semantics-Based Program Verifiers for All Languages}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {81-80}, doi = {}, year = {2016}, } Article: oopsla16main-main139-p doi:
	Steimann, Friedrich	OOPSLA '16: "Computing Repair Alternatives ..." Computing Repair Alternatives for Malformed Programs using Constraint Attribute Grammars Friedrich Steimann, Jörg Hagemann, and Bastian Ulke (Fernuniversität in Hagen, Germany) @InProceedings{OOPSLA16p801, author = {Friedrich Steimann and Jörg Hagemann and Bastian Ulke}, title = {Computing Repair Alternatives for Malformed Programs using Constraint Attribute Grammars}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {801-800}, doi = {}, year = {2016}, } Article: oopsla16main-main63-p doi:
	Su, Zhendong	OOPSLA '16: "Finding Compiler Bugs via ..." Finding Compiler Bugs via Live Code Mutation Chengnian Sun, Vu Le, and Zhendong Su (University of California at Davis, USA) @InProceedings{OOPSLA16p961, author = {Chengnian Sun and Vu Le and Zhendong Su}, title = {Finding Compiler Bugs via Live Code Mutation}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {961-960}, doi = {}, year = {2016}, } Article: oopsla16main-main182-p doi:
	Sun, Chengnian	OOPSLA '16: "Finding Compiler Bugs via ..." Finding Compiler Bugs via Live Code Mutation Chengnian Sun, Vu Le, and Zhendong Su (University of California at Davis, USA) @InProceedings{OOPSLA16p961, author = {Chengnian Sun and Vu Le and Zhendong Su}, title = {Finding Compiler Bugs via Live Code Mutation}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {961-960}, doi = {}, year = {2016}, } Article: oopsla16main-main182-p doi:
	Surendran, Rishi	OOPSLA '16: "Automatic Parallelization ..." Automatic Parallelization of Pure Method Calls via Conditional Future Synthesis Rishi Surendran and Vivek Sarkar (Rice University, USA) @InProceedings{OOPSLA16p21, author = {Rishi Surendran and Vivek Sarkar}, title = {Automatic Parallelization of Pure Method Calls via Conditional Future Synthesis}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {21-20}, doi = {}, year = {2016}, } Article: oopsla16main-main175-p doi:
	Tate, Ross	OOPSLA '16: "Java and Scala's Type ..." Java and Scala's Type Systems are Unsound: The Existential Crisis of Null Pointers Nada Amin and Ross Tate (EPFL, Switzerland; Cornell University, USA) @InProceedings{OOPSLA16p941, author = {Nada Amin and Ross Tate}, title = {Java and Scala's Type Systems are Unsound: The Existential Crisis of Null Pointers}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {941-940}, doi = {}, year = {2016}, } Article: oopsla16main-main58-p doi:
	Tatlock, Zachary	OOPSLA '16: "Scalable Verification of Border ..." Scalable Verification of Border Gateway Protocol Configurations with an SMT Solver Konstantin Weitz, Doug Woos, Emina Torlak, Michael D. Ernst, Arvind Krishnamurthy, and Zachary Tatlock (University of Washington, USA) @InProceedings{OOPSLA16p861, author = {Konstantin Weitz and Doug Woos and Emina Torlak and Michael D. Ernst and Arvind Krishnamurthy and Zachary Tatlock}, title = {Scalable Verification of Border Gateway Protocol Configurations with an SMT Solver}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {861-860}, doi = {}, year = {2016}, } Article: oopsla16main-main72-p doi:
	Thywissen, John A.	OOPSLA '16: "OrcO: A Concurrency-First ..." OrcO: A Concurrency-First Approach to Objects Arthur Michener Peters, David Kitchin, John A. Thywissen, and William R. Cook (University of Texas at Austin, USA; Google, USA) @InProceedings{OOPSLA16p621, author = {Arthur Michener Peters and David Kitchin and John A. Thywissen and William R. Cook}, title = {OrcO: A Concurrency-First Approach to Objects}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {621-620}, doi = {}, year = {2016}, } Article: oopsla16main-main123-p doi:
	Tip, Frank	OOPSLA '16: "Type Inference for Static ..." Type Inference for Static Compilation of JavaScript Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, and Youngil Choi (Samsung Research, USA; Drexel University, USA; Northeastern University, USA; Samsung Electronics, South Korea) @InProceedings{OOPSLA16p461, author = {Satish Chandra and Colin S. Gordon and Jean-Baptiste Jeannin and Cole Schlesinger and Manu Sridharan and Frank Tip and Youngil Choi}, title = {Type Inference for Static Compilation of JavaScript}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {461-460}, doi = {}, year = {2016}, } Article: oopsla16main-main105-p doi:
	Torlak, Emina	OOPSLA '16: "Automated Reasoning for Web ..." Automated Reasoning for Web Page Layout Pavel Panchekha and Emina Torlak (University of Washington, USA) @InProceedings{OOPSLA16p201, author = {Pavel Panchekha and Emina Torlak}, title = {Automated Reasoning for Web Page Layout}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {201-200}, doi = {}, year = {2016}, } Article: oopsla16main-main69-p doi: OOPSLA '16: "Scalable Verification of Border ..." Scalable Verification of Border Gateway Protocol Configurations with an SMT Solver Konstantin Weitz, Doug Woos, Emina Torlak, Michael D. Ernst, Arvind Krishnamurthy, and Zachary Tatlock (University of Washington, USA) @InProceedings{OOPSLA16p861, author = {Konstantin Weitz and Doug Woos and Emina Torlak and Michael D. Ernst and Arvind Krishnamurthy and Zachary Tatlock}, title = {Scalable Verification of Border Gateway Protocol Configurations with an SMT Solver}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {861-860}, doi = {}, year = {2016}, } Article: oopsla16main-main72-p doi:
	Treichler, Sean	OOPSLA '16: "Dependent Partitioning ..." Dependent Partitioning Sean Treichler, Michael Bauer, Rahul Sharma, Elliott Slaughter, and Alex Aiken (Stanford University, USA; NVIDIA Research, USA) @InProceedings{OOPSLA16p381, author = {Sean Treichler and Michael Bauer and Rahul Sharma and Elliott Slaughter and Alex Aiken}, title = {Dependent Partitioning}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {381-380}, doi = {}, year = {2016}, } Article: oopsla16main-main102-p doi:
	Tripp, Omer	OOPSLA '16: "Directed Synthesis of Failing ..." Directed Synthesis of Failing Concurrent Executions Malavika Samak, Omer Tripp, and Murali Krishna Ramanathan (IISc Bangalore, India; Google, USA) @InProceedings{OOPSLA16p481, author = {Malavika Samak and Omer Tripp and Murali Krishna Ramanathan}, title = {Directed Synthesis of Failing Concurrent Executions}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {481-480}, doi = {}, year = {2016}, } Article: oopsla16main-main207-p doi:
	Ulke, Bastian	OOPSLA '16: "Computing Repair Alternatives ..." Computing Repair Alternatives for Malformed Programs using Constraint Attribute Grammars Friedrich Steimann, Jörg Hagemann, and Bastian Ulke (Fernuniversität in Hagen, Germany) @InProceedings{OOPSLA16p801, author = {Friedrich Steimann and Jörg Hagemann and Bastian Ulke}, title = {Computing Repair Alternatives for Malformed Programs using Constraint Attribute Grammars}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {801-800}, doi = {}, year = {2016}, } Article: oopsla16main-main63-p doi:
	Ureche, Vlad	OOPSLA '16: "Call Graphs for Languages ..." Call Graphs for Languages with Parametric Polymorphism Dmitry Petrashko, Vlad Ureche, Ondřej Lhoták, and Martin Odersky (EPFL, Switzerland; University of Waterloo, Canada) @InProceedings{OOPSLA16p441, author = {Dmitry Petrashko and Vlad Ureche and Ondřej Lhoták and Martin Odersky}, title = {Call Graphs for Languages with Parametric Polymorphism}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {441-440}, doi = {}, year = {2016}, } Article: oopsla16main-main7-p doi:
	Vechev, Martin	OOPSLA '16: "Modeling and Analysis of Remote ..." Modeling and Analysis of Remote Memory Access Programming Andrei Marian Dan, Patrick Lam, Torsten Hoefler, and Martin Vechev (ETH Zurich, Switzerland; University of Waterloo, Canada) @InProceedings{OOPSLA16p141, author = {Andrei Marian Dan and Patrick Lam and Torsten Hoefler and Martin Vechev}, title = {Modeling and Analysis of Remote Memory Access Programming}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {141-140}, doi = {}, year = {2016}, } Article: oopsla16main-main162-p doi: OOPSLA '16: "Probabilistic Model for Code ..." Probabilistic Model for Code with Decision Trees Veselin Raychev, Pavol Bielik, and Martin Vechev (ETH Zurich, Switzerland) @InProceedings{OOPSLA16p821, author = {Veselin Raychev and Pavol Bielik and Martin Vechev}, title = {Probabilistic Model for Code with Decision Trees}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {821-820}, doi = {}, year = {2016}, } Article: oopsla16main-main208-p doi:
	Wang, Xinyu	OOPSLA '16: "FIDEX: Filtering Spreadsheet ..." FIDEX: Filtering Spreadsheet Data using Examples Xinyu Wang, Sumit Gulwani, and Rishabh Singh (University of Texas at Austin, USA; Microsoft Research, USA) @InProceedings{OOPSLA16p221, author = {Xinyu Wang and Sumit Gulwani and Rishabh Singh}, title = {FIDEX: Filtering Spreadsheet Data using Examples}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {221-220}, doi = {}, year = {2016}, } Article: oopsla16main-main151-p doi:
	Weitz, Konstantin	OOPSLA '16: "Scalable Verification of Border ..." Scalable Verification of Border Gateway Protocol Configurations with an SMT Solver Konstantin Weitz, Doug Woos, Emina Torlak, Michael D. Ernst, Arvind Krishnamurthy, and Zachary Tatlock (University of Washington, USA) @InProceedings{OOPSLA16p861, author = {Konstantin Weitz and Doug Woos and Emina Torlak and Michael D. Ernst and Arvind Krishnamurthy and Zachary Tatlock}, title = {Scalable Verification of Border Gateway Protocol Configurations with an SMT Solver}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {861-860}, doi = {}, year = {2016}, } Article: oopsla16main-main72-p doi:
	Woos, Doug	OOPSLA '16: "Scalable Verification of Border ..." Scalable Verification of Border Gateway Protocol Configurations with an SMT Solver Konstantin Weitz, Doug Woos, Emina Torlak, Michael D. Ernst, Arvind Krishnamurthy, and Zachary Tatlock (University of Washington, USA) @InProceedings{OOPSLA16p861, author = {Konstantin Weitz and Doug Woos and Emina Torlak and Michael D. Ernst and Arvind Krishnamurthy and Zachary Tatlock}, title = {Scalable Verification of Border Gateway Protocol Configurations with an SMT Solver}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {861-860}, doi = {}, year = {2016}, } Article: oopsla16main-main72-p doi:
	Wu, Xilun	OOPSLA '16: "Gentrification Gone too Far? ..." Gentrification Gone too Far? Affordable 2nd-Class Values for Fun and (Co-)Effect Leo Osvald, Grégory Essertel, Xilun Wu, Lilliam I. González Alayón, and Tiark Rompf (Purdue University, USA) @InProceedings{OOPSLA16p261, author = {Leo Osvald and Grégory Essertel and Xilun Wu and Lilliam I. González Alayón and Tiark Rompf}, title = {Gentrification Gone too Far? Affordable 2nd-Class Values for Fun and (Co-)Effect}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {261-260}, doi = {}, year = {2016}, } Article: oopsla16main-main65-p doi:
	Xu, Guoqing	OOPSLA '16: "Low-Overhead and Fully Automated ..." Low-Overhead and Fully Automated Statistical Debugging with Abstraction Refinement Zhiqiang Zuo, Lu Fang, Siau-Cheng Khoo, Guoqing Xu, and Shan Lu (University of California at Irvine, USA; National University of Singapore, Singapore; University of Chicago, USA) @InProceedings{OOPSLA16p1001, author = {Zhiqiang Zuo and Lu Fang and Siau-Cheng Khoo and Guoqing Xu and Shan Lu}, title = {Low-Overhead and Fully Automated Statistical Debugging with Abstraction Refinement}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {1001-1000}, doi = {}, year = {2016}, } Article: oopsla16main-main60-p doi:
	Yessenov, Kuat	OOPSLA '16: "Deriving Divide-and-Conquer ..." Deriving Divide-and-Conquer Dynamic Programming Algorithms using Solver-Aided Transformations Shachar Itzhaky, Rohit Singh, Armando Solar-Lezama, Kuat Yessenov, Yongquan Lu, Charles Leiserson, and Rezaul Chowdhury (Massachusetts Institute of Technology, USA; Stony Brook University, USA) @InProceedings{OOPSLA16p161, author = {Shachar Itzhaky and Rohit Singh and Armando Solar-Lezama and Kuat Yessenov and Yongquan Lu and Charles Leiserson and Rezaul Chowdhury}, title = {Deriving Divide-and-Conquer Dynamic Programming Algorithms using Solver-Aided Transformations}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {161-160}, doi = {}, year = {2016}, } Article: oopsla16main-main17-p doi:
	Yuwen, Shijiao	OOPSLA '16: "Semantics-Based Program Verifiers ..." Semantics-Based Program Verifiers for All Languages Andrei Stefănescu, Daejun Park, Shijiao Yuwen, Yilong Li, and Grigore Roşu (University of Illinois at Urbana-Champaign, USA; Runtime Verification, USA) @InProceedings{OOPSLA16p81, author = {Andrei Stefănescu and Daejun Park and Shijiao Yuwen and Yilong Li and Grigore Roşu}, title = {Semantics-Based Program Verifiers for All Languages}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {81-80}, doi = {}, year = {2016}, } Article: oopsla16main-main139-p doi:
	Zhang, Richard	OOPSLA '16: "Incremental Forest: A DSL ..." Incremental Forest: A DSL for Efficiently Managing Filestores Jonathan DiLorenzo, Richard Zhang, Erin Menzies, Kathleen Fisher, and Nate Foster (Cornell University, USA; University of Pennsylvania, USA; Tufts University, USA) @InProceedings{OOPSLA16p281, author = {Jonathan DiLorenzo and Richard Zhang and Erin Menzies and Kathleen Fisher and Nate Foster}, title = {Incremental Forest: A DSL for Efficiently Managing Filestores}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {281-280}, doi = {}, year = {2016}, } Article: oopsla16main-main172-p doi:
	Zhang, Xiangyu	OOPSLA '16: "Apex: Automatic Programming ..." Apex: Automatic Programming Assignment Error Explanation Dohyeong Kim, Yonghwi Kwon, Peng Liu, I. Luk Kim, David Mitchel Perry, Xiangyu Zhang, and Gustavo Rodriguez-Rivera (Purdue University, USA) @InProceedings{OOPSLA16p341, author = {Dohyeong Kim and Yonghwi Kwon and Peng Liu and I. Luk Kim and David Mitchel Perry and Xiangyu Zhang and Gustavo Rodriguez-Rivera}, title = {Apex: Automatic Programming Assignment Error Explanation}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {341-340}, doi = {}, year = {2016}, } Article: oopsla16main-main153-p doi:
	Zhang, Xin	OOPSLA '16: "Accelerating Program Analyses ..." Accelerating Program Analyses by Cross-Program Training Sulekha Kulkarni, Ravi Mangal, Xin Zhang, and Mayur Naik (Georgia Tech, USA) @InProceedings{OOPSLA16p401, author = {Sulekha Kulkarni and Ravi Mangal and Xin Zhang and Mayur Naik}, title = {Accelerating Program Analyses by Cross-Program Training}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {401-400}, doi = {}, year = {2016}, } Article: oopsla16main-main124-p doi:
	Zuo, Zhiqiang	OOPSLA '16: "Low-Overhead and Fully Automated ..." Low-Overhead and Fully Automated Statistical Debugging with Abstraction Refinement Zhiqiang Zuo, Lu Fang, Siau-Cheng Khoo, Guoqing Xu, and Shan Lu (University of California at Irvine, USA; National University of Singapore, Singapore; University of Chicago, USA) @InProceedings{OOPSLA16p1001, author = {Zhiqiang Zuo and Lu Fang and Siau-Cheng Khoo and Guoqing Xu and Shan Lu}, title = {Low-Overhead and Fully Automated Statistical Debugging with Abstraction Refinement}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {1001-1000}, doi = {}, year = {2016}, } Article: oopsla16main-main60-p doi:

177 authors

proc time: 0.98