SPLASH 2015
Fri 23 - Fri 30 October 2015
Pittsburgh, Pennsylvania, United States
Toggle navigation
Attending
Conference Venue: Sheraton Station Square Hotel
Conference Banquet: Carnegie Museum of Natural History
About
Accommodation
Anti-Harassment Policy
Dining
Downloads
Insider's Guide to Pittsburgh
Maps
Mobile App
Registration
Students
Support Program
Supporters
Travel
Visas
Program
Complete Program
Your Program
Program Overview
SPLASH Proceedings
Filter by Day
Fri 23 Oct
Sat 24 Oct
Sun 25 Oct
Mon 26 Oct
Tue 27 Oct
Wed 28 Oct
Thu 29 Oct
Fri 30 Oct
Tracks
SPLASH 2015
Demos
Doctoral Symposium
Keynotes
OOPSLA
OOPSLA Artifacts
Panels
Posters
PLMW
RPG
SPLASH-E
SPLASH-I
Social Events
Student Research Competition
Student Volunteers
Tutorials
Wavefront
Workshops
Co-hosted Conferences
GPCE
GPCE
GPCE
Onward!
Onward!
Onward!
Essays
Onward!
Papers
PLoP
PLoP
PLoP
SLE
Workshops
AGERE!
DSM
DSM
DSM
ETX
Future Programming Workshop
MobileDeLi
NOOL
NOOL
NOOL
PLATEAU
PROMOTO
PROMOTO
PROMOTO
Parsing@SLE
Parsing@SLE
Parsing@SLE
REBLS
REBLS
REBLS
SEPS
Smart Software Strategies
Smart Software Strategies
Smart Software Strategies
WODA
WODA
WODA
Co-hosted Symposia
DBPL
DLS
Organization
SPLASH 2015 Committees
Organizing Committee
Steering Committee
Track Committees
Demos
Doctoral Symposium
OOPSLA
Program Committee
External Review Committee
OOPSLA Artifacts
Organizing Committee
Program Committee
Panels
Posters
Organizing Committee
Program Committee
PLMW
RPG
SPLASH-E
Organizing Committee
Program Committee
Steering Committee
SPLASH-I
Student Research Competition
Organizing Committee
Program Committee
Student Volunteers
Tutorials
Wavefront
Workshops
Contributors
People Index
Co-hosted Conferences
GPCE
Organizing Committee
Steering Committee
Program Committee
Onward!
Organizing Committee
Steering Committee
Onward! Essays
Onward! Papers
PLoP
Organizing Committee
SLE
Organizing Committee
Steering Committee
Program Committee
Workshops
AGERE!
Organizing Committee
Program Committee
DSM
Organizing Committee
Program Committee
ETX
Organizing Committee
Program Committee
Program Committee
Future Programming Workshop
Organizing Committee
MobileDeLi
Organizing Committee
Program Committee
Organizing Committee
Program Committee
NOOL
Organizing Committee
Program Committee
PLATEAU
Organizing Committee
Organizing Committee
Program Committee
PROMOTO
Organizing Committee
Organizing Committee
Program Committee
Parsing@SLE
Organizers
Organizers
REBLS
Organizing Committee
Program Committee
SEPS
Organizing Committee
Program Committee
Smart Software Strategies
Organizing Committee
Program Committee
WODA
Organizing Committee
Program Committee
Co-hosted Symposia
DBPL
Program Committee
DLS
Program Committee
Search
Series
Series
SPLASH 2025
SPLASH 2024
SPLASH 2023
SPLASH 2022
SPLASH 2021
SPLASH 2020
SPLASH 2019
SPLASH 2018
SPLASH 2017
SPLASH 2016
SPLASH 2015
SPLASH 2014
SPLASH 2013
SPLASH 2012
SPLASH 2011
SPLASH 2010
OOPSLA 2009
OOPSLA 2008
OOPSLA 2007
OOPSLA 2006
OOPSLA 2005
OOPSLA 2004
OOPSLA 2003
OOPSLA 2002
OOPSLA 2001
OOPSLA 2000
Sign in
Sign up
SPLASH 2015
(
series
) /
Sheraton Station Square Hotel
/
Room information: Grand Station 2
Venue
Sheraton Station Square Hotel
Room name
Grand Station 2
Floor
1
Room Information
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-04:00) Eastern Time (US & Canada)
.
Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:30) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-03:00) Manaus, Amazonas, Brazil
(GMT-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-02:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+06:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+10:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Mon 26 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
10:30 - 12:00
Language Development and Evaluation
SLE
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 Transformation
SLE
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 I
SLE
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 Validation
SLE
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 Verification
SLE
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 Closing
SLE
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 Languages
OOPSLA
at
Grand Station 2
Chair(s):
Eelco Visser
Delft University of Technology
10:30
22m
Talk
Synthesis of Layout Engines from Relational Constraints
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 Dependencies
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
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 Algebras
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 First
Onward! 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 1
Onward! 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 Talks
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?)
RPG
Crista Lopes
University of California, Irvine
,
Annette Vee
University of Pittsburgh
20:30
60m
Meeting
Singing the Blues / What is a Song?
RPG
Thu 29 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
10:30 - 12:00
6. Compilation and Tools
OOPSLA
at
Grand Station 2
Chair(s):
Gorel Hedin
Lund University
10:30
22m
Talk
Declarative Fence Insertion
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
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 R
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
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 & Approximation
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
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 Programs
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 Wild
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 Topaz
OOPSLA
Sara Achour
Massachusetts Institute of Technology, USA
,
Martin C. Rinard
Massachusetts Institute of Technology, USA
DOI
Media Attached
13:30 - 15:00
12. Performance
OOPSLA
at
Grand Station 2
Chair(s):
Tiark Rompf
Purdue & Oracle Labs
13:30
22m
Talk
Automating Ad-hoc Data Representation Transformations
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 Interpreters
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
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
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 Fourth
Onward! 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
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
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
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
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
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
18:00
30
19:00
30
20:00
30
21:00
30
Grand Station 2
OOPSLA
2. Domain Specific Languages
Onward! Papers
Session the First
Onward! Essays
Session 1
RPG
Richard's Pretty Good Talks
Thu 29 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
10:00
30
11:00
30
Grand Station 2
OOPSLA
6. Compilation and Tools
Fri 30 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Grand Station 2
OOPSLA
10. Empirical Studies & Approximation
OOPSLA
12. Performance
Onward! Papers
Session the Fourth
Mon 26 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
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
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
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
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
18:00
15
30
45
19:00
15
30
45
20:00
15
30
45
21:00
15
30
45
Grand Station 2
SPLASH OOPSLA
Synthesis of Layout Engines from Relational Constraints
10:30 - 10:52
SPLASH OOPSLA
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 OOPSLA
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
Room
10:00
15
30
45
11:00
15
30
45
Grand Station 2
SPLASH OOPSLA
Declarative Fence Insertion
10:30 - 10:52
SPLASH OOPSLA
Finding Deep Compiler Bugs via Guided Stochastic Program Mutation
10:52 - 11:15
SPLASH OOPSLA
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
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Grand Station 2
SPLASH OOPSLA
Using C Language Extensions for Developing Embedded Software: A Case Study
10:30 - 10:52
SPLASH OOPSLA
How Scale Affects Structure in Java Programs
10:52 - 11:15
SPLASH OOPSLA
Use at Your Own Risk: The Java Unsafe API in the Wild
11:15 - 11:37
SPLASH OOPSLA
Approximate Computation with Outlier Detection in Topaz
11:37 - 12:00
SPLASH OOPSLA
Automating Ad-hoc Data Representation Transformations
13:30 - 13:52
SPLASH OOPSLA
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
x
Mon 18 Nov 13:18