STOP 2016
Mon 18 - Fri 22 July 2016 Rome, Italy
co-located with ECOOP 2016
VenueCongress Center
Room nameQuasimodo
Floor0
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 18 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 17:30
Session 2IWACO at Quasimodo
16:00
30m
Talk
Are Ownership Types Reaching the World Yet?
IWACO
Patrick Lam University of Waterloo, Canada
File Attached
16:30
30m
Kappa: Insights, Current Status and Future Work
IWACO
Elias Castegren Uppsala University, Tobias Wrigstad Uppsala University
Pre-print
17:00
30m
Abstract Data Types in Object-Capability Systems
IWACO
James Noble Victoria University of Wellington, Sophia Drossopoulou Imperial College London, Mark Miller Google Inc., Toby Murray University of Melbourne, Alex Potanin Victoria University of Wellington
Pre-print File Attached
17:40 - 18:30
Session 3IWACO at Quasimodo
17:40
50m
Closing Discussions
IWACO
Paley Li Northeastern University

Tue 19 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:45 - 09:45
Opening and KeynoteCOP at Quasimodo
08:45
15m
Day opening
Opening
COP

09:00
45m
Talk
Keynote: We Demand Rigidly Defined Areas of Doubt and Uncertainty.
COP
James Noble Victoria University of Wellington
13:50 - 15:20
Research Papers 2COP at Quasimodo
13:50
30m
Talk
A Context-Oriented Software Architecture
COP
Kim Mens Université Catholique de Louvain, Belgium, Nicolás Cardozo Universidad de los Andes, Benoît Duhoux
14:20
30m
Talk
Detecting Invalid Layer Combinations Using Control-Flow Analysis for Android
COP
14:50
30m
Talk
Transaction Layers: Controlling Granularity of Change in Live Programming Environments using COP
COP
Toni Mattis Hasso Plattner Institute, Patrick Rein Hasso Plattner Institute, Robert Hirschfeld HPI

Mon 18 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room13:003014:003015:003016:003017:003018:0030
Quasimodo

Tue 19 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room8:00309:003010:003011:003012:003013:003014:003015:0030
Quasimodo