SPLASH 2014
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
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
Welcome, Introductions, DiscussionFOOL at Salon G
Chair(s): Marco Servetto Victoria University of Wellington
08:30
90m
Other
Informal Group Discussion
FOOL

10:30 - 12:00
Research PapersFOOL at Salon G
Chair(s): Marco Servetto Victoria University of Wellington
10:30
30m
Talk
Program Equivalence through Trace Equivalence
FOOL
Tim Wood Imperial College, Sophia Drossopoulou Imperial College London
File Attached
11:00
30m
Talk
The Problem of Structural Type Tests in a Gradual-Typed Language
FOOL
John Boyland University of Wisconsin, Milwaukee
File Attached
11:30
30m
Talk
Managing Gradual Typing with Message-Safety in Dart
FOOL
File Attached
13:30 - 15:00
FOOF (Future of Object-Oriented Foundations)FOOL at Salon G
Chair(s): Marco Servetto Victoria University of Wellington
13:30
44m
Talk
The Success, Failure, and Future of Distributed Objects
FOOL
A: Jonathan Aldrich Carnegie Mellon University, I: Andrew Black Portland State University
File Attached
14:15
45m
Talk
A Simple, Symmetric, Subjective Foundation for Object-, Aspect- and Context-Oriented Programming
FOOL
Harold Ossher IBM Research, David Ungar IBM Research, Doug Kimelman IBM Research, I: James Noble Victoria University of Wellington
File Attached
15:30 - 17:00
KeynoteFOOL at Salon G
Chair(s): Marco Servetto Victoria University of Wellington
15:30
90m
Talk
Extensibilty for the masses
FOOL
William Cook UT Austin
File Attached