Blogs (28) >>
ECOOP 2016
Sun 17 - Fri 22 July 2016 Rome, Italy
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

Conference Day
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 AnconaUniversity of Genova, Frank S. de BoerCentrum Wiskunde & Informatica, Leiden University
10:10
30m
StaRVOOrS: A framework for static and runtime verification of data and control properties.
VORTEX
Gerardo SchneiderUniversity of Gothenburg
10:40
30m
Runtime Verification with Data
VORTEX
Martin LeuckerUniversity of Lübeck
11:10
30m
Runtime Verification of Safe Advisories in the Next-Generation Airborne Collision Avoidance System
VORTEX
Jean-Baptiste JeanninCarnegie 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 ZuccaUniversity of Genova, Marco ServettoVictoria 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 AnconaUniversity of Genova, Frank S. de BoerCentrum Wiskunde & Informatica, Leiden University

Conference Day
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 BrucePomona College, Andrew BlackPortland State University
10:05 - 12:25
GraceGRACE at Saba
10:05
40m
Experience teaching with Grace
GRACE
Andrew BlackPortland State University, Kim BrucePomona College
10:45
70m
Recent changes and language design issues in Grace
GRACE
Andrew BlackPortland State University, Kim BrucePomona College, James NobleVictoria University of Wellington
11:55
30m
The Recurring Rainfall Problem
GRACE
Shriram KrishnamurthiBrown University
13:50 - 15:20
Contributed PapersGRACE at Saba
13:50
30m
Talk
Grace in Spoofax: Readable Specification and Implementation in One
GRACE
Michiel HaismaTU Delft, Vlad VerguTU Delft, Eelco VisserDelft University of Technology
Link to publication File Attached
14:20
30m
Traitorous Traits
GRACE
Michael HomerVictoria University of Wellington, Timothy JonesVictoria University of Wellington
File Attached
14:50
30m
Tooling matters – Why Grace needs a good IDE
GRACE
Michael KöllingUniversity of Kent
16:00 - 17:30
DiscussionGRACE at Saba
16:00
90m
Next steps with Grace
GRACE

Conference Day
Mon 18 Jul

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

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

Conference Day
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

Conference Day
Tue 19 Jul

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