Conference Dates
Conference Dates are in time zone (GMT-04:00) Eastern Time (US & Canada), and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
Wed 28 Oct Times are displayed in time zone: Eastern Time (US & Canada) change
Wed 28 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change
15:30 - 17:00 | Session 1Onward! Essays at Grand Station 2 Chair(s): Richard P. GabrielDream Songs, Inc. & IBM Research | ||
15:30 45mTalk | Against a Universal Definition of Type Onward! Essays Tomas PetricekUniversity of Cambridge, UK DOI Media Attached | ||
16:15 45mTalk | The Cuban Software Revolution: 2016–2025 Onward! Essays David M. WestTranscendence, USA DOI | ||
Thu 29 Oct Times are displayed in time zone: Eastern Time (US & Canada) change
Thu 29 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change
10:30 - 12:00 | |||
10:30 45mTalk | Towards a Theory of Conceptual Design for Software Onward! Essays Daniel JacksonMassachusetts Institute of Technology, USA DOI | ||
11:15 45mTalk | The Cuneiform Tablets of 2015 Onward! Essays Long Tien NguyenUniversity of California at Los Angeles, USA, Alan KayUniversity of California at Los Angeles, USA DOI | ||
13:30 - 15:00 | |||
13:30 22mTalk | Just-in-Time Data Structures Onward! Papers Mattias De WaelVrije Universiteit Brussel, Stefan MarrINRIA, France, Joeri De KosterVrije Universiteit Brussel, Jennifer B. SartorVrije Universiteit Brussel, Wolfgang De MeuterVrije Universiteit Brussel Link to publication DOI | ||
13:52 22mTalk | Separation of Powers in the Cloud: Where Applications and Users Become Peers Onward! Papers Media Attached | ||
14:15 22mTalk | Slimming Languages by Reducing Sugar: A Case for Semantics-Altering Transformations Onward! Papers Junsong LiBrown University, Justin Pombrio, Joe Gibbs PolitzSwarthmore College, Shriram KrishnamurthiBrown University Media Attached | ||
14:37 22mTalk | Musiplectics: Computational Assessment of the Complexity of Music Scores Onward! Papers | ||
15:30 - 17:30 | |||
15:30 24mTalk | Toward tool support for interactive synthesis Onward! Papers Shaon BarmanUC Berkeley, Rastislav BodikUniversity of Washington, USA, Satish ChandraSamsung Research America, Emina TorlakUniversity of Washington, Arka BhattacharyaUC Berkeley, David CullerUC Berkeley | ||
15:54 24mTalk | Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers Onward! Papers Sylvia GreweTU Darmstadt, Sebastian ErdwegTU Darmstadt, Germany, Pascal WittmannTU Darmstadt, Mira MeziniTU Darmstadt Link to publication | ||
16:18 24mTalk | One Parser to Rule Them All Onward! Papers Link to publication DOI Pre-print Media Attached | ||
16:42 24mTalk | Isolates, Channels and Event Streams for Composable Distributed Programming Onward! Papers | ||
17:06 24mTalk | A Bootstrapping Infrastructure to Build and Extend Pharo-like Languages Onward! Papers Guillermo PolitoInria, Stéphane DucasseINRIA, France, Noury BouraqadiMines Douai, Luc FabresseMines Douai | ||
Fri 30 Oct Times are displayed in time zone: Eastern Time (US & Canada) change
Fri 30 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change
Wed 28 Oct Times are displayed in time zone: Eastern Time (US & Canada) change
Wed 28 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change
| Room | 13:00 | 30 | 14:00 | 30 | 15:00 | 30 | 16:00 | 30 | ||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Thu 29 Oct Times are displayed in time zone: Eastern Time (US & Canada) change
Thu 29 Oct
Times are displayed in 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 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Fri 30 Oct Times are displayed in time zone: Eastern Time (US & Canada) change
Fri 30 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change
| Room | 15:00 | 30 | 16:00 | 30 | ||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Wed 28 Oct Times are displayed in time zone: Eastern Time (US & Canada) change
Wed 28 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change
| Room | 13:00 | 15 | 30 | 45 | 14:00 | 15 | 30 | 45 | 15:00 | 15 | 30 | 45 | 16:00 | 15 | 30 | 45 | ||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Grand Station 2 | 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 | |||||||||||||||||||||||||||||||||||||||||||||
Thu 29 Oct Times are displayed in time zone: Eastern Time (US & Canada) change
Thu 29 Oct
Times are displayed in 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 The Cuneiform Tablets of 2015 11:15 - 12:00 | Onward! Papers Just-in-Time Data Structures 13:30 - 13:52 | Onward! Papers One Parser to Rule Them All 16:18 - 16:42 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Fri 30 Oct Times are displayed in time zone: Eastern Time (US & Canada) change
Fri 30 Oct
Times are displayed in time zone: Eastern Time (US & Canada) change
| Room | 15:00 | 15 | 30 | 45 | 16:00 | 15 | 30 | 45 | ||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format