AGERE!
Mon 20 - Tue 21 October 2014
Portland, Oregon, United States
co-located with
SPLASH 2014
Toggle navigation
Attending
Venue: Portland Marriott
SPLASH 2014
About
Registration
Accommodation
Travel
Insider's Guide to Portland
Students
Supporters
Support Program
Visas
MobileApp
Maps
Downloads
Anti-Harassment Policy
Program
AGERE! Program
Your Program
Mon 20 Oct
Tue 21 Oct
Track/Call
Organization
AGERE! Committees
Organizing Committee
Program Committee
Steering Committee
Contributors
People Index
Search
Series
Series
AGERE 2021
AGERE 2020
AGERE 2019
AGERE 2018
AGERE 2017
AGERE 2016
AGERE! 2015
AGERE!
AGERE 2012
AGERE 2011
Sign in
Sign up
SPLASH 2014
(
series
) /
AGERE!
(
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
SPLASH Doctoral Symposium
at
Salon C
08:30
45m
Day opening
Introductions
SPLASH Doctoral Symposium
09:15
45m
Talk
Structured Source Retrieval for Improving Software Search during Program Comprehension Tasks
SPLASH Doctoral Symposium
Brian Eddy
10:30 - 12:00
Session 2
SPLASH Doctoral Symposium
at
Salon C
10:30
45m
Talk
An Approach to Safely Evolve Program Families in C
SPLASH Doctoral Symposium
Flavio Medeiros
Federal University of Campina Grande
11:15
45m
Talk
Diagnosing Degenerate Forms in Software
SPLASH Doctoral Symposium
Brian Spencer Dillon
13:30 - 15:00
Session 3
SPLASH Doctoral Symposium
at
Salon C
13:30
45m
Talk
High-Performance Language Interoperability in Multi-Language Runtimes
SPLASH Doctoral Symposium
Matthias Grimmer
14:15
45m
Talk
When Importless Becomes Meaningful: A Call for Tag-based Namespaces in Programming Languages
SPLASH Doctoral Symposium
Tomas Tauber
15:30 - 17:00
Session 4
SPLASH Doctoral Symposium
at
Salon C
15:30
45m
Talk
Structured Editing for HCI Metacomputing Universal Syntax and Deconstructible User Interfaces
SPLASH Doctoral Symposium
Christopher Hall
16:15
45m
Talk
Discussion and Wrap Up
SPLASH 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
SPLASH Administration
at
Salon C
Chair(s):
Crista Lopes
University of California, Irvine
12:00
90m
Meeting
SPLASH Steering Committee Meeting
SPLASH Administration
20:00 - 22:00
SPLASH 2015 OC Meeting
SPLASH Administration
at
Salon C
Chair(s):
Jonathan Aldrich
Carnegie Mellon University
20:00
60m
Meeting
SPLASH 2015 Organizing Committee Meeting
SPLASH Administration
Thu 23 Oct
Displayed time zone:
Tijuana, Baja California
change
10:30 - 12:00
SRC Presentations
SPLASH 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
SPLASH Doctoral Symposium
Session 1
SPLASH Doctoral Symposium
Session 2
SPLASH Doctoral Symposium
Session 3
SPLASH 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
SPLASH Administration
SPLASH SC Meeting
SPLASH Administration
SPLASH 2015 OC Meeting
Thu 23 Oct
Displayed time zone:
Tijuana, Baja California
change
Room
10:00
30
11:00
30
Salon C
SPLASH 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
Sun 22 Dec 03:12