STOP 2016
Mon 18 - Fri 22 July 2016 Rome, Italy
co-located with ECOOP 2016
ECOOP 2016 (series) / STOP 2016 (series) / Congress Center /

Room information: Quasimodo

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

13:50 - 15:20
Session 1IWACO at Quasimodo
Chair(s): Paley Li Northeastern University
13:50
30m
Talk
Frozen Realms: Confining effects for safer JavaScript plugins
IWACO
Mark Miller Google Inc.
14:20
30m
Towards Enabling Low-Level Memory Optimisations at the High-Level with Ownership Annotations
IWACO
Juliana Franco Imperial College London, Tobias Wrigstad Uppsala University, Sophia Drossopoulou Imperial College London
Pre-print
14:50
30m
Talk
 Objects as Session-Typed Processes
IWACO
Stephanie Balzer
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
10:05 - 12:25
Research Papers 1COP at Quasimodo
10:05
45m
Talk
Classes as Layers: Rewriting Design Patterns with COP - Alternative Implementations of Decorator, Observer and Visitor
COP
Matthias Springer Tokyo Institute of Technology, Hidehiko Masuhara Tokyo Institute of Technology, Robert Hirschfeld HPI
10:50
50m
Talk
Consistent Unanticipated Adaptation for Context-Dependent Applications
COP
Nguonly Taing , Markus Wutzler , Thomas Springer , Nicolás Cardozo Universidad de los Andes, Alexander Schill
11:40
45m
Talk
Optimizing Sideways Composition: Fast Context-Oriented Programming in ContextPyPy
COP
Tobias Pape HPI, Germany, Tim Felgentreff HPI, Germany, Robert Hirschfeld HPI
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
Tetsuo Kamina Ritsumeikan University, Noriyuki Suzuki , Katsuhisa Maruyama
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

IWACO

Session 1

IWACO

Session 2

IWACO

Session 3

Tue 19 Jul

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

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

COP

Opening and Keynote

COP

Research Papers 1

COP

Research Papers 2

Mon 18 Jul

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

Room13:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Quasimodo
IWACO
Frozen Realms: Confining effects for safer JavaScript plugins
13:50 - 14:20
IWACO
Towards Enabling Low-Level Memory Optimisations at the High-Level with ...
14:20 - 14:50
IWACO
Objects as Session-Typed Processes
14:50 - 15:20
IWACO
Are Ownership Types Reaching the World Yet?
16:00 - 16:30
IWACO
Kappa: Insights, Current Status and Future Work
16:30 - 17:00
IWACO
Abstract Data Types in Object-Capability Systems
17:00 - 17:30
IWACO
Closing Discussions
17:40 - 18:30

Tue 19 Jul

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

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
Quasimodo
COP
Opening
08:45 - 09:00
COP
Keynote: We Demand Rigidly Defined Areas of Doubt and Uncertainty.
09:00 - 09:45
COP
Classes as Layers: Rewriting Design Patterns with COP - Alternative Imp ...
10:05 - 10:50
COP
Consistent Unanticipated Adaptation for Context-Dependent Applications
10:50 - 11:40
COP
Optimizing Sideways Composition: Fast Context-Oriented Programming in C ...
11:40 - 12:25
COP
A Context-Oriented Software Architecture
13:50 - 14:20
COP
Detecting Invalid Layer Combinations Using Control-Flow Analysis for An ...
14:20 - 14:50
COP
Transaction Layers: Controlling Granularity of Change in Live Programmi ...
14:50 - 15:20