Saturday |
| |
Welcome and Introduction |
Microkernels and Component-based OS |
11:00 |
11:15 |
| |
The GNU/Hurd architecture, nifty features, and latest news |
Microkernels and Component-based OS |
11:20 |
12:00 |
| |
Every cloud has a silver lining and what we can learn from it |
Microkernels and Component-based OS |
12:05 |
12:35 |
| |
Rathaxes - A DSL for device driver development, why and how? |
Microkernels and Component-based OS |
12:40 |
13:10 |
| |
OS Hot Topics |
Microkernels and Component-based OS |
14:00 |
14:40 |
| |
Reaching puberty - How Genode is becoming a general-purpose OS |
Microkernels and Component-based OS |
14:45 |
15:25 |
| |
Microkernels and You - long path of the small project |
Microkernels and Component-based OS |
15:30 |
16:00 |
| |
HelenOS: last year at a glance |
Microkernels and Component-based OS |
16:05 |
16:40 |
| |
The NOVA Microhypervisor Interface |
Microkernels and Component-based OS |
16:45 |
17:25 |
| |
Romain: OS Support for Replicating Binary Applications |
Microkernels and Component-based OS |
17:30 |
18:10 |
| |
Panel discussion |
Microkernels and Component-based OS |
18:15 |
19:00 |
Sunday |
| |
Welcome |
Ada |
09:00 |
09:05 |
| |
Introduction to Ada for Beginning and Experienced Programmers |
Ada |
09:05 |
09:55 |
| |
Tools and Techniques for Higher Reliability Software |
Ada |
10:00 |
10:50 |
| |
Ada on Android |
Ada |
11:00 |
11:50 |
| |
Ada Tasking: Multithreading Made Easy |
Ada |
12:00 |
12:50 |
| |
Ada Steaming Ahead: New 2012 Features |
Ada |
14:00 |
14:50 |
| |
Compile-Time Dimensionality Checking |
Ada |
15:00 |
15:25 |
| |
Telephone Reception Management with Alice on Pi |
Ada |
15:30 |
15:55 |
| |
Simplifying the Use of Formal Methods |
Ada |
16:00 |
16:50 |