SPLASH 2014 - OOPSLA - SPLASH 2014 (original) (raw)

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

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.

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

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

10:30 - 12:00	Program Analysis and the WebOOPSLA at Salon E Chair(s): Stephen Chong Harvard University
10:3022mTalk	Checking Correctness of TypeScript Interfaces for JavaScript LibrariesOOPSLAAsger Feldthaus Aarhus University, Anders Møller Aarhus University Link to publication
10:5222mTalk	Determinacy in Static Analysis for jQueryOOPSLAEsben Andreasen Aarhus University, Anders Møller Aarhus University Link to publication
11:1522mTalk	EventBreak: Analyzing the Responsiveness of User Interfaces through Performance-Guided Test GenerationOOPSLAMichael Pradel University of California, Berkeley, USA, Parker Schuh University of California, Berkeley, George Necula University of California, Berkeley, Koushik Sen University of California, Berkeley Link to publication
11:3722mTalk	Using Web Corpus Statistics for Program AnalysisOOPSLAChun-Hung Hsiao University of Michigan, Michael Cafarella University of Michigan, Satish Narayanasamy University of Michigan Link to publication

13:30 - 15:00	Domain Specific LanguagesOOPSLA at Salon E Chair(s): Yannis Smaragdakis University of Athens
13:3022mTalk	Region-based memory management for GPU programming languages: Enabling rich data structures on a spartan hostOOPSLAEric Holk Indiana University, Ryan R. Newton Indiana University, Jeremy G. Siek , Andrew Lumsdaine Indiana University Link to publication
13:5222mTalk	Smten with Satisfiability-Based SearchOOPSLARichard Uhler MIT-CSAIL, Nirav Dave SRI International Link to publication
14:1522mTalk	StreamJIT: A Commensal Compiler for High-Performance Stream ProgrammingOOPSLAJeffrey Bosboom MIT CSAIL, Sumanaruban Rajadurai National University of Singapore, Weng-Fai Wong National University of Singapore, Saman Amarasinghe MIT Link to publication
14:3722mTalk	SurveyMan: Programming and Automatically Debugging SurveysOOPSLAEmma Tosch University of Massachusetts, Amherst, Emery D. Berger University of Massachusetts, Amherst Link to publication File Attached

10:30 - 12:00	Energy and PerformanceOOPSLA at Salon F Chair(s): Shan Lu University of Chicago
10:3022mTalk	Continuously Measuring Critical Section Pressure with the Free-Lunch ProfilerOOPSLAFlorian David LIP6-UPMC/INRIA, Gaël Thomas LIP6-UPMC/INRIA, Julia Lawall LIP6, Gilles Muller LIP6-INRIA/UPMC Link to publication
10:5222mTalk	Chisel: Reliability-Aware Optimization of Approximate Computational KernelsOOPSLASasa Misailovic MIT, Michael Carbin MIT, Sara Achour MIT, Zichao Qi MIT, Martin C. Rinard MIT Link to publication
11:1522mTalk	An Experimental Survey of Energy Management Across the StackOOPSLAMelanie Kambadur Columbia University, Martha A. Kim Columbia University Link to publication
11:3722mTalk	Understanding Energy Behaviors of Thread Management ConstructsOOPSLAGustavo Pinto Federal University of Pernambuco, Fernando Castor UFPE, Yu David Liu State University of New York (SUNY) Binghamton Link to publication

13:30 - 15:00	LanguagesOOPSLA at Salon E Chair(s): Crista Lopes University of California, Irvine
13:3022mTalk	Distributed REScala: An Update Algorithm for Distributed Reactive ProgrammingOOPSLAJoscha Drechsler Technische Universität Darmstadt, Guido Salvaneschi TU Darmstadt, A: Ragnar Mogk Technische Universität Darmstadt, A: Mira Mezini Technical University of Darmstadt Link to publication
13:5222mTalk	From Object Algebras to Attribute GrammarsOOPSLATillmann Rendel University of Marburg, Jonathan Immanuel Brachthäuser University of Marburg, Klaus Ostermann University of Marburg Link to publication
14:1522mTalk	Late Data Layout: Unifying Data Representation TransformationsOOPSLAVlad Ureche EPFL, Eugene Burmako EPFL, Martin Odersky Ecole Polytechnique Federale de Lausanne Link to publication
14:3722mTalk	i3QL: Language-Integrated Live Data ViewsOOPSLARalf Mitschke Technical University of Darmstadt, Sebastian Erdweg TU Darmstadt, Mirko Köhler Technical University of Darmstadt, Mira Mezini Technical University of Darmstadt, Guido Salvaneschi TU Darmstadt Link to publication

15:30 - 17:00	DebuggingOOPSLA at Salon E Chair(s): Caitlin Sadowski Google
15:3022mTalk	CheckCell: Data Debugging for SpreadsheetsOOPSLADan Barowy University of Massachusetts, Amherst, Dimitar Gochev University of Massachusetts, Amherst, Emery D. Berger University of Massachusetts, Amherst Link to publication
15:5222mTalk	Finding Minimum Type Error SourcesOOPSLAZvonimir Pavlinovic New York University, Tim King New York University, Thomas Wies New York University Link to publication File Attached
16:1522mTalk	Flint: Fixing Linearizability ViolationsOOPSLAPeng Liu Purdue University, Omer Tripp IBM Thomas J. Watson Research Center, Xiangyu Zhang Purdue University Link to publication
16:3722mTalk	Statistical Debugging for Real-World Performance ProblemsOOPSLALinhai Song University of Wisconsin–Madison, Shan Lu University of Chicago Link to publication

15:30 - 17:00	Compilation ToolsOOPSLA at Salon F Chair(s): Robert Grimm Goldman Sachs
15:3022mTalk	*Adaptive LL() Parsing: The Power of Dynamic Analysis**OOPSLATerence Parr University of San Francisco, Sam Harwell University of Texas at Austin, Kathleen Fisher Tufts University Link to publication File Attached
15:5222mTalk	Automated Migration of Build Scripts using Dynamic Analysis and Search-Based RefactoringOOPSLAMilos Gligoric University of Illinois at Urbana-Champaign, Wolfram Schulte Microsoft, Chandra Prasad Microsoft, Danny van Velzen Microsoft, Iman Narasamdya Microsoft, Ben Livshits Microsoft Research Link to publication
16:1522mTalk	Mix10: Compiling MATLAB to X10 for High PerformanceOOPSLAVineet Kumar , Laurie Hendren McGill University Link to publication
16:3722mTalk	Staged Parser Combinators for Efficient Data ProcessingOOPSLAManohar Jonnalagedda EPFL, Switzerland, Thierry Coppey EPFL, Switzerland; Google, Sandro Stucki EPFL, Switzerland, Tiark Rompf Purdue & Oracle Labs, Martin Odersky Ecole Polytechnique Federale de Lausanne Link to publication

10:30 - 12:00	Specification and VerificationOOPSLA at Salon E Chair(s): Gary T. Leavens University of Central Florida
10:3022mTalk	Bounded Exhaustive Test Input Generation from Hybrid InvariantsOOPSLANico Rosner Dept. of Computer Science FCEyN, University of Buenos Aires, Valeria Bengolea Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Pablo Ponzio Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Shadi Abdul Khalek Google, Nazareno Aguirre Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires, Sarfraz Khurshid University of Texas at Austin Link to publication
10:5222mTalk	Compiler Verification Meets Cross-Language Linking via Data AbstractionOOPSLAPeng Wang MIT CSAIL, Santiago Cuellar Princeton, Adam Chlipala MIT Link to publication
11:1522mTalk	GPS: Navigating Weak Memory with Ghosts, Protocols, and SeparationOOPSLAAaron Turon MPI-SWS, Viktor Vafeiadis MPI-SWS, Germany, Derek Dreyer MPI-SWS Link to publication
11:3722mTalk	Natural Proofs for Asynchronous Programs using Almost-Synchronous InvariantsOOPSLAAnkush Desai University of California, Berkeley, Pranav Garg University of Illinois at Urbana-Champaign, P. Madhusudan University of Illinois at Urbana-Champaign Link to publication

10:30 - 12:00	Dynamic OptimizationOOPSLA at Salon F Chair(s): Zachary Tatlock University of Washington, Seattle
10:3022mTalk	Accelerating Iterators in Optimizing AST InterpretersOOPSLAWei Zhang University of California, Irvine, Per Larsen University of California, Irvine, Stefan Brunthaler University of California, Irvine, Michael Franz University of California, Irvine Link to publication
10:5222mTalk	Call Sequence Prediction through Probabilistic Calling AutomataOOPSLAZhijia Zhao College of William and Mary / North Carolina State University, Bo Wu College of William and Mary, Mingzhou Zhou College of William and Mary, Yufei Ding College of William and Mary, Jianhua Sun College of William and Mary, Xipeng Shen North Carolina State University, Youfeng Wu Intel Corporation Link to publication
11:1522mTalk	Space-Efficient Multi-Versioning for Input-Adaptive Feedback-Driven Program OptimizationsOOPSLAMingzhou Zhou College of William and Mary, Xipeng Shen North Carolina State University, Yaoqing Gao IBM Toronto Labs, Graham Yiu IBM Toronto Labs Link to publication
11:3722mTalk	The HipHop Virtual MachineOOPSLAKeith Adams Facebook, Jason Evans Facebook, Bertrand Maher Facebook, Guilherme Ottoni Facebook, Drew Paroski Facebook, Brett Simmers Facebook, Edwin Smith Facebook, Owen Yamauchi Facebook Link to publication

13:30 - 15:00	Static AnalysisOOPSLA at Salon E Chair(s): Anders Møller Aarhus University
13:3022mTalk	Validation of Memory Accesses Through Symbolic AnalysesOOPSLAHenrique Nazaré Santos UFMG, Izabela Karennina Travizani Maffra UFMG, Willer Fernandes Santos UFMG, Leonardo Barbosa Oliveira UFMG, Laure Gonnord University of Lyon & LIP, France, Fernando Magno Quintão Pereira UFMG Link to publication
13:5222mTalk	Abstract Semantic Differencing via Speculative CorrelationOOPSLANimrod Partush Technion, Eran Yahav Technion Link to publication
14:1522mTalk	Efficient Subcubic Alias Analysis for COOPSLAQirun Zhang The Hong Kong University of Science and Technology, A: Xiao Xiao The Hong Kong University of Science and Technology, A: Charles Zhang Hong Kong University of Science and Technology, A: Hao Yuan BOPU Technologies, A: Zhendong Su University of California, Davis Link to publication
14:3722mTalk	Static Analysis for Independent App DevelopersOOPSLALucas Brutschy ETH Zurich, Pietro Ferrara IBM Thomas J. Watson Research Center, Peter Müller ETH Zurich Link to publication

13:30 - 15:00	Distributed ComputingOOPSLA at Salon F Chair(s): Madan Musuvathi Microsoft Research
13:3022mTalk	ASPIRE: Exploiting Asynchronous Parallelism in Iterative Algorithms using a Relaxed Consistency based DSMOOPSLAKeval Vora University of California, Riverside, Sai Charan Koduru University of California, Riverside, Rajiv Gupta UC Riverside Link to publication Media Attached File Attached
13:5222mTalk	Alembic: Automatic Locality Extraction via MigrationOOPSLABrandon Holt University of Washington, Preston Briggs University of Washington, Luis Ceze University of Washington, Mark Oskin University of Washington Link to publication Media Attached File Attached
14:1522mTalk	Cybertron: Pushing the Limit on I/O Reduction in Data-Parallel ProgramsOOPSLATian Xiao Tsinghua University / Microsoft Research, Zhenyu Guo Microsoft Research, Hucheng Zhou Microsoft Research, Jiaxing Zhang Microsoft Research, Xu Zhao University of Toronto, Chencheng Ye Huazhong University of Science and Technology, Xi Wang MIT CSAIL, Wei Lin Microsoft Bing, Wenguang Chen Tsinghua University, Lidong Zhou Microsoft Research Link to publication Media Attached
14:3722mTalk	Translating Imperative Code to MapReduceOOPSLACosmin Radoi University of Illinois, Stephen J Fink IBM, Rodric Rabbah IBM Research, Manu Sridharan Samsung Research America Link to publication Media Attached

Accepted Papers

Title
Abstract Semantic Differencing via Speculative CorrelationOOPSLANimrod Partush, Eran Yahav Link to publication
Accelerating Iterators in Optimizing AST InterpretersOOPSLAWei Zhang, Per Larsen, Stefan Brunthaler, Michael Franz Link to publication
Adaptive LL(*) Parsing: The Power of Dynamic AnalysisOOPSLATerence Parr, Sam Harwell, Kathleen Fisher Link to publication File Attached
Alembic: Automatic Locality Extraction via MigrationOOPSLABrandon Holt, Preston Briggs, Luis Ceze, Mark Oskin Link to publication Media Attached File Attached
An Experimental Survey of Energy Management Across the StackOOPSLAMelanie Kambadur, Martha A. Kim Link to publication
ASPIRE: Exploiting Asynchronous Parallelism in Iterative Algorithms using a Relaxed Consistency based DSMOOPSLAKeval Vora, Sai Charan Koduru, Rajiv Gupta Link to publication Media Attached File Attached
Atlas: Leveraging Locks for Non-volatile Memory ConsistencyOOPSLADhruva Chakrabarti, Hans-J. Boehm, Kumud Bhandari Link to publication
Automated Migration of Build Scripts using Dynamic Analysis and Search-Based RefactoringOOPSLAMilos Gligoric, Wolfram Schulte, Chandra Prasad, Danny van Velzen, Iman Narasamdya, Ben Livshits Link to publication
Bounded Exhaustive Test Input Generation from Hybrid InvariantsOOPSLANico Rosner, Valeria Bengolea, Pablo Ponzio, Shadi Abdul Khalek, Nazareno Aguirre, Marcelo F. Frias, Sarfraz Khurshid Link to publication
Call Sequence Prediction through Probabilistic Calling AutomataOOPSLAZhijia Zhao, Bo Wu, Mingzhou Zhou, Yufei Ding, Jianhua Sun, Xipeng Shen, Youfeng Wu Link to publication
CheckCell: Data Debugging for SpreadsheetsOOPSLADan Barowy, Dimitar Gochev, Emery D. Berger Link to publication
Checking Correctness of TypeScript Interfaces for JavaScript LibrariesOOPSLAAsger Feldthaus, Anders Møller Link to publication
Chisel: Reliability-Aware Optimization of Approximate Computational KernelsOOPSLASasa Misailovic, Michael Carbin, Sara Achour, Zichao Qi, Martin C. Rinard Link to publication
Compiler Verification Meets Cross-Language Linking via Data AbstractionOOPSLAPeng Wang, Santiago Cuellar, Adam Chlipala Link to publication
Confined Gradual TypingOOPSLAEsteban Allende, Johan Fabry, Ronald Garcia, Éric Tanter Link to publication
Continuously Measuring Critical Section Pressure with the Free-Lunch ProfilerOOPSLAFlorian David, Gaël Thomas, Julia Lawall, Gilles Muller Link to publication
Cybertron: Pushing the Limit on I/O Reduction in Data-Parallel ProgramsOOPSLATian 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 jQueryOOPSLAEsben Andreasen, Anders Møller Link to publication
Distributed REScala: An Update Algorithm for Distributed Reactive ProgrammingOOPSLAJoscha Drechsler, Guido Salvaneschi, A: Ragnar Mogk, A: Mira Mezini Link to publication
Efficient Subcubic Alias Analysis for COOPSLAQirun 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 GenerationOOPSLAMichael Pradel, Parker Schuh, George Necula, Koushik Sen Link to publication
Fast Conservative Garbage CollectionOOPSLARifat Shahriyar, Steve Blackburn, Kathryn S McKinley Link to publication
Fast Splittable Pseudorandom Number GeneratorsOOPSLAGuy L. Steele Jr., Doug Lea, Christine H. Flood Link to publication
Finding Minimum Type Error SourcesOOPSLAZvonimir Pavlinovic, Tim King, Thomas Wies Link to publication File Attached
Flint: Fixing Linearizability ViolationsOOPSLAPeng Liu, Omer Tripp, Xiangyu Zhang Link to publication
Foundations of Path-Dependent TypesOOPSLANada Amin, Tiark Rompf, Martin Odersky Link to publication File Attached
From Object Algebras to Attribute GrammarsOOPSLATillmann Rendel, Jonathan Immanuel Brachthäuser, Klaus Ostermann Link to publication
GPS: Navigating Weak Memory with Ghosts, Protocols, and SeparationOOPSLAAaron Turon, Viktor Vafeiadis, Derek Dreyer Link to publication
i3QL: Language-Integrated Live Data ViewsOOPSLARalf Mitschke, Sebastian Erdweg, Mirko Köhler, Mira Mezini, Guido Salvaneschi Link to publication
Late Data Layout: Unifying Data Representation TransformationsOOPSLAVlad Ureche, Eugene Burmako, Martin Odersky Link to publication
Mix10: Compiling MATLAB to X10 for High PerformanceOOPSLAVineet Kumar, Laurie Hendren Link to publication
Multithreaded Test Synthesis for Deadlock DetectionOOPSLAMalavika Samak, Murali Krishna Ramanathan Link to publication
Natural Proofs for Asynchronous Programs using Almost-Synchronous InvariantsOOPSLAAnkush Desai, Pranav Garg, P. Madhusudan Link to publication
Phosphor: Illuminating Dynamic Data Flow in Commodity JVMsOOPSLAJonathan Bell, Gail Kaiser Link to publication Media Attached
Rate Types for Stream ProgramsOOPSLAThomas W. Bartenstein, Yu David Liu Link to publication File Attached
Refactoring Java Generics by Inferring Wildcards, In PracticeOOPSLAJohn Altidor, Yannis Smaragdakis Link to publication File Attached
Region-based memory management for GPU programming languages: Enabling rich data structures on a spartan hostOOPSLAEric Holk, Ryan R. Newton, Jeremy G. Siek, Andrew Lumsdaine Link to publication
Rubah: DSU for Java on a stock JVMOOPSLALuís Pina, Luís Veiga, Michael Hicks Link to publication
Smten with Satisfiability-Based SearchOOPSLARichard Uhler, Nirav Dave Link to publication
Space-Efficient Multi-Versioning for Input-Adaptive Feedback-Driven Program OptimizationsOOPSLAMingzhou Zhou, Xipeng Shen, Yaoqing Gao, Graham Yiu Link to publication
Staged Parser Combinators for Efficient Data ProcessingOOPSLAManohar Jonnalagedda, Thierry Coppey, Sandro Stucki, Tiark Rompf, Martin Odersky Link to publication
Static Analysis for Independent App DevelopersOOPSLALucas Brutschy, Pietro Ferrara, Peter Müller Link to publication
Statistical Debugging for Real-World Performance ProblemsOOPSLALinhai Song, Shan Lu Link to publication
StreamJIT: A Commensal Compiler for High-Performance Stream ProgrammingOOPSLAJeffrey Bosboom, Sumanaruban Rajadurai, Weng-Fai Wong, Saman Amarasinghe Link to publication
SurveyMan: Programming and Automatically Debugging SurveysOOPSLAEmma Tosch, Emery D. Berger Link to publication File Attached
Symbolic Execution of Multithreaded Programs from Arbitrary Program ContextsOOPSLATom Bergan, Dan Grossman, Luis Ceze Link to publication
Tardis: Affordable Time-Travel Debugging in Managed RuntimesOOPSLAEarl T. Barr, Mark Marron Link to publication
The HipHop Virtual MachineOOPSLAKeith Adams, Jason Evans, Bertrand Maher, Guilherme Ottoni, Drew Paroski, Brett Simmers, Edwin Smith, Owen Yamauchi Link to publication
Translating Imperative Code to MapReduceOOPSLACosmin Radoi, Stephen J Fink, Rodric Rabbah, Manu Sridharan Link to publication Media Attached
Understanding Energy Behaviors of Thread Management ConstructsOOPSLAGustavo Pinto, Fernando Castor, Yu David Liu Link to publication
Using Web Corpus Statistics for Program AnalysisOOPSLAChun-Hung Hsiao, Michael Cafarella, Satish Narayanasamy Link to publication
Validation of Memory Accesses Through Symbolic AnalysesOOPSLAHenrique Nazaré Santos, Izabela Karennina Travizani Maffra, Willer Fernandes Santos, Leonardo Barbosa Oliveira, Laure Gonnord, Fernando Magno Quintão Pereira 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.