Program - ECOOP 2015

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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

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

10:05 - 10:10	WelcomePLAS at Karlstejn Chair(s): Michael Clarkson Cornell University, Limin Jia Carnegie Mellon University

10:05 5m Day opening		Welcome PLAS

10:10 - 11:10	Invited talk IPLAS at Karlstejn

10:10 60m Talk		Micro-Policies: Formally Verified, Tag-Based Security Monitors PLAS Cătălin Hriţcu INRIA Paris Link to publication

11:10 - 12:40	Technical talks IPLAS at Karlstejn

11:10 30m Talk		Swapsies on the Internet - Towards Reasoning about Risk and Trust in the Open World PLAS Sophia Drossopoulou Imperial College London, James Noble Victoria University of Wellington, Mark Miller Google Inc.
11:40 30m Talk		Memory-safe Execution of C on a Java VM PLAS Matthias Grimmer Johannes Kepler University Linz, Roland Schatz Johannes Kepler University Linz, Chris Seaton Oracle Labs / University of Manchester, Thomas Wuerthinger Oracle Labs, Hanspeter Mössenböck Johannes Kepler University Linz
12:10 30m Talk		Dynamic Enforcement of Dynamic Policies PLAS Pablo Buiras Chalmers University of Technology, Bart Van Delft Chalmers University of Technology

13:50 - 14:50	Invited talk IIPLAS at Karlstejn

13:50 60m Talk		Programming and Verifying Today's and Tomorrow's Networks PLAS Shriram Krishnamurthi Brown University

14:50 - 15:30	Technical talks IIPLAS at Karlstejn

14:50 20m Talk		Short Paper: On High-Assurance Information-Flow-Secure Programming Languages PLAS Toby Murray NICTA and UNSW
15:10 20m Talk		Short Paper: The Meaning of Attack-Resistant Systems PLAS Vijay Ganesh University of Waterloo, Sebastian Banescu Technical University of Munich, Martín Ochoa Technical University of Munich

16:10 - 16:30	DiscussionPLAS at Karlstejn

16:10 20m Other		The future of PLAS PLAS

16:30 - 17:00	Workshop closingPLAS at Karlstejn

16:30 30m Day closing		Informal social gathering PLAS

PLAS 2015 Program

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

Tracks

Workshops

PLAS 2015 Program

Switch Program View

Program Display Configuration

Mon 6 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Get Calendar (iCal)

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