ECOOP 2016 (series) / STOP 2016 (series) /
STOP 2016 Program
This is the STOP 2016 program - see the full program for ECOOP 2016 and all affiliated events.
Filter Program
Dates
Sun 17 Jul 2016
Rooms
Alfieri
Tracks
STOP
Badges
Nothing to filter
Your Program
Nothing to filter
Sun 17 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sun 17 Jul
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:45 - 09:45 | |||
08:45 10mDay opening | Opening remarks STOP | ||
08:55 50mTalk | Types for Ruby STOP Jeffrey S. Foster University of Maryland, College Park | ||
10:05 - 12:25 | |||
10:05 50mTalk | Optional Typing in Dart: Purity and Practice STOP Gilad Bracha Google Pre-print | ||
10:55 30m | Beyond Types: Extending the Gradual Guarantee STOP James Noble Victoria University of Wellington, Michael Homer Victoria University of Wellington, Timothy Jones Victoria University of Wellington, Sophia Drossopoulou Imperial College London, Andrew Black Portland State University, Kim Bruce Pomona College Link to publication | ||
11:25 30m | Gradual Typing for Delimited Continuations STOP Link to publication | ||
11:55 30mTalk | Automating Gradual Typing STOP Timothy Jones Victoria University of Wellington Link to publication File Attached | ||
13:50 - 15:20 | |||
13:50 50mTalk | Gradual types for real-world objects STOP Jan Vitek Northeastern University | ||
14:40 30m | A Systematic Performance Evaluation of Gradually Typed Functions and References STOP Andre Kuhlenschmidt Indiana University, Deyaaeldeen Almahallawi Indiana University, Jeremy G. Siek Indiana University | ||
16:00 - 16:40 | |||
16:00 30m | From Optional to Gradual Typing via Transient Checks STOP | ||
16:30 10mDay closing | Closing remarks STOP | ||