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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 doi:

179 authors

proc time: 0.98