PROMOTO 2015
Tue 27 Oct 2015 Pittsburgh, Pennsylvania, United States
co-located with SPLASH 2015
SPLASH 2015 (series) / PROMOTO 2015 (series) / Sheraton Station Square Hotel /

Room information: Grand Station 2

VenueSheraton Station Square Hotel
Room nameGrand Station 2
Floor1
Room Information

Program

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

Mon 26 Oct

Displayed time zone: Eastern Time (US & Canada) change

10:30 - 12:00
Language Development and EvaluationSLE at Grand Station 2
Chair(s): Davide Di Ruscio University of L'Aquila
10:30
10m
Day opening
Opening
SLE
Davide Di Ruscio University of L'Aquila, Markus Völter itemis, Germany
10:40
30m
Talk
On Integrating Graphical and Textual Editors for a UML Profile Based Domain Specific Language: An Industrial Experience
SLE
Salome Maro Chalmers University of Technology, Sweden, Jan-Philipp Steghöfer Chalmers University of Technology, Sweden, Anthony Anjorin Chalmers University of Technology, Sweden, Matthias Tichy University of Ulm, Germany, Lars Gelin Ericsson, Sweden
DOI
11:10
30m
Talk
An Empirical Study on Simplification of Business Process Modeling Languages
SLE
Eric Umuhoza Politecnico di Milano, Italy, Marco Brambilla Politecnico di Milano, Italy, Davide Ripamonti Politecnico di Milano, Italy, Jordi Cabot ICREA, Spain
DOI Media Attached
11:40
20m
Talk
Melange: A Meta-language for Modular and Reusable Development of DSLs
SLE
Thomas Degueule INRIA, France, Benoit Combemale INRIA, France, Arnaud Blouin INSA Rennes, France, Olivier Barais University of Rennes 1, France, Jean-Marc Jézéquel University of Rennes 1, France
DOI
13:30 - 15:00
Model and Program TransformationSLE at Grand Station 2
Chair(s): Tijs van der Storm CWI
13:30
30m
Talk
Distributed Model-to-Model Transformation with ATL on MapReduce
SLE
Amine Benelallam , Abel Gomez-Llana , Massimo Tisi , Jordi Cabot ICREA, Spain
DOI
14:00
30m
Talk
Managing Uncertainty in Bidirectional Model Transformations
SLE
Romina Eramo University of L'Aquila, Italy, Alfonso Pierantonio University of L'Aquila, Italy, Gianni Rosa University of L'Aquila, Italy
DOI
14:30
30m
Talk
Modular Capture Avoidance for Program Transformations
SLE
Nico Ritschel TU Darmstadt, Germany, Sebastian Erdweg TU Darmstadt, Germany
Link to publication DOI
15:30 - 17:00
Tools ISLE at Grand Station 2
Chair(s): David J. Pearce Victoria University of Wellington
15:30
30m
Talk
XMLText: From XML Schema to Xtext
SLE
Patrick Neubauer Vienna University of Technology, Austria, Alexander Bergmayr Vienna University of Technology, Austria, Tanja Mayerhofer Vienna University of Technology, Austria, Javier Troya Vienna University of Technology, Austria, Manuel Wimmer Vienna University of Technology, Austria
DOI
16:00
30m
Talk
Designing Languages using Lightning
SLE
Loïc Gammaitoni University of Luxembourg, Luxembourg, Pierre Kelsen University of Luxembourg, Luxembourg, Christian Glodt University of Luxembourg, Luxembourg
DOI
16:30
30m
Talk
Analysis and Transformation with the Nuthatch Tree-Walking Library
SLE
Anya Helene Bagge University of Bergen, Norway
DOI

Tue 27 Oct

Displayed time zone: Eastern Time (US & Canada) change

10:30 - 12:00
Formal Modeling and Language ValidationSLE at Grand Station 2
Chair(s): Marco Brambilla Politecnico di Milano, Italy
10:30
30m
Talk
Reference Attribute Grammar Controlled Graph Rewriting: Motivation and Overview
SLE
Christoff Bürger Lund University, Sweden
DOI
11:00
30m
Talk
Example-Based Validation of Domain-Specific Visual Languages
SLE
Jesús J. López-Fernández Autonomous University of Madrid, Spain, Esther Guerra Autonomous University of Madrid, Spain, Juan de Lara Autonomous University of Madrid, Spain
DOI
11:30
30m
Talk
A Combined Formal Model for Relational Context-Dependent Roles
SLE
Thomas Kühn TU Dresden, Germany, Stephan Böhme TU Dresden, Germany, Sebastian Götz TU Dresden, Germany, Uwe Aßmann TU Dresden, Germany
DOI
13:30 - 15:00
Model Execution and VerificationSLE at Grand Station 2
Chair(s): Davide Di Ruscio University of L'Aquila
13:30
30m
Talk
Weaving Concurrency in eXecutable Domain-Specific Modeling Languages
SLE
Florent Latombe University of Toulouse, France, Xavier Crégut University of Toulouse, France, Benoit Combemale INRIA, France, Julien DeAntoni , Marc Pantel University of Toulouse, France
DOI Pre-print Media Attached File Attached
14:00
30m
Talk
Supporting Efficient and Advanced Omniscient Debugging for xDSMLs
SLE
Erwan Bousse IRISA, France, Jonathan Corley University of Alabama, USA, Benoit Combemale INRIA, France, Jeff Gray University of Alabama, USA, Benoit Baudry INRIA, France
Link to publication DOI File Attached
14:30
30m
Talk
Using Decision Rules for Solving Conflicts in Extended Feature Models
SLE
Lina Ochoa University of Los Andes, Colombia, Oscar González-Rojas University of Los Andes, Colombia, Thomas Thüm University of Ulm
DOI
15:30 - 17:00
Tools II and ClosingSLE at Grand Station 2
Chair(s): Anya Helene Bagge University of Bergen, Norway
15:30
30m
Talk
The Whiley Rewrite Language (WyRL)
SLE
David J. Pearce Victoria University of Wellington
DOI
16:00
30m
Talk
Parsing Expression Grammars Made Practical
SLE
Nicolas Laurent Université Catholique de Louvain, Belgium, Kim Mens Université Catholique de Louvain, Belgium
DOI Pre-print
16:30
30m
Day closing
Closing
SLE

Wed 28 Oct

Displayed time zone: Eastern Time (US & Canada) change

10:30 - 12:00
2. Domain Specific LanguagesSPLASH OOPSLA at Grand Station 2
Chair(s): Eelco Visser Delft University of Technology
10:30
22m
Talk
Synthesis of Layout Engines from Relational Constraints
SPLASH OOPSLA
Thibaud Hottelier Graphistry, Inc, Rastislav Bodík University of Washington, USA
Link to publication Media Attached
10:52
22m
Talk
A Sound and Optimal Incremental Build System with Dynamic DependenciesOOPSLA Artifact
SPLASH OOPSLA
Sebastian Erdweg TU Darmstadt, Germany, Moritz Lichter TU Darmstadt, Germany, Manuel Weiel TU Darmstadt, Germany
Link to publication Media Attached
11:15
22m
Talk
FlashMeta: A Framework for Inductive Program Synthesis
SPLASH OOPSLA
Alex Polozov University of Washington, USA, Sumit Gulwani Microsoft Research, USA
Link to publication DOI Media Attached
11:37
22m
Talk
Scrap your Boilerplate with Object AlgebrasOOPSLA Artifact
SPLASH OOPSLA
Haoyuan Zhang University of Hong Kong, China, Zewei Chu University of Hong Kong, China, Bruno C. d. S. Oliveira University of Hong Kong, China, Tijs van der Storm CWI
Link to publication Media Attached
13:30 - 15:00
Session the FirstOnward! Papers at Grand Station 2
Chair(s): Stéphane Ducasse INRIA, France
13:30
22m
Talk
Towards Secure Integration of Cryptographic Software
Onward! Papers
Steven Arzt TU Darmstadt, Sarah Nadi Technische Universität Darmstadt, Karim Ali TU Darmstadt, Sebastian Erdweg TU Darmstadt, Germany, Eric Bodden Fraunhofer SIT and TU Darmstadt, Mira Mezini TU Darmstadt
Link to publication DOI Media Attached
13:52
22m
Talk
Runtime Metric Meets Developer - Building Better Cloud Applications Using Feedback
Onward! Papers
Jürgen Cito University of Zurich, Philipp Leitner University of Zurich, Harald Gall University of Zurich, Aryan Dadashi SAP, Anne Keller SAP, Andreas Roth SAP
Pre-print Media Attached
14:15
22m
Talk
Constraints as a Design Pattern
Onward! Papers
Hesam Samimi SAP Labs, Alessandro Warth SAP Labs, Mahdi Eslamimehr SAP Labs, Alan Borning University of Washington, USA
14:37
22m
Talk
The Moldable Inspector
Onward! Papers
Andrei Chiş University of Bern, Switzerland, Tudor Gîrba tudorgirba.com, Switzerland, Oscar Nierstrasz University of Bern, Switzerland, Aliaksei Syrel University of Bern, Switzerland
DOI Pre-print Media Attached
15:30 - 17:00
Session 1Onward! Essays at Grand Station 2
Chair(s): Richard P. Gabriel Dream Songs, Inc. & IBM Research
15:30
45m
Talk
Against a Universal Definition of Type
Onward! Essays
Tomas Petricek University of Cambridge, UK
DOI Media Attached
16:15
45m
Talk
The Cuban Software Revolution: 2016–2025
Onward! Essays
David M. West Transcendence, USA
DOI
19:30 - 21:30
Richard's Pretty Good TalksSPLASH RPG at Grand Station 2
Chair(s): Richard P. Gabriel Dream Songs, Inc. & IBM Research
19:30
60m
Meeting
Programming as Writing (and vice versa?)
SPLASH RPG
Crista Lopes University of California, Irvine, Annette Vee University of Pittsburgh
20:30
60m
Meeting
Singing the Blues / What is a Song?
SPLASH RPG

Thu 29 Oct

Displayed time zone: Eastern Time (US & Canada) change

10:30 - 12:00
6. Compilation and ToolsSPLASH OOPSLA at Grand Station 2
Chair(s): Gorel Hedin Lund University
10:30
22m
Talk
Declarative Fence InsertionOOPSLA Artifact
SPLASH OOPSLA
John Bender University of California at Los Angeles, USA, Mohsen Lesani MIT, Jens Palsberg University of California at Los Angeles, USA
Link to publication
10:52
22m
Talk
Finding Deep Compiler Bugs via Guided Stochastic Program Mutation
SPLASH OOPSLA
Vu Le University of California at Davis, USA, Chengnian Sun University of California at Davis, USA, Zhendong Su University of California at Davis, USA
DOI
11:15
22m
Talk
Vectorization of Apply to Reduce Interpretation Overhead of ROOPSLA Artifact
SPLASH OOPSLA
Haichuan Wang University of Illinois at Urbana-Champaign, David Padua University of Illinois at Urbana-Champaign, Peng Wu Huawei America Lab
DOI
11:37
22m
Talk
Synthesizing Java Expressions from Free-Form Queries
SPLASH OOPSLA
Tihomir Gvero EPFL, Switzerland, Viktor Kunčak EPFL, Switzerland
Link to publication

Fri 30 Oct

Displayed time zone: Eastern Time (US & Canada) change

10:30 - 12:00
10. Empirical Studies & ApproximationSPLASH OOPSLA at Grand Station 2
Chair(s): John Field Google
10:30
22m
Talk
Using C Language Extensions for Developing Embedded Software: A Case Study
SPLASH OOPSLA
Markus Völter itemis, Germany, Arie van Deursen Delft University of Technology, Netherlands, Bernd Kolb itemis AG, Stephan Eberle itemis AG
DOI Pre-print Media Attached
10:52
22m
Talk
How Scale Affects Structure in Java ProgramsOOPSLA Artifact
SPLASH OOPSLA
Crista Lopes University of California, Irvine, Joel Ossher University of California, Irvine
DOI Pre-print Media Attached File Attached
11:15
22m
Talk
Use at Your Own Risk: The Java Unsafe API in the WildOOPSLA Artifact
SPLASH OOPSLA
Luis Mastrangelo University of Lugano, Switzerland, Luca Ponzanelli University of Lugano, Switzerland, Andrea Mocci University of Lugano, Switzerland, Michele Lanza University of Lugano, Switzerland, Matthias Hauswirth University of Lugano, Switzerland, Nate Nystrom University of Lugano, Switzerland
DOI Media Attached
11:37
22m
Talk
Approximate Computation with Outlier Detection in TopazOOPSLA Artifact
SPLASH OOPSLA
Sara Achour Massachusetts Institute of Technology, USA, Martin C. Rinard Massachusetts Institute of Technology, USA
DOI Media Attached
13:30 - 15:00
12. PerformanceSPLASH OOPSLA at Grand Station 2
Chair(s): Tiark Rompf Purdue & Oracle Labs
13:30
22m
Talk
Automating Ad-hoc Data Representation TransformationsOOPSLA Artifact
SPLASH OOPSLA
Vlad Ureche EPFL, Switzerland, Aggelos Biboudis University of Athens, Yannis Smaragdakis University of Athens, Martin Odersky EPFL, Switzerland
Pre-print Media Attached
13:52
22m
Talk
Tracing vs. Partial Evaluation: Comparing Meta-compilation Approaches for Self-Optimizing InterpretersOOPSLA Artifact
SPLASH OOPSLA
Stefan Marr INRIA, France, Stéphane Ducasse INRIA, France
Link to publication Media Attached
14:15
22m
Talk
Effectively Mapping Linguistic Abstractions for Message-Passing Concurrency to Threads on the Java Virtual Machine
SPLASH OOPSLA
Ganesha Upadhyaya Iowa State University, USA, Hridesh Rajan Iowa State University, USA
DOI Pre-print Media Attached
14:37
22m
Talk
Partial Evaluation of Machine Code
SPLASH OOPSLA
Venkatesh Srinivasan University of Wisconsin-Madison, USA, Thomas Reps University of Wisconsin - Madison and Grammatech Inc.
DOI Media Attached
15:30 - 17:00
Session the FourthOnward! Papers at Grand Station 2
Chair(s): Gail Murphy University of British Columbia
15:30
22m
Talk
Columnar Objects: Improving the Performance of Analytical Applications
Onward! Papers
Toni Mattis Hasso Plattner Institute, Johannes Henning Hasso Plattner Institute, Patrick Rein Hasso Plattner Institute, Malte Appeltauer SAP, Robert Hirschfeld HPI
DOI Media Attached
15:52
22m
Talk
Virtualization Support for Dynamic Core Library Update
Onward! Papers
Guillermo Polito Inria, Stéphane Ducasse INRIA, France, Noury Bouraqadi Mines Douai, Luc Fabresse Mines Douai, Max Mattone Inria - Mines Douai
Media Attached
16:15
22m
Talk
Towards a dynamic object model within Unix processes
Onward! Papers
Stephen Kell University of Cambridge
Link to publication Pre-print Media Attached
16:37
22m
Talk
Towards Fully Reflective Environments
Onward! Papers
Guido Chari Dept. of Computer Science FCEyN, University of Buenos Aires, Diego Garbervetsky Departamento de Computación, FCEyN, UBA, Stefan Marr INRIA, France, Stéphane Ducasse INRIA, France
Pre-print Media Attached

Mon 26 Oct

Displayed time zone: Eastern Time (US & Canada) change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:0030
Grand Station 2

SLE

SLE

Language Development and Evaluation

SLE

Model and Program Transformation

SLE

Tools I

Tue 27 Oct

Displayed time zone: Eastern Time (US & Canada) change

Room10:003011:003012:003013:003014:003015:003016:0030
Grand Station 2

SLE

Formal Modeling and Language Validation

SLE

Model Execution and Verification

SLE

Tools II and Closing

Wed 28 Oct

Displayed time zone: Eastern Time (US & Canada) change

Room10:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:0030
Grand Station 2

SPLASH OOPSLA

2. Domain Specific Languages

Onward! Papers

Session the First

Onward! Essays

Session 1

SPLASH RPG

Richard's Pretty Good Talks

Thu 29 Oct

Displayed time zone: Eastern Time (US & Canada) change

Room10:003011:0030
Grand Station 2

SPLASH OOPSLA

6. Compilation and Tools

Fri 30 Oct

Displayed time zone: Eastern Time (US & Canada) change

Room10:003011:003012:003013:003014:003015:003016:0030
Grand Station 2

SPLASH OOPSLA

10. Empirical Studies & Approximation

SPLASH OOPSLA

12. Performance

Onward! Papers

Session the Fourth

Mon 26 Oct

Displayed time zone: Eastern Time (US & Canada) change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Grand Station 2
SLE
Opening
10:30 - 10:40
SLE
On Integrating Graphical and Textual Editors for a UML Profile Based Do ...
10:40 - 11:10
SLE
An Empirical Study on Simplification of Business Process Modeling Languages
11:10 - 11:40
SLE
Melange: A Meta-language for Modular and Reusable Development of DSLs
11:40 - 12:00
SLE
Distributed Model-to-Model Transformation with ATL on MapReduce
13:30 - 14:00
SLE
Managing Uncertainty in Bidirectional Model Transformations
14:00 - 14:30
SLE
Modular Capture Avoidance for Program Transformations
14:30 - 15:00
SLE
XMLText: From XML Schema to Xtext
15:30 - 16:00
SLE
Designing Languages using Lightning
16:00 - 16:30
SLE
Analysis and Transformation with the Nuthatch Tree-Walking Library
16:30 - 17:00

Tue 27 Oct

Displayed time zone: Eastern Time (US & Canada) change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Grand Station 2
SLE
Reference Attribute Grammar Controlled Graph Rewriting: Motivation and ...
10:30 - 11:00
SLE
Example-Based Validation of Domain-Specific Visual Languages
11:00 - 11:30
SLE
A Combined Formal Model for Relational Context-Dependent Roles
11:30 - 12:00
SLE
Weaving Concurrency in eXecutable Domain-Specific Modeling Languages
13:30 - 14:00
SLE
Supporting Efficient and Advanced Omniscient Debugging for xDSMLs
14:00 - 14:30
SLE
Using Decision Rules for Solving Conflicts in Extended Feature Models
14:30 - 15:00
SLE
The Whiley Rewrite Language (WyRL)
15:30 - 16:00
SLE
Parsing Expression Grammars Made Practical
16:00 - 16:30
SLE
Closing
16:30 - 17:00

Wed 28 Oct

Displayed time zone: Eastern Time (US & Canada) change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:00153045
Grand Station 2
SPLASH OOPSLA
Synthesis of Layout Engines from Relational Constraints
10:30 - 10:52
SPLASH OOPSLAOOPSLA Artifact
A Sound and Optimal Incremental Build System with Dynamic Dependencies
10:52 - 11:15
SPLASH OOPSLA
FlashMeta: A Framework for Inductive Program Synthesis
11:15 - 11:37
SPLASH OOPSLAOOPSLA Artifact
Scrap your Boilerplate with Object Algebras
11:37 - 12:00
Onward! Papers
Towards Secure Integration of Cryptographic Software
13:30 - 13:52
Onward! Papers
Runtime Metric Meets Developer - Building Better Cloud Applications Usi ...
13:52 - 14:15
Onward! Papers
Constraints as a Design Pattern
14:15 - 14:37
Onward! Papers
The Moldable Inspector
14:37 - 15:00
Onward! Essays
Against a Universal Definition of Type
15:30 - 16:15
Onward! Essays
The Cuban Software Revolution: 2016–2025
16:15 - 17:00
SPLASH RPG
Programming as Writing (and vice versa?)
19:30 - 20:30
SPLASH RPG
Singing the Blues / What is a Song?
20:30 - 21:30

Thu 29 Oct

Displayed time zone: Eastern Time (US & Canada) change

Room10:0015304511:00153045
Grand Station 2
SPLASH OOPSLAOOPSLA Artifact
Declarative Fence Insertion
10:30 - 10:52
SPLASH OOPSLA
Finding Deep Compiler Bugs via Guided Stochastic Program Mutation
10:52 - 11:15
SPLASH OOPSLAOOPSLA Artifact
Vectorization of Apply to Reduce Interpretation Overhead of R
11:15 - 11:37
SPLASH OOPSLA
Synthesizing Java Expressions from Free-Form Queries
11:37 - 12:00

Fri 30 Oct

Displayed time zone: Eastern Time (US & Canada) change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Grand Station 2
SPLASH OOPSLA
Using C Language Extensions for Developing Embedded Software: A Case Study
10:30 - 10:52
SPLASH OOPSLAOOPSLA Artifact
How Scale Affects Structure in Java Programs
10:52 - 11:15
SPLASH OOPSLAOOPSLA Artifact
Use at Your Own Risk: The Java Unsafe API in the Wild
11:15 - 11:37
SPLASH OOPSLAOOPSLA Artifact
Approximate Computation with Outlier Detection in Topaz
11:37 - 12:00
SPLASH OOPSLAOOPSLA Artifact
Automating Ad-hoc Data Representation Transformations
13:30 - 13:52
SPLASH OOPSLAOOPSLA Artifact
Tracing vs. Partial Evaluation: Comparing Meta-compilation Approaches f ...
13:52 - 14:15
SPLASH OOPSLA
Effectively Mapping Linguistic Abstractions for Message-Passing Concurr ...
14:15 - 14:37
SPLASH OOPSLA
Partial Evaluation of Machine Code
14:37 - 15:00
Onward! Papers
Columnar Objects: Improving the Performance of Analytical Applications
15:30 - 15:52
Onward! Papers
Virtualization Support for Dynamic Core Library Update
15:52 - 16:15
Onward! Papers
Towards a dynamic object model within Unix processes
16:15 - 16:37
Onward! Papers
Towards Fully Reflective Environments
16:37 - 17:00