PX 2016
Mon 18 - Fri 22 July 2016 Rome, Italy
co-located with ECOOP 2016
VenueCongress Center
Room nameSaba
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

10:05 - 12:25
Session 1VORTEX at Saba
10:05
5m
Day opening
Opening Remarks
VORTEX
Davide Ancona University of Genova, Frank S. de Boer Centrum Wiskunde & Informatica, Leiden University
10:10
30m
StaRVOOrS: A framework for static and runtime verification of data and control properties.
VORTEX
Gerardo Schneider University of Gothenburg
10:40
30m
Runtime Verification with Data
VORTEX
Martin Leucker University of Lübeck
11:10
30m
Runtime Verification of Safe Advisories in the Next-Generation Airborne Collision Avoidance System
VORTEX
Jean-Baptiste Jeannin Carnegie Mellon University
13:50 - 15:20
Session 2VORTEX at Saba
13:50
30m
Extracting Runtime Monitors from Tests: An Overview and a way forward
VORTEX
14:20
30m
Runtime checks as nominal types
VORTEX
Paola Giannini , Elena Zucca University of Genova, Marco Servetto Victoria University of Wellington
14:50
29m
The Early Bird Catches the Worm: first Verify, then Monitor!
VORTEX
15:19
1m
Day closing
Closing Remarks
VORTEX
Davide Ancona University of Genova, Frank S. de Boer Centrum Wiskunde & Informatica, Leiden University

Tue 19 Jul

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

08:45 - 09:45
Opening sessionGRACE at Saba
08:45
60m
Day opening
Overview of the Grace project and language
GRACE
Kim Bruce Pomona College, Andrew Black Portland State University
10:05 - 12:25
GraceGRACE at Saba
10:05
40m
Experience teaching with Grace
GRACE
Andrew Black Portland State University, Kim Bruce Pomona College
10:45
70m
Recent changes and language design issues in Grace
GRACE
Andrew Black Portland State University, Kim Bruce Pomona College, James Noble Victoria University of Wellington
11:55
30m
The Recurring Rainfall Problem
GRACE
Shriram Krishnamurthi Brown University
13:50 - 15:20
Contributed PapersGRACE at Saba
13:50
30m
Talk
Grace in Spoofax: Readable Specification and Implementation in One
GRACE
Michiel Haisma TU Delft, Vlad Vergu TU Delft, Eelco Visser Delft University of Technology
Link to publication File Attached
14:20
30m
Traitorous Traits
GRACE
Michael Homer Victoria University of Wellington, Timothy Jones Victoria University of Wellington
File Attached
14:50
30m
Tooling matters – Why Grace needs a good IDE
GRACE
Michael Kölling University of Kent
16:00 - 17:30
DiscussionGRACE at Saba
16:00
90m
Next steps with Grace
GRACE

Mon 18 Jul

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

Room10:003011:003012:003013:003014:003015:0030
Saba

Tue 19 Jul

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

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Saba

Tue 19 Jul

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