Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada

Dates
Rooms
Tracks
Badges
Your Program
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
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