SPLASH 2014 OOPSLA

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).

Wed 22 Oct

10:30 - 12:00: OOPSLA - Program Analysis and the Web at Salon E
Chair(s): Stephen Chong

10:30 - 10:52
Talk

Checking Correctness of TypeScript Interfaces for JavaScript Libraries

Asger Feldthaus, Anders Møller

Link to publication

10:52 - 11:15
Talk

Determinacy in Static Analysis for jQuery

Esben Andreasen, Anders Møller

Link to publication

11:15 - 11:37
Talk

EventBreak: Analyzing the Responsiveness of User Interfaces through Performance-Guided Test Generation

Michael Pradel, Parker Schuh, George Necula, Koushik Sen

Link to publication

11:37 - 12:00
Talk

Using Web Corpus Statistics for Program Analysis

Chun-Hung Hsiao, Michael Cafarella, Satish Narayanasamy

Link to publication

10:30 - 12:00: OOPSLA - Runtime Systems at Salon F
Chair(s): Martin Hirzel

10:30 - 10:52
Talk

Tardis: Affordable Time-Travel Debugging in Managed Runtimes

Earl Barr, Mark Marron

Link to publication

10:52 - 11:15
Talk

Phosphor: Illuminating Dynamic Data Flow in Commodity JVMs

Jonathan Bell, Gail Kaiser

Link to publication Media Attached

11:15 - 11:37
Talk

Rubah: DSU for Java on a stock JVM

Luís Pina, Luís Veiga, Michael Hicks

Link to publication

11:37 - 12:00
Talk

Fast Conservative Garbage Collection

Rifat Shahriyar, Steve Blackburn, Kathryn S McKinley

Link to publication

13:30 - 15:00: OOPSLA - Domain Specific Languages at Salon E
Chair(s): Yannis Smaragdakis

13:30 - 13:52
Talk

Region-based memory management for GPU programming languages: Enabling rich data structures on a spartan host

Eric Holk, Ryan R. Newton, Jeremy G. Siek, Andrew Lumsdaine

Link to publication

13:52 - 14:15
Talk

Smten with Satisfiability-Based Search

Richard Uhler, Nirav Dave

Link to publication

14:15 - 14:37
Talk

StreamJIT: A Commensal Compiler for High-Performance Stream Programming

Jeffrey Bosboom, Sumanaruban Rajadurai, Weng-Fai Wong, Saman Amarasinghe

Link to publication

14:37 - 15:00
Talk

SurveyMan: Programming and Automatically Debugging Surveys

Emma Tosch, Emery Berger

Link to publication File Attached

Thu 23 Oct

10:30 - 12:00: OOPSLA - Energy and Performance at Salon F
Chair(s): Shan Lu

10:30 - 10:52
Talk

Continuously Measuring Critical Section Pressure with the Free-Lunch Profiler

Florian David, Gaël Thomas, Julia Lawall, Gilles Muller

Link to publication

10:52 - 11:15
Talk

Chisel: Reliability-Aware Optimization of Approximate Computational Kernels

Sasa Misailovic, Michael Carbin, Sara Achour, Zichao Qi, Martin Rinard

Link to publication

11:15 - 11:37
Talk

An Experimental Survey of Energy Management Across the Stack

Melanie Kambadur, Martha A. Kim

Link to publication

11:37 - 12:00
Talk

Understanding Energy Behaviors of Thread Management Constructs

Gustavo Pinto, Fernando Castor, Yu David Liu

Link to publication

10:30 - 12:00: OOPSLA - Type Systems at Salon E
Chair(s): Ravi Chugh

10:30 - 10:52
Talk

Rate Types for Stream Programs

Thomas W. Bartenstein, Yu David Liu

Link to publication File Attached

10:52 - 11:15
Talk

Foundations of Path-Dependent Types

Nada Amin, Tiark Rompf, Martin Odersky

Link to publication File Attached

11:15 - 11:37
Talk

Confined Gradual Typing

Esteban Allende, Johan Fabry, Ronald Garcia, Éric Tanter

Link to publication

11:37 - 12:00
Talk

Refactoring Java Generics by Inferring Wildcards, In Practice

John Altidor, Yannis Smaragdakis

Link to publication File Attached

13:30 - 15:00: OOPSLA - Concurrency at Salon F
Chair(s): David Grove

13:30 - 13:52
Talk

Atlas: Leveraging Locks for Non-volatile Memory Consistency

Dhruva Chakrabarti, Hans-J. Boehm, Kumud Bhandari

Link to publication

13:52 - 14:15
Talk

Fast Splittable Pseudorandom Number Generators

Guy L. Steele Jr., Doug Lea, Christine H. Flood

Link to publication

14:15 - 14:37
Talk

Multithreaded Test Synthesis for Deadlock Detection

Malavika Samak, Murali Krishna Ramanathan

Link to publication

14:37 - 15:00
Talk

Symbolic Execution of Multithreaded Programs from Arbitrary Program Contexts

Tom Bergan, Dan Grossman, Luis Ceze

Link to publication

13:30 - 15:00: OOPSLA - Languages at Salon E
Chair(s): Crista Lopes

13:30 - 13:52
Talk

Distributed REScala: An Update Algorithm for Distributed Reactive Programming

Joscha Drechsler, Guido Salvaneschi, Ragnar Mogk, Mira Mezini

Link to publication

13:52 - 14:15
Talk

From Object Algebras to Attribute Grammars

Tillmann Rendel, Jonathan Immanuel Brachthäuser, Klaus Ostermann

Link to publication

14:15 - 14:37
Talk

Late Data Layout: Unifying Data Representation Transformations

Vlad Ureche, Eugene Burmako, Martin Odersky

Link to publication

14:37 - 15:00
Talk

i3QL: Language-Integrated Live Data Views

Ralf Mitschke, Sebastian Erdweg, Mirko Kohler, Mira Mezini, Guido Salvaneschi

Link to publication

15:30 - 17:00: OOPSLA - Compilation Tools at Salon F
Chair(s): Robert Grimm

15:30 - 15:52
Talk

Adaptive LL(*) Parsing: The Power of Dynamic Analysis

Terence Parr, Sam Harwell, Kathleen Fisher

Link to publication File Attached

15:52 - 16:15
Talk

Automated Migration of Build Scripts using Dynamic Analysis and Search-Based Refactoring

Milos Gligoric, Wolfram Schulte, Chandra Prasad, Danny van Velzen, Iman Narasamdya, Ben Livshits

Link to publication

16:15 - 16:37
Talk

Mix10: Compiling MATLAB to X10 for High Performance

Vineet Kumar, Laurie Hendren

Link to publication

16:37 - 17:00
Talk

Staged Parser Combinators for Efficient Data Processing

Manohar Jonnalagedda, Thierry Coppey, Sandro Stucki, Tiark Rompf, Martin Odersky

Link to publication

15:30 - 17:00: OOPSLA - Debugging at Salon E
Chair(s): Caitlin Sadowski

15:30 - 15:52
Talk

CheckCell: Data Debugging for Spreadsheets

Dan Barowy, Dimitar Gochev, Emery Berger

Link to publication

15:52 - 16:15
Talk

Finding Minimum Type Error Sources

Zvonimir Pavlinovic, Tim King, Thomas Wies

Link to publication File Attached

16:15 - 16:37
Talk

Flint: Fixing Linearizability Violations

Peng Liu, Omer Tripp, Xiangyu Zhang

Link to publication

16:37 - 17:00
Talk

Statistical Debugging for Real-World Performance Problems

Linhai Song, Shan Lu

Link to publication

Fri 24 Oct

10:30 - 12:00: OOPSLA - Dynamic Optimization at Salon F
Chair(s): Zachary Tatlock

10:30 - 10:52
Talk

Accelerating Iterators in Optimizing AST Interpreters

Wei Zhang, Per Larsen, Stefan Brunthaler, Michael Franz

Link to publication

10:52 - 11:15
Talk

Call Sequence Prediction through Probabilistic Calling Automata

Zhijia Zhao, Bo Wu, Mingzhou Zhou, Yufei Ding, Jianhua Sun, Xipeng Shen, Youfeng Wu

Link to publication

11:15 - 11:37
Talk

Space-Efficient Multi-Versioning for Input-Adaptive Feedback-Driven Program Optimizations

Mingzhou Zhou, Xipeng Shen, Yaoqing Gao, Graham Yiu

Link to publication

11:37 - 12:00
Talk

The HipHop Virtual Machine

Keith Adams, Jason Evans, Bertrand Maher, Guilherme Ottoni, Drew Paroski, Brett Simmers, Edwin Smith, Owen Yamauchi

Link to publication

10:30 - 12:00: OOPSLA - Specification and Verification at Salon E
Chair(s): Gary Leavens

10:30 - 10:52
Talk

Bounded Exhaustive Test Input Generation from Hybrid Invariants

Nicolás Rosner, Valeria Bengolea, Pablo Ponzio, Shadi Abdul Khalek, Nazareno Aguirre, Marcelo F. Frias, Sarfraz Khurshid

Link to publication

10:52 - 11:15
Talk

Compiler Verification Meets Cross-Language Linking via Data Abstraction

Peng Wang, Santiago Cuellar, Adam Chlipala

Link to publication

11:15 - 11:37
Talk

GPS: Navigating Weak Memory with Ghosts, Protocols, and Separation

Aaron Turon, Viktor Vafeiadis, Derek Dreyer

Link to publication

11:37 - 12:00
Talk

Natural Proofs for Asynchronous Programs using Almost-Synchronous Invariants

Ankush Desai, Pranav Garg, P. Madhusudan

Link to publication

13:30 - 15:00: OOPSLA - Distributed Computing at Salon F
Chair(s): Madan Musuvathi

13:30 - 13:52
Talk

ASPIRE: Exploiting Asynchronous Parallelism in Iterative Algorithms using a Relaxed Consistency based DSM

Keval Vora, Sai Charan Koduru, Rajiv Gupta

Link to publication Media Attached File Attached

13:52 - 14:15
Talk

Alembic: Automatic Locality Extraction via Migration

Brandon Holt, Preston Briggs, Luis Ceze, Mark Oskin

Link to publication Media Attached File Attached

14:15 - 14:37
Talk

Cybertron: Pushing the Limit on I/O Reduction in Data-Parallel Programs

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

14:37 - 15:00
Talk

Translating Imperative Code to MapReduce

Cosmin Radoi, Stephen J Fink, Rodric Rabbah, Manu Sridharan

Link to publication Media Attached

13:30 - 15:00: OOPSLA - Static Analysis at Salon E
Chair(s): Anders Møller

13:30 - 13:52
Talk

Validation of Memory Accesses Through Symbolic Analyses

Henrique Nazaré Santos, Izabela Karennina Travizani Maffra, Willer Fernandes Santos, Leonardo Barbosa Oliveira, Laure Gonnord, Fernando Magno Quintão Pereira

Link to publication

13:52 - 14:15
Talk

Abstract Semantic Differencing via Speculative Correlation

Nimrod Partush, Eran Yahav

Link to publication

14:15 - 14:37
Talk

Efficient Subcubic Alias Analysis for C

Qirun Zhang, Xiao Xiao, Charles Zhang, Hao Yuan, Zhendong Su

Link to publication

14:37 - 15:00
Talk

Static Analysis for Independent App Developers

Lucas Brutschy, Pietro Ferrara, Peter Müller

Link to publication

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