Future Programming Workshop 2015
Mon 26 - Tue 27 October 2015
Pittsburgh, Pennsylvania, United States
co-located with
SPLASH 2015
Toggle navigation
Attending
Conference Venue: Sheraton Station Square Hotel
Conference Banquet: Carnegie Museum of Natural History
Program
Complete Program
Your Program
Mon 26 Oct
Tue 27 Oct
Track/Call
Organization
Future Programming Workshop 2015 Committees
Track Committees
Organizing Committee
Contributors
People Index
Search
Series
Series
Future Programming Workshop 2015
FP
Sign in
Sign up
SPLASH 2015
(
series
) /
Future Programming Workshop 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-07: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-03: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-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02: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
SPLASH 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 Dependencies
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 Algebras
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 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
SPLASH 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 Tools
SPLASH OOPSLA
at
Grand Station 2
Chair(s):
Gorel Hedin
Lund University
10:30
22m
Talk
Declarative Fence Insertion
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 R
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 & Approximation
SPLASH 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 Programs
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 Wild
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 Topaz
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. Performance
SPLASH OOPSLA
at
Grand Station 2
Chair(s):
Tiark Rompf
Purdue & Oracle Labs
13:30
22m
Talk
Automating Ad-hoc Data Representation Transformations
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 Interpreters
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 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
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
Room
10:00
30
11:00
30
Grand Station 2
SPLASH 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
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
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
Tue 12 Nov 20:44