SPLASH 2014
Mon 20 - Fri 24 October 2014
Portland, Oregon, United States
Toggle navigation
Attending
Venue: Portland Marriott
About
Registration
Accommodation
Travel
Insider's Guide to Portland
Students
Supporters
Support Program
Visas
MobileApp
Maps
Downloads
Anti-Harassment Policy
Program
SPLASH Program
Your Program
Filter by Day
Fri 17 Oct
Sat 18 Oct
Sun 19 Oct
Mon 20 Oct
Tue 21 Oct
Wed 22 Oct
Thu 23 Oct
Fri 24 Oct
Tracks
SPLASH 2014
Administration
Demos
Doctoral Symposium
Inspirations
OOPSLA
OOPSLA Artifacts
Panels
Posters
Awards
Keynotes
SPLASH-E
Social Events
Student Research Competition
Student Volunteers
Tutorials
Wavefront
Workshops
Co-hosted Events
HILT
HILT
HILT
Research Papers
Summer School on Multicore Programming
Multicore Programming Summer School
Workshops
AGERE!
AGERE!
AGERE!
DSLDI
DSLDI
DSLDI
DSM
DSM
DSM
ETX
FOOL
FOOL
FOOL
FP
FP
FP
Future Programming
MobileDeLi
PLATEAU
PLATEAU
PLATEAU
PROMOTO
PROMOTO
PROMOTO
PSP
PSP
PSP
REBLS
REBLS
REBLS
SEPS
SEPS
SEPS
TD
TD
TD
Technical Debt
WOSC
WOSC
WOSC
Co-hosted Symposia
DLS
DLS
DLS
Onward!
Onward!
Onward!
Essays
Onward!
Papers
Organization
SPLASH 2014 Committees
Steering Committee
Organizing Committee
Track Committees
Demos
Doctoral Symposium
Inspirations
OOPSLA
External Review Committee
Program Committee
OOPSLA Artifacts
Artifact Evaluation Committee
Organizing Committee
Posters
Organizing Committee
Program Committee
SPLASH-E
Student Research Competition
Organizing Committee
Program Committee
Student Volunteers
Tutorials
Wavefront
Workshops
Contributors
People Index
Co-hosted Events
HILT
N/A - check homepage
Summer School on Multicore Programming
Organizing Committee
Workshops
AGERE!
Organizing Committee
Program Committee
Steering Committee
DSLDI
Organizing Committee
Organizers
Program Committee
DSM
Organizing Committee
ETX
Organizing Committee
Program Committee
Organizing Committee
Program Committee
FOOL
Organizing Committee
Program Committee
FP
Organizing Committee
MobileDeLi
Organizing Committee
Program Committee
PLATEAU
Organizing Committee
Program Committee
PROMOTO
Organizing Committee
Steering Committee
Program Committee
PSP
Organizing Committee
Program Committee
REBLS
Organizing Committee
SEPS
Organizing Committee
Program Committee
TD
Organizing Committee
WOSC
Organizing Committee
Co-hosted Symposia
DLS
Organisers
Program Committee
Onward!
Steering Committee
Onward! Essays
Onward! Papers
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 2014
(
series
) /
Portland Marriott
/
Room information: Salon C
Venue
Portland Marriott
Room name
Salon C
Floor
0
Room number
Salon C
Capacity
60
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT-07:00) Tijuana, Baja California
.
Use conference time zone: (GMT-07:00) Tijuana, Baja California
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-02: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+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+04: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+06:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+08:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+09:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+10:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+11:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+12:00) Magadan
(GMT+11:30) 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 20 Oct
Displayed time zone:
Tijuana, Baja California
change
08:30 - 10:00
Session 1
Doctoral Symposium
at
Salon C
08:30
45m
Day opening
Introductions
Doctoral Symposium
09:15
45m
Talk
Structured Source Retrieval for Improving Software Search during Program Comprehension Tasks
Doctoral Symposium
Brian Eddy
10:30 - 12:00
Session 2
Doctoral Symposium
at
Salon C
10:30
45m
Talk
An Approach to Safely Evolve Program Families in C
Doctoral Symposium
Flavio Medeiros
Federal University of Campina Grande
11:15
45m
Talk
Diagnosing Degenerate Forms in Software
Doctoral Symposium
Brian Spencer Dillon
13:30 - 15:00
Session 3
Doctoral Symposium
at
Salon C
13:30
45m
Talk
High-Performance Language Interoperability in Multi-Language Runtimes
Doctoral Symposium
Matthias Grimmer
14:15
45m
Talk
When Importless Becomes Meaningful: A Call for Tag-based Namespaces in Programming Languages
Doctoral Symposium
Tomas Tauber
15:30 - 17:00
Session 4
Doctoral Symposium
at
Salon C
15:30
45m
Talk
Structured Editing for HCI Metacomputing Universal Syntax and Deconstructible User Interfaces
Doctoral Symposium
Christopher Hall
16:15
45m
Talk
Discussion and Wrap Up
Doctoral Symposium
Tue 21 Oct
Displayed time zone:
Tijuana, Baja California
change
08:30 - 10:00
Topics in Model Transformation
DSM
at
Salon C
08:30
22m
Talk
Welcome and Introduction
DSM
08:52
22m
Talk
A Closed-loop Model-based Design Approach Based On Automatic Verification and Transformation
DSM
09:15
22m
Talk
Generating Code using Reflection in the Context of Computer-assisted Legacy System Analyses and Reengineering
DSM
09:37
22m
Talk
Omniscient Debugging for Model Transformations
DSM
10:30 - 12:00
Tools and Language Design Experiences
DSM
at
Salon C
10:30
30m
Talk
Development of Modelling Frameworks and Viewpoints with Kitalpha
DSM
11:00
30m
Talk
Design of a Domain-Specific Language for Material Flow Analysis using Microsoft DSL tools: An Experience Paper
DSM
11:30
30m
Talk
Mapping-Based Exchange of Models Between Meta-Modeling Tools
DSM
13:30 - 15:00
Modeling of Cyber-Physical Systems
DSM
at
Salon C
13:30
30m
Talk
Generating Model Transformations for Mending Dynamic Constraint Violations in Cyber Physical Systems
DSM
14:00
30m
Talk
SenseDSL: Automating the Integration of Sensors for MCU-based Robots and Cyber-Physical Systems
DSM
14:30
30m
Talk
Group Work Initial Discussion
DSM
15:30 - 17:00
Group Work
DSM
at
Salon C
15:30
45m
Talk
Group Work on selected topics
DSM
16:15
45m
Talk
Group work reporting
DSM
Wed 22 Oct
Displayed time zone:
Tijuana, Baja California
change
12:00 - 13:30
SPLASH SC Meeting
Administration
at
Salon C
Chair(s):
Crista Lopes
University of California, Irvine
12:00
90m
Meeting
SPLASH Steering Committee Meeting
Administration
20:00 - 22:00
SPLASH 2015 OC Meeting
Administration
at
Salon C
Chair(s):
Jonathan Aldrich
Carnegie Mellon University
20:00
60m
Meeting
SPLASH 2015 Organizing Committee Meeting
Administration
Thu 23 Oct
Displayed time zone:
Tijuana, Baja California
change
10:30 - 12:00
SRC Presentations
Student Research Competition
at
Salon C
Chair(s):
Işıl Dillig
University of Texas, Austin
,
Sam Guyer
Tufts University
Mon 20 Oct
Displayed time zone:
Tijuana, Baja California
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
Salon C
Doctoral Symposium
Session 1
Doctoral Symposium
Session 2
Doctoral Symposium
Session 3
Doctoral Symposium
Session 4
Tue 21 Oct
Displayed time zone:
Tijuana, Baja California
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
Salon C
DSM
Topics in Model Transformation
DSM
Tools and Language Design Experiences
DSM
Modeling of Cyber-Physical Systems
DSM
Group Work
Wed 22 Oct
Displayed time zone:
Tijuana, Baja California
change
Room
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
Salon C
Administration
SPLASH SC Meeting
Administration
SPLASH 2015 OC Meeting
Thu 23 Oct
Displayed time zone:
Tijuana, Baja California
change
Room
10:00
30
11:00
30
Salon C
Student Research Competition
SRC Presentations
Mon 20 Oct
Displayed time zone:
Tijuana, Baja California
change
Room
8:00
15
30
45
9:00
15
30
45
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
Salon C
SPLASH Doctoral Symposium
Introductions
08:30 - 09:15
SPLASH Doctoral Symposium
Structured Source Retrieval for Improving Software Search during Progra ...
09:15 - 10:00
SPLASH Doctoral Symposium
An Approach to Safely Evolve Program Families in C
10:30 - 11:15
SPLASH Doctoral Symposium
Diagnosing Degenerate Forms in Software
11:15 - 12:00
SPLASH Doctoral Symposium
High-Performance Language Interoperability in Multi-Language Runtimes
13:30 - 14:15
SPLASH Doctoral Symposium
When Importless Becomes Meaningful: A Call for Tag-based Namespaces in ...
14:15 - 15:00
SPLASH Doctoral Symposium
Structured Editing for HCI Metacomputing Universal Syntax and Deconstru ...
15:30 - 16:15
SPLASH Doctoral Symposium
Discussion and Wrap Up
16:15 - 17:00
Tue 21 Oct
Displayed time zone:
Tijuana, Baja California
change
Room
8:00
15
30
45
9:00
15
30
45
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
Salon C
DSM
Welcome and Introduction
08:30 - 08:52
DSM
A Closed-loop Model-based Design Approach Based On Automatic Verificati ...
08:52 - 09:15
DSM
Generating Code using Reflection in the Context of Computer-assisted Le ...
09:15 - 09:37
DSM
Omniscient Debugging for Model Transformations
09:37 - 10:00
DSM
Development of Modelling Frameworks and Viewpoints with Kitalpha
10:30 - 11:00
DSM
Design of a Domain-Specific Language for Material Flow Analysis using M ...
11:00 - 11:30
DSM
Mapping-Based Exchange of Models Between Meta-Modeling Tools
11:30 - 12:00
DSM
Generating Model Transformations for Mending Dynamic Constraint Violati ...
13:30 - 14:00
DSM
SenseDSL: Automating the Integration of Sensors for MCU-based Robots an ...
14:00 - 14:30
DSM
Group Work Initial Discussion
14:30 - 15:00
DSM
Group Work on selected topics
15:30 - 16:15
DSM
Group work reporting
16:15 - 17:00
Wed 22 Oct
Displayed time zone:
Tijuana, Baja California
change
Room
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
Salon C
SPLASH Administration
SPLASH Steering Committee Meeting
12:00 - 13:30
SPLASH Administration
SPLASH 2015 Organizing Committee Meeting
20:00 - 21:00
x
Thu 21 Nov 10:01