Program - SPLASH 2017

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT-07:00) Tijuana, Baja California.

Use conference time zone: (GMT-07:00) Tijuana, Baja CaliforniaSelect other time zone

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 programSpecify 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 23 Oct
Displayed time zone: Tijuana, Baja California change

08:30 - 10:00	Talks Session 1NOOL at Windsor

08:45 15m Day opening		Welcome NOOL
09:00 30m Talk		Objectifying a Metaprogramming Language NOOL Vadim Zaytsev Raincode Labs, Belgium

10:30 - 12:00	Discussion SessionNOOL at Windsor

10:30 75m Talk		Panel Discussion: Security in OO languages NOOL P: Cristina Cifuentes Oracle Labs, Mark Miller Google Inc., Jonathan Aldrich Carnegie Mellon University, Yannis Smaragdakis University of Athens

13:30 - 15:00	Talks Session 2NOOL at Windsor

13:30 30m Talk		Integrating Debugging with Continuous Testing NOOL Malcolm Stone , Roly Perera University of Edinburgh, UK / University of Glasgow, UK
14:00 30m Talk		Algool – Object-Orientation with Algebraic Specification NOOL Anya Helene Bagge University of Bergen
14:30 30m Talk		Usably Expressing and Enforcing Design in Wyvern NOOL Jonathan Aldrich Carnegie Mellon University, Alex Potanin Victoria University of Wellington

15:30 - 17:00	Talks Session 3NOOL at Windsor

15:30 30m Talk		Ivo functions forward and backward NOOL Nate Nystrom , Igor Moreno Santos
16:00 30m Talk		Towards Typing Julia NOOL Benjamin Chung Northeastern University, Paley Li Northeastern University
16:30 30m Day closing		Closing thoughts & plans for next year NOOL

NOOL 2017 Program

Mon 23 Oct
Displayed time zone: Tijuana, Baja California change

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

NOOL 2017 Program

Switch Program View

Program Display Configuration

Mon 23 OctDisplayed time zone: Tijuana, Baja California change

Get Calendar (iCal)

Mon 23 Oct
Displayed time zone: Tijuana, Baja California change