Echtzeit-AG – Wissenschaftliche Vorträge rund um Betriebssysteme

Überblick

Die Echtzeit-AG stellt das Forum dar, in dem wöchentlich Themen zur Verfolgung der Forschungsinteressen der Gruppe diskutiert werden. Dies umfasst die Darstellung von Problemen, mit denen sich man momentan befasst, die Diskussion von Ergebnissen sowie die Vorstellung anderer Projekte und Systeme.

Es wird Wert auf einen Stil gelegt, der es zuläßt, auch unausgegorene, neue Ideen vorzustellen und zu diskutieren. Es existiert zwar ein ungefährer Plan für den Ablauf während eines Semesters, auf dessen Einhaltung aber nicht immer bestanden wird, d.h. es finden spontane Programmänderungen statt.

Für fortgeschrittene Studenten, die sich für Beleg- und Diplomarbeiten im Rahmen der Forschungsarbeit des Lehrstuhls interessieren, stellt die AG den geeigneten Einstiegspunkt dar.

Die Echtzeit-AG fungiert ebenfalls als Hauptseminar (Themenvorschläge).

Ort und Zeit

In diesem Semester treffen wir uns jeweils freitags 13.00 Uhr im Raum APB/E001.

Für die Verwaltung der Termine ist Matthias Hille zuständig. Da die EZAG oft einige Zeit im Voraus geplant wird, ist es ratsam, Termine - insbesondere für Beleg- und Diplomverteidigungen - rechtzeitig zu reservieren. Aktuelle Termine und kurzfristige Änderungen werden auf dieser Webseite, über die EZAG-Mailingliste und über die Info-Bildschirme bekannt gegeben.

. .: Jan Dittberner, Holger Helas, T-Systems:
Den Pinguin in die Firma bringen (Verschoben!)
10. 01. 2019: Lukas Landgraf, TU Dresden:
NOVA-Fortis: A Fault-Tolerant Non-Volatile Main Memory File System (Hauptseminar-Vortrag)
29. 11. 2019: Georg Kotheimer, TU Dresden:
RISC-V - The Free and Open RISC Instruction Set Architecture (Hauptseminar-Vortrag)
22. 11. 2019: Till Miemietz, TU Dresden:
K2: Work-Constraining Scheduling of NVMe-Attached Storage (Conference Talk)
25. 10. 2019: Jan Schultke, TU Dresden:
3D-Video mit H.264/MVC (Hauptseminar-Vortrag)
11. 10. 2019: Philipp Schuster, TU Dresden:
Multithreading in Rust (Hauptseminar-Vortrag (Sondertermin 15:00, APB/3105))
30. 08. 2019: Max Reitz, TU Dresden:
Isolating Program Execution on L4Re/Fiasco.OC (Verteidigung der Diplomarbeit)
30. 08. 2019: Till Miemietz, TU Dresden:
I/O-Stacks im Userspace (Kolloquium zur Analyse eines Forschungsthemas)
28. 06. 2019: Martin Pohlack, Amazon Web Services:
Keeping customer data safe in EC2 - a deep dive
27. 06. 2019: Andreas Abel, Universität des Saarlandes:
uops.info: Characterizing Latency, Throughput, and Port Usage of Instructions on Intel Microarchitectures (Sondertermin (APB 31005 10:00))
14. 06. 2019: Mark Silberstein, Technion, Haifa, Israel:
When SGX fell victim to speculative execution bugs (Sondertermin: APB 3105, 10:30)
07. 06. 2019: Sebastian Humenda, TU Dresden:
Rust und IPC unter L4Re - Implementierung einer sicheren und effizienten IPC-Abstraktion (Verteidigung der Diplomarbeit)
24. 05. 2019: Till Miemietz, TU Dresden:
K2 - Echtzeit-I/O-Scheduling für Solid State Drives (Kolloquium im Profilprojekt Grundlagenforschung)
10. 05. 2019: Timothy Roscoe, ETH Zürich:
Building Enzian: a research computer
10. 05. 2019: Nils Asmussen, TU Dresden:
A New System Architecture for Heterogeneous Compute Units (Dissertationsverteidigung (APB 1004 9:45))
09. 05. 2019: Bryan S. Kim, Seoul National University:
Towards Performant and Reliable Flash-Based Storages (Sondertermin (APB 3105 9:30))
05. 04. 2019: Wang Yi, Uppsala University:
CUSTOMER: Customizable Embedded Real-Time Systems (Sondertermin (APB/E005 11:00))
05. 04. 2019: Linda Herrmann, TU Dresden:
Formal Configuration of Fault-Tolerant Systems (Dissertations-Verteidigung (APB 1004))
29. 03. 2019: Georg Kotheimer, TU Dresden:
Revisiting the Network Stack of M³ (Kolloquium im Profilprojekt Grundlagenforschung)
29. 03. 2019: Hannes Baum, TU Dresden:
End-to-end Responsiveness with the ATLAS Scheduler (Verteidigung der Belegarbeit (13:30))
29. 03. 2019: Wang Nan, Huawei:
Discussion about the design of a new micro-kernel (14:30)
22. 03. 2019: Valentin Gehrke, TU Dresden:
L4-basierte Kommunikation mit einem Echtzeitbetriebssystem über Speicher (Verteidigung der Diplomarbeit (APB 2101))
01. 03. 2019: Nikolaus Thümmel, TU Dresden:
Systeme zur Verbesserung der Vertrauenswürdigkeit von X.509-Zertifikaten (Hauptseminar-Vortrag)
15. 02. 2019: Georg Grassnick, TU Dresden:
Execution Time Prediction for HEVC (Verteidigung der Bachelor-Arbeit)
01. 02. 2019: Frank Hedecke, TU Dresden:
Skalierbare Server durch Core-lokale IPC (Verteidigung der Diplomarbeit)
11. 01. 2019: Thomas Roßberg, TU Dresden:
Fuzzing - ein kurzer Überblick (Hauptseminar-Vortrag)
21. 12. 2018: Michael Roitzsch, TU Dresden:
The Missing Christmas EZAG (Weihnachts-EZAG, Sondertermin: 14:30 Uhr, APB 3105)
14. 12. 2018: Oliver Effland, TU Dresden:
Analysis of the Linux Energy-Aware Scheduler (Verteidigung der Bachelor-Arbeit)
14. 12. 2018: Frank Hedecke, TU Dresden:
Asynchrone Programmierung in C++ (Hauptseminar-Vortrag)
07. 12. 2018: Sebastian Reimers, TU Dresden:
Extension of an Accelerator-Friendly in-Memory File System for Persistent Storage (Verteidigung der Bachelor-Arbeit)
30. 11. 2018: Till Miemietz, TU Dresden:
I/O Scheduling for Modern Storage Technologies (Verteidigung der Belegarbeit, Sondertermin: 12:30 Uhr, APB E001)
30. 11. 2018: Hermann Christian Baron von Kleist, TU Dresden:
Einführung in ROS (Hauptseminar-Vortrag)
19. 10. 2018: Jörg Gerlach, TU Dresden:
HPC-Anwendungen auf Apache Mesos (Verteidigung der Bachelor-Arbeit)
14. 09. 2018: Maximilian Stein, TU Dresden:
Interprozesskommunikation in speicherorientierten Rechnerarchitekturen (Verteidigung der Diplomarbeit)
10. 08. 2018: Adam Kalisz, TU Dresden:
New Tricks for Old Dogs XFS and FFS (Hauptseminar-Vortrag)
27. 07. 2018: Max Reitz, TU Dresden:
Research on Isolated Program Execution (Vortrag zum Forschungsthema)
13. 07. 2018: Naiji Ma, TU Dresden:
Debugging MPI library bug with minimized bug-triggering MPI trace (Verteidigung der Master-Arbeit)
29. 06. 2018: Sebastian Humenda, TU Dresden:
Making Rust Talk - Rust and IPC on L4Re (Vortrag zum Forschungsprojekt)
19. 06. 2018: Georg Kotheimer, TU Dresden:
Network Support on M3 (Kolloquium zur Belegarbeit, Sondertermin: 13:30 Uhr, APB 3105)
09. 05. 2018: André Brinkmann, Johannes Gutenberg-Universität Mainz:
New Storage Technologies and Their Impact on File System Design (Sondertermin: 9:30 Uhr, APB 2101)
27. 04. 2018: Till Miemietz, TU Dresden:
Umsetzung einer HCI-Lösung mit InfiniBand (Kolloquium zum Berufspraktikum)
16. 03. 2018: Konrad Gube, TU Dresden:
An Overview Of Control-Flow Integrity Enforcement (Hauptseminar-Vortrag, abweichender Raum: APB 3080)
02. 03. 2018: Naiji Ma, TU Dresden:
Debugging MPI Program with minimized bug-triggering API sequence (Zwischenpräsentation der Diplomarbeit)
12. 01. 2018: Pietro Incardona, Ulrik Günther, Ivo Sbalzarini, TU Dresden:
OpenFPM and Scenery
22. 12. 2017: Michael Roitzsch, TU Dresden:
Post-Smartphone Privacy and Security (Weihnachts-EZAG)
15. 12. 2017: Hermann Härtig, TU Dresden:
Ecuador - Post Smart Phone - Grand Challenge
01. 12. 2017: Hannes Weisbach, TU Dresden:
Hardware Performance Variation: A comparative Study
03. 11. 2017: Maximilian Stein, TU Dresden:
SMUX - Selbstheilendes Kanalmultiplexing (Verteidigung der Studienarbeit)
20. 10. 2017: Benjamin Lamowski, TU Dresden:
Sandcrust: Automatic Sandboxing of Unsafe Components in Rust (Probevortrag für Workshop)
19. 10. 2017: Ben Serebrin, Google:
Measuring the Effects of Turbo on VMs (Sondertermin: 16:30 Uhr, APB 3105)
22. 09. 2017: Maurice Bailleu, TU Dresden:
Byte-granular memory mapping with CHERI and L4Re (Verteidigung der Diplomarbeit)
15. 09. 2017: Robert Hess, LogMeIn:
Real time Communication at large scale in Dresden
28. 07. 2017: Sebastian Humenda, TU Dresden:
Rust On L4Re - Integrating A Modern Systems Language Into A Microkernel Userland (Vortrag zum Forschungsprojekt)
14. 07. 2017: Christian Javier Engemann Miranda, TU Dresden:
Entwicklung einer Android-App zum Profiling mittels WLAN-Sniffing (Verteidigung der Studienarbeit)
23. 06. 2017: Otto Anshus, Arctic University of Norway:
Distributed Arctic Observatory Cyber-Physical System
16. 06. 2017: Diana Göhringer, TU Dresden:
Self-Adaptive Multiprocessor Systems-on-Chip for Cyber-Physical Systems
02. 06. 2017: David Haensel, Forschungszentrum Jülich:
A C++ based MPI-enabled Tasking Framework to Efficiently Parallelize Fast Multipode Methods for Molecular Dynamics
12. 05. 2017: Benjamin Lamowski, TU Dresden:
Automatic Sandboxing of Unsafe Software Components in High Level Languages (Verteidigung der Master-Arbeit)
05. 05. 2017: Linda Leuschner, TU Dresden:
Towards Automated Construction of Systems with Certified Non-functional Properties
28. 04. 2017: Markus Partheymüller, Cyberus Technology GmbH:
SuperNOVA: Microkernel-based Malware Forensics
07. 04. 2017: Dmitry Kuvayskiy, TU Dresden:
SGXBounds: Memory Safety for Shielded Execution
17. 03. 2017: Maurice Bailleu, TU Dresden:
Building an In-Memory File-System with CHERI (Vortrag zum Forschungsprojekt)
10. 03. 2017: Sebastian Wagner, TU Dresden:
Managing Overload with ATLAS Real-Time Scheduling (Verteidigung der Diplomarbeit, abweichender Raum: APB 2101)
20. 01. 2017: Maurice Bailleu, TU Dresden:
The CHERI Capability System (Vortrag zum Forschungsthema, Sondertermin: 14:30 Uhr, APB 2071)
16. 12. 2016: Michael Roitzsch, TU Dresden:
A World of Color (Weihnachts-EZAG, Sondertermin: 15:00 Uhr, APB 3105)
16. 12. 2016: Frank Hedecke, TU Dresden:
Budgets für Thread Gruppen in L4Re (Verteidigung der Belegarbeit)
25. 11. 2016: Maximilian Richter, TU Dresden:
Game Engines als Real-Time und Multicore-Last (Hauptseminar-Vortrag)
04. 11. 2016: Sebastian Humenda, TU Dresden:
Making Material Accessible in 2016
28. 10. 2016: Roland Kunkel, TU Dresden:
Google Protocol Buffers (Hauptseminar-Vortrag)
21. 10. 2016: Thomas Knauth, TU Dresden:
SCONE: Secure Linux Container Environments with Intel SGX
07. 10. 2016: Maurice Bailleu, TU Dresden:
(Hauptseminar-Vortrag, abweichender Raum: APB 1096)
07. 10. 2016: Sebastian Wagner, TU Dresden:
(Zwischenpräsentation der Diplomarbeit, abweichender Raum: APB 1096)
08. 08. 2016: Lukas Landgraf, TU Dresden:
Impact of Scheduling Decisions on Energy Consumption (Verteidigung der Bachelor-Arbeit, Sondertermin: 10:00 Uhr, APB 3105)
29. 07. 2016: Benjamin Lamowski, TU Dresden:
Protection Models for Application Componentization (Vortrag zum Forschungsprojekt)
08. 07. 2016: Sebastian Humenda, TU Dresden:
Rust - A Systems Programming Language (Hauptseminar-Vortrag)
24. 06. 2016: Lukas Landgraf, TU Dresden:
Impact of Scheduling Decisions on Energy Consumption (Zwischenpräsentation der Bachelor-Arbeit)
19. 05. 2016: Maurice Bailleu, TU Dresden:
The state of persistent capabilities in Fiasco.OC (Sondertermin: 14:30 Uhr, APB 3105)
11. 04. 2016: Till Smejkal, TU Dresden:
Hardware-Based Energy Accounting for Multi-Core Systems (Verteidigung der Diplomarbeit, Sondertermin: 15:00 Uhr, APB 2101)
18. 03. 2016: Nikolaus Thümmel, TU Dresden:
Anwendungsstudie zu Echtzeit-Scheduling in Linux (Bachelor-Verteidigung, abweichender Raum: APB 2101)
11. 03. 2016: Sebastian Wagner, TU Dresden:
CBS-basiertes Scheduling (Hauptseminar-Vortrag, abweichender Raum: APB 1005)
04. 03. 2016: Philipp Eppelt, TU Dresden:
Behaviour-Aware Load-Balancing for a Micro-Kernel (Verteidigung der Diplomarbeit)
19. 02. 2016: Max Reitz, TU Dresden:
Software-based isolated program execution (Vortrag zum Forschungsprojekt)
12. 02. 2016: Hannes Weisbach, TU Dresden:
Multi-Processor Look-Ahead Scheduling (Verteidigung der Master-Arbeit)
12. 02. 2016: Till Smejkal, TU Dresden:
S-RAPL - Hardware Based Energy Accounting for Multicore Systems (Zwischenpräsentation der Diplomarbeit, Sondertermin: 12:30 Uhr, APB E001)
15. 01. 2016: Daniel Schneegast, TU Dresden:
Mobile Security (Hauptseminar-Vortrag)
18. 12. 2015: Michael Roitzsch, TU Dresden:
Digital Movie Tools (Weihnachts-EZAG, Sondertermin: 15:30 Uhr, APB 3105)
18. 12. 2015: Till Smejkal, TU Dresden:
Measuring Energy in Embedded and Mobile Devices (Hauptseminar-Vortrag)
11. 12. 2015: Johannes Kulik, TU Dresden:
Client-independent Checkpoint/Restart of L4Re-server-applications (Verteidigung der Diplomarbeit)
04. 12. 2015: Benjamin Lamowski, TU Dresden:
Projects from the Dark Side - Decentralized and Anonymous Networks and Their Challenges for OS and Distributed Systems Design (Hauptseminar-Vortrag, Sondertermin: 11:00 Uhr, APB 3105)
27. 11. 2015: Andreas Wiese, TU Dresden:
Integration and Management of Automatically Generated Hardware Accelerators on the Linux OS (Verteidigung der Diplomarbeit)
19. 11. 2015: Philipp Eppelt, TU Dresden:
Multicore Load Balancing Based on Behaviour Observations on µ-Kernels (Zwischenpräsentation der Diplomarbeit)
18. 09. 2015: René Küttner, TU Dresden:
Time-Multiplexing for Remote-Controlled Applications (Bachelor-Verteidigung)
04. 09. 2015: Hannes Weisbach, TU Dresden:
ATLAS: The Good, the Bad and the Ugly (Zwischenpräsentation der Master-Arbeit)
28. 08. 2015: Sven Dziadek, TU Dresden:
Grand Central Dispatch with Linux Kernel Support (Vortrag zum Forschungsprojekt)
21. 08. 2015: Michael Roitzsch, TU Dresden:
Mapping the Cloud
14. 08. 2015: Maurice Bailleu, TU Dresden:
Device Driver Replication (Verteidigung der Belegarbeit)
07. 08. 2015: Johannes Kulik, TU Dresden:
Client-independent Checkpoint/Restart of L4Re-server-applications (Zwischenpräsentation der Diplomarbeit)
04. 08. 2015: Eberle Rambo, TU Braunschweig:
Designing a Reliable Network-on-Chip for Real-Time Systems (Sondertermin: 13:00 Uhr, APB 3105)
23. 07. 2015: Dejan Milojicic und Chris Dalton, HP Labs:
Operating System for The Machine (Sondertermin: 15:30 Uhr, APB 1004)
17. 07. 2015: Matthias Hille, TU Dresden:
Implementation of Distributed Shared Memory for Modern Paradigms of Parallel Programming on L4 (Verteidigung der Master-Arbeit)
19. 06. 2015: Till Smejkal, TU Dresden:
Multi-RAPL - Sharing RAPL energy counters between applications (Vortrag zum Forschungsprojekt)
19. 06. 2015: Hannes Weisbach, TU Dresden:
RDMA-accelerated Key-Value-stores demystified (Vortrag zum Forschungsprojekt)
01. 06. 2015: Maksym Planeta, TU Dresden:
Simulation of a Scheduling Algorithm for DAG-based Task Models (Sondertermin: 13:30 Uhr, APB 3105)
22. 05. 2015: Marius Melzer, TU Dresden:
WebRTC - Echtzeitkommunikation im Web (Hauptseminar-Vortrag)
13. 03. 2015: Maurice Bailleu, TU Dresden:
Error Detection in IPC Messages through Checksums
13. 03. 2015: Matthias Hille, TU Dresden:
Implementation of Distributed Shared Memory for Modern Paradigms of Parallel Programming in L4
09. 03. 2015: Andreas Wiese, TU Dresden:
Performance Analysis of Distributing Erasure-Coded Checkpoing Data (Sondertermin: 11:00 Uhr, APB/3105)
27. 02. 2015: Till Smejkal, TU Dresden:
Improving Microkernel Construction through Hardware Transactional Memory
27. 02. 2015: Sven Dziadek, TU Dresden:
IPC Message Logging and Replaying
20. 02. 2015: Timo Hönig, FAU Erlangen/Nürnberg:
Making Energy a Useful Resource to System Engineers and Programmers
13. 02. 2015: Olaf Krzikalla, TU Dresden:
t.b.d.
13. 02. 2015: Maximilian Nitsch, TU Dresden:
Entwicklung eines Datenabhängigkeitssystems zur Steuerung des Ablauf seiner multi-GPU Simulation
09. 01. 2015: Marta Tasic, TU Dresden:
Detecting Attacks Using Program Alternatives and ELKVM (Verteidigung der Master-Arbeit)
19. 12. 2014: Michael Roitzsch, TU Dresden:
Practical Programming (Weihnachts-EZAG)
15. 12. 2014: Bernhard Kauer, TU Dresden:
Improving System Security Through TCB Reduction (Sondertermin: 16:30 Uhr, INF/1004)
15. 12. 2014: Paulo Verissimo, University of Luxembourg:
Computing and Communications Resilience: The Keystone of Modern Global Applications (Sondertermin: 15:00 Uhr, INF/2101)
12. 12. 2014: Björn B. Brandenburg, MPI SWS:
MC-IPC: A Synchronous IPC Protocol with Strict Bandwidth Isolation Guarantees for Mixed-Criticality Multiprocessor Real-Time Systems
28. 11. 2014: Matthias Lieber, TU Dresden:
Dynamic Load Balancing of High Performance Computing Applications
25. 11. 2014: Björn Döbel, TU Dresden:
Operating System Support for Redundant Mulithreading (Sondertermin: 13:30 Uhr, INF/1004)
07. 11. 2014: Wolfgang Schröder-Preikschat, Universität Erlangen-Nürnberg:
Invasive Computing - A Systems Programming Perspective
24. 10. 2014: Heinrich Theodor Vierhaus, BTU Cottbus:
Low Power System Design (Sondertermin: 11:30 Uhr, INF/3105)
24. 10. 2014: Heinrich Theodor Vierhaus, BTU Cottbus:
Self Repair Technology for Integrated Circuits
12. 09. 2014: Andreas Heinig, TU Dortmund:
Flexible Errror Handling in Embedded Real-Time Systems
04. 07. 2014: Hermann Härtig, TU Dresden:
FFMK: A Fast and Fault-Tolerant Microkernel-Based Operating System Design for Excascale Computing (Abweichender Raum: INF/1004)
13. 06. 2014: Dirk Müller, TU Chemnitz:
Using circular range for a more precise description of period compatibility for rate-monotonic schedulability tests
06. 06. 2014: Marcus Voelp, TU Dresden:
Verifying Cyber Physical Systems --- A CMU Experience Report
23. 05. 2014: Konrad Lai, (ex-)Intel:
Hardware Transactional Memory in the wild - the first year (Sondertermin: 14 Uhr, INF/E01)
16. 05. 2014: Faisal Shahzad, Universität Erlangen-Nürnberg:
A feasibility study of checkpoint/restart as a fault tolerance technique
09. 05. 2014: Martin Unzner, TU Dresden:
Split TCP/IP Stack (Verteidigung der Diplomarbeit)
09. 05. 2014: Christian Menard, TU Dresden:
Error Detection Using Pipeline Fingerprinting (Verteidigung der Belegarbeit)
24. 02. 2014 (Sondertermin: 14:30 Uhr, Raum: INF/3105): Florian Pester, TU Dresden:
ELK Herder (Verteidigung der Diplomarbeit)
24. 01. 2014: Martin Unzner, TU Dresden:
A Split TCP/IP Stack implementation for GNU/Linux (Zwischenpräsentation der Diplomarbeit)
10. 01. 2014: Andreas Wiese, TU Dresden:
Beyond TCP: MPTCP vs. SCTP (Hauptseminar-Vortrag)
10. 01. 2014: Christian Menard, TU Dresden:
Processor Simulation using Gem5 (Hauptseminar-Vortrag)
19. 12. 2013 (Sondertermin: 13:00 Uhr, Raum: INF/1004): Markus Partheymüller, TU Dresden:
Adding SMP Support to a User-Level VMM (Verteidigung der Diplomarbeit)
19. 12. 2013 (Sondertermin: 13:00 Uhr, Raum: INF/1004): Daniel Müller, TU Dresden:
Memory and Thread Management on NUMA Systems (Verteidigung der Diplomarbeit)
17. 12. 2013 (Sondertermin: 13:00 Uhr, Raum: INF/1096): Guilherme Calandrini, TU Berlin:
Performance Portability and Energy Issues in Computing Architectures
13. 12. 2013: Konstantin Tabere, TU Dresden:
Migration Sweetspots (Verteidigung der Diplomarbeit)
06. 12. 2013: Peter Hochgemuth, ENTIRESPHAIRE GmbH:
CLT und C2LTG - Eine verteilte Serviceplattform
29. 11. 2013: Otto Anshus, University of Tromsoe:
Cloud Displays for Mobile Users in a Display Cloud
08. 11. 2013: Osman Ismael, Sridhar Jayanthi, FireEye Inc.:
FireEye Technology Overview -- Exploit Detection using Virtual Execution Engine
01. 11. 2013: Marcus Peinado, Microsoft Research:
Auf Rootkit-Spurensuche mit MAS
25. 10. 2013: Daniel Müller, TU Dresden:
Memory and Thread Management on NUMA Systems
18. 10. 2013: Philipp Eppelt, TU Dresden:
Running RTEMS in POK Partitions
20. 09. 2013: Nicholas McGuire:
t.b.d.
20. 09. 2013: Jacek Galowicz, RWTH Aachen:
Live Migration of Virtual Machines between Heterogeneous Host Systems
02. 08. 2013: Robert Muschner, TU Dresden:
Reducing Resource Consumption of Replication using Dynamic Replicas (Verteidigung der Diplomarbeit)
19. 07. 2013: Jons-Tobias Wamhoff, TU Dresden:
Robustness and Performance of Software Transactional Memory (Statusvortrag im Promotionsverfahren)
12. 07. 2013: Uwe Mielke, Infineon:
Transputer Architecture and Occam - the Fascination of early, true Parallel Computing Anno 1983
05. 07. 2013: Hendrik Tews, TU Dresden:
Thesis Writing Guide
28. 06. 2013: Michael Jahn, TU Dresden:
IBM Blue Gene (Hauptseminar-Vortrag)
21. 06. 2013: Martin Kriegel, TU Dresden:
Bounding Error Detection Latencies for Replicated Execution (Verteidigung der Bakkalaureatsarbeit)
14. 06. 2013: Michael Raitza, TU Dresden:
Generic Re-Implementation of the Synthesis of AMIDAR Functional Units
14. 06. 2013: Philipp Eppelt, TU Dresden:
Partitioned Operating System Kernel for Safety-Critical Systems (Hauptseminar-Vortrag)
07. 6. 2013: Johannes Steinmetz, TU Dresden:
Towards Consolidate-to-Idle (Verteidigung der Diplomarbeit)
07. 6. 2013: Jan Bierbaum, TU Dresden:
Grand Central Dispatch on L4Re (Verteidigung der Diplomarbeit)
24. 05. 2013: Florian Pester, TU Dresden:
OAuth -- Authentisierung zwischen Web-Anwendungen
24. 05. 2013: Florian Pester, TU Dresden:
Porting FUSE to Fiasco/L4Re (Verteidigung der Belegarbeit)
17. 05. 2013: Michael Jahn, TU Dresden:
MPICH on Fiasco.OC/L4Re (Verteidigung der Belegarbeit)
10. 05. 2013: Marcus Hähnel, TU Dresden:
eBond: Energy Saving in Heterogeneous R.A.I.N.
03. 05. 2013: Andre Henizig, TU Dresden, NamLab:
Reconfigurable Nanowire Transistors as Building Blocks for Functionality Enhanced Electronics
26. 04. 2013: Robert Muschner, TU Dresden:
Dynamische Replikation in Romain (Zwischenpräsentation der Diplomarbeit)
19. 04. 2013: Paolo Verissimo, University of Lisbon:
How to achieve real-time communication over non-real-time wide-area IP networks
22. 03. 2013: Meike Zehlike, TU Dresden:
Time Virtualization in NOVA and Vancouver (Verteidigung der Belegarbeit)
15. 03. 2013: Marcus Hähnel, TU Dresden:
The Potential of Energy/Utility-Accrual Scheduling
01. 03. 2013: Martin Kriegel, TU Dresden:
Bounding Error Detection Latencies for Replicated Execution (Zwischenpräsentation der Belegarbeit)
15. 02. 2013: Guilherme Calandrini, Univ. of Alcala:
t.b.d.
25. 01. 2013: Jan Bierbaum, TU Dresden:
Parallelism with Asynchronous Lambdas on Fiasco.OC/L4Re (Zwischenpräsentation der Diplomarbeit)
25. 01. 2013: Martin Unzner, TU Dresden:
Implementation of a Fault Injection Framework for Fiasco.OC (Verteidigung der Belegarbeit)
21. 12. 2012: Michael Roitzsch, TU Dresden:
Typographie - die allgegenwärtige Kunst (Weihnachts-EZAG)
21. 12. 2012 (Sondertermin: 11:00 Uhr, Raum: INF/3105): Stefan Wächtler, TU Dresden:
Look-Ahead Scheduling (Verteidigung der Diplomarbeit)
14. 12. 2012: Meike Zehlike, TU Dresden:
Zeit-Virtualisierung (Zwischenpräsentation der Belegarbeit)
14. 12. 2012: Johannes Steinmetz, TU Dresden:
Consolidate to Idle (Zwischenpräsentation der Diplomarbeit)
07. 12. 2012: Christof Fetzer, TU Dresden:
ParaDIME: Parallel Distributed Infrastructure for Minimization of Energy
23. 11. 2012: Jens Kehne, KIT:
libRIPC
23. 11. 2012: Marius Hillenbrand, KIT:
FusedOS
16. 11. 2012: Nicholas McGuire, Beijing Shenzhou Aerospace Software Technology Co. Ltd.:
NextGenOS: Current state of the Design of the Next generation aerospace RTOS
02. 11. 2012: Robert Muschner, TU Dresden:
Reverse Engineering of Device Drivers for the L4 Runtime Environment (Verteidigung der Beleg-Arbeit)
02. 11. 2012: Meike Zehlike, TU Dresden:
Content Delivery Networks (Hauptseminar-Vortrag)
26. 10. 2012: Tobias Stumpf, TU Dresden:
Automatische Speicherbereinigung in Echtzeitsystemen - Entwurf eines echtzeitfähigen konservativen Kollektors für RTEMS
26. 10. 2012: Florian Pester, TU Dresden:
Porting FUSE to L4Re
19. 10. 2012: Jan Bierbaum, TU Dresden:
Der IDL-Compiler cid (Verteidigung der Beleg-Arbeit)
19. 10. 2012: Stefan Wächtler, TU Dresden:
Der ATLAS Scheduler
25. 09. 2012 (Sondertermin: 14:30 Uhr, Raum: INF/2101): Michael Franz, UC Irvine:
Software Immunity via Large-Scale Diversification
31. 08. 2012: Markus Pötschke, TU Dresden:
Von der partiellen Differentialgleichung zur numerischen Lösung - FEM aus Anwendersicht
27. 07. 2012: Michael Jahn, TU Dresden:
MPI(CH) on L4Re
20. 07. 2012: Daniel Müller, TU Dresden:
Go Channels on L4Re (Verteidigung der Belegarbeit)
13. 07. 2012: Hendrik Tews, TU Dresden:
Thesis Writing Guide
06. 07. 2012: Florian Schintke, Zuse-Institut Berlin:
Replikation und Konsistenz im Cloud-Dateisystem XtreemFS
08. 06. 2012: Marcus Hähnel, TU Dresden:
Measuring Energy Consumption for Short Code Paths Using RAPL
11. 05. 2012: Stefan Wächtler, TU Dresden:
Scheduling in Linux (Hauptseminar-Vortrag)
27. 04. 2012: Tobias Stumpf:
Erweiterung eines Mikrokerns für die Virtualisierung eines Betriebssystems
20. 04. 2012: Ludger Fiege, Siemens:
New E/E Architecture for e-Mobility - automotive computers are growing up
03. 04. 2012 (Sondertermin: 09:00 Uhr, Raum: INF/1096): Marcus Hähnel, TU Dresden:
Introducing Energy/Utility (Verteidigung der Diplomarbeit)
19. 03. 2012 (Sondertermin: 13:00 Uhr, Raum: INF/3105): Stefan Wächtler, TU Dresden:
Evaluation of migration costs in multi-core CPU scheduling (Verteidigung der Belegarbeit)
12. 03. 2012 (Sondertermin: 15:00 Uhr, Raum: INF/3105): Philip Axer, TU Braunschweig:
Design and Analysis of Mixed-Critical Systems
03. 02. 2012: Hermann Loose, TU Dresden:
Compiler-Unterstützung für Control-Flow Integrity Checking (Hauptseminar-Vortrag)
03. 02. 2012: Frank Tetzel, TU Dresden:
Parallelisierung von Valgrind (Verteidigung der Belegarbeit)
20. 01. 2012: Daniel Müller, TU Dresden:
POSIX Capabilities (Hauptseminar-Vortrag)
20. 01. 2012: Markus Partheymüller, TU Dresden:
Exploring Inter-Core Message-Passing for Fiasco on the SCC (Verteidigung der Belegarbeit)
06. 01. 2012: Felix Neumärker, TU Dresden:
Btrfs (Hauptseminar-Vortrag)
16. 12. 2011: Michael Roitzsch, TU Dresden:
OS X Lion for the Systems Crowd (X-mas Special)
09. 12. 2011: Daniel Hackenberg, TU Dresden:
Energy-Efficient Parallel Processing: Trends and Objectives
02. 12. 2011: Andreas Vedral, WAGO:
Virtualisierung in industriellen Steuerungskomponenten (Chancen und Herausforderungen)
25. 11. 2011: Marius Vlad, 1&1 Romania:
Subverting the Linux Kernel, Rootkit Development and Deployment
18. 11. 2011: Nils Asmussen:
Das Mikrokern-Betriebssystem Escape
28. 10. 2011 (Sondertermin: 14:15 Uhr, Raum: INF/E023): Paul McKenney, IBM:
Validating Core Parallel Software
28. 10. 2011 (Sondertermin: 13:00 Uhr, Raum: INF/E023): Tim Kaldewey, IBM:
High-Performance Data Management - Before and Beyond Fast Architecture Sensitive Tree Search
07. 10. 2011: Marcus Hähnel, TU Dresden:
Porting the VMKit framework and the J3 Java Virtual Machine to L4Re (Verteidigung der Belegarbeit)
23. 09. 2011: Nicola Manica, University of Trento (Italy):
Cooperative Scheduling in General Purpose Operating Systems
08. 07. 2011: Maria Klemm, TU Dresden:
Verbesserung des Datenschutzes bei Webanwendungen (Verteidigung der Diplomarbeit)
01. 07. 2011: Martin Unzner, TU Dresden:
Hardwarebeschleunigung für Video-Decoding und -Encoding (Hauptseminar-Vortrag)
24. 06. 2011: Sven Fröhlich, TU Dresden:
Das Windows-Sicherheitsmodell (Hauptseminar-Vortrag)
07. 06. 2011 (Sondertermin: 11:00 Uhr, Raum: INF/3105): Carsten Weinhold, TU Dresden:
jVPFS: Adding Robustness to a Secure Stacked File System with Untrusted Local Storage Components
01. 04. 2011: Daniel Rentsch, TU Dresden:
Konzept und Realisierung einer Architektur zur automatisierten und konsistenten Integration von Dokumentationsartefakten in webbasierten Hilfesystemen (Verteidigung der Beleg-Arbeit)
30. 03. 2011 (Sondertermin: 13:00 Uhr, Raum: INF/2101): Christian Prochaska, TU Dresden:
Fortgeschrittene Debugging-Tools für L4Re (Verteidigung der Diplomarbeit)
30. 03. 2011 (Sondertermin: 13:45 Uhr, Raum: INF/2101): Hannes Weisbach, TU Dresden:
DDEKit Approach for Linux User-Level Drivers (Verteidigung der Bakkalaureatsarbeit)
18. 03. 2011: Christian Prochaska, TU Dresden:
Systemweites Profiling (Hauptseminar-Vortrag)
11. 03. 2011: Mark Batty, University of Cambridge:
Mathematizing C++ Concurrency
31. 01. 2011 (Sondertermin: 16:15 Uhr): Marcus Völp, TU Dresden:
Provable Protection of Confidential Data in Microkernel-Based Systems (Dissertations-Verteidigung)
31. 01. 2011 (Sondertermin: 11:15 Uhr): Marcus Völp, TU Dresden:
Wind-Energy Prediction - A Computer-Science Challenge (wissenschaftlicher Vortrag im Promotionsverfahren)
28. 01. 2011: Markus Partheymüller, TU Dresden:
Energieoptimierung von Rechnersystemen (Hauptseminar-Vortrag)
21. 01. 2011 (Sondertermin: 12:30 Uhr): Ron Aigner, Microsoft:
Communication in Microkernel-Based Operating Systems (Dissertations-Verteidigung)
21. 01. 2011 (Sondertermin: 9:15 Uhr): Ron Aigner, Microsoft:
Privacy in the Cloud (wissenschaftlicher Vortrag im Promotionsverfahren)
06. 01. 2011 (Sondertermin: 15:00 Uhr, Raum: INF E006): Sanjoy Baruah, The University of North Carolina at Chapel Hill:
Scheduling Issues in Mixed-Criticality Systems (Televorlesung)

Vergangene Vorträge

Eine Übersicht über frühere Vorträge findet sich hier.

TUD

Betriebssysteme

Lehre

Echtzeit-AG – Wissenschaftliche Vorträge rund um Betriebssysteme

Überblick

Ort und Zeit

Termine:

Vergangene Vorträge

Kontakt

Regelungen

Zeit und Ort