SPLASH 2014
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States

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

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

Conference Day
Wed 22 Oct

Displayed 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

Conference Day
Thu 23 Oct

Displayed 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
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

Conference Day
Fri 24 Oct

Displayed 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
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
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
Link to publication Media Attached File Attached
Abstract Semantic Differencing via Speculative Correlation
OOPSLA
Link to publication
Accelerating Iterators in Optimizing AST Interpreters
OOPSLA
Link to publication
Adaptive LL(*) Parsing: The Power of Dynamic Analysis
OOPSLA
Link to publication File Attached
Alembic: Automatic Locality Extraction via Migration
OOPSLA
Link to publication Media Attached File Attached
An Experimental Survey of Energy Management Across the Stack
OOPSLA
Link to publication
Atlas: Leveraging Locks for Non-volatile Memory Consistency
OOPSLA
Link to publication
Automated Migration of Build Scripts using Dynamic Analysis and Search-Based Refactoring
OOPSLA
Link to publication
Bounded Exhaustive Test Input Generation from Hybrid Invariants
OOPSLA
Link to publication
Call Sequence Prediction through Probabilistic Calling Automata
OOPSLA
Link to publication
CheckCell: Data Debugging for Spreadsheets
OOPSLA
Link to publication
Checking Correctness of TypeScript Interfaces for JavaScript Libraries
OOPSLA
Link to publication
Chisel: Reliability-Aware Optimization of Approximate Computational Kernels
OOPSLA
Link to publication
Compiler Verification Meets Cross-Language Linking via Data Abstraction
OOPSLA
Link to publication
Confined Gradual Typing
OOPSLA
Link to publication
Continuously Measuring Critical Section Pressure with the Free-Lunch Profiler
OOPSLA
Link to publication
Cybertron: Pushing the Limit on I/O Reduction in Data-Parallel Programs
OOPSLA
Link to publication Media Attached
Determinacy in Static Analysis for jQuery
OOPSLA
Link to publication
Distributed REScala: An Update Algorithm for Distributed Reactive Programming
OOPSLA
Link to publication
Efficient Subcubic Alias Analysis for C
OOPSLA
Link to publication
EventBreak: Analyzing the Responsiveness of User Interfaces through Performance-Guided Test Generation
OOPSLA
Link to publication
Fast Conservative Garbage Collection
OOPSLA
Link to publication
Fast Splittable Pseudorandom Number Generators
OOPSLA
Link to publication
Finding Minimum Type Error Sources
OOPSLA
Link to publication File Attached
Flint: Fixing Linearizability Violations
OOPSLA
Link to publication
Foundations of Path-Dependent Types
OOPSLA
Link to publication File Attached
From Object Algebras to Attribute Grammars
OOPSLA
Link to publication
GPS: Navigating Weak Memory with Ghosts, Protocols, and Separation
OOPSLA
Link to publication
Late Data Layout: Unifying Data Representation Transformations
OOPSLA
Link to publication
Mix10: Compiling MATLAB to X10 for High Performance
OOPSLA
Link to publication
Multithreaded Test Synthesis for Deadlock Detection
OOPSLA
Link to publication
Natural Proofs for Asynchronous Programs using Almost-Synchronous Invariants
OOPSLA
Link to publication
Phosphor: Illuminating Dynamic Data Flow in Commodity JVMs
OOPSLA
Link to publication Media Attached
Rate Types for Stream Programs
OOPSLA
Link to publication File Attached
Refactoring Java Generics by Inferring Wildcards, In Practice
OOPSLA
Link to publication File Attached
Region-based memory management for GPU programming languages: Enabling rich data structures on a spartan host
OOPSLA
Link to publication
Rubah: DSU for Java on a stock JVM
OOPSLA
Link to publication
Smten with Satisfiability-Based Search
OOPSLA
Link to publication
Space-Efficient Multi-Versioning for Input-Adaptive Feedback-Driven Program Optimizations
OOPSLA
Link to publication
Staged Parser Combinators for Efficient Data Processing
OOPSLA
Link to publication
Static Analysis for Independent App Developers
OOPSLA
Link to publication
Statistical Debugging for Real-World Performance Problems
OOPSLA
Link to publication
StreamJIT: A Commensal Compiler for High-Performance Stream Programming
OOPSLA
Link to publication
SurveyMan: Programming and Automatically Debugging Surveys
OOPSLA
Link to publication File Attached
Symbolic Execution of Multithreaded Programs from Arbitrary Program Contexts
OOPSLA
Link to publication
Tardis: Affordable Time-Travel Debugging in Managed Runtimes
OOPSLA
Link to publication
The HipHop Virtual Machine
OOPSLA
Link to publication
Translating Imperative Code to MapReduce
OOPSLA
Link to publication Media Attached
Understanding Energy Behaviors of Thread Management Constructs
OOPSLA
Link to publication
Using Web Corpus Statistics for Program Analysis
OOPSLA
Link to publication
Validation of Memory Accesses Through Symbolic Analyses
OOPSLA
Link to publication
i3QL: Language-Integrated Live Data Views
OOPSLA
Link to publication

Full Citation in the ACM Digital Library

Session: Program Analysis and the Web

Chair: Stephen Chong

Checking correctness of TypeScript interfaces for JavaScript libraries
  • Asger Feldthaus, Anders Møller
Determinacy in static analysis for jQuery
  • Esben Andreasen, Anders Møller
EventBreak: analyzing the responsiveness of user interfaces through performance-guided test generation
  • Michael Pradel, Parker Schuh, George Necula, Koushik Sen
Using web corpus statistics for program analysis
  • Chun-Hung Hsiao, Michael Cafarella, Satish Narayanasamy

Session: Runtime systems

Chair: Martin Hirzel

Tardis: affordable time-travel debugging in managed runtimes
  • Earl T. Barr, Mark Marron
Phosphor: illuminating dynamic data flow in commodity jvms
  • Jonathan Bell, Gail Kaiser
Rubah: DSU for Java on a stock JVM
  • Luís Pina, Luís Veiga, Michael Hicks
Fast conservative garbage collection
  • Rifat Shahriyar, Stephen M. Blackburn, Kathryn S. McKinley

Session: Domain Specific Languages

Chair: Yannis Smaragdakis

Region-based memory management for GPU programming languages: enabling rich data structures on a spartan host
  • Eric Holk, Ryan Newton, Jeremy Siek, Andrew Lumsdaine
Smten with satisfiability-based search
  • Richard Uhler, Nirav Dave
StreamJIT: a commensal compiler for high-performance stream programming
  • Jeffrey Bosboom, Sumanaruban Rajadurai, Weng-Fai Wong, Saman Amarasinghe
SurveyMan: programming and automatically debugging surveys
  • Emma Tosch, Emery D. Berger

Session: Type Systems

Chair: Ravi Chugh

Rate types for stream programs
  • Thomas W. Bartenstein, Yu David Liu
Foundations of path-dependent types
  • Nada Amin, Tiark Rompf, Martin Odersky
Confined gradual typing
  • Esteban Allende, Johan Fabry, Ronald Garcia, Éric Tanter
Refactoring Java generics by inferring wildcards, in practice
  • John Altidor, Yannis Smaragdakis

Session: Energy and Performance

Chair: Shan Lu

Continuously measuring critical section pressure with the free-lunch profiler
  • Florian David, Gael Thomas, Julia Lawall, Gilles Muller
Chisel: reliability- and accuracy-aware optimization of approximate computational kernels
  • Sasa Misailovic, Michael Carbin, Sara Achour, Zichao Qi, Martin C. Rinard
An experimental survey of energy management across the stack
  • Melanie Kambadur, Martha A. Kim
Understanding energy behaviors of thread management constructs
  • Gustavo Pinto, Fernando Castor, Yu David Liu

Session: Languages

Chair: Cristina V. Lopes

Distributed REScala: an update algorithm for distributed reactive programming
  • Joscha Drechsler, Guido Salvaneschi, Ragnar Mogk, Mira Mezini
From object algebras to attribute grammars
  • Tillmann Rendel, Jonathan Immanuel Brachthäuser, Klaus Ostermann
Late data layout: unifying data representation transformations
  • Vlad Ureche, Eugene Burmako, Martin Odersky
i3QL: language-integrated live data views
  • Ralf Mitschke, Sebastian Erdweg, Mirko Köhler, Mira Mezin, >Guido Salvaneschi

Session: Concurrency

Chair: David Grove

Atlas: leveraging locks for non-volatile memory consistency
  • Dhruva R. Chakrabarti, Hans-J. Boehm, Kumud Bhandari
Fast splittable pseudorandom number generators
  • Guy L. Steele, Jr., Doug Lea, Christine H. Flood
Multithreaded test synthesis for deadlock detection
  • Malavika Samak, Murali Krishna Ramanathan
Symbolic execution of multithreaded programs from arbitrary program contexts
  • Tom Bergan, Dan Grossman, Luis Ceze

Session: Debugging

Chair: Caitlin Sadowski

CheckCell: data debugging for spreadsheets
  • Daniel W. Barowy, Dimitar Gochev, Emery D. Berger
Finding minimum type error sources
  • Zvonimir Pavlinovic, Tim King, Thomas Wies
Flint: fixing linearizability violations
  • Peng Liu, Omer Tripp, Xiangyu Zhang
Statistical debugging for real-world performance problems
  • Linhai Song, Shan Lu

Session: Compilation tools

Chair: Robert Grimm

Adaptive LL(*) parsing: the power of dynamic analysis
  • Terence Parr, Sam Harwell, Kathleen Fisher
Automated migration of build scripts using dynamic analysis and search-based refactoring
  • Milos Gligoric, Wolfram Schulte, Chandra Prasad, Danny van Velzen, Iman Narasamdya, Benjamin Livshits
MIX10: compiling MATLAB to X10 for high performance
  • Vineet Kumar, Laurie Hendren
Staged parser combinators for efficient data processing
  • Manohar Jonnalagedda, Thierry Coppey, Sandro Stucki, Tiark Rompf, Martin Odersky

Session: Specification and verification

Chair: Gary T. Leavens

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
Compiler verification meets cross-language linking via data abstraction
  • Peng Wang, Santiago Cuellar, Adam Chlipala
GPS: navigating weak memory with ghosts, protocols, and separation
  • Aaron Turon, Viktor Vafeiadis, Derek Dreyer
Natural proofs for asynchronous programs using almost-synchronous reductions
  • Ankush Desai, Pranav Garg, P. Madhusudan

Session: Dynamic optimization

Chair: Zach Tatlock

Accelerating iterators in optimizing AST interpreters
  • Wei Zhang, Per Larsen, Stefan Brunthaler, Michael Franz
Call sequence prediction through probabilistic calling automata
  • Zhijia Zhao, Bo Wu, Mingzhou Zhou, Yufei Ding, Jianhua Sun, Xipeng Shen, Youfeng Wu
Space-efficient multi-versioning for input-adaptive feedback-driven program optimizations
  • Mingzhou Zhou, Xipeng Shen, Yaoqing Gao, Graham Yiu
The hiphop virtual machine
  • Keith Adams, Jason Evans, Bertrand Maher, Guilherme Ottoni, Andrew Paroski, Brett Simmers, Edwin Smith, Owen Yamauchi

Session: Static analysis

Chair: Anders Moeller

Validation of memory accesses through symbolic analyses
  • Henrique Nazaré, Izabela Maffra, Willer Santos, Leonardo Barbosa, Laure Gonnord, Fernando Magno Quintão Pereira
Abstract semantic differencing via speculative correlation
  • Nimrod Partush, Eran Yahav
Efficient subcubic alias analysis for C
  • Qirun Zhang, Xiao Xiao, Charles Zhang, Hao Yuan, Zhendong Su
Static analysis for independent app developers
  • Lucas Brutschy, Pietro Ferrara, Peter Müller

Session: Distributed computing

Chair: Madanlal Musuvathi

ASPIRE: exploiting asynchronous parallelism in iterative algorithms using a relaxed consistency based DSM
  • Keval Vora, Sai Charan Koduru, Rajiv Gupta
Alembic: automatic locality extraction via migration
  • Brandon Holt, Preston Briggs, Luis Ceze, Mark Oskin
Cybertron: pushing the limit on I/O reduction in data-parallel programs
  • Tian Xiao, Zhenyu Hucheng Zhou, Jiaxing Zhang, Xu Zhao, Chencheng Ye, Xi Wang, Wei Lin, Wenguang Chen, Lidong Zhou
Translating imperative code to MapReduce
  • Cosmin Radoi, Stephen J. Fink, Rodric Rabbah, Manu Sridharan