Location
The meeting is held at the Hilton St. Petersburg Bayfront Hotel, room HTC4.Schedule
Saturday 16 | |
| 9:30 - 10:30 | Jim Woodcock |
| Dependable Simulation for Mobile and Autonomous Robots
| |
| 11:00 - 12:00 | Malte Schwerhoff |
| Lightweight Support for Magic Wands in an Automatic
Verifier (joint work with Alexander J. Summers / ECOOP 2015 paper)
| |
| 14:00 - 15:00 | Peter Müller |
| Viper - A Verification Infrastructure for
Permission-based Reasoning (rehearsal of VMCAI keynote)
| |
| 16:00 - 17:00 | Alexander J. Summers |
| Actor Services -
Modular Verification of Message Passing Programs
(joint work with Peter Müller)
| |
Sunday 17 | |
| 9:30 - 10:30 | Shaz Qadeer |
| Modular Programming for Reliable Distributed Systems
| |
| 11:00 - 12:00 | Jean-Christophe Filliâtre |
| A Pragmatic Type System for Deductive Verification (joint work with L. Gondelman and A. Paskevich / draft paper)
| |
| 14:30 - 15:30 | Sandrine Blazy |
| Formal Verification of Control-Flow Graph Flattening
(CPP 2016 talk)
| |
| 14:30 - 15:30 | Gary Leavens |
| A Layered System for Specification Authoring, Sharing,
and Usage
|
Participants
- Sandrine Blazy
- Jean-Christophe Filliâtre
- Gary Leavens (chair, host)
- Peter Müller
- Shaz Qadeer
- Malte Schwerhoff (invited observer)
- Natarajan Shankar (secretary)
- Alexander J. Summers (invited observer)
- Jim Woodcock
Last updated: January 17, 2016