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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) 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 (type: Full Paper (20 pages)) doi:

177 authors

proc time: 0.18