| Time | Topic |
|---|
| 9:00- 9:15 | Introduction and Welcome |
| 9:15-10:15 | Gernot Heiser |
| The L4 Microkernel - from research to mass deployment and back |
| Invited Talk |
| 10:15-10:30 | Coffee Break |
| 10:30-12:00 | VTDS |
| | Dirk Vogt, Bjoern Doebel and Adam Lackorzynski |
| Stay strong, stay safe - enhancing reliability of a secure operating system |
| | Takahiro Kobayashi, Hiroshi Yamada and Kenji Kono |
| Quick Reboot-based Recovery for Commodity Operating Systems in Virtualized Server Consolidation |
| 12:00-13:30 | Lunch Break |
| 13:30-15:00 | IIES |
| | Michael Stilkerich, Daniel Lohmann and Wolfgang Schröder-Preikschat |
| Gradual Software-Based Memory Protection |
| | Matthieu Lemerre, Vincent David and Guy Vidal-Naquet |
| | A dependable kernel design for resource isolation and protection |
| 15:00 - 15:30 | Coffee Break |
| 15:30 - 17:00 | IIES |
| | Juergen Bregenzer and Frank Adaemmer |
| Evaluation of Integration Approaches in common COTS Hypervisors for Use in Industrial Automation Controllers |
| | Udo Steinberg and Bernhard Kauer |
| Towards a Scalable Multiprocessor User-level Environment |
| 17:00-17:15 | Closing remarks |