Onward! 2015
Sun 25 - Fri 30 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
SPLASH 2015
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
Sun 25 Oct
Mon 26 Oct
Tue 27 Oct
Wed 28 Oct
Thu 29 Oct
Fri 30 Oct
Tracks
Onward! 2015
Onward! Essays
Onward! Papers
Organization
Onward! 2015 Committees
Organizing Committee
Steering Committee
Track Committees
Onward! Essays
Onward! Papers
Contributors
People Index
Search
Series
Series
SPLASH - Onward! 2019 and later
Onward! 2018
Onward! 2017
Onward! 2016
Onward! 2015
Onward! 2014
Onward! 2013
Sign in
Sign up
SPLASH 2015
(
series
) /
Onward! 2015
(
series
) /
Sheraton Station Square Hotel
/
Room information: Grand Station 3-5
Venue
Sheraton Station Square Hotel
Room name
Grand Station 3-5
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-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
Thu 29 Oct
Displayed time zone:
Eastern Time (US & Canada)
change
10:30 - 12:00
Session 2
Onward! Essays
at
Grand Station 3-5
Chair(s):
Stephen Kell
University of Cambridge
10:30
45m
Talk
Towards a Theory of Conceptual Design for Software
Onward! Essays
Daniel Jackson
Massachusetts Institute of Technology, USA
DOI
11:15
45m
Talk
The Cuneiform Tablets of 2015
Onward! Essays
Long Tien Nguyen
University of California at Los Angeles, USA
,
Alan Kay
University of California at Los Angeles, USA
DOI
13:30 - 15:00
Session the Second
Onward! Papers
at
Grand Station 3-5
Chair(s):
Karim Ali
TU Darmstadt
13:30
22m
Talk
Just-in-Time Data Structures
Onward! Papers
Mattias De Wael
Vrije Universiteit Brussel
,
Stefan Marr
INRIA, France
,
Joeri De Koster
Vrije Universiteit Brussel
,
Jennifer B. Sartor
Vrije Universiteit Brussel
,
Wolfgang De Meuter
Vrije Universiteit Brussel
Link to publication
DOI
13:52
22m
Talk
Separation of Powers in the Cloud: Where Applications and Users Become Peers
Onward! Papers
David H. Lorenz
Open University and Technion IIT
,
Boaz Rosenan
University of Haifa
Media Attached
14:15
22m
Talk
Slimming Languages by Reducing Sugar: A Case for Semantics-Altering Transformations
Onward! Papers
Junsong Li
Brown University
,
Justin Pombrio
,
Joe Gibbs Politz
Swarthmore College
,
Shriram Krishnamurthi
Brown University
Media Attached
14:37
22m
Talk
Musiplectics: Computational Assessment of the Complexity of Music Scores
Onward! Papers
Ethan Holder
Virginia Tech
,
Eli Tilevich
Virginia Tech
,
Amy Gillick
Virginia Tech
15:30 - 17:30
Session the Third
Onward! Papers
at
Grand Station 3-5
Chair(s):
Lindsey Kuper
Intel Labs
15:30
24m
Talk
Toward tool support for interactive synthesis
Onward! Papers
Shaon Barman
UC Berkeley
,
Rastislav Bodík
University of Washington, USA
,
Satish Chandra
Samsung Research America
,
Emina Torlak
University of Washington
,
Arka Bhattacharya
UC Berkeley
,
David Culler
UC Berkeley
15:54
24m
Talk
Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers
Onward! Papers
Sylvia Grewe
TU Darmstadt
,
Sebastian Erdweg
TU Darmstadt, Germany
,
Pascal Wittmann
TU Darmstadt
,
Mira Mezini
TU Darmstadt
Link to publication
16:18
24m
Talk
One Parser to Rule Them All
Onward! Papers
Ali Afroozeh
Centrum Wiskunde & Informatica
,
Anastasia Izmaylova
Centrum Wiskunde & Informatica
Link to publication
DOI
Pre-print
Media Attached
16:42
24m
Talk
Isolates, Channels and Event Streams for Composable Distributed Programming
Onward! Papers
Aleksandar Prokopec
EPFL
,
Martin Odersky
EPFL, Switzerland
17:06
24m
Talk
A Bootstrapping Infrastructure to Build and Extend Pharo-like Languages
Onward! Papers
Guillermo Polito
Inria
,
Stéphane Ducasse
INRIA, France
,
Noury Bouraqadi
Mines Douai
,
Luc Fabresse
Mines Douai
Thu 29 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
Grand Station 3-5
Onward! Essays
Session 2
Onward! Papers
Session the Second
Onward! Papers
Session the Third
Thu 29 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
Grand Station 3-5
Onward! Essays
Towards a Theory of Conceptual Design for Software
10:30 - 11:15
Onward! Essays
The Cuneiform Tablets of 2015
11:15 - 12:00
Onward! Papers
Just-in-Time Data Structures
13:30 - 13:52
Onward! Papers
Separation of Powers in the Cloud: Where Applications and Users Become ...
13:52 - 14:15
Onward! Papers
Slimming Languages by Reducing Sugar: A Case for Semantics-Altering Tra ...
14:15 - 14:37
Onward! Papers
Musiplectics: Computational Assessment of the Complexity of Music Scores
14:37 - 15:00
Onward! Papers
Toward tool support for interactive synthesis
15:30 - 15:54
Onward! Papers
Type Systems for the Masses: Deriving Soundness Proofs and Efficient Ch ...
15:54 - 16:18
Onward! Papers
One Parser to Rule Them All
16:18 - 16:42
Onward! Papers
Isolates, Channels and Event Streams for Composable Distributed Programming
16:42 - 17:06
Onward! Papers
A Bootstrapping Infrastructure to Build and Extend Pharo-like Languages
17:06 - 17:30
x
Sun 3 Nov 04:10