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

	Achour, Sara	OOPSLA '15: "Approximate Computation with ..." Approximate Computation with Outlier Detection in Topaz Sara Achour and Martin C. Rinard (Massachusetts Institute of Technology, USA) @InProceedings{OOPSLA15p801, author = {Sara Achour and Martin C. Rinard}, title = {Approximate Computation with Outlier Detection in Topaz}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {801-800}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-224-p (type: Full Paper (20 pages)) doi:
	Aigner, Martin	OOPSLA '15: "Fast, Multicore-Scalable, ..." Fast, Multicore-Scalable, Low-Fragmentation Memory Allocation through Large Virtual Memory and Global Data Structures Martin Aigner, Christoph M. Kirsch, Michael Lippautz, and Ana Sokolova (University of Salzburg, Austria) @InProceedings{OOPSLA15p501, author = {Martin Aigner and Christoph M. Kirsch and Michael Lippautz and Ana Sokolova}, title = {Fast, Multicore-Scalable, Low-Fragmentation Memory Allocation through Large Virtual Memory and Global Data Structures}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {501-500}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-154-p (type: Full Paper (20 pages)) doi:
	Aiken, Alex	OOPSLA '15: "Conditionally Correct Superoptimization ..." Conditionally Correct Superoptimization Rahul Sharma, Eric Schkufza, Berkeley Churchill, and Alex Aiken (Stanford University, USA) @InProceedings{OOPSLA15p161, author = {Rahul Sharma and Eric Schkufza and Berkeley Churchill and Alex Aiken}, title = {Conditionally Correct Superoptimization}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {161-160}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-50-p (type: Full Paper (20 pages)) doi: OOPSLA '15: "Interactively Verifying Absence ..." Interactively Verifying Absence of Explicit Information Flows in Android Apps Osbert Bastani, Saswat Anand, and Alex Aiken (Stanford University, USA) @InProceedings{OOPSLA15p321, author = {Osbert Bastani and Saswat Anand and Alex Aiken}, title = {Interactively Verifying Absence of Explicit Information Flows in Android Apps}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {321-320}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-24-p (type: Full Paper (20 pages)) doi:
	Alves, Péricles	OOPSLA '15: "Runtime Pointer Disambiguation ..." Runtime Pointer Disambiguation Péricles Alves, Fabian Gruber, Johannes Doerfert, Alexandros Lamprineas, Tobias Grosser, Fabrice Rastello, and Fernando Magno Quintão Pereira (Federal University of Minas Gerais, Brazil; INRIA, France; Saarland University, Germany; ETH Zurich, Switzerland) @InProceedings{OOPSLA15p661, author = {Péricles Alves and Fabian Gruber and Johannes Doerfert and Alexandros Lamprineas and Tobias Grosser and Fabrice Rastello and Fernando Magno Quintão Pereira}, title = {Runtime Pointer Disambiguation}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {661-660}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-110-p (type: Full Paper (20 pages)) doi:
	Anand, Saswat	OOPSLA '15: "Interactively Verifying Absence ..." Interactively Verifying Absence of Explicit Information Flows in Android Apps Osbert Bastani, Saswat Anand, and Alex Aiken (Stanford University, USA) @InProceedings{OOPSLA15p321, author = {Osbert Bastani and Saswat Anand and Alex Aiken}, title = {Interactively Verifying Absence of Explicit Information Flows in Android Apps}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {321-320}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-24-p (type: Full Paper (20 pages)) doi:
	Azim, Tanzirul	OOPSLA '15: "Versatile yet Lightweight ..." Versatile yet Lightweight Record-and-Replay for Android Yongjian Hu, Tanzirul Azim, and Iulian Neamtiu (University of California at Riverside, USA) @InProceedings{OOPSLA15p381, author = {Yongjian Hu and Tanzirul Azim and Iulian Neamtiu}, title = {Versatile yet Lightweight Record-and-Replay for Android}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {381-380}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-245-p (type: Full Paper (20 pages)) doi:
	Bai, Zhaojun	OOPSLA '15: "Automated Backward Error Analysis ..." Automated Backward Error Analysis for Numerical Code Zhoulai Fu, Zhaojun Bai, and Zhendong Su (University of California at Davis, USA) @InProceedings{OOPSLA15p721, author = {Zhoulai Fu and Zhaojun Bai and Zhendong Su}, title = {Automated Backward Error Analysis for Numerical Code}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {721-720}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-230-p (type: Full Paper (20 pages)) doi:
	Bao, Tao	OOPSLA '15: "RAIVE: Runtime Assessment ..." RAIVE: Runtime Assessment of Floating-Point Instability by Vectorization Wen-Chuan Lee, Tao Bao, Yunhui Zheng, Xiangyu Zhang, Keval Vora, and Rajiv Gupta (Purdue University, USA; University of California at Riverside, USA) @InProceedings{OOPSLA15p701, author = {Wen-Chuan Lee and Tao Bao and Yunhui Zheng and Xiangyu Zhang and Keval Vora and Rajiv Gupta}, title = {RAIVE: Runtime Assessment of Floating-Point Instability by Vectorization}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {701-700}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-180-p (type: Full Paper (20 pages)) doi:
	Bastani, Osbert	OOPSLA '15: "Interactively Verifying Absence ..." Interactively Verifying Absence of Explicit Information Flows in Android Apps Osbert Bastani, Saswat Anand, and Alex Aiken (Stanford University, USA) @InProceedings{OOPSLA15p321, author = {Osbert Bastani and Saswat Anand and Alex Aiken}, title = {Interactively Verifying Absence of Explicit Information Flows in Android Apps}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {321-320}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-24-p (type: Full Paper (20 pages)) doi:
	Batty, Mark	OOPSLA '15: "Remote-Scope Promotion: Clarified, ..." Remote-Scope Promotion: Clarified, Rectified, and Verified John Wickerson, Mark Batty, Bradford M. Beckmann, and Alastair F. Donaldson (Imperial College London, UK; University of Kent, UK; AMD, USA) @InProceedings{OOPSLA15p821, author = {John Wickerson and Mark Batty and Bradford M. Beckmann and Alastair F. Donaldson}, title = {Remote-Scope Promotion: Clarified, Rectified, and Verified}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {821-820}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-103-p (type: Full Paper (20 pages)) doi:
	Beckmann, Bradford M.	OOPSLA '15: "Remote-Scope Promotion: Clarified, ..." Remote-Scope Promotion: Clarified, Rectified, and Verified John Wickerson, Mark Batty, Bradford M. Beckmann, and Alastair F. Donaldson (Imperial College London, UK; University of Kent, UK; AMD, USA) @InProceedings{OOPSLA15p821, author = {John Wickerson and Mark Batty and Bradford M. Beckmann and Alastair F. Donaldson}, title = {Remote-Scope Promotion: Clarified, Rectified, and Verified}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {821-820}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-103-p (type: Full Paper (20 pages)) doi:
	Bender, John	OOPSLA '15: "Declarative Fence Insertion ..." Declarative Fence Insertion John Bender, Mohsen Lesani, and Jens Palsberg (University of California at Los Angeles, USA; Massachusetts Institute of Technology, USA) @InProceedings{OOPSLA15p401, author = {John Bender and Mohsen Lesani and Jens Palsberg}, title = {Declarative Fence Insertion}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {401-400}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-231-p (type: Full Paper (20 pages)) doi:
	Biboudis, Aggelos	OOPSLA '15: "Automating Ad hoc Data Representation ..." Automating Ad hoc Data Representation Transformations Vlad Ureche, Aggelos Biboudis, Yannis Smaragdakis, and Martin Odersky (EPFL, Switzerland; University of Athens, Greece) @InProceedings{OOPSLA15p901, author = {Vlad Ureche and Aggelos Biboudis and Yannis Smaragdakis and Martin Odersky}, title = {Automating Ad hoc Data Representation Transformations}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {901-900}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-2-p (type: Full Paper (20 pages)) doi:
	Bielik, Pavol	OOPSLA '15: "Scalable Race Detection for ..." Scalable Race Detection for Android Applications Pavol Bielik, Veselin Raychev, and Martin Vechev (ETH Zurich, Switzerland) @InProceedings{OOPSLA15p361, author = {Pavol Bielik and Veselin Raychev and Martin Vechev}, title = {Scalable Race Detection for Android Applications}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {361-360}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-189-p (type: Full Paper (20 pages)) doi:
	Binder, Walter	OOPSLA '15: "Accurate Profiling in the ..." Accurate Profiling in the Presence of Dynamic Compilation Yudi Zheng, Lubomír Bulej, and Walter Binder (University of Lugano, Switzerland; Charles University, Czech Republic) @InProceedings{OOPSLA15p481, author = {Yudi Zheng and Lubomír Bulej and Walter Binder}, title = {Accurate Profiling in the Presence of Dynamic Compilation}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {481-480}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-101-p (type: Full Paper (20 pages)) doi:
	Biswas, Swarnendu	OOPSLA '15: "Valor: Efficient, Software-Only ..." Valor: Efficient, Software-Only Region Conflict Exceptions Swarnendu Biswas, Minjia Zhang, Michael D. Bond, and Brandon Lucia (Ohio State University, USA; Carnegie Mellon University, USA) @InProceedings{OOPSLA15p261, author = {Swarnendu Biswas and Minjia Zhang and Michael D. Bond and Brandon Lucia}, title = {Valor: Efficient, Software-Only Region Conflict Exceptions}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {261-260}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-145-p (type: Full Paper (20 pages)) doi:
	Blackshear, Sam	OOPSLA '15: "Selective Control-Flow Abstraction ..." Selective Control-Flow Abstraction via Jumping Sam Blackshear, Bor-Yuh Evan Chang, and Manu Sridharan (University of Colorado at Boulder, USA; Samsung Research, USA) @InProceedings{OOPSLA15p181, author = {Sam Blackshear and Bor-Yuh Evan Chang and Manu Sridharan}, title = {Selective Control-Flow Abstraction via Jumping}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {181-180}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-153-p (type: Full Paper (20 pages)) doi:
	Bodik, Rastislav	OOPSLA '15: "Synthesis of Layout Engines ..." Synthesis of Layout Engines from Relational Constraints Thibaud Hottelier and Rastislav Bodik (University of California at Berkeley, USA; University of Washington, USA) @InProceedings{OOPSLA15p81, author = {Thibaud Hottelier and Rastislav Bodik}, title = {Synthesis of Layout Engines from Relational Constraints}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {81-80}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-143-p (type: Full Paper (20 pages)) doi:
	Bond, Michael D.	OOPSLA '15: "Valor: Efficient, Software-Only ..." Valor: Efficient, Software-Only Region Conflict Exceptions Swarnendu Biswas, Minjia Zhang, Michael D. Bond, and Brandon Lucia (Ohio State University, USA; Carnegie Mellon University, USA) @InProceedings{OOPSLA15p261, author = {Swarnendu Biswas and Minjia Zhang and Michael D. Bond and Brandon Lucia}, title = {Valor: Efficient, Software-Only Region Conflict Exceptions}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {261-260}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-145-p (type: Full Paper (20 pages)) doi:
	Borning, Alan	OOPSLA '15: "Checks and Balances: Constraint ..." Checks and Balances: Constraint Solving without Surprises in Object-Constraint Programming Languages Tim Felgentreff, Todd Millstein, Alan Borning, and Robert Hirschfeld (HPI, Germany; University of California at Los Angeles, USA; University of Washington, USA) @InProceedings{OOPSLA15p861, author = {Tim Felgentreff and Todd Millstein and Alan Borning and Robert Hirschfeld}, title = {Checks and Balances: Constraint Solving without Surprises in Object-Constraint Programming Languages}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {861-860}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-211-p (type: Full Paper (20 pages)) doi:
	Boston, Brett	OOPSLA '15: "Probability Type Inference ..." Probability Type Inference for Flexible Approximate Programming Brett Boston, Adrian Sampson, Dan Grossman, and Luis Ceze (University of Washington, USA) @InProceedings{OOPSLA15p521, author = {Brett Boston and Adrian Sampson and Dan Grossman and Luis Ceze}, title = {Probability Type Inference for Flexible Approximate Programming}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {521-520}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-184-p (type: Full Paper (20 pages)) doi:
	Bračevac, Oliver	OOPSLA '15: "A Co-contextual Formulation ..." A Co-contextual Formulation of Type Rules and Its Application to Incremental Type Checking Sebastian Erdweg, Oliver Bračevac, Edlira Kuci, Matthias Krebs, and Mira Mezini (TU Darmstadt, Germany; Lancaster University, UK) @InProceedings{OOPSLA15p981, author = {Sebastian Erdweg and Oliver Bračevac and Edlira Kuci and Matthias Krebs and Mira Mezini}, title = {A Co-contextual Formulation of Type Rules and Its Application to Incremental Type Checking}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {981-980}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-40-p (type: Full Paper (20 pages)) doi:
	Brandauer, Stephan	OOPSLA '15: "Disjointness Domains for Fine-Grained ..." Disjointness Domains for Fine-Grained Aliasing Stephan Brandauer, Dave Clarke, and Tobias Wrigstad (Uppsala University, Sweden) @InProceedings{OOPSLA15p1001, author = {Stephan Brandauer and Dave Clarke and Tobias Wrigstad}, title = {Disjointness Domains for Fine-Grained Aliasing}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {1001-1000}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-75-p (type: Full Paper (20 pages)) doi:
	Brutschy, Lucas	OOPSLA '15: "ShamDroid: Gracefully Degrading ..." ShamDroid: Gracefully Degrading Functionality in the Presence of Limited Resource Access Lucas Brutschy, Pietro Ferrara, Omer Tripp, and Marco Pistoia (ETH Zurich, Switzerland; IBM Research, USA) @InProceedings{OOPSLA15p341, author = {Lucas Brutschy and Pietro Ferrara and Omer Tripp and Marco Pistoia}, title = {ShamDroid: Gracefully Degrading Functionality in the Presence of Limited Resource Access}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {341-340}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-168-p (type: Full Paper (20 pages)) doi:
	Bulej, Lubomír	OOPSLA '15: "Accurate Profiling in the ..." Accurate Profiling in the Presence of Dynamic Compilation Yudi Zheng, Lubomír Bulej, and Walter Binder (University of Lugano, Switzerland; Charles University, Czech Republic) @InProceedings{OOPSLA15p481, author = {Yudi Zheng and Lubomír Bulej and Walter Binder}, title = {Accurate Profiling in the Presence of Dynamic Compilation}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {481-480}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-101-p (type: Full Paper (20 pages)) doi:
	Ceze, Luis	OOPSLA '15: "Probability Type Inference ..." Probability Type Inference for Flexible Approximate Programming Brett Boston, Adrian Sampson, Dan Grossman, and Luis Ceze (University of Washington, USA) @InProceedings{OOPSLA15p521, author = {Brett Boston and Adrian Sampson and Dan Grossman and Luis Ceze}, title = {Probability Type Inference for Flexible Approximate Programming}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {521-520}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-184-p (type: Full Paper (20 pages)) doi:
	Chang, Bor-Yuh Evan	OOPSLA '15: "Selective Control-Flow Abstraction ..." Selective Control-Flow Abstraction via Jumping Sam Blackshear, Bor-Yuh Evan Chang, and Manu Sridharan (University of Colorado at Boulder, USA; Samsung Research, USA) @InProceedings{OOPSLA15p181, author = {Sam Blackshear and Bor-Yuh Evan Chang and Manu Sridharan}, title = {Selective Control-Flow Abstraction via Jumping}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {181-180}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-153-p (type: Full Paper (20 pages)) doi:
	Chu, Zewei	OOPSLA '15: "Scrap Your Boilerplate with ..." Scrap Your Boilerplate with Object Algebras Haoyuan Zhang, Zewei Chu, Bruno C. d. S. Oliveira, and Tijs van der Storm (University of Hong Kong, China; CWI, Netherlands) @InProceedings{OOPSLA15p141, author = {Haoyuan Zhang and Zewei Chu and Bruno C. d. S. Oliveira and Tijs van der Storm}, title = {Scrap Your Boilerplate with Object Algebras}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {141-140}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-60-p (type: Full Paper (20 pages)) doi:
	Churchill, Berkeley	OOPSLA '15: "Conditionally Correct Superoptimization ..." Conditionally Correct Superoptimization Rahul Sharma, Eric Schkufza, Berkeley Churchill, and Alex Aiken (Stanford University, USA) @InProceedings{OOPSLA15p161, author = {Rahul Sharma and Eric Schkufza and Berkeley Churchill and Alex Aiken}, title = {Conditionally Correct Superoptimization}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {161-160}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-50-p (type: Full Paper (20 pages)) doi:
	Clarke, Dave	OOPSLA '15: "Disjointness Domains for Fine-Grained ..." Disjointness Domains for Fine-Grained Aliasing Stephan Brandauer, Dave Clarke, and Tobias Wrigstad (Uppsala University, Sweden) @InProceedings{OOPSLA15p1001, author = {Stephan Brandauer and Dave Clarke and Tobias Wrigstad}, title = {Disjointness Domains for Fine-Grained Aliasing}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {1001-1000}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-75-p (type: Full Paper (20 pages)) doi:
	Cohen, Nachshon	OOPSLA '15: "Automatic Memory Reclamation ..." Automatic Memory Reclamation for Lock-Free Data Structures Nachshon Cohen and Erez Petrank (Technion, Israel) @InProceedings{OOPSLA15p281, author = {Nachshon Cohen and Erez Petrank}, title = {Automatic Memory Reclamation for Lock-Free Data Structures}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {281-280}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-173-p (type: Full Paper (20 pages)) doi:
	Crafa, Silvia	OOPSLA '15: "The Chemical Approach to Typestate-Oriented ..." The Chemical Approach to Typestate-Oriented Programming Silvia Crafa and Luca Padovani (Università di Padova, Italy; Università di Torino, Italy) @InProceedings{OOPSLA15p1021, author = {Silvia Crafa and Luca Padovani}, title = {The Chemical Approach to Typestate-Oriented Programming}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {1021-1020}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-127-p (type: Full Paper (20 pages)) doi:
	Darais, David	OOPSLA '15: "Galois Transformers and Modular ..." Galois Transformers and Modular Abstract Interpreters: Reusable Metatheory for Program Analysis David Darais, Matthew Might, and David Van Horn (University of Maryland at College Park, USA; University of Utah, USA) @InProceedings{OOPSLA15p621, author = {David Darais and Matthew Might and David Van Horn}, title = {Galois Transformers and Modular Abstract Interpreters: Reusable Metatheory for Program Analysis}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {621-620}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-204-p (type: Full Paper (20 pages)) doi:
	Della Toffola, Luca	OOPSLA '15: "Performance Problems You Can ..." Performance Problems You Can Fix: A Dynamic Analysis of Memoization Opportunities Luca Della Toffola, Michael Pradel, and Thomas R. Gross (ETH Zurich, Switzerland; TU Darmstadt, Germany) @InProceedings{OOPSLA15p681, author = {Luca Della Toffola and Michael Pradel and Thomas R. Gross}, title = {Performance Problems You Can Fix: A Dynamic Analysis of Memoization Opportunities}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {681-680}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-142-p (type: Full Paper (20 pages)) doi:
	Demsky, Brian	OOPSLA '15: "SATCheck: SAT-Directed Stateless ..." SATCheck: SAT-Directed Stateless Model Checking for SC and TSO Brian Demsky and Patrick Lam (University of California at Irvine, USA; University of Waterloo, Canada) @InProceedings{OOPSLA15p21, author = {Brian Demsky and Patrick Lam}, title = {SATCheck: SAT-Directed Stateless Model Checking for SC and TSO}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {21-20}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-170-p (type: Full Paper (20 pages)) doi: OOPSLA '15: "AutoMO: Automatic Inference ..." AutoMO: Automatic Inference of Memory Order Parameters for C/C++11 Peizhao Ou and Brian Demsky (University of California at Irvine, USA) @InProceedings{OOPSLA15p241, author = {Peizhao Ou and Brian Demsky}, title = {AutoMO: Automatic Inference of Memory Order Parameters for C/C++11}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {241-240}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-126-p (type: Full Paper (20 pages)) doi:
	Deursen, Arie van	OOPSLA '15: "Using C Language Extensions ..." Using C Language Extensions for Developing Embedded Software: A Case Study Markus Voelter, Arie van Deursen, Bernd Kolb, and Stephan Eberle (itemis, Germany; Delft University of Technology, Netherlands) @InProceedings{OOPSLA15p741, author = {Markus Voelter and Arie van Deursen and Bernd Kolb and Stephan Eberle}, title = {Using C Language Extensions for Developing Embedded Software: A Case Study}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {741-740}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-29-p (type: Full Paper (20 pages)) doi:
	Dietrich, Jens	OOPSLA '15: "Giga-Scale Exhaustive Points-To ..." Giga-Scale Exhaustive Points-To Analysis for Java in Under a Minute Jens Dietrich, Nicholas Hollingum, and Bernhard Scholz (Massey University, New Zealand; University of Sydney, Australia; Oracle Labs, Australia) @InProceedings{OOPSLA15p601, author = {Jens Dietrich and Nicholas Hollingum and Bernhard Scholz}, title = {Giga-Scale Exhaustive Points-To Analysis for Java in Under a Minute}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {601-600}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-203-p (type: Full Paper (20 pages)) doi:
	Dillig, Isil	OOPSLA '15: "EXPLORER : Query- and Demand-Driven ..." EXPLORER : Query- and Demand-Driven Exploration of Interprocedural Control Flow Properties Yu Feng, Xinyu Wang, Isil Dillig, and Calvin Lin (University of Texas at Austin, USA) @InProceedings{OOPSLA15p581, author = {Yu Feng and Xinyu Wang and Isil Dillig and Calvin Lin}, title = {EXPLORER : Query- and Demand-Driven Exploration of Interprocedural Control Flow Properties}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {581-580}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-108-p (type: Full Paper (20 pages)) doi:
	Dimitrov, Dimitar	OOPSLA '15: "Stateless Model Checking of ..." Stateless Model Checking of Event-Driven Applications Casper S. Jensen, Anders Møller, Veselin Raychev, Dimitar Dimitrov, and Martin Vechev (Aarhus University, Denmark; ETH Zurich, Switzerland) @InProceedings{OOPSLA15p61, author = {Casper S. Jensen and Anders Møller and Veselin Raychev and Dimitar Dimitrov and Martin Vechev}, title = {Stateless Model Checking of Event-Driven Applications}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {61-60}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-102-p (type: Full Paper (20 pages)) doi:
	Doerfert, Johannes	OOPSLA '15: "Runtime Pointer Disambiguation ..." Runtime Pointer Disambiguation Péricles Alves, Fabian Gruber, Johannes Doerfert, Alexandros Lamprineas, Tobias Grosser, Fabrice Rastello, and Fernando Magno Quintão Pereira (Federal University of Minas Gerais, Brazil; INRIA, France; Saarland University, Germany; ETH Zurich, Switzerland) @InProceedings{OOPSLA15p661, author = {Péricles Alves and Fabian Gruber and Johannes Doerfert and Alexandros Lamprineas and Tobias Grosser and Fabrice Rastello and Fernando Magno Quintão Pereira}, title = {Runtime Pointer Disambiguation}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {661-660}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-110-p (type: Full Paper (20 pages)) doi:
	Donaldson, Alastair F.	OOPSLA '15: "Remote-Scope Promotion: Clarified, ..." Remote-Scope Promotion: Clarified, Rectified, and Verified John Wickerson, Mark Batty, Bradford M. Beckmann, and Alastair F. Donaldson (Imperial College London, UK; University of Kent, UK; AMD, USA) @InProceedings{OOPSLA15p821, author = {John Wickerson and Mark Batty and Bradford M. Beckmann and Alastair F. Donaldson}, title = {Remote-Scope Promotion: Clarified, Rectified, and Verified}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {821-820}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-103-p (type: Full Paper (20 pages)) doi:
	Doshi, Kshitij A.	OOPSLA '15: "Cross-Layer Memory Management ..." Cross-Layer Memory Management for Managed Language Applications Michael R. Jantz, Forrest J. Robinson, Prasad A. Kulkarni, and Kshitij A. Doshi (University of Tennessee, USA; University of Kansas, USA; Intel, USA) @InProceedings{OOPSLA15p541, author = {Michael R. Jantz and Forrest J. Robinson and Prasad A. Kulkarni and Kshitij A. Doshi}, title = {Cross-Layer Memory Management for Managed Language Applications}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {541-540}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-248-p (type: Full Paper (20 pages)) doi:
	Ducasse, Stéphane	OOPSLA '15: "Tracing vs. Partial Evaluation: ..." Tracing vs. Partial Evaluation: Comparing Meta-Compilation Approaches for Self-Optimizing Interpreters Stefan Marr and Stéphane Ducasse (INRIA, France) @InProceedings{OOPSLA15p921, author = {Stefan Marr and Stéphane Ducasse}, title = {Tracing vs. Partial Evaluation: Comparing Meta-Compilation Approaches for Self-Optimizing Interpreters}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {921-920}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-26-p (type: Full Paper (20 pages)) doi:
	Dunfield, Joshua	OOPSLA '15: "Incremental Computation with ..." Incremental Computation with Names Matthew A. Hammer, Joshua Dunfield, Kyle Headley, Nicholas Labich, Jeffrey S. Foster, Michael Hicks, and David Van Horn (University of Colorado at Boulder, USA; University of Maryland at College Park, USA; University of British Columbia, Canada) @InProceedings{OOPSLA15p841, author = {Matthew A. Hammer and Joshua Dunfield and Kyle Headley and Nicholas Labich and Jeffrey S. Foster and Michael Hicks and David Van Horn}, title = {Incremental Computation with Names}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {841-840}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-193-p (type: Full Paper (20 pages)) doi:
	Eberle, Stephan	OOPSLA '15: "Using C Language Extensions ..." Using C Language Extensions for Developing Embedded Software: A Case Study Markus Voelter, Arie van Deursen, Bernd Kolb, and Stephan Eberle (itemis, Germany; Delft University of Technology, Netherlands) @InProceedings{OOPSLA15p741, author = {Markus Voelter and Arie van Deursen and Bernd Kolb and Stephan Eberle}, title = {Using C Language Extensions for Developing Embedded Software: A Case Study}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {741-740}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-29-p (type: Full Paper (20 pages)) doi:
	Erdweg, Sebastian	OOPSLA '15: "A Sound and Optimal Incremental ..." A Sound and Optimal Incremental Build System with Dynamic Dependencies Sebastian Erdweg, Moritz Lichter, and Manuel Weiel (TU Darmstadt, Germany) @InProceedings{OOPSLA15p101, author = {Sebastian Erdweg and Moritz Lichter and Manuel Weiel}, title = {A Sound and Optimal Incremental Build System with Dynamic Dependencies}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {101-100}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-229-p (type: Full Paper (20 pages)) doi: OOPSLA '15: "A Co-contextual Formulation ..." A Co-contextual Formulation of Type Rules and Its Application to Incremental Type Checking Sebastian Erdweg, Oliver Bračevac, Edlira Kuci, Matthias Krebs, and Mira Mezini (TU Darmstadt, Germany; Lancaster University, UK) @InProceedings{OOPSLA15p981, author = {Sebastian Erdweg and Oliver Bračevac and Edlira Kuci and Matthias Krebs and Mira Mezini}, title = {A Co-contextual Formulation of Type Rules and Its Application to Incremental Type Checking}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {981-980}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-40-p (type: Full Paper (20 pages)) doi:
	Felgentreff, Tim	OOPSLA '15: "Checks and Balances: Constraint ..." Checks and Balances: Constraint Solving without Surprises in Object-Constraint Programming Languages Tim Felgentreff, Todd Millstein, Alan Borning, and Robert Hirschfeld (HPI, Germany; University of California at Los Angeles, USA; University of Washington, USA) @InProceedings{OOPSLA15p861, author = {Tim Felgentreff and Todd Millstein and Alan Borning and Robert Hirschfeld}, title = {Checks and Balances: Constraint Solving without Surprises in Object-Constraint Programming Languages}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {861-860}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-211-p (type: Full Paper (20 pages)) doi:
	Feng, Yu	OOPSLA '15: "EXPLORER : Query- and Demand-Driven ..." EXPLORER : Query- and Demand-Driven Exploration of Interprocedural Control Flow Properties Yu Feng, Xinyu Wang, Isil Dillig, and Calvin Lin (University of Texas at Austin, USA) @InProceedings{OOPSLA15p581, author = {Yu Feng and Xinyu Wang and Isil Dillig and Calvin Lin}, title = {EXPLORER : Query- and Demand-Driven Exploration of Interprocedural Control Flow Properties}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {581-580}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-108-p (type: Full Paper (20 pages)) doi:
	Ferrara, Pietro	OOPSLA '15: "ShamDroid: Gracefully Degrading ..." ShamDroid: Gracefully Degrading Functionality in the Presence of Limited Resource Access Lucas Brutschy, Pietro Ferrara, Omer Tripp, and Marco Pistoia (ETH Zurich, Switzerland; IBM Research, USA) @InProceedings{OOPSLA15p341, author = {Lucas Brutschy and Pietro Ferrara and Omer Tripp and Marco Pistoia}, title = {ShamDroid: Gracefully Degrading Functionality in the Presence of Limited Resource Access}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {341-340}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-168-p (type: Full Paper (20 pages)) doi:
	Foster, Jeffrey S.	OOPSLA '15: "Incremental Computation with ..." Incremental Computation with Names Matthew A. Hammer, Joshua Dunfield, Kyle Headley, Nicholas Labich, Jeffrey S. Foster, Michael Hicks, and David Van Horn (University of Colorado at Boulder, USA; University of Maryland at College Park, USA; University of British Columbia, Canada) @InProceedings{OOPSLA15p841, author = {Matthew A. Hammer and Joshua Dunfield and Kyle Headley and Nicholas Labich and Jeffrey S. Foster and Michael Hicks and David Van Horn}, title = {Incremental Computation with Names}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {841-840}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-193-p (type: Full Paper (20 pages)) doi:
	Fu, Zhoulai	OOPSLA '15: "Automated Backward Error Analysis ..." Automated Backward Error Analysis for Numerical Code Zhoulai Fu, Zhaojun Bai, and Zhendong Su (University of California at Davis, USA) @InProceedings{OOPSLA15p721, author = {Zhoulai Fu and Zhaojun Bai and Zhendong Su}, title = {Automated Backward Error Analysis for Numerical Code}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {721-720}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-230-p (type: Full Paper (20 pages)) doi:
	Gardner, Philippa	OOPSLA '15: "Reasoning about the POSIX ..." Reasoning about the POSIX File System: Local Update and Global Pathnames Gian Ntzik and Philippa Gardner (Imperial College London, UK) @InProceedings{OOPSLA15p221, author = {Gian Ntzik and Philippa Gardner}, title = {Reasoning about the POSIX File System: Local Update and Global Pathnames}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {221-220}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-197-p (type: Full Paper (20 pages)) doi:
	Gross, Thomas R.	OOPSLA '15: "Performance Problems You Can ..." Performance Problems You Can Fix: A Dynamic Analysis of Memoization Opportunities Luca Della Toffola, Michael Pradel, and Thomas R. Gross (ETH Zurich, Switzerland; TU Darmstadt, Germany) @InProceedings{OOPSLA15p681, author = {Luca Della Toffola and Michael Pradel and Thomas R. Gross}, title = {Performance Problems You Can Fix: A Dynamic Analysis of Memoization Opportunities}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {681-680}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-142-p (type: Full Paper (20 pages)) doi:
	Grosser, Tobias	OOPSLA '15: "Runtime Pointer Disambiguation ..." Runtime Pointer Disambiguation Péricles Alves, Fabian Gruber, Johannes Doerfert, Alexandros Lamprineas, Tobias Grosser, Fabrice Rastello, and Fernando Magno Quintão Pereira (Federal University of Minas Gerais, Brazil; INRIA, France; Saarland University, Germany; ETH Zurich, Switzerland) @InProceedings{OOPSLA15p661, author = {Péricles Alves and Fabian Gruber and Johannes Doerfert and Alexandros Lamprineas and Tobias Grosser and Fabrice Rastello and Fernando Magno Quintão Pereira}, title = {Runtime Pointer Disambiguation}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {661-660}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-110-p (type: Full Paper (20 pages)) doi:
	Grossman, Dan	OOPSLA '15: "Probability Type Inference ..." Probability Type Inference for Flexible Approximate Programming Brett Boston, Adrian Sampson, Dan Grossman, and Luis Ceze (University of Washington, USA) @InProceedings{OOPSLA15p521, author = {Brett Boston and Adrian Sampson and Dan Grossman and Luis Ceze}, title = {Probability Type Inference for Flexible Approximate Programming}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {521-520}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-184-p (type: Full Paper (20 pages)) doi:
	Gruber, Fabian	OOPSLA '15: "Runtime Pointer Disambiguation ..." Runtime Pointer Disambiguation Péricles Alves, Fabian Gruber, Johannes Doerfert, Alexandros Lamprineas, Tobias Grosser, Fabrice Rastello, and Fernando Magno Quintão Pereira (Federal University of Minas Gerais, Brazil; INRIA, France; Saarland University, Germany; ETH Zurich, Switzerland) @InProceedings{OOPSLA15p661, author = {Péricles Alves and Fabian Gruber and Johannes Doerfert and Alexandros Lamprineas and Tobias Grosser and Fabrice Rastello and Fernando Magno Quintão Pereira}, title = {Runtime Pointer Disambiguation}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {661-660}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-110-p (type: Full Paper (20 pages)) doi:
	Gulwani, Sumit	OOPSLA '15: "FlashMeta: A Framework for ..." FlashMeta: A Framework for Inductive Program Synthesis Oleksandr Polozov and Sumit Gulwani (University of Washington, USA; Microsoft Research, USA) @InProceedings{OOPSLA15p121, author = {Oleksandr Polozov and Sumit Gulwani}, title = {FlashMeta: A Framework for Inductive Program Synthesis}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {121-120}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-210-p (type: Full Paper (20 pages)) doi: OOPSLA '15: "Automating Grammar Comparison ..." Automating Grammar Comparison Ravichandhran Madhavan, Mikaël Mayer, Sumit Gulwani, and Viktor Kuncak (EPFL, Switzerland; Microsoft Research, USA) @InProceedings{OOPSLA15p201, author = {Ravichandhran Madhavan and Mikaël Mayer and Sumit Gulwani and Viktor Kuncak}, title = {Automating Grammar Comparison}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {201-200}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-191-p (type: Full Paper (20 pages)) doi:
	Gupta, Rajiv	OOPSLA '15: "RAIVE: Runtime Assessment ..." RAIVE: Runtime Assessment of Floating-Point Instability by Vectorization Wen-Chuan Lee, Tao Bao, Yunhui Zheng, Xiangyu Zhang, Keval Vora, and Rajiv Gupta (Purdue University, USA; University of California at Riverside, USA) @InProceedings{OOPSLA15p701, author = {Wen-Chuan Lee and Tao Bao and Yunhui Zheng and Xiangyu Zhang and Keval Vora and Rajiv Gupta}, title = {RAIVE: Runtime Assessment of Floating-Point Instability by Vectorization}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {701-700}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-180-p (type: Full Paper (20 pages)) doi:
	Gvero, Tihomir	OOPSLA '15: "Synthesizing Java Expressions ..." Synthesizing Java Expressions from Free-Form Queries Tihomir Gvero and Viktor Kuncak (EPFL, Switzerland) @InProceedings{OOPSLA15p461, author = {Tihomir Gvero and Viktor Kuncak}, title = {Synthesizing Java Expressions from Free-Form Queries}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {461-460}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-162-p (type: Full Paper (20 pages)) doi:
	Hague, Matthew	OOPSLA '15: "Detecting Redundant CSS Rules ..." Detecting Redundant CSS Rules in HTML5 Applications: A Tree Rewriting Approach Matthew Hague, Anthony W. Lin, and C.-H. Luke Ong (University of London, UK; Yale-NUS College, Singapore; University of Oxford, UK) @InProceedings{OOPSLA15p1, author = {Matthew Hague and Anthony W. Lin and C.-H. Luke Ong}, title = {Detecting Redundant CSS Rules in HTML5 Applications: A Tree Rewriting Approach}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-135-p (type: Full Paper (20 pages)) doi:
	Hammer, Matthew A.	OOPSLA '15: "Incremental Computation with ..." Incremental Computation with Names Matthew A. Hammer, Joshua Dunfield, Kyle Headley, Nicholas Labich, Jeffrey S. Foster, Michael Hicks, and David Van Horn (University of Colorado at Boulder, USA; University of Maryland at College Park, USA; University of British Columbia, Canada) @InProceedings{OOPSLA15p841, author = {Matthew A. Hammer and Joshua Dunfield and Kyle Headley and Nicholas Labich and Jeffrey S. Foster and Michael Hicks and David Van Horn}, title = {Incremental Computation with Names}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {841-840}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-193-p (type: Full Paper (20 pages)) doi:
	Hauswirth, Matthias	OOPSLA '15: "Use at Your Own Risk: The ..." Use at Your Own Risk: The Java Unsafe API in the Wild Luis Mastrangelo, Luca Ponzanelli, Andrea Mocci, Michele Lanza, Matthias Hauswirth, and Nathaniel Nystrom (University of Lugano, Switzerland) @InProceedings{OOPSLA15p781, author = {Luis Mastrangelo and Luca Ponzanelli and Andrea Mocci and Michele Lanza and Matthias Hauswirth and Nathaniel Nystrom}, title = {Use at Your Own Risk: The Java Unsafe API in the Wild}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {781-780}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-221-p (type: Full Paper (20 pages)) doi:
	Headley, Kyle	OOPSLA '15: "Incremental Computation with ..." Incremental Computation with Names Matthew A. Hammer, Joshua Dunfield, Kyle Headley, Nicholas Labich, Jeffrey S. Foster, Michael Hicks, and David Van Horn (University of Colorado at Boulder, USA; University of Maryland at College Park, USA; University of British Columbia, Canada) @InProceedings{OOPSLA15p841, author = {Matthew A. Hammer and Joshua Dunfield and Kyle Headley and Nicholas Labich and Jeffrey S. Foster and Michael Hicks and David Van Horn}, title = {Incremental Computation with Names}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {841-840}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-193-p (type: Full Paper (20 pages)) doi:
	Hicks, Michael	OOPSLA '15: "Incremental Computation with ..." Incremental Computation with Names Matthew A. Hammer, Joshua Dunfield, Kyle Headley, Nicholas Labich, Jeffrey S. Foster, Michael Hicks, and David Van Horn (University of Colorado at Boulder, USA; University of Maryland at College Park, USA; University of British Columbia, Canada) @InProceedings{OOPSLA15p841, author = {Matthew A. Hammer and Joshua Dunfield and Kyle Headley and Nicholas Labich and Jeffrey S. Foster and Michael Hicks and David Van Horn}, title = {Incremental Computation with Names}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {841-840}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-193-p (type: Full Paper (20 pages)) doi:
	Hirschfeld, Robert	OOPSLA '15: "Checks and Balances: Constraint ..." Checks and Balances: Constraint Solving without Surprises in Object-Constraint Programming Languages Tim Felgentreff, Todd Millstein, Alan Borning, and Robert Hirschfeld (HPI, Germany; University of California at Los Angeles, USA; University of Washington, USA) @InProceedings{OOPSLA15p861, author = {Tim Felgentreff and Todd Millstein and Alan Borning and Robert Hirschfeld}, title = {Checks and Balances: Constraint Solving without Surprises in Object-Constraint Programming Languages}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {861-860}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-211-p (type: Full Paper (20 pages)) doi:
	Hollingum, Nicholas	OOPSLA '15: "Giga-Scale Exhaustive Points-To ..." Giga-Scale Exhaustive Points-To Analysis for Java in Under a Minute Jens Dietrich, Nicholas Hollingum, and Bernhard Scholz (Massey University, New Zealand; University of Sydney, Australia; Oracle Labs, Australia) @InProceedings{OOPSLA15p601, author = {Jens Dietrich and Nicholas Hollingum and Bernhard Scholz}, title = {Giga-Scale Exhaustive Points-To Analysis for Java in Under a Minute}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {601-600}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-203-p (type: Full Paper (20 pages)) doi:
	Hottelier, Thibaud	OOPSLA '15: "Synthesis of Layout Engines ..." Synthesis of Layout Engines from Relational Constraints Thibaud Hottelier and Rastislav Bodik (University of California at Berkeley, USA; University of Washington, USA) @InProceedings{OOPSLA15p81, author = {Thibaud Hottelier and Rastislav Bodik}, title = {Synthesis of Layout Engines from Relational Constraints}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {81-80}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-143-p (type: Full Paper (20 pages)) doi:
	Hu, Yongjian	OOPSLA '15: "Versatile yet Lightweight ..." Versatile yet Lightweight Record-and-Replay for Android Yongjian Hu, Tanzirul Azim, and Iulian Neamtiu (University of California at Riverside, USA) @InProceedings{OOPSLA15p381, author = {Yongjian Hu and Tanzirul Azim and Iulian Neamtiu}, title = {Versatile yet Lightweight Record-and-Replay for Android}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {381-380}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-245-p (type: Full Paper (20 pages)) doi:
	Jackson, Daniel	OOPSLA '15: "Programming with Enumerable ..." Programming with Enumerable Sets of Structures Ivan Kuraj, Viktor Kuncak, and Daniel Jackson (Massachusetts Institute of Technology, USA; EPFL, Switzerland) @InProceedings{OOPSLA15p41, author = {Ivan Kuraj and Viktor Kuncak and Daniel Jackson}, title = {Programming with Enumerable Sets of Structures}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {41-40}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-253-p (type: Full Paper (20 pages)) doi:
	Jantz, Michael R.	OOPSLA '15: "Cross-Layer Memory Management ..." Cross-Layer Memory Management for Managed Language Applications Michael R. Jantz, Forrest J. Robinson, Prasad A. Kulkarni, and Kshitij A. Doshi (University of Tennessee, USA; University of Kansas, USA; Intel, USA) @InProceedings{OOPSLA15p541, author = {Michael R. Jantz and Forrest J. Robinson and Prasad A. Kulkarni and Kshitij A. Doshi}, title = {Cross-Layer Memory Management for Managed Language Applications}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {541-540}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-248-p (type: Full Paper (20 pages)) doi:
	Jensen, Casper S.	OOPSLA '15: "Stateless Model Checking of ..." Stateless Model Checking of Event-Driven Applications Casper S. Jensen, Anders Møller, Veselin Raychev, Dimitar Dimitrov, and Martin Vechev (Aarhus University, Denmark; ETH Zurich, Switzerland) @InProceedings{OOPSLA15p61, author = {Casper S. Jensen and Anders Møller and Veselin Raychev and Dimitar Dimitrov and Martin Vechev}, title = {Stateless Model Checking of Event-Driven Applications}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {61-60}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-102-p (type: Full Paper (20 pages)) doi:
	Kirsch, Christoph M.	OOPSLA '15: "Fast, Multicore-Scalable, ..." Fast, Multicore-Scalable, Low-Fragmentation Memory Allocation through Large Virtual Memory and Global Data Structures Martin Aigner, Christoph M. Kirsch, Michael Lippautz, and Ana Sokolova (University of Salzburg, Austria) @InProceedings{OOPSLA15p501, author = {Martin Aigner and Christoph M. Kirsch and Michael Lippautz and Ana Sokolova}, title = {Fast, Multicore-Scalable, Low-Fragmentation Memory Allocation through Large Virtual Memory and Global Data Structures}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {501-500}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-154-p (type: Full Paper (20 pages)) doi:
	Kolb, Bernd	OOPSLA '15: "Using C Language Extensions ..." Using C Language Extensions for Developing Embedded Software: A Case Study Markus Voelter, Arie van Deursen, Bernd Kolb, and Stephan Eberle (itemis, Germany; Delft University of Technology, Netherlands) @InProceedings{OOPSLA15p741, author = {Markus Voelter and Arie van Deursen and Bernd Kolb and Stephan Eberle}, title = {Using C Language Extensions for Developing Embedded Software: A Case Study}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {741-740}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-29-p (type: Full Paper (20 pages)) doi:
	Krebs, Matthias	OOPSLA '15: "A Co-contextual Formulation ..." A Co-contextual Formulation of Type Rules and Its Application to Incremental Type Checking Sebastian Erdweg, Oliver Bračevac, Edlira Kuci, Matthias Krebs, and Mira Mezini (TU Darmstadt, Germany; Lancaster University, UK) @InProceedings{OOPSLA15p981, author = {Sebastian Erdweg and Oliver Bračevac and Edlira Kuci and Matthias Krebs and Mira Mezini}, title = {A Co-contextual Formulation of Type Rules and Its Application to Incremental Type Checking}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {981-980}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-40-p (type: Full Paper (20 pages)) doi:
	Kuci, Edlira	OOPSLA '15: "A Co-contextual Formulation ..." A Co-contextual Formulation of Type Rules and Its Application to Incremental Type Checking Sebastian Erdweg, Oliver Bračevac, Edlira Kuci, Matthias Krebs, and Mira Mezini (TU Darmstadt, Germany; Lancaster University, UK) @InProceedings{OOPSLA15p981, author = {Sebastian Erdweg and Oliver Bračevac and Edlira Kuci and Matthias Krebs and Mira Mezini}, title = {A Co-contextual Formulation of Type Rules and Its Application to Incremental Type Checking}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {981-980}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-40-p (type: Full Paper (20 pages)) doi:
	Kulkarni, Prasad A.	OOPSLA '15: "Cross-Layer Memory Management ..." Cross-Layer Memory Management for Managed Language Applications Michael R. Jantz, Forrest J. Robinson, Prasad A. Kulkarni, and Kshitij A. Doshi (University of Tennessee, USA; University of Kansas, USA; Intel, USA) @InProceedings{OOPSLA15p541, author = {Michael R. Jantz and Forrest J. Robinson and Prasad A. Kulkarni and Kshitij A. Doshi}, title = {Cross-Layer Memory Management for Managed Language Applications}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {541-540}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-248-p (type: Full Paper (20 pages)) doi:
	Kuncak, Viktor	OOPSLA '15: "Automating Grammar Comparison ..." Automating Grammar Comparison Ravichandhran Madhavan, Mikaël Mayer, Sumit Gulwani, and Viktor Kuncak (EPFL, Switzerland; Microsoft Research, USA) @InProceedings{OOPSLA15p201, author = {Ravichandhran Madhavan and Mikaël Mayer and Sumit Gulwani and Viktor Kuncak}, title = {Automating Grammar Comparison}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {201-200}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-191-p (type: Full Paper (20 pages)) doi: OOPSLA '15: "Programming with Enumerable ..." Programming with Enumerable Sets of Structures Ivan Kuraj, Viktor Kuncak, and Daniel Jackson (Massachusetts Institute of Technology, USA; EPFL, Switzerland) @InProceedings{OOPSLA15p41, author = {Ivan Kuraj and Viktor Kuncak and Daniel Jackson}, title = {Programming with Enumerable Sets of Structures}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {41-40}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-253-p (type: Full Paper (20 pages)) doi: OOPSLA '15: "Synthesizing Java Expressions ..." Synthesizing Java Expressions from Free-Form Queries Tihomir Gvero and Viktor Kuncak (EPFL, Switzerland) @InProceedings{OOPSLA15p461, author = {Tihomir Gvero and Viktor Kuncak}, title = {Synthesizing Java Expressions from Free-Form Queries}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {461-460}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-162-p (type: Full Paper (20 pages)) doi:
	Kuraj, Ivan	OOPSLA '15: "Programming with Enumerable ..." Programming with Enumerable Sets of Structures Ivan Kuraj, Viktor Kuncak, and Daniel Jackson (Massachusetts Institute of Technology, USA; EPFL, Switzerland) @InProceedings{OOPSLA15p41, author = {Ivan Kuraj and Viktor Kuncak and Daniel Jackson}, title = {Programming with Enumerable Sets of Structures}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {41-40}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-253-p (type: Full Paper (20 pages)) doi:
	Labich, Nicholas	OOPSLA '15: "Incremental Computation with ..." Incremental Computation with Names Matthew A. Hammer, Joshua Dunfield, Kyle Headley, Nicholas Labich, Jeffrey S. Foster, Michael Hicks, and David Van Horn (University of Colorado at Boulder, USA; University of Maryland at College Park, USA; University of British Columbia, Canada) @InProceedings{OOPSLA15p841, author = {Matthew A. Hammer and Joshua Dunfield and Kyle Headley and Nicholas Labich and Jeffrey S. Foster and Michael Hicks and David Van Horn}, title = {Incremental Computation with Names}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {841-840}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-193-p (type: Full Paper (20 pages)) doi:
	Lam, Patrick	OOPSLA '15: "SATCheck: SAT-Directed Stateless ..." SATCheck: SAT-Directed Stateless Model Checking for SC and TSO Brian Demsky and Patrick Lam (University of California at Irvine, USA; University of Waterloo, Canada) @InProceedings{OOPSLA15p21, author = {Brian Demsky and Patrick Lam}, title = {SATCheck: SAT-Directed Stateless Model Checking for SC and TSO}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {21-20}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-170-p (type: Full Paper (20 pages)) doi:
	Lamprineas, Alexandros	OOPSLA '15: "Runtime Pointer Disambiguation ..." Runtime Pointer Disambiguation Péricles Alves, Fabian Gruber, Johannes Doerfert, Alexandros Lamprineas, Tobias Grosser, Fabrice Rastello, and Fernando Magno Quintão Pereira (Federal University of Minas Gerais, Brazil; INRIA, France; Saarland University, Germany; ETH Zurich, Switzerland) @InProceedings{OOPSLA15p661, author = {Péricles Alves and Fabian Gruber and Johannes Doerfert and Alexandros Lamprineas and Tobias Grosser and Fabrice Rastello and Fernando Magno Quintão Pereira}, title = {Runtime Pointer Disambiguation}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {661-660}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-110-p (type: Full Paper (20 pages)) doi:
	Lanza, Michele	OOPSLA '15: "Use at Your Own Risk: The ..." Use at Your Own Risk: The Java Unsafe API in the Wild Luis Mastrangelo, Luca Ponzanelli, Andrea Mocci, Michele Lanza, Matthias Hauswirth, and Nathaniel Nystrom (University of Lugano, Switzerland) @InProceedings{OOPSLA15p781, author = {Luis Mastrangelo and Luca Ponzanelli and Andrea Mocci and Michele Lanza and Matthias Hauswirth and Nathaniel Nystrom}, title = {Use at Your Own Risk: The Java Unsafe API in the Wild}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {781-780}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-221-p (type: Full Paper (20 pages)) doi:
	Le, Vu	OOPSLA '15: "Finding Deep Compiler Bugs ..." Finding Deep Compiler Bugs via Guided Stochastic Program Mutation Vu Le, Chengnian Sun, and Zhendong Su (University of California at Davis, USA) @InProceedings{OOPSLA15p421, author = {Vu Le and Chengnian Sun and Zhendong Su}, title = {Finding Deep Compiler Bugs via Guided Stochastic Program Mutation}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {421-420}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-236-p (type: Full Paper (20 pages)) doi:
	Lee, Wen-Chuan	OOPSLA '15: "RAIVE: Runtime Assessment ..." RAIVE: Runtime Assessment of Floating-Point Instability by Vectorization Wen-Chuan Lee, Tao Bao, Yunhui Zheng, Xiangyu Zhang, Keval Vora, and Rajiv Gupta (Purdue University, USA; University of California at Riverside, USA) @InProceedings{OOPSLA15p701, author = {Wen-Chuan Lee and Tao Bao and Yunhui Zheng and Xiangyu Zhang and Keval Vora and Rajiv Gupta}, title = {RAIVE: Runtime Assessment of Floating-Point Instability by Vectorization}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {701-700}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-180-p (type: Full Paper (20 pages)) doi:
	Lesani, Mohsen	OOPSLA '15: "Declarative Fence Insertion ..." Declarative Fence Insertion John Bender, Mohsen Lesani, and Jens Palsberg (University of California at Los Angeles, USA; Massachusetts Institute of Technology, USA) @InProceedings{OOPSLA15p401, author = {John Bender and Mohsen Lesani and Jens Palsberg}, title = {Declarative Fence Insertion}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {401-400}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-231-p (type: Full Paper (20 pages)) doi:
	Lhoták, Ondřej	OOPSLA '15: "Static Analysis of Event-Driven ..." Static Analysis of Event-Driven Node.js JavaScript Applications Magnus Madsen, Frank Tip, and Ondřej Lhoták (University of Waterloo, Canada; Samsung Research, USA) @InProceedings{OOPSLA15p561, author = {Magnus Madsen and Frank Tip and Ondřej Lhoták}, title = {Static Analysis of Event-Driven Node.js JavaScript Applications}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {561-560}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-3-p (type: Full Paper (20 pages)) doi:
	Lichter, Moritz	OOPSLA '15: "A Sound and Optimal Incremental ..." A Sound and Optimal Incremental Build System with Dynamic Dependencies Sebastian Erdweg, Moritz Lichter, and Manuel Weiel (TU Darmstadt, Germany) @InProceedings{OOPSLA15p101, author = {Sebastian Erdweg and Moritz Lichter and Manuel Weiel}, title = {A Sound and Optimal Incremental Build System with Dynamic Dependencies}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {101-100}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-229-p (type: Full Paper (20 pages)) doi:
	Lin, Anthony W.	OOPSLA '15: "Detecting Redundant CSS Rules ..." Detecting Redundant CSS Rules in HTML5 Applications: A Tree Rewriting Approach Matthew Hague, Anthony W. Lin, and C.-H. Luke Ong (University of London, UK; Yale-NUS College, Singapore; University of Oxford, UK) @InProceedings{OOPSLA15p1, author = {Matthew Hague and Anthony W. Lin and C.-H. Luke Ong}, title = {Detecting Redundant CSS Rules in HTML5 Applications: A Tree Rewriting Approach}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-135-p (type: Full Paper (20 pages)) doi:
	Lin, Calvin	OOPSLA '15: "EXPLORER : Query- and Demand-Driven ..." EXPLORER : Query- and Demand-Driven Exploration of Interprocedural Control Flow Properties Yu Feng, Xinyu Wang, Isil Dillig, and Calvin Lin (University of Texas at Austin, USA) @InProceedings{OOPSLA15p581, author = {Yu Feng and Xinyu Wang and Isil Dillig and Calvin Lin}, title = {EXPLORER : Query- and Demand-Driven Exploration of Interprocedural Control Flow Properties}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {581-580}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-108-p (type: Full Paper (20 pages)) doi:
	Lippautz, Michael	OOPSLA '15: "Fast, Multicore-Scalable, ..." Fast, Multicore-Scalable, Low-Fragmentation Memory Allocation through Large Virtual Memory and Global Data Structures Martin Aigner, Christoph M. Kirsch, Michael Lippautz, and Ana Sokolova (University of Salzburg, Austria) @InProceedings{OOPSLA15p501, author = {Martin Aigner and Christoph M. Kirsch and Michael Lippautz and Ana Sokolova}, title = {Fast, Multicore-Scalable, Low-Fragmentation Memory Allocation through Large Virtual Memory and Global Data Structures}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {501-500}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-154-p (type: Full Paper (20 pages)) doi:
	Lopes, Cristina V.	OOPSLA '15: "How Scale Affects Structure ..." How Scale Affects Structure in Java Programs Cristina V. Lopes and Joel Ossher (University of California at Irvine, USA) @InProceedings{OOPSLA15p761, author = {Cristina V. Lopes and Joel Ossher}, title = {How Scale Affects Structure in Java Programs}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {761-760}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-183-p (type: Full Paper (20 pages)) doi:
	López, Hugo A.	OOPSLA '15: "Protocol-Based Verification ..." Protocol-Based Verification of Message-Passing Parallel Programs Hugo A. López, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, César Santos, Vasco Thudichum Vasconcelos, and Nobuko Yoshida (DTU, Denmark; University of Lisbon, Portugal; Imperial College London, UK) @InProceedings{OOPSLA15p301, author = {Hugo A. López and Eduardo R. B. Marques and Francisco Martins and Nicholas Ng and César Santos and Vasco Thudichum Vasconcelos and Nobuko Yoshida}, title = {Protocol-Based Verification of Message-Passing Parallel Programs}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {301-300}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-186-p (type: Full Paper (20 pages)) doi:
	Lucia, Brandon	OOPSLA '15: "Valor: Efficient, Software-Only ..." Valor: Efficient, Software-Only Region Conflict Exceptions Swarnendu Biswas, Minjia Zhang, Michael D. Bond, and Brandon Lucia (Ohio State University, USA; Carnegie Mellon University, USA) @InProceedings{OOPSLA15p261, author = {Swarnendu Biswas and Minjia Zhang and Michael D. Bond and Brandon Lucia}, title = {Valor: Efficient, Software-Only Region Conflict Exceptions}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {261-260}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-145-p (type: Full Paper (20 pages)) doi:
	Madhavan, Ravichandhran	OOPSLA '15: "Automating Grammar Comparison ..." Automating Grammar Comparison Ravichandhran Madhavan, Mikaël Mayer, Sumit Gulwani, and Viktor Kuncak (EPFL, Switzerland; Microsoft Research, USA) @InProceedings{OOPSLA15p201, author = {Ravichandhran Madhavan and Mikaël Mayer and Sumit Gulwani and Viktor Kuncak}, title = {Automating Grammar Comparison}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {201-200}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-191-p (type: Full Paper (20 pages)) doi:
	Madsen, Magnus	OOPSLA '15: "Static Analysis of Event-Driven ..." Static Analysis of Event-Driven Node.js JavaScript Applications Magnus Madsen, Frank Tip, and Ondřej Lhoták (University of Waterloo, Canada; Samsung Research, USA) @InProceedings{OOPSLA15p561, author = {Magnus Madsen and Frank Tip and Ondřej Lhoták}, title = {Static Analysis of Event-Driven Node.js JavaScript Applications}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {561-560}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-3-p (type: Full Paper (20 pages)) doi:
	Marques, Eduardo R. B.	OOPSLA '15: "Protocol-Based Verification ..." Protocol-Based Verification of Message-Passing Parallel Programs Hugo A. López, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, César Santos, Vasco Thudichum Vasconcelos, and Nobuko Yoshida (DTU, Denmark; University of Lisbon, Portugal; Imperial College London, UK) @InProceedings{OOPSLA15p301, author = {Hugo A. López and Eduardo R. B. Marques and Francisco Martins and Nicholas Ng and César Santos and Vasco Thudichum Vasconcelos and Nobuko Yoshida}, title = {Protocol-Based Verification of Message-Passing Parallel Programs}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {301-300}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-186-p (type: Full Paper (20 pages)) doi:
	Marr, Stefan	OOPSLA '15: "Tracing vs. Partial Evaluation: ..." Tracing vs. Partial Evaluation: Comparing Meta-Compilation Approaches for Self-Optimizing Interpreters Stefan Marr and Stéphane Ducasse (INRIA, France) @InProceedings{OOPSLA15p921, author = {Stefan Marr and Stéphane Ducasse}, title = {Tracing vs. Partial Evaluation: Comparing Meta-Compilation Approaches for Self-Optimizing Interpreters}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {921-920}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-26-p (type: Full Paper (20 pages)) doi:
	Martins, Francisco	OOPSLA '15: "Protocol-Based Verification ..." Protocol-Based Verification of Message-Passing Parallel Programs Hugo A. López, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, César Santos, Vasco Thudichum Vasconcelos, and Nobuko Yoshida (DTU, Denmark; University of Lisbon, Portugal; Imperial College London, UK) @InProceedings{OOPSLA15p301, author = {Hugo A. López and Eduardo R. B. Marques and Francisco Martins and Nicholas Ng and César Santos and Vasco Thudichum Vasconcelos and Nobuko Yoshida}, title = {Protocol-Based Verification of Message-Passing Parallel Programs}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {301-300}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-186-p (type: Full Paper (20 pages)) doi:
	Mastrangelo, Luis	OOPSLA '15: "Use at Your Own Risk: The ..." Use at Your Own Risk: The Java Unsafe API in the Wild Luis Mastrangelo, Luca Ponzanelli, Andrea Mocci, Michele Lanza, Matthias Hauswirth, and Nathaniel Nystrom (University of Lugano, Switzerland) @InProceedings{OOPSLA15p781, author = {Luis Mastrangelo and Luca Ponzanelli and Andrea Mocci and Michele Lanza and Matthias Hauswirth and Nathaniel Nystrom}, title = {Use at Your Own Risk: The Java Unsafe API in the Wild}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {781-780}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-221-p (type: Full Paper (20 pages)) doi:
	Mayer, Mikaël	OOPSLA '15: "Automating Grammar Comparison ..." Automating Grammar Comparison Ravichandhran Madhavan, Mikaël Mayer, Sumit Gulwani, and Viktor Kuncak (EPFL, Switzerland; Microsoft Research, USA) @InProceedings{OOPSLA15p201, author = {Ravichandhran Madhavan and Mikaël Mayer and Sumit Gulwani and Viktor Kuncak}, title = {Automating Grammar Comparison}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {201-200}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-191-p (type: Full Paper (20 pages)) doi:
	Mezini, Mira	OOPSLA '15: "A Co-contextual Formulation ..." A Co-contextual Formulation of Type Rules and Its Application to Incremental Type Checking Sebastian Erdweg, Oliver Bračevac, Edlira Kuci, Matthias Krebs, and Mira Mezini (TU Darmstadt, Germany; Lancaster University, UK) @InProceedings{OOPSLA15p981, author = {Sebastian Erdweg and Oliver Bračevac and Edlira Kuci and Matthias Krebs and Mira Mezini}, title = {A Co-contextual Formulation of Type Rules and Its Application to Incremental Type Checking}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {981-980}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-40-p (type: Full Paper (20 pages)) doi:
	Might, Matthew	OOPSLA '15: "Galois Transformers and Modular ..." Galois Transformers and Modular Abstract Interpreters: Reusable Metatheory for Program Analysis David Darais, Matthew Might, and David Van Horn (University of Maryland at College Park, USA; University of Utah, USA) @InProceedings{OOPSLA15p621, author = {David Darais and Matthew Might and David Van Horn}, title = {Galois Transformers and Modular Abstract Interpreters: Reusable Metatheory for Program Analysis}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {621-620}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-204-p (type: Full Paper (20 pages)) doi:
	Millstein, Todd	OOPSLA '15: "Checks and Balances: Constraint ..." Checks and Balances: Constraint Solving without Surprises in Object-Constraint Programming Languages Tim Felgentreff, Todd Millstein, Alan Borning, and Robert Hirschfeld (HPI, Germany; University of California at Los Angeles, USA; University of Washington, USA) @InProceedings{OOPSLA15p861, author = {Tim Felgentreff and Todd Millstein and Alan Borning and Robert Hirschfeld}, title = {Checks and Balances: Constraint Solving without Surprises in Object-Constraint Programming Languages}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {861-860}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-211-p (type: Full Paper (20 pages)) doi:
	Mocci, Andrea	OOPSLA '15: "Use at Your Own Risk: The ..." Use at Your Own Risk: The Java Unsafe API in the Wild Luis Mastrangelo, Luca Ponzanelli, Andrea Mocci, Michele Lanza, Matthias Hauswirth, and Nathaniel Nystrom (University of Lugano, Switzerland) @InProceedings{OOPSLA15p781, author = {Luis Mastrangelo and Luca Ponzanelli and Andrea Mocci and Michele Lanza and Matthias Hauswirth and Nathaniel Nystrom}, title = {Use at Your Own Risk: The Java Unsafe API in the Wild}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {781-780}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-221-p (type: Full Paper (20 pages)) doi:
	Møller, Anders	OOPSLA '15: "Stateless Model Checking of ..." Stateless Model Checking of Event-Driven Applications Casper S. Jensen, Anders Møller, Veselin Raychev, Dimitar Dimitrov, and Martin Vechev (Aarhus University, Denmark; ETH Zurich, Switzerland) @InProceedings{OOPSLA15p61, author = {Casper S. Jensen and Anders Møller and Veselin Raychev and Dimitar Dimitrov and Martin Vechev}, title = {Stateless Model Checking of Event-Driven Applications}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {61-60}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-102-p (type: Full Paper (20 pages)) doi:
	Neamtiu, Iulian	OOPSLA '15: "Versatile yet Lightweight ..." Versatile yet Lightweight Record-and-Replay for Android Yongjian Hu, Tanzirul Azim, and Iulian Neamtiu (University of California at Riverside, USA) @InProceedings{OOPSLA15p381, author = {Yongjian Hu and Tanzirul Azim and Iulian Neamtiu}, title = {Versatile yet Lightweight Record-and-Replay for Android}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {381-380}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-245-p (type: Full Paper (20 pages)) doi:
	Ng, Nicholas	OOPSLA '15: "Protocol-Based Verification ..." Protocol-Based Verification of Message-Passing Parallel Programs Hugo A. López, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, César Santos, Vasco Thudichum Vasconcelos, and Nobuko Yoshida (DTU, Denmark; University of Lisbon, Portugal; Imperial College London, UK) @InProceedings{OOPSLA15p301, author = {Hugo A. López and Eduardo R. B. Marques and Francisco Martins and Nicholas Ng and César Santos and Vasco Thudichum Vasconcelos and Nobuko Yoshida}, title = {Protocol-Based Verification of Message-Passing Parallel Programs}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {301-300}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-186-p (type: Full Paper (20 pages)) doi:
	Ntzik, Gian	OOPSLA '15: "Reasoning about the POSIX ..." Reasoning about the POSIX File System: Local Update and Global Pathnames Gian Ntzik and Philippa Gardner (Imperial College London, UK) @InProceedings{OOPSLA15p221, author = {Gian Ntzik and Philippa Gardner}, title = {Reasoning about the POSIX File System: Local Update and Global Pathnames}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {221-220}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-197-p (type: Full Paper (20 pages)) doi:
	Nystrom, Nathaniel	OOPSLA '15: "Use at Your Own Risk: The ..." Use at Your Own Risk: The Java Unsafe API in the Wild Luis Mastrangelo, Luca Ponzanelli, Andrea Mocci, Michele Lanza, Matthias Hauswirth, and Nathaniel Nystrom (University of Lugano, Switzerland) @InProceedings{OOPSLA15p781, author = {Luis Mastrangelo and Luca Ponzanelli and Andrea Mocci and Michele Lanza and Matthias Hauswirth and Nathaniel Nystrom}, title = {Use at Your Own Risk: The Java Unsafe API in the Wild}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {781-780}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-221-p (type: Full Paper (20 pages)) doi:
	Odersky, Martin	OOPSLA '15: "Automating Ad hoc Data Representation ..." Automating Ad hoc Data Representation Transformations Vlad Ureche, Aggelos Biboudis, Yannis Smaragdakis, and Martin Odersky (EPFL, Switzerland; University of Athens, Greece) @InProceedings{OOPSLA15p901, author = {Vlad Ureche and Aggelos Biboudis and Yannis Smaragdakis and Martin Odersky}, title = {Automating Ad hoc Data Representation Transformations}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {901-900}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-2-p (type: Full Paper (20 pages)) doi:
	Oh, Hakjoo	OOPSLA '15: "Learning a Strategy for Adapting ..." Learning a Strategy for Adapting a Program Analysis via Bayesian Optimisation Hakjoo Oh, Hongseok Yang, and Kwangkeun Yi (Korea University, South Korea; University of Oxford, UK; Seoul National University, South Korea) @InProceedings{OOPSLA15p641, author = {Hakjoo Oh and Hongseok Yang and Kwangkeun Yi}, title = {Learning a Strategy for Adapting a Program Analysis via Bayesian Optimisation}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {641-640}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-209-p (type: Full Paper (20 pages)) doi:
	Oliveira, Bruno C. d. S.	OOPSLA '15: "Scrap Your Boilerplate with ..." Scrap Your Boilerplate with Object Algebras Haoyuan Zhang, Zewei Chu, Bruno C. d. S. Oliveira, and Tijs van der Storm (University of Hong Kong, China; CWI, Netherlands) @InProceedings{OOPSLA15p141, author = {Haoyuan Zhang and Zewei Chu and Bruno C. d. S. Oliveira and Tijs van der Storm}, title = {Scrap Your Boilerplate with Object Algebras}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {141-140}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-60-p (type: Full Paper (20 pages)) doi:
	Ong, C.-H. Luke	OOPSLA '15: "Detecting Redundant CSS Rules ..." Detecting Redundant CSS Rules in HTML5 Applications: A Tree Rewriting Approach Matthew Hague, Anthony W. Lin, and C.-H. Luke Ong (University of London, UK; Yale-NUS College, Singapore; University of Oxford, UK) @InProceedings{OOPSLA15p1, author = {Matthew Hague and Anthony W. Lin and C.-H. Luke Ong}, title = {Detecting Redundant CSS Rules in HTML5 Applications: A Tree Rewriting Approach}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-135-p (type: Full Paper (20 pages)) doi:
	Ossher, Joel	OOPSLA '15: "How Scale Affects Structure ..." How Scale Affects Structure in Java Programs Cristina V. Lopes and Joel Ossher (University of California at Irvine, USA) @InProceedings{OOPSLA15p761, author = {Cristina V. Lopes and Joel Ossher}, title = {How Scale Affects Structure in Java Programs}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {761-760}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-183-p (type: Full Paper (20 pages)) doi:
	Ou, Peizhao	OOPSLA '15: "AutoMO: Automatic Inference ..." AutoMO: Automatic Inference of Memory Order Parameters for C/C++11 Peizhao Ou and Brian Demsky (University of California at Irvine, USA) @InProceedings{OOPSLA15p241, author = {Peizhao Ou and Brian Demsky}, title = {AutoMO: Automatic Inference of Memory Order Parameters for C/C++11}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {241-240}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-126-p (type: Full Paper (20 pages)) doi:
	Padovani, Luca	OOPSLA '15: "The Chemical Approach to Typestate-Oriented ..." The Chemical Approach to Typestate-Oriented Programming Silvia Crafa and Luca Padovani (Università di Padova, Italy; Università di Torino, Italy) @InProceedings{OOPSLA15p1021, author = {Silvia Crafa and Luca Padovani}, title = {The Chemical Approach to Typestate-Oriented Programming}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {1021-1020}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-127-p (type: Full Paper (20 pages)) doi:
	Padua, David	OOPSLA '15: "Vectorization of Apply to ..." Vectorization of Apply to Reduce Interpretation Overhead of R Haichuan Wang, David Padua, and Peng Wu (University of Illinois at Urbana-Champaign, USA; Huawei Lab, USA) @InProceedings{OOPSLA15p441, author = {Haichuan Wang and David Padua and Peng Wu}, title = {Vectorization of Apply to Reduce Interpretation Overhead of R}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {441-440}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-23-p (type: Full Paper (20 pages)) doi:
	Palsberg, Jens	OOPSLA '15: "Declarative Fence Insertion ..." Declarative Fence Insertion John Bender, Mohsen Lesani, and Jens Palsberg (University of California at Los Angeles, USA; Massachusetts Institute of Technology, USA) @InProceedings{OOPSLA15p401, author = {John Bender and Mohsen Lesani and Jens Palsberg}, title = {Declarative Fence Insertion}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {401-400}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-231-p (type: Full Paper (20 pages)) doi:
	Pereira, Fernando Magno Quintão	OOPSLA '15: "Runtime Pointer Disambiguation ..." Runtime Pointer Disambiguation Péricles Alves, Fabian Gruber, Johannes Doerfert, Alexandros Lamprineas, Tobias Grosser, Fabrice Rastello, and Fernando Magno Quintão Pereira (Federal University of Minas Gerais, Brazil; INRIA, France; Saarland University, Germany; ETH Zurich, Switzerland) @InProceedings{OOPSLA15p661, author = {Péricles Alves and Fabian Gruber and Johannes Doerfert and Alexandros Lamprineas and Tobias Grosser and Fabrice Rastello and Fernando Magno Quintão Pereira}, title = {Runtime Pointer Disambiguation}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {661-660}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-110-p (type: Full Paper (20 pages)) doi:
	Petrank, Erez	OOPSLA '15: "Automatic Memory Reclamation ..." Automatic Memory Reclamation for Lock-Free Data Structures Nachshon Cohen and Erez Petrank (Technion, Israel) @InProceedings{OOPSLA15p281, author = {Nachshon Cohen and Erez Petrank}, title = {Automatic Memory Reclamation for Lock-Free Data Structures}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {281-280}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-173-p (type: Full Paper (20 pages)) doi:
	Pistoia, Marco	OOPSLA '15: "ShamDroid: Gracefully Degrading ..." ShamDroid: Gracefully Degrading Functionality in the Presence of Limited Resource Access Lucas Brutschy, Pietro Ferrara, Omer Tripp, and Marco Pistoia (ETH Zurich, Switzerland; IBM Research, USA) @InProceedings{OOPSLA15p341, author = {Lucas Brutschy and Pietro Ferrara and Omer Tripp and Marco Pistoia}, title = {ShamDroid: Gracefully Degrading Functionality in the Presence of Limited Resource Access}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {341-340}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-168-p (type: Full Paper (20 pages)) doi:
	Polozov, Oleksandr	OOPSLA '15: "FlashMeta: A Framework for ..." FlashMeta: A Framework for Inductive Program Synthesis Oleksandr Polozov and Sumit Gulwani (University of Washington, USA; Microsoft Research, USA) @InProceedings{OOPSLA15p121, author = {Oleksandr Polozov and Sumit Gulwani}, title = {FlashMeta: A Framework for Inductive Program Synthesis}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {121-120}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-210-p (type: Full Paper (20 pages)) doi:
	Ponzanelli, Luca	OOPSLA '15: "Use at Your Own Risk: The ..." Use at Your Own Risk: The Java Unsafe API in the Wild Luis Mastrangelo, Luca Ponzanelli, Andrea Mocci, Michele Lanza, Matthias Hauswirth, and Nathaniel Nystrom (University of Lugano, Switzerland) @InProceedings{OOPSLA15p781, author = {Luis Mastrangelo and Luca Ponzanelli and Andrea Mocci and Michele Lanza and Matthias Hauswirth and Nathaniel Nystrom}, title = {Use at Your Own Risk: The Java Unsafe API in the Wild}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {781-780}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-221-p (type: Full Paper (20 pages)) doi:
	Pradel, Michael	OOPSLA '15: "Performance Problems You Can ..." Performance Problems You Can Fix: A Dynamic Analysis of Memoization Opportunities Luca Della Toffola, Michael Pradel, and Thomas R. Gross (ETH Zurich, Switzerland; TU Darmstadt, Germany) @InProceedings{OOPSLA15p681, author = {Luca Della Toffola and Michael Pradel and Thomas R. Gross}, title = {Performance Problems You Can Fix: A Dynamic Analysis of Memoization Opportunities}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {681-680}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-142-p (type: Full Paper (20 pages)) doi:
	Rajan, Hridesh	OOPSLA '15: "Effectively Mapping Linguistic ..." Effectively Mapping Linguistic Abstractions for Message-Passing Concurrency to Threads on the Java Virtual Machine Ganesha Upadhyaya and Hridesh Rajan (Iowa State University, USA) @InProceedings{OOPSLA15p941, author = {Ganesha Upadhyaya and Hridesh Rajan}, title = {Effectively Mapping Linguistic Abstractions for Message-Passing Concurrency to Threads on the Java Virtual Machine}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {941-940}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-136-p (type: Full Paper (20 pages)) doi:
	Rastello, Fabrice	OOPSLA '15: "Runtime Pointer Disambiguation ..." Runtime Pointer Disambiguation Péricles Alves, Fabian Gruber, Johannes Doerfert, Alexandros Lamprineas, Tobias Grosser, Fabrice Rastello, and Fernando Magno Quintão Pereira (Federal University of Minas Gerais, Brazil; INRIA, France; Saarland University, Germany; ETH Zurich, Switzerland) @InProceedings{OOPSLA15p661, author = {Péricles Alves and Fabian Gruber and Johannes Doerfert and Alexandros Lamprineas and Tobias Grosser and Fabrice Rastello and Fernando Magno Quintão Pereira}, title = {Runtime Pointer Disambiguation}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {661-660}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-110-p (type: Full Paper (20 pages)) doi:
	Raychev, Veselin	OOPSLA '15: "Scalable Race Detection for ..." Scalable Race Detection for Android Applications Pavol Bielik, Veselin Raychev, and Martin Vechev (ETH Zurich, Switzerland) @InProceedings{OOPSLA15p361, author = {Pavol Bielik and Veselin Raychev and Martin Vechev}, title = {Scalable Race Detection for Android Applications}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {361-360}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-189-p (type: Full Paper (20 pages)) doi: OOPSLA '15: "Stateless Model Checking of ..." Stateless Model Checking of Event-Driven Applications Casper S. Jensen, Anders Møller, Veselin Raychev, Dimitar Dimitrov, and Martin Vechev (Aarhus University, Denmark; ETH Zurich, Switzerland) @InProceedings{OOPSLA15p61, author = {Casper S. Jensen and Anders Møller and Veselin Raychev and Dimitar Dimitrov and Martin Vechev}, title = {Stateless Model Checking of Event-Driven Applications}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {61-60}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-102-p (type: Full Paper (20 pages)) doi:
	Reps, Thomas	OOPSLA '15: "Partial Evaluation of Machine ..." Partial Evaluation of Machine Code Venkatesh Srinivasan and Thomas Reps (University of Wisconsin-Madison, USA; GrammaTech, USA) @InProceedings{OOPSLA15p961, author = {Venkatesh Srinivasan and Thomas Reps}, title = {Partial Evaluation of Machine Code}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {961-960}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-246-p (type: Full Paper (20 pages)) doi:
	Rinard, Martin C.	OOPSLA '15: "Approximate Computation with ..." Approximate Computation with Outlier Detection in Topaz Sara Achour and Martin C. Rinard (Massachusetts Institute of Technology, USA) @InProceedings{OOPSLA15p801, author = {Sara Achour and Martin C. Rinard}, title = {Approximate Computation with Outlier Detection in Topaz}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {801-800}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-224-p (type: Full Paper (20 pages)) doi:
	Robinson, Forrest J.	OOPSLA '15: "Cross-Layer Memory Management ..." Cross-Layer Memory Management for Managed Language Applications Michael R. Jantz, Forrest J. Robinson, Prasad A. Kulkarni, and Kshitij A. Doshi (University of Tennessee, USA; University of Kansas, USA; Intel, USA) @InProceedings{OOPSLA15p541, author = {Michael R. Jantz and Forrest J. Robinson and Prasad A. Kulkarni and Kshitij A. Doshi}, title = {Cross-Layer Memory Management for Managed Language Applications}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {541-540}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-248-p (type: Full Paper (20 pages)) doi:
	Sampson, Adrian	OOPSLA '15: "Probability Type Inference ..." Probability Type Inference for Flexible Approximate Programming Brett Boston, Adrian Sampson, Dan Grossman, and Luis Ceze (University of Washington, USA) @InProceedings{OOPSLA15p521, author = {Brett Boston and Adrian Sampson and Dan Grossman and Luis Ceze}, title = {Probability Type Inference for Flexible Approximate Programming}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {521-520}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-184-p (type: Full Paper (20 pages)) doi:
	Santos, César	OOPSLA '15: "Protocol-Based Verification ..." Protocol-Based Verification of Message-Passing Parallel Programs Hugo A. López, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, César Santos, Vasco Thudichum Vasconcelos, and Nobuko Yoshida (DTU, Denmark; University of Lisbon, Portugal; Imperial College London, UK) @InProceedings{OOPSLA15p301, author = {Hugo A. López and Eduardo R. B. Marques and Francisco Martins and Nicholas Ng and César Santos and Vasco Thudichum Vasconcelos and Nobuko Yoshida}, title = {Protocol-Based Verification of Message-Passing Parallel Programs}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {301-300}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-186-p (type: Full Paper (20 pages)) doi:
	Schkufza, Eric	OOPSLA '15: "Conditionally Correct Superoptimization ..." Conditionally Correct Superoptimization Rahul Sharma, Eric Schkufza, Berkeley Churchill, and Alex Aiken (Stanford University, USA) @InProceedings{OOPSLA15p161, author = {Rahul Sharma and Eric Schkufza and Berkeley Churchill and Alex Aiken}, title = {Conditionally Correct Superoptimization}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {161-160}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-50-p (type: Full Paper (20 pages)) doi:
	Scholz, Bernhard	OOPSLA '15: "Giga-Scale Exhaustive Points-To ..." Giga-Scale Exhaustive Points-To Analysis for Java in Under a Minute Jens Dietrich, Nicholas Hollingum, and Bernhard Scholz (Massey University, New Zealand; University of Sydney, Australia; Oracle Labs, Australia) @InProceedings{OOPSLA15p601, author = {Jens Dietrich and Nicholas Hollingum and Bernhard Scholz}, title = {Giga-Scale Exhaustive Points-To Analysis for Java in Under a Minute}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {601-600}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-203-p (type: Full Paper (20 pages)) doi:
	Sharma, Rahul	OOPSLA '15: "Conditionally Correct Superoptimization ..." Conditionally Correct Superoptimization Rahul Sharma, Eric Schkufza, Berkeley Churchill, and Alex Aiken (Stanford University, USA) @InProceedings{OOPSLA15p161, author = {Rahul Sharma and Eric Schkufza and Berkeley Churchill and Alex Aiken}, title = {Conditionally Correct Superoptimization}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {161-160}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-50-p (type: Full Paper (20 pages)) doi:
	Smaragdakis, Yannis	OOPSLA '15: "Automating Ad hoc Data Representation ..." Automating Ad hoc Data Representation Transformations Vlad Ureche, Aggelos Biboudis, Yannis Smaragdakis, and Martin Odersky (EPFL, Switzerland; University of Athens, Greece) @InProceedings{OOPSLA15p901, author = {Vlad Ureche and Aggelos Biboudis and Yannis Smaragdakis and Martin Odersky}, title = {Automating Ad hoc Data Representation Transformations}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {901-900}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-2-p (type: Full Paper (20 pages)) doi:
	Sokolova, Ana	OOPSLA '15: "Fast, Multicore-Scalable, ..." Fast, Multicore-Scalable, Low-Fragmentation Memory Allocation through Large Virtual Memory and Global Data Structures Martin Aigner, Christoph M. Kirsch, Michael Lippautz, and Ana Sokolova (University of Salzburg, Austria) @InProceedings{OOPSLA15p501, author = {Martin Aigner and Christoph M. Kirsch and Michael Lippautz and Ana Sokolova}, title = {Fast, Multicore-Scalable, Low-Fragmentation Memory Allocation through Large Virtual Memory and Global Data Structures}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {501-500}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-154-p (type: Full Paper (20 pages)) doi:
	Sridharan, Manu	OOPSLA '15: "Selective Control-Flow Abstraction ..." Selective Control-Flow Abstraction via Jumping Sam Blackshear, Bor-Yuh Evan Chang, and Manu Sridharan (University of Colorado at Boulder, USA; Samsung Research, USA) @InProceedings{OOPSLA15p181, author = {Sam Blackshear and Bor-Yuh Evan Chang and Manu Sridharan}, title = {Selective Control-Flow Abstraction via Jumping}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {181-180}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-153-p (type: Full Paper (20 pages)) doi:
	Srinivasan, Venkatesh	OOPSLA '15: "Partial Evaluation of Machine ..." Partial Evaluation of Machine Code Venkatesh Srinivasan and Thomas Reps (University of Wisconsin-Madison, USA; GrammaTech, USA) @InProceedings{OOPSLA15p961, author = {Venkatesh Srinivasan and Thomas Reps}, title = {Partial Evaluation of Machine Code}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {961-960}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-246-p (type: Full Paper (20 pages)) doi:
	Steindorfer, Michael J.	OOPSLA '15: "Optimizing Hash-Array Mapped ..." Optimizing Hash-Array Mapped Tries for Fast and Lean Immutable JVM Collections Michael J. Steindorfer and Jurgen J. Vinju (CWI, Netherlands) @InProceedings{OOPSLA15p881, author = {Michael J. Steindorfer and Jurgen J. Vinju}, title = {Optimizing Hash-Array Mapped Tries for Fast and Lean Immutable JVM Collections}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {881-880}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-215-p (type: Full Paper (20 pages)) doi:
	Storm, Tijs van der	OOPSLA '15: "Scrap Your Boilerplate with ..." Scrap Your Boilerplate with Object Algebras Haoyuan Zhang, Zewei Chu, Bruno C. d. S. Oliveira, and Tijs van der Storm (University of Hong Kong, China; CWI, Netherlands) @InProceedings{OOPSLA15p141, author = {Haoyuan Zhang and Zewei Chu and Bruno C. d. S. Oliveira and Tijs van der Storm}, title = {Scrap Your Boilerplate with Object Algebras}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {141-140}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-60-p (type: Full Paper (20 pages)) doi:
	Su, Zhendong	OOPSLA '15: "Finding Deep Compiler Bugs ..." Finding Deep Compiler Bugs via Guided Stochastic Program Mutation Vu Le, Chengnian Sun, and Zhendong Su (University of California at Davis, USA) @InProceedings{OOPSLA15p421, author = {Vu Le and Chengnian Sun and Zhendong Su}, title = {Finding Deep Compiler Bugs via Guided Stochastic Program Mutation}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {421-420}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-236-p (type: Full Paper (20 pages)) doi: OOPSLA '15: "Automated Backward Error Analysis ..." Automated Backward Error Analysis for Numerical Code Zhoulai Fu, Zhaojun Bai, and Zhendong Su (University of California at Davis, USA) @InProceedings{OOPSLA15p721, author = {Zhoulai Fu and Zhaojun Bai and Zhendong Su}, title = {Automated Backward Error Analysis for Numerical Code}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {721-720}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-230-p (type: Full Paper (20 pages)) doi:
	Sun, Chengnian	OOPSLA '15: "Finding Deep Compiler Bugs ..." Finding Deep Compiler Bugs via Guided Stochastic Program Mutation Vu Le, Chengnian Sun, and Zhendong Su (University of California at Davis, USA) @InProceedings{OOPSLA15p421, author = {Vu Le and Chengnian Sun and Zhendong Su}, title = {Finding Deep Compiler Bugs via Guided Stochastic Program Mutation}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {421-420}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-236-p (type: Full Paper (20 pages)) doi:
	Tanter, Éric	OOPSLA '15: "Customizable Gradual Polymorphic ..." Customizable Gradual Polymorphic Effects for Scala Matías Toro and Éric Tanter (University of Chile, Chile) @InProceedings{OOPSLA15p1041, author = {Matías Toro and Éric Tanter}, title = {Customizable Gradual Polymorphic Effects for Scala}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {1041-1040}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-225-p (type: Full Paper (20 pages)) doi:
	Tip, Frank	OOPSLA '15: "Static Analysis of Event-Driven ..." Static Analysis of Event-Driven Node.js JavaScript Applications Magnus Madsen, Frank Tip, and Ondřej Lhoták (University of Waterloo, Canada; Samsung Research, USA) @InProceedings{OOPSLA15p561, author = {Magnus Madsen and Frank Tip and Ondřej Lhoták}, title = {Static Analysis of Event-Driven Node.js JavaScript Applications}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {561-560}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-3-p (type: Full Paper (20 pages)) doi:
	Toro, Matías	OOPSLA '15: "Customizable Gradual Polymorphic ..." Customizable Gradual Polymorphic Effects for Scala Matías Toro and Éric Tanter (University of Chile, Chile) @InProceedings{OOPSLA15p1041, author = {Matías Toro and Éric Tanter}, title = {Customizable Gradual Polymorphic Effects for Scala}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {1041-1040}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-225-p (type: Full Paper (20 pages)) doi:
	Tripp, Omer	OOPSLA '15: "ShamDroid: Gracefully Degrading ..." ShamDroid: Gracefully Degrading Functionality in the Presence of Limited Resource Access Lucas Brutschy, Pietro Ferrara, Omer Tripp, and Marco Pistoia (ETH Zurich, Switzerland; IBM Research, USA) @InProceedings{OOPSLA15p341, author = {Lucas Brutschy and Pietro Ferrara and Omer Tripp and Marco Pistoia}, title = {ShamDroid: Gracefully Degrading Functionality in the Presence of Limited Resource Access}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {341-340}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-168-p (type: Full Paper (20 pages)) doi:
	Upadhyaya, Ganesha	OOPSLA '15: "Effectively Mapping Linguistic ..." Effectively Mapping Linguistic Abstractions for Message-Passing Concurrency to Threads on the Java Virtual Machine Ganesha Upadhyaya and Hridesh Rajan (Iowa State University, USA) @InProceedings{OOPSLA15p941, author = {Ganesha Upadhyaya and Hridesh Rajan}, title = {Effectively Mapping Linguistic Abstractions for Message-Passing Concurrency to Threads on the Java Virtual Machine}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {941-940}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-136-p (type: Full Paper (20 pages)) doi:
	Ureche, Vlad	OOPSLA '15: "Automating Ad hoc Data Representation ..." Automating Ad hoc Data Representation Transformations Vlad Ureche, Aggelos Biboudis, Yannis Smaragdakis, and Martin Odersky (EPFL, Switzerland; University of Athens, Greece) @InProceedings{OOPSLA15p901, author = {Vlad Ureche and Aggelos Biboudis and Yannis Smaragdakis and Martin Odersky}, title = {Automating Ad hoc Data Representation Transformations}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {901-900}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-2-p (type: Full Paper (20 pages)) doi:
	Van Horn, David	OOPSLA '15: "Galois Transformers and Modular ..." Galois Transformers and Modular Abstract Interpreters: Reusable Metatheory for Program Analysis David Darais, Matthew Might, and David Van Horn (University of Maryland at College Park, USA; University of Utah, USA) @InProceedings{OOPSLA15p621, author = {David Darais and Matthew Might and David Van Horn}, title = {Galois Transformers and Modular Abstract Interpreters: Reusable Metatheory for Program Analysis}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {621-620}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-204-p (type: Full Paper (20 pages)) doi: OOPSLA '15: "Incremental Computation with ..." Incremental Computation with Names Matthew A. Hammer, Joshua Dunfield, Kyle Headley, Nicholas Labich, Jeffrey S. Foster, Michael Hicks, and David Van Horn (University of Colorado at Boulder, USA; University of Maryland at College Park, USA; University of British Columbia, Canada) @InProceedings{OOPSLA15p841, author = {Matthew A. Hammer and Joshua Dunfield and Kyle Headley and Nicholas Labich and Jeffrey S. Foster and Michael Hicks and David Van Horn}, title = {Incremental Computation with Names}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {841-840}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-193-p (type: Full Paper (20 pages)) doi:
	Vasconcelos, Vasco Thudichum	OOPSLA '15: "Protocol-Based Verification ..." Protocol-Based Verification of Message-Passing Parallel Programs Hugo A. López, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, César Santos, Vasco Thudichum Vasconcelos, and Nobuko Yoshida (DTU, Denmark; University of Lisbon, Portugal; Imperial College London, UK) @InProceedings{OOPSLA15p301, author = {Hugo A. López and Eduardo R. B. Marques and Francisco Martins and Nicholas Ng and César Santos and Vasco Thudichum Vasconcelos and Nobuko Yoshida}, title = {Protocol-Based Verification of Message-Passing Parallel Programs}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {301-300}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-186-p (type: Full Paper (20 pages)) doi:
	Vechev, Martin	OOPSLA '15: "Scalable Race Detection for ..." Scalable Race Detection for Android Applications Pavol Bielik, Veselin Raychev, and Martin Vechev (ETH Zurich, Switzerland) @InProceedings{OOPSLA15p361, author = {Pavol Bielik and Veselin Raychev and Martin Vechev}, title = {Scalable Race Detection for Android Applications}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {361-360}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-189-p (type: Full Paper (20 pages)) doi: OOPSLA '15: "Stateless Model Checking of ..." Stateless Model Checking of Event-Driven Applications Casper S. Jensen, Anders Møller, Veselin Raychev, Dimitar Dimitrov, and Martin Vechev (Aarhus University, Denmark; ETH Zurich, Switzerland) @InProceedings{OOPSLA15p61, author = {Casper S. Jensen and Anders Møller and Veselin Raychev and Dimitar Dimitrov and Martin Vechev}, title = {Stateless Model Checking of Event-Driven Applications}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {61-60}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-102-p (type: Full Paper (20 pages)) doi:
	Vinju, Jurgen J.	OOPSLA '15: "Optimizing Hash-Array Mapped ..." Optimizing Hash-Array Mapped Tries for Fast and Lean Immutable JVM Collections Michael J. Steindorfer and Jurgen J. Vinju (CWI, Netherlands) @InProceedings{OOPSLA15p881, author = {Michael J. Steindorfer and Jurgen J. Vinju}, title = {Optimizing Hash-Array Mapped Tries for Fast and Lean Immutable JVM Collections}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {881-880}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-215-p (type: Full Paper (20 pages)) doi:
	Voelter, Markus	OOPSLA '15: "Using C Language Extensions ..." Using C Language Extensions for Developing Embedded Software: A Case Study Markus Voelter, Arie van Deursen, Bernd Kolb, and Stephan Eberle (itemis, Germany; Delft University of Technology, Netherlands) @InProceedings{OOPSLA15p741, author = {Markus Voelter and Arie van Deursen and Bernd Kolb and Stephan Eberle}, title = {Using C Language Extensions for Developing Embedded Software: A Case Study}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {741-740}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-29-p (type: Full Paper (20 pages)) doi:
	Vora, Keval	OOPSLA '15: "RAIVE: Runtime Assessment ..." RAIVE: Runtime Assessment of Floating-Point Instability by Vectorization Wen-Chuan Lee, Tao Bao, Yunhui Zheng, Xiangyu Zhang, Keval Vora, and Rajiv Gupta (Purdue University, USA; University of California at Riverside, USA) @InProceedings{OOPSLA15p701, author = {Wen-Chuan Lee and Tao Bao and Yunhui Zheng and Xiangyu Zhang and Keval Vora and Rajiv Gupta}, title = {RAIVE: Runtime Assessment of Floating-Point Instability by Vectorization}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {701-700}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-180-p (type: Full Paper (20 pages)) doi:
	Wang, Haichuan	OOPSLA '15: "Vectorization of Apply to ..." Vectorization of Apply to Reduce Interpretation Overhead of R Haichuan Wang, David Padua, and Peng Wu (University of Illinois at Urbana-Champaign, USA; Huawei Lab, USA) @InProceedings{OOPSLA15p441, author = {Haichuan Wang and David Padua and Peng Wu}, title = {Vectorization of Apply to Reduce Interpretation Overhead of R}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {441-440}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-23-p (type: Full Paper (20 pages)) doi:
	Wang, Xinyu	OOPSLA '15: "EXPLORER : Query- and Demand-Driven ..." EXPLORER : Query- and Demand-Driven Exploration of Interprocedural Control Flow Properties Yu Feng, Xinyu Wang, Isil Dillig, and Calvin Lin (University of Texas at Austin, USA) @InProceedings{OOPSLA15p581, author = {Yu Feng and Xinyu Wang and Isil Dillig and Calvin Lin}, title = {EXPLORER : Query- and Demand-Driven Exploration of Interprocedural Control Flow Properties}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {581-580}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-108-p (type: Full Paper (20 pages)) doi:
	Weiel, Manuel	OOPSLA '15: "A Sound and Optimal Incremental ..." A Sound and Optimal Incremental Build System with Dynamic Dependencies Sebastian Erdweg, Moritz Lichter, and Manuel Weiel (TU Darmstadt, Germany) @InProceedings{OOPSLA15p101, author = {Sebastian Erdweg and Moritz Lichter and Manuel Weiel}, title = {A Sound and Optimal Incremental Build System with Dynamic Dependencies}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {101-100}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-229-p (type: Full Paper (20 pages)) doi:
	Wickerson, John	OOPSLA '15: "Remote-Scope Promotion: Clarified, ..." Remote-Scope Promotion: Clarified, Rectified, and Verified John Wickerson, Mark Batty, Bradford M. Beckmann, and Alastair F. Donaldson (Imperial College London, UK; University of Kent, UK; AMD, USA) @InProceedings{OOPSLA15p821, author = {John Wickerson and Mark Batty and Bradford M. Beckmann and Alastair F. Donaldson}, title = {Remote-Scope Promotion: Clarified, Rectified, and Verified}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {821-820}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-103-p (type: Full Paper (20 pages)) doi:
	Wrigstad, Tobias	OOPSLA '15: "Disjointness Domains for Fine-Grained ..." Disjointness Domains for Fine-Grained Aliasing Stephan Brandauer, Dave Clarke, and Tobias Wrigstad (Uppsala University, Sweden) @InProceedings{OOPSLA15p1001, author = {Stephan Brandauer and Dave Clarke and Tobias Wrigstad}, title = {Disjointness Domains for Fine-Grained Aliasing}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {1001-1000}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-75-p (type: Full Paper (20 pages)) doi:
	Wu, Peng	OOPSLA '15: "Vectorization of Apply to ..." Vectorization of Apply to Reduce Interpretation Overhead of R Haichuan Wang, David Padua, and Peng Wu (University of Illinois at Urbana-Champaign, USA; Huawei Lab, USA) @InProceedings{OOPSLA15p441, author = {Haichuan Wang and David Padua and Peng Wu}, title = {Vectorization of Apply to Reduce Interpretation Overhead of R}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {441-440}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-23-p (type: Full Paper (20 pages)) doi:
	Yang, Hongseok	OOPSLA '15: "Learning a Strategy for Adapting ..." Learning a Strategy for Adapting a Program Analysis via Bayesian Optimisation Hakjoo Oh, Hongseok Yang, and Kwangkeun Yi (Korea University, South Korea; University of Oxford, UK; Seoul National University, South Korea) @InProceedings{OOPSLA15p641, author = {Hakjoo Oh and Hongseok Yang and Kwangkeun Yi}, title = {Learning a Strategy for Adapting a Program Analysis via Bayesian Optimisation}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {641-640}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-209-p (type: Full Paper (20 pages)) doi:
	Yi, Kwangkeun	OOPSLA '15: "Learning a Strategy for Adapting ..." Learning a Strategy for Adapting a Program Analysis via Bayesian Optimisation Hakjoo Oh, Hongseok Yang, and Kwangkeun Yi (Korea University, South Korea; University of Oxford, UK; Seoul National University, South Korea) @InProceedings{OOPSLA15p641, author = {Hakjoo Oh and Hongseok Yang and Kwangkeun Yi}, title = {Learning a Strategy for Adapting a Program Analysis via Bayesian Optimisation}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {641-640}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-209-p (type: Full Paper (20 pages)) doi:
	Yoshida, Nobuko	OOPSLA '15: "Protocol-Based Verification ..." Protocol-Based Verification of Message-Passing Parallel Programs Hugo A. López, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, César Santos, Vasco Thudichum Vasconcelos, and Nobuko Yoshida (DTU, Denmark; University of Lisbon, Portugal; Imperial College London, UK) @InProceedings{OOPSLA15p301, author = {Hugo A. López and Eduardo R. B. Marques and Francisco Martins and Nicholas Ng and César Santos and Vasco Thudichum Vasconcelos and Nobuko Yoshida}, title = {Protocol-Based Verification of Message-Passing Parallel Programs}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {301-300}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-186-p (type: Full Paper (20 pages)) doi:
	Zhang, Haoyuan	OOPSLA '15: "Scrap Your Boilerplate with ..." Scrap Your Boilerplate with Object Algebras Haoyuan Zhang, Zewei Chu, Bruno C. d. S. Oliveira, and Tijs van der Storm (University of Hong Kong, China; CWI, Netherlands) @InProceedings{OOPSLA15p141, author = {Haoyuan Zhang and Zewei Chu and Bruno C. d. S. Oliveira and Tijs van der Storm}, title = {Scrap Your Boilerplate with Object Algebras}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {141-140}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-60-p (type: Full Paper (20 pages)) doi:
	Zhang, Minjia	OOPSLA '15: "Valor: Efficient, Software-Only ..." Valor: Efficient, Software-Only Region Conflict Exceptions Swarnendu Biswas, Minjia Zhang, Michael D. Bond, and Brandon Lucia (Ohio State University, USA; Carnegie Mellon University, USA) @InProceedings{OOPSLA15p261, author = {Swarnendu Biswas and Minjia Zhang and Michael D. Bond and Brandon Lucia}, title = {Valor: Efficient, Software-Only Region Conflict Exceptions}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {261-260}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-145-p (type: Full Paper (20 pages)) doi:
	Zhang, Xiangyu	OOPSLA '15: "RAIVE: Runtime Assessment ..." RAIVE: Runtime Assessment of Floating-Point Instability by Vectorization Wen-Chuan Lee, Tao Bao, Yunhui Zheng, Xiangyu Zhang, Keval Vora, and Rajiv Gupta (Purdue University, USA; University of California at Riverside, USA) @InProceedings{OOPSLA15p701, author = {Wen-Chuan Lee and Tao Bao and Yunhui Zheng and Xiangyu Zhang and Keval Vora and Rajiv Gupta}, title = {RAIVE: Runtime Assessment of Floating-Point Instability by Vectorization}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {701-700}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-180-p (type: Full Paper (20 pages)) doi:
	Zheng, Yudi	OOPSLA '15: "Accurate Profiling in the ..." Accurate Profiling in the Presence of Dynamic Compilation Yudi Zheng, Lubomír Bulej, and Walter Binder (University of Lugano, Switzerland; Charles University, Czech Republic) @InProceedings{OOPSLA15p481, author = {Yudi Zheng and Lubomír Bulej and Walter Binder}, title = {Accurate Profiling in the Presence of Dynamic Compilation}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {481-480}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-101-p (type: Full Paper (20 pages)) doi:
	Zheng, Yunhui	OOPSLA '15: "RAIVE: Runtime Assessment ..." RAIVE: Runtime Assessment of Floating-Point Instability by Vectorization Wen-Chuan Lee, Tao Bao, Yunhui Zheng, Xiangyu Zhang, Keval Vora, and Rajiv Gupta (Purdue University, USA; University of California at Riverside, USA) @InProceedings{OOPSLA15p701, author = {Wen-Chuan Lee and Tao Bao and Yunhui Zheng and Xiangyu Zhang and Keval Vora and Rajiv Gupta}, title = {RAIVE: Runtime Assessment of Floating-Point Instability by Vectorization}, booktitle = {Proc.\ OOPSLA}, publisher = {ACM}, pages = {701-700}, doi = {}, year = {2015}, } Article: oopsla15main-mainoopsla15-180-p (type: Full Paper (20 pages)) doi:

179 authors

proc time: 0.16