SPLASH 2014 - OOPSLA - SPLASH 2014

The scope of OOPSLA includes all aspects of programming languages and software engineering, broadly construed.

Papers that address any aspect of software development are welcome, including requirements, modeling, prototyping, design, implementation, generation, analysis, verification, testing, evaluation, maintenance, reuse, replacement, and retirement of software systems. Papers may address these topics in a variety of ways, including new tools (such as languages, program analyses, and runtime systems), new techniques (such as methodologies, design processes, code organization approaches, and management techniques), and new evaluations (such as formalisms and proofs, corpora analyses, user studies, and surveys).

Time Zone

The program is currently displayed in (GMT-07:00) Tijuana, Baja California.

Use conference time zone: (GMT-07:00) Tijuana, Baja CaliforniaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Wed 22 Oct
Times are displayed in time zone: Tijuana, Baja California change

10:30 - 12:00	Program Analysis and the WebOOPSLA at Salon E Chair(s): Stephen ChongHarvard University

10:30 22m Talk		Checking Correctness of TypeScript Interfaces for JavaScript Libraries OOPSLA Asger FeldthausAarhus University, Anders MøllerAarhus University Link to publication
10:52 22m Talk		Determinacy in Static Analysis for jQuery OOPSLA Esben AndreasenAarhus University, Anders MøllerAarhus University Link to publication
11:15 22m Talk		EventBreak: Analyzing the Responsiveness of User Interfaces through Performance-Guided Test Generation OOPSLA Michael PradelUniversity of California, Berkeley, USA, Parker SchuhUniversity of California, Berkeley, George NeculaUniversity of California, Berkeley, Koushik SenUniversity of California, Berkeley Link to publication
11:37 22m Talk		Using Web Corpus Statistics for Program Analysis OOPSLA Chun-Hung HsiaoUniversity of Michigan, Michael CafarellaUniversity of Michigan, Satish NarayanasamyUniversity of Michigan Link to publication

10:30 - 12:00	Runtime SystemsOOPSLA at Salon F Chair(s): Martin HirzelIBM Research

10:30 22m Talk		Tardis: Affordable Time-Travel Debugging in Managed Runtimes OOPSLA Earl T. BarrUniversity College London, Mark MarronMicrosoft Research Link to publication
10:52 22m Talk		Phosphor: Illuminating Dynamic Data Flow in Commodity JVMs OOPSLA Jonathan BellColumbia University, Gail KaiserColumbia University, New York Link to publication Media Attached
11:15 22m Talk		Rubah: DSU for Java on a stock JVM OOPSLA Luís PinaTechnical University of Lisbon / INESC-ID, Luís VeigaINESC-ID / Instituto Superior Técnico, Universidade de Lisboa, Michael HicksUniversity of Maryland, College Park Link to publication
11:37 22m Talk		Fast Conservative Garbage Collection OOPSLA Rifat ShahriyarAustralian National University, Steve BlackburnAustralian National University , Kathryn S McKinleyMicrosoft Research Link to publication

13:30 - 15:00	Domain Specific LanguagesOOPSLA at Salon E Chair(s): Yannis SmaragdakisUniversity of Athens

13:30 22m Talk		Region-based memory management for GPU programming languages: Enabling rich data structures on a spartan host OOPSLA Eric HolkIndiana University, Ryan R. NewtonIndiana University, Jeremy G. Siek, Andrew LumsdaineIndiana University Link to publication
13:52 22m Talk		Smten with Satisfiability-Based Search OOPSLA Richard UhlerMIT-CSAIL, Nirav DaveSRI International Link to publication
14:15 22m Talk		StreamJIT: A Commensal Compiler for High-Performance Stream Programming OOPSLA Jeffrey BosboomMIT CSAIL, Sumanaruban RajaduraiNational University of Singapore, Weng-Fai WongNational University of Singapore, Saman AmarasingheMIT Link to publication
14:37 22m Talk		SurveyMan: Programming and Automatically Debugging Surveys OOPSLA Emma ToschUniversity of Massachusetts, Amherst, Emery D. BergerUniversity of Massachusetts, Amherst Link to publication File Attached

Thu 23 Oct
Times are displayed in time zone: Tijuana, Baja California change

10:30 - 12:00	Type SystemsOOPSLA at Salon E Chair(s): Ravi ChughUniversity of Chicago

10:30 22m Talk		Rate Types for Stream Programs OOPSLA Thomas W. BartensteinSUNY Binghamton, Yu David LiuState University of New York (SUNY) Binghamton Link to publication File Attached
10:52 22m Talk		Foundations of Path-Dependent Types OOPSLA Nada AminEPFL, Tiark RompfPurdue & Oracle Labs, Martin OderskyEcole Polytechnique Federale de Lausanne Link to publication File Attached
11:15 22m Talk		Confined Gradual Typing OOPSLA Esteban Allende, Johan FabryUniversity of Chile, Ronald GarciaUniversity of British Columbia, Éric TanterUniversity of Chile Link to publication
11:37 22m Talk		Refactoring Java Generics by Inferring Wildcards, In Practice OOPSLA John AltidorUniversity of Massachusetts, Yannis SmaragdakisUniversity of Athens Link to publication File Attached

10:30 - 12:00	Energy and PerformanceOOPSLA at Salon F Chair(s): Shan LuUniversity of Chicago

10:30 22m Talk		Continuously Measuring Critical Section Pressure with the Free-Lunch Profiler OOPSLA Florian DavidLIP6-UPMC/INRIA, Gaël ThomasLIP6-UPMC/INRIA, Julia LawallLIP6, Gilles MullerLIP6-INRIA/UPMC Link to publication
10:52 22m Talk		Chisel: Reliability-Aware Optimization of Approximate Computational Kernels OOPSLA Sasa MisailovicMIT, Michael CarbinMIT, Sara AchourMIT, Zichao QiMIT, Martin C. RinardMIT Link to publication
11:15 22m Talk		An Experimental Survey of Energy Management Across the Stack OOPSLA Melanie KambadurColumbia University, Martha A. KimColumbia University Link to publication
11:37 22m Talk		Understanding Energy Behaviors of Thread Management Constructs OOPSLA Gustavo PintoFederal University of Pernambuco, Fernando CastorUFPE, Yu David LiuState University of New York (SUNY) Binghamton Link to publication

13:30 - 15:00	LanguagesOOPSLA at Salon E Chair(s): Crista LopesUniversity of California, Irvine

13:30 22m Talk		Distributed REScala: An Update Algorithm for Distributed Reactive Programming OOPSLA Joscha DrechslerTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt, A: Ragnar MogkTechnische Universität Darmstadt, A: Mira MeziniTechnical University of Darmstadt Link to publication
13:52 22m Talk		From Object Algebras to Attribute Grammars OOPSLA Tillmann RendelUniversity of Marburg, Jonathan Immanuel BrachthäuserUniversity of Marburg, Klaus OstermannUniversity of Marburg Link to publication
14:15 22m Talk		Late Data Layout: Unifying Data Representation Transformations OOPSLA Vlad UrecheEPFL, Eugene BurmakoEPFL, Martin OderskyEcole Polytechnique Federale de Lausanne Link to publication
14:37 22m Talk		i3QL: Language-Integrated Live Data Views OOPSLA Ralf MitschkeTechnical University of Darmstadt, Sebastian ErdwegTU Darmstadt, Mirko KöhlerTechnical University of Darmstadt, Mira MeziniTechnical University of Darmstadt, Guido SalvaneschiTU Darmstadt Link to publication

13:30 - 15:00	ConcurrencyOOPSLA at Salon F Chair(s): David GroveIBM Research

13:30 22m Talk		Atlas: Leveraging Locks for Non-volatile Memory Consistency OOPSLA Dhruva ChakrabartiHP Labs, Hans-J. BoehmGoogle, Kumud BhandariRice University Link to publication
13:52 22m Talk		Fast Splittable Pseudorandom Number Generators OOPSLA Guy L. Steele Jr.Oracle Labs, Doug LeaState University of New York (SUNY) Oswego, Christine H. FloodRed Hat Link to publication
14:15 22m Talk		Multithreaded Test Synthesis for Deadlock Detection OOPSLA Malavika SamakIndian Institute of Science, Bangalore, Murali Krishna RamanathanIndian Institute of Science, Bangalore Link to publication
14:37 22m Talk		Symbolic Execution of Multithreaded Programs from Arbitrary Program Contexts OOPSLA Tom BerganUniversity of Washington, Dan GrossmanUniversity of Washington, Luis CezeUniversity of Washington Link to publication

15:30 - 17:00	DebuggingOOPSLA at Salon E Chair(s): Caitlin SadowskiGoogle

15:30 22m Talk		CheckCell: Data Debugging for Spreadsheets OOPSLA Dan BarowyUniversity of Massachusetts, Amherst, Dimitar GochevUniversity of Massachusetts, Amherst, Emery D. BergerUniversity of Massachusetts, Amherst Link to publication
15:52 22m Talk		Finding Minimum Type Error Sources OOPSLA Zvonimir PavlinovicNew York University, Tim KingNew York University, Thomas WiesNew York University Link to publication File Attached
16:15 22m Talk		Flint: Fixing Linearizability Violations OOPSLA Peng LiuPurdue University, Omer TrippIBM Thomas J. Watson Research Center, Xiangyu ZhangPurdue University Link to publication
16:37 22m Talk		Statistical Debugging for Real-World Performance Problems OOPSLA Linhai SongUniversity of Wisconsin–Madison, Shan LuUniversity of Chicago Link to publication

15:30 - 17:00	Compilation ToolsOOPSLA at Salon F Chair(s): Robert GrimmGoldman Sachs

15:30 22m Talk		*Adaptive LL() Parsing: The Power of Dynamic Analysis** OOPSLA Terence ParrUniversity of San Francisco, Sam HarwellUniversity of Texas at Austin, Kathleen FisherTufts University Link to publication File Attached
15:52 22m Talk		Automated Migration of Build Scripts using Dynamic Analysis and Search-Based Refactoring OOPSLA Milos GligoricUniversity of Illinois at Urbana-Champaign, Wolfram SchulteMicrosoft, Chandra PrasadMicrosoft, Danny van VelzenMicrosoft, Iman NarasamdyaMicrosoft, Ben LivshitsMicrosoft Research Link to publication
16:15 22m Talk		Mix10: Compiling MATLAB to X10 for High Performance OOPSLA Vineet Kumar, Laurie HendrenMcGill University Link to publication
16:37 22m Talk		Staged Parser Combinators for Efficient Data Processing OOPSLA Manohar JonnalageddaEPFL, Switzerland, Thierry CoppeyEPFL, Switzerland; Google, Sandro StuckiEPFL, Switzerland, Tiark RompfPurdue & Oracle Labs, Martin OderskyEcole Polytechnique Federale de Lausanne Link to publication

Fri 24 Oct
Times are displayed in time zone: Tijuana, Baja California change

10:30 - 12:00	Specification and VerificationOOPSLA at Salon E Chair(s): Gary Leavens University of Central Florida

10:30 22m Talk		Bounded Exhaustive Test Input Generation from Hybrid Invariants OOPSLA Nico RosnerDept. of Computer Science FCEyN, University of Buenos Aires, Valeria BengoleaDept. of Computer Science FCEFQyN, University of Rio Cuarto, Pablo PonzioDept. of Computer Science FCEFQyN, University of Rio Cuarto, Shadi Abdul KhalekGoogle, Nazareno AguirreDept. of Computer Science FCEFQyN, University of Rio Cuarto, Marcelo F. FriasDept. of Software Engineering Instituto Tecnológico de Buenos Aires, Sarfraz KhurshidUniversity of Texas at Austin Link to publication
10:52 22m Talk		Compiler Verification Meets Cross-Language Linking via Data Abstraction OOPSLA Peng WangMIT CSAIL, Santiago CuellarPrinceton, Adam ChlipalaMIT Link to publication
11:15 22m Talk		GPS: Navigating Weak Memory with Ghosts, Protocols, and Separation OOPSLA Aaron TuronMPI-SWS, Viktor VafeiadisMPI-SWS, Germany, Derek DreyerMPI-SWS Link to publication
11:37 22m Talk		Natural Proofs for Asynchronous Programs using Almost-Synchronous Invariants OOPSLA Ankush DesaiUniversity of California, Berkeley, Pranav GargUniversity of Illinois at Urbana-Champaign, P. MadhusudanUniversity of Illinois at Urbana-Champaign Link to publication

10:30 - 12:00	Dynamic OptimizationOOPSLA at Salon F Chair(s): Zachary TatlockUniversity of Washington, Seattle

10:30 22m Talk		Accelerating Iterators in Optimizing AST Interpreters OOPSLA Wei ZhangUniversity of California, Irvine, Per LarsenUniversity of California, Irvine, Stefan BrunthalerUniversity of California, Irvine, Michael FranzUniversity of California, Irvine Link to publication
10:52 22m Talk		Call Sequence Prediction through Probabilistic Calling Automata OOPSLA Zhijia ZhaoCollege of William and Mary / North Carolina State University, Bo WuCollege of William and Mary, Mingzhou ZhouCollege of William and Mary, Yufei DingCollege of William and Mary, Jianhua SunCollege of William and Mary, Xipeng ShenNorth Carolina State University, Youfeng WuIntel Corporation Link to publication
11:15 22m Talk		Space-Efficient Multi-Versioning for Input-Adaptive Feedback-Driven Program Optimizations OOPSLA Mingzhou ZhouCollege of William and Mary, Xipeng ShenNorth Carolina State University, Yaoqing GaoIBM Toronto Labs, Graham YiuIBM Toronto Labs Link to publication
11:37 22m Talk		The HipHop Virtual Machine OOPSLA Keith AdamsFacebook, Jason EvansFacebook, Bertrand MaherFacebook, Guilherme OttoniFacebook, Drew ParoskiFacebook, Brett SimmersFacebook, Edwin SmithFacebook, Owen YamauchiFacebook Link to publication

13:30 - 15:00	Static AnalysisOOPSLA at Salon E Chair(s): Anders MøllerAarhus University

13:30 22m Talk		Validation of Memory Accesses Through Symbolic Analyses OOPSLA Henrique Nazaré SantosUFMG, Izabela Karennina Travizani MaffraUFMG, Willer Fernandes SantosUFMG, Leonardo Barbosa OliveiraUFMG, Laure GonnordUniversity of Lyon & LIP, France, Fernando Magno Quintão PereiraUFMG Link to publication
13:52 22m Talk		Abstract Semantic Differencing via Speculative Correlation OOPSLA Nimrod PartushTechnion, Eran YahavTechnion Link to publication
14:15 22m Talk		Efficient Subcubic Alias Analysis for C OOPSLA Qirun ZhangThe Hong Kong University of Science and Technology, A: Xiao XiaoThe Hong Kong University of Science and Technology, A: Charles ZhangHong Kong University of Science and Technology, A: Hao YuanBOPU Technologies, A: Zhendong SuUniversity of California, Davis Link to publication
14:37 22m Talk		Static Analysis for Independent App Developers OOPSLA Lucas BrutschyETH Zurich, Pietro FerraraIBM Thomas J. Watson Research Center, Peter MüllerETH Zurich Link to publication

13:30 - 15:00	Distributed ComputingOOPSLA at Salon F Chair(s): Madan MusuvathiMicrosoft Research

13:30 22m Talk		ASPIRE: Exploiting Asynchronous Parallelism in Iterative Algorithms using a Relaxed Consistency based DSM OOPSLA Keval VoraUniversity of California, Riverside, Sai Charan KoduruUniversity of California, Riverside, Rajiv GuptaUC Riverside Link to publication Media Attached File Attached
13:52 22m Talk		Alembic: Automatic Locality Extraction via Migration OOPSLA Brandon HoltUniversity of Washington, Preston BriggsUniversity of Washington, Luis CezeUniversity of Washington, Mark OskinUniversity of Washington Link to publication Media Attached File Attached
14:15 22m Talk		Cybertron: Pushing the Limit on I/O Reduction in Data-Parallel Programs OOPSLA Tian XiaoTsinghua University / Microsoft Research, Zhenyu GuoMicrosoft Research, Hucheng ZhouMicrosoft Research, Jiaxing ZhangMicrosoft Research, Xu ZhaoUniversity of Toronto, Chencheng YeHuazhong University of Science and Technology, Xi WangMIT CSAIL, Wei LinMicrosoft Bing, Wenguang ChenTsinghua University, Lidong ZhouMicrosoft Research Link to publication Media Attached
14:37 22m Talk		Translating Imperative Code to MapReduce OOPSLA Cosmin RadoiUniversity of Illinois, Stephen J FinkIBM, Rodric RabbahIBM Research, Manu SridharanSamsung Research America Link to publication Media Attached

Call for Papers

PAPER SELECTION

Selection Criteria

The program committee will consider the following criteria when evaluating submitted papers:

Novelty: The paper presents new ideas and/or results and places these ideas and results appropriately within the context established by previous research in the field.

Importance: The paper contributes significantly to the advancement of knowledge in the field. In addition to more traditional contributions, OOPSLA welcomes papers that diverge from the dominant trajectory of the field or challenge the existing value system.

Evidence: The paper presents sufficient evidence supporting its claims. Examples of evidence include proofs, implemented systems, experimental results, statistical analyses, case studies, and anecdotes.

Clarity: The paper presents its contributions, methodology and results clearly.

Selection Process

OOPSLA 2014 will follow a two-phase review process that was initiated in OOPSLA 2013, with the goal of improving the quality of accepted papers. The first reviewing phase assesses the papers using the criteria stated above. At the PC meeting a set of papers will be conditionally accepted and all other papers will be rejected.

Authors of conditionally accepted papers will be provided with the usual committee reviews along with a set of mandatory revisions. After two months, the authors will provide a second submission. The second and final reviewing phase assesses how well the mandatory revisions have been performed by the authors and thereby determines the final accept/reject status of the paper. The intent and expectation is that the mandatory revisions can be adequately addressed within two months and hence that conditionally accepted papers will be accepted in the second phase.

The second submission should clearly identify how the mandatory revisions were addressed. To that end, the second submission must be accompanied by a cover letter mapping each mandatory revision request to specific parts of the paper. The absence of this cover letter is grounds for the paper’s rejection.

SUBMISSION

OOPSLA 2014 submissions must conform to both the ACM Policy on Prior Publication and Simultaneous Submissions and the SIGPLAN Re-publication Policy. Submissions are single-blind (i.e., authors are not anonymous).

Format

Submissions should use the SIGPLAN Proceedings Format, 10 point font. Note that by default the SIGPLAN Proceedings Format produces papers in 9 point font. If you are formatting your paper using LaTeX, you will need to set the 10pt option in the \documentclass command. If you are formatting your paper using Word, you may wish to use the provided Word template that supports this font size. Please include page numbers in your submission. Setting the preprint option in the LaTeX \documentclass command generates page numbers. Please also ensure that your submission is legible when printed on a black and white printer. In particular, please check that colors remain distinct and font sizes are legible.

Page Limit

To ensure that papers stay focused on their core contributions, the main part of the paper (including bibliographic references) should be no longer than 14 pages. There is no page limit for appendices, and, therefore, for the overall submission. However, reviewers are not obligated to read the appendices, so the main part of the paper should be self contained. If the paper is accepted, the final submission will be limited to 20 pages, including appendices.

Artifact Evaluation

Authors of papers that are conditionally accepted in the first phase will be invited to formally submit supporting materials to the Artifact Evaluation process. This submission is voluntary and will not influence the final decision regarding the papers. Papers that go through the Artifact Evaluation process successfully will receive a seal of approval printed on the papers themselves.

Authors of accepted papers are encouraged to make these materials publicly available upon publication of the proceedings, by including them as “source materials” in the ACM Digital Library.

Publication

AUTHORS TAKE NOTE: All accepted papers will be available in the ACM Digital Library as early as October 3, 2014. The official publication date is the date the proceedings are made available in the ACM Digital Library. The official publication date affects the deadline for any patent filings related to published work.

More Information

For additional information, clarification, or answers to questions please contact the OOPSLA Chair (Todd Millstein) at oopsla@splashcon.org.

Accepted Papers

	Title
	ASPIRE: Exploiting Asynchronous Parallelism in Iterative Algorithms using a Relaxed Consistency based DSM OOPSLA Keval Vora, Sai Charan Koduru, Rajiv Gupta Link to publication Media Attached File Attached
	Abstract Semantic Differencing via Speculative Correlation OOPSLA Nimrod Partush, Eran Yahav Link to publication
	Accelerating Iterators in Optimizing AST Interpreters OOPSLA Wei Zhang, Per Larsen, Stefan Brunthaler, Michael Franz Link to publication
	Adaptive LL(*) Parsing: The Power of Dynamic Analysis OOPSLA Terence Parr, Sam Harwell, Kathleen Fisher Link to publication File Attached
	Alembic: Automatic Locality Extraction via Migration OOPSLA Brandon Holt, Preston Briggs, Luis Ceze, Mark Oskin Link to publication Media Attached File Attached
	An Experimental Survey of Energy Management Across the Stack OOPSLA Melanie Kambadur, Martha A. Kim Link to publication
	Atlas: Leveraging Locks for Non-volatile Memory Consistency OOPSLA Dhruva Chakrabarti, Hans-J. Boehm, Kumud Bhandari Link to publication
	Automated Migration of Build Scripts using Dynamic Analysis and Search-Based Refactoring OOPSLA Milos Gligoric, Wolfram Schulte, Chandra Prasad, Danny van Velzen, Iman Narasamdya, Ben Livshits Link to publication
	Bounded Exhaustive Test Input Generation from Hybrid Invariants OOPSLA Nico Rosner, Valeria Bengolea, Pablo Ponzio, Shadi Abdul Khalek, Nazareno Aguirre, Marcelo F. Frias, Sarfraz Khurshid Link to publication
	Call Sequence Prediction through Probabilistic Calling Automata OOPSLA Zhijia Zhao, Bo Wu, Mingzhou Zhou, Yufei Ding, Jianhua Sun, Xipeng Shen, Youfeng Wu Link to publication
	CheckCell: Data Debugging for Spreadsheets OOPSLA Dan Barowy, Dimitar Gochev, Emery D. Berger Link to publication
	Checking Correctness of TypeScript Interfaces for JavaScript Libraries OOPSLA Asger Feldthaus, Anders Møller Link to publication
	Chisel: Reliability-Aware Optimization of Approximate Computational Kernels OOPSLA Sasa Misailovic, Michael Carbin, Sara Achour, Zichao Qi, Martin C. Rinard Link to publication
	Compiler Verification Meets Cross-Language Linking via Data Abstraction OOPSLA Peng Wang, Santiago Cuellar, Adam Chlipala Link to publication
	Confined Gradual Typing OOPSLA Esteban Allende, Johan Fabry, Ronald Garcia, Éric Tanter Link to publication
	Continuously Measuring Critical Section Pressure with the Free-Lunch Profiler OOPSLA Florian David, Gaël Thomas, Julia Lawall, Gilles Muller Link to publication
	Cybertron: Pushing the Limit on I/O Reduction in Data-Parallel Programs OOPSLA Tian Xiao, Zhenyu Guo, Hucheng Zhou, Jiaxing Zhang, Xu Zhao, Chencheng Ye, Xi Wang, Wei Lin, Wenguang Chen, Lidong Zhou Link to publication Media Attached
	Determinacy in Static Analysis for jQuery OOPSLA Esben Andreasen, Anders Møller Link to publication
	Distributed REScala: An Update Algorithm for Distributed Reactive Programming OOPSLA Joscha Drechsler, Guido Salvaneschi, A: Ragnar Mogk, A: Mira Mezini Link to publication
	Efficient Subcubic Alias Analysis for C OOPSLA Qirun Zhang, A: Xiao Xiao, A: Charles Zhang, A: Hao Yuan, A: Zhendong Su Link to publication
	EventBreak: Analyzing the Responsiveness of User Interfaces through Performance-Guided Test Generation OOPSLA Michael Pradel, Parker Schuh, George Necula, Koushik Sen Link to publication
	Fast Conservative Garbage Collection OOPSLA Rifat Shahriyar, Steve Blackburn, Kathryn S McKinley Link to publication
	Fast Splittable Pseudorandom Number Generators OOPSLA Guy L. Steele Jr., Doug Lea, Christine H. Flood Link to publication
	Finding Minimum Type Error Sources OOPSLA Zvonimir Pavlinovic, Tim King, Thomas Wies Link to publication File Attached
	Flint: Fixing Linearizability Violations OOPSLA Peng Liu, Omer Tripp, Xiangyu Zhang Link to publication
	Foundations of Path-Dependent Types OOPSLA Nada Amin, Tiark Rompf, Martin Odersky Link to publication File Attached
	From Object Algebras to Attribute Grammars OOPSLA Tillmann Rendel, Jonathan Immanuel Brachthäuser, Klaus Ostermann Link to publication
	GPS: Navigating Weak Memory with Ghosts, Protocols, and Separation OOPSLA Aaron Turon, Viktor Vafeiadis, Derek Dreyer Link to publication
	Late Data Layout: Unifying Data Representation Transformations OOPSLA Vlad Ureche, Eugene Burmako, Martin Odersky Link to publication
	Mix10: Compiling MATLAB to X10 for High Performance OOPSLA Vineet Kumar, Laurie Hendren Link to publication
	Multithreaded Test Synthesis for Deadlock Detection OOPSLA Malavika Samak, Murali Krishna Ramanathan Link to publication
	Natural Proofs for Asynchronous Programs using Almost-Synchronous Invariants OOPSLA Ankush Desai, Pranav Garg, P. Madhusudan Link to publication
	Phosphor: Illuminating Dynamic Data Flow in Commodity JVMs OOPSLA Jonathan Bell, Gail Kaiser Link to publication Media Attached
	Rate Types for Stream Programs OOPSLA Thomas W. Bartenstein, Yu David Liu Link to publication File Attached
	Refactoring Java Generics by Inferring Wildcards, In Practice OOPSLA John Altidor, Yannis Smaragdakis Link to publication File Attached
	Region-based memory management for GPU programming languages: Enabling rich data structures on a spartan host OOPSLA Eric Holk, Ryan R. Newton, Jeremy G. Siek, Andrew Lumsdaine Link to publication
	Rubah: DSU for Java on a stock JVM OOPSLA Luís Pina, Luís Veiga, Michael Hicks Link to publication
	Smten with Satisfiability-Based Search OOPSLA Richard Uhler, Nirav Dave Link to publication
	Space-Efficient Multi-Versioning for Input-Adaptive Feedback-Driven Program Optimizations OOPSLA Mingzhou Zhou, Xipeng Shen, Yaoqing Gao, Graham Yiu Link to publication
	Staged Parser Combinators for Efficient Data Processing OOPSLA Manohar Jonnalagedda, Thierry Coppey, Sandro Stucki, Tiark Rompf, Martin Odersky Link to publication
	Static Analysis for Independent App Developers OOPSLA Lucas Brutschy, Pietro Ferrara, Peter Müller Link to publication
	Statistical Debugging for Real-World Performance Problems OOPSLA Linhai Song, Shan Lu Link to publication
	StreamJIT: A Commensal Compiler for High-Performance Stream Programming OOPSLA Jeffrey Bosboom, Sumanaruban Rajadurai, Weng-Fai Wong, Saman Amarasinghe Link to publication
	SurveyMan: Programming and Automatically Debugging Surveys OOPSLA Emma Tosch, Emery D. Berger Link to publication File Attached
	Symbolic Execution of Multithreaded Programs from Arbitrary Program Contexts OOPSLA Tom Bergan, Dan Grossman, Luis Ceze Link to publication
	Tardis: Affordable Time-Travel Debugging in Managed Runtimes OOPSLA Earl T. Barr, Mark Marron Link to publication
	The HipHop Virtual Machine OOPSLA Keith Adams, Jason Evans, Bertrand Maher, Guilherme Ottoni, Drew Paroski, Brett Simmers, Edwin Smith, Owen Yamauchi Link to publication
	Translating Imperative Code to MapReduce OOPSLA Cosmin Radoi, Stephen J Fink, Rodric Rabbah, Manu Sridharan Link to publication Media Attached
	Understanding Energy Behaviors of Thread Management Constructs OOPSLA Gustavo Pinto, Fernando Castor, Yu David Liu Link to publication
	Using Web Corpus Statistics for Program Analysis OOPSLA Chun-Hung Hsiao, Michael Cafarella, Satish Narayanasamy Link to publication
	Validation of Memory Accesses Through Symbolic Analyses OOPSLA Henrique Nazaré Santos, Izabela Karennina Travizani Maffra, Willer Fernandes Santos, Leonardo Barbosa Oliveira, Laure Gonnord, Fernando Magno Quintão Pereira Link to publication
	i3QL: Language-Integrated Live Data Views OOPSLA Ralf Mitschke, Sebastian Erdweg, Mirko Köhler, Mira Mezini, Guido Salvaneschi Link to publication