Program

Preliminary schedule (subject to change):

Winter School on Operating Systems

Tuesday
Tue1: Rüdiger Kapitza - Trusted execution as a basis for secure and reliable distributed systems
Tue2: Daniel Lohmann - Static Tailoring of System Software: Pay Only For What You Use!
Tue3: Gernot Heiser - Provable Security/Safety: The seL4 Microkernel and its Use in Critical Systems
Tue4: Work-in-Progress Session

Wednesday
Wed1: Moritz Neukirchner - Multi-core and automotive system software - Concurrency, scheduling, correctness
Wed2: Dieter Kasper - How distributed Intelligence can create Reliability
Wed3: Olaf Spinczyk - Fault Tolerance in System Software with Aspect-Oriented Programming
Wed4/5: Hands-on-Lab

Thursday
Thu1: Hans Reiser - Hypervisor-based Security and Reliability Technologies
Thu2: Marcel Baunach - Compositional Software Design in Embedded Multi-Core Operating Systems

Work in Progress Sessions

Monday
Mon2:

• Daniel Richter - Trading Something In for an Increased Availability
• Gabor Wacha - Dataflow-aware Task Scheduling with Aggregated Dataflow Graphs
• Steffen Büchner, Lukasz Lopacinski, Rolf Kraemer, Jörg Nolte - Challenges for 100 Gbit/s End to End Communication: Increasing Throughput Through Parallel Processing
• Ivan Luiz Picoli, Philippe Bonnet - Operating System Support for Application-Driven Storage
• Benjamin Taubmann, Noelle Rakotondravony, Hans P. Reiser - Libvmtrace: Tracing virtual machines
• TBA

Tuesday
Tue4:

• Jana Traue - Lightweight Transactions for Systems with NVRAM
• Johannes Köstler, Hans P. Reiser - OptSCORE: Self-Optimized Communication and Scheduling of Replicated Services
• Max Plauth - Exploring heterogeneous ressources in cloud environments
• Lena Feinbube - How does software fail?
• Renata Martins Gomes - Dynamic dependable Multi-Core RTOS
  
• Fabian Mauroner - Multi-Core Microcontroller Architectures

Spring Meeting

Thursday
Thu3:

• Martin Schmatz - Cognitive Computing
• Thomas Pohl - System control structure supporting z Systems RAS characteristics

Thu4:

• Dieter Kasper - Leverage Next Gen Memory with distributed Intelligence to create Reliability
• Tamas Kovacshazy - Availability and Performance of IEEE 1588 Clock Synchronization Solutions for Embedded Operating Systems
• Randolf Rotta, Robert Kuban, Jörg Nolte - Pitfalls of Asynchronous Operating Systems for Many-Cores

Friday
Fri1:

• David Vincze, Tamas Kovacshazy - Performance Evaluation of the Real-time Capabilities of Linux on Modern System on a Chips
• Johannes Köstler, Hans P. Reiser - PEDSEWAN: Platform for the Evaluation of Distributed Systems in Emulated Wide-Area Networks
• Lena Feinbube, Andreas Polze - Experimentally evaluating the dependability of complex software systems

Fri2:

• Christine Jakobs, Peter Tröger, Matthias Werner - Quantitative analysis of imprecise system models with configurable fault trees
• Benjamin Taubmann, Noelle Rakotondravony, Hans P. Reiser - CloudPhylactor: Harnessing Mandatory Access Control for Virtual Machine Introspection in Cloud Environments
• Simon Schuster - Control-Flow Monitoring Revisited
• Hendrik Borghorst, Olaf Spinczyk - Increasing the predictability of interrupt handlers through manual cache-control