Echtzeit-AG – Wissenschaftliche Vorträge rund um Betriebssysteme

Derzeit nächster EZAG-Termin: 24.5.2013

Ü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 INF/E001.

Für die Verwaltung der Termine ist Björn Döbel 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.

05. 07. 2013: Hendrik Tews, TU Dresden:
Thesis Writing Guide
24. 05. 2013: Florian Pester, TU Dresden:
OAuth -- Authehtisierung 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 (Xmas Special 2012)
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 (Hauptseminarvortrag)
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)
17. 12. 2010 (Sondertermin: 15:00 Uhr, Raum: INF/E008): Michael Roitzsch, TU Dresden:
Usability 2.0 (Weihnachts-EZAG)
17. 12. 2010 (Sondertermin: 9:20 Uhr, Raum: INF/3105): Fridtjof Siebert, Aicas:
Concurrent, Parallel, Real-Time Garbage-Collection in JamaicaVM
10. 12. 2010: Marcus Völp, TU Dresden:
Provable Protection of Confidential Data in Microkernel-Based Systems
12. 11. 2010: Michal Sojka, Czech Technical University, Prague:
Resource Reservations in Heterogeneous and Distributed Real-Time Systems
05. 11. 2010: Libor Neumann, ANECT:
ALUCID (Automatic Liberal and User Centric electronic IDentity) and its integration
30. 07. 2010: Benjamin Russig, TU Dresden:
C++0x oder neues vom C++ Standard (Hauptseminar-Vortrag)
23. 07. 2010: Michael Roitzsch, TU Dresden:
Wie der Film digital wurde
05. 07. 2010 (Sondertermin: 9:30 Uhr, Raum: INF/E023): Huizhan Yi, National University of Defense Technology, Changsha (China):
Adaptive Optimization for Petascale Heterogeneous CPU/GPU Cluster Computing
25. 06. 2010: Marcus Hähnel, TU Dresden:
SableCC - Writing compilers made easy (Hauptseminar-Vortrag)
18. 06. 2010 (Sondertermin: 12:45 Uhr): Götz Fabian, TU Dresden:
Grand Central Dispatch (Hauptseminar-Vortrag)
04. 06. 2010: Michael Roitzsch, TU Dresden:
The mathematics of obscurity (WEIS-Probevortrag)
04. 06. 2010: Friedrich Gräter, TU Dresden:
Dynamische Instrumentierung mit PIN (Hauptseminar-Vortrag)
28. 05. 2010 (Raum: INF/1005): Florian Klopfleisch, TU Dresden:
Thread Level Speculation (Hauptseminar-Vortrag)
21. 05. 2010: Katerina Argyraki, EPFL:
Building Evolvable Networks
30. 04. 2010: Lukas Hänel, TU Dresden:
Systematic setup of compartmentalised systems on the seL4 microkernel (Verteidigung der Diplom-Arbeit)
09. 04. 2010: Romain Treboux, TU Dresden:
Revocability of Resources (Verteidigung der Diplom-Arbeit)
26. 03. 2010 (Raum: Ratszimmer): Udo Steinberg, TU Dresden:
NOVA: A Microhypervisor-Based Secure Virtualization Architecture (Eurosys-Probevortrag)
19. 03. 2010: Hendrik Tews, TU Dresden:
Selective Disclosure Protocols on Java Card
05. 03. 2010 (Sondertermin: 12:45 Uhr): Björn Döbel, TU Dresden:
Capability Wrangling Made Easy: Debugging on a Microkernel with Valgrind (VEE-Probevortrag)
26. 02. 2010: David Gullasch, TU Dresden:
Cache Games
05. 02. 2010 (Sondertermin: 14:30 Uhr): Steffen Liebergeld, TU Dresden:
Leichtgewichtige Virtualisierung auf Mikrokernsystemen (Verteidigung der Diplom-Arbeit)
05. 02. 2010: Sandra Steinbrecher, TU Dresden:
29. 01. 2010: Frank Tetzel, TU Dresden:
Alternative Buildsysteme - CMake (Hauptseminar-Vortrag)
15. 01. 2010: Alexander Radke, TU Dresden:
Von der Grafik zum Klang (Verteidigung der Diplom-Arbeit)
15. 01. 2010: Stefan Gottschalk, TU Dresden:
Konzeption und Entwicklung einer didaktischen Software für Vorschul- und Grundschulkinder zum Thema Herz (Verteidigung der Beleg-Arbeit)
08. 01. 2010: Nicholas McGuire, Lanzhou University (China):
Introduction to Safety
18. 12. 2009: Michael Roitzsch, TU Dresden:
Regenwolken in der Wüste - eine Abrechnung mit Cloud-Computing (X-mas Special)
17. 12. 2009 (Sondertermin: 13:00 Uhr, Raum: INF/3105): Dirk Vogt, TU Dresden:
L4ReAnimator - A Restarting Framework for L4Re (Verteidigung der Diplom-Arbeit)
11. 12. 2009 (Sondertermin: 14:00 Uhr): Oren Laadan, Columbia University, New York (USA):
DejaView - A Personal Virtual Computer Recorder
09. 12. 2009 (Sondertermin: 13:00 Uhr, Raum: INF/2101): Johannes Richter, TU Dresden:
Porting of the NE2K Device Model (Verteidigung der Beleg-Arbeit)
06. 11. 2009: SOSP 2009 Review
30. 10. 2009 (Raum: INF/E009): Johannes Steinmetz, TU Dresden:
ANTLR - Another Tool for Language Recognition (Hauptseminar-Vortrag)
23. 10. 2009: Jan Wulfes, TU Dresden:
Reisebericht über Hong Kong
02. 10. 2009: Norbert Manthey, TU Dresden:
SAT Solver - Problemlöser für NP vollständige Aufgaben
25. 09. 2009: SOSP 2009 Preview
18. 09. 2009: Andreas Speier, FH Gelsenkirchen:
Trusted Network Access Control - Vertrauenswürdige Netzwerkverbindungen
21. 08. 2009: Jörg Rödel, AMD OSRC:
Nesting the Virtualized World
17. 07. 2009: 65. Geburtstag von Claude
10. 07. 2009: Prof. Scott Brandt, UC Santa Cruz (CA), USA:
Managing the Performance of Large, Distributed Storage Systems
06. 07. 2009 (Sondertermin: 10:30 Uhr, Raum: INF/3105): Xiaodong Yi, Operating System Engineering Research Center, China:
Luvalley: A Lightweight Virtual Machine Monitor Below Arbitrary Multiple OSs
26. 06. 2009: Christian Prochaska, TU Dresden:
Portierung von Qt auf Genode (Verteidigung der Beleg-Arbeit)
11. 06. 2009 (Sondertermin: 11:00 Uhr, Raum: INF/1004 (Ratssaal)): Gernot Heiser, Open Kernel Labs, NICTA:
8,000 lines, one kernel, zero bugs
29. 05. 2009: Mario Schwalbe, TU Dresden:
A Device Virtualization Framework for L4 (Verteidigung der Beleg-Arbeit)
19. 05. 2009 (Raum: INF/2101): Julian Stecklina, TU Dresden:
Remote Debugging via Firewire (Verteidigung der Diplom-Arbeit)
15. 05. 2009: Michael Voigt, TU Dresden:
Implementierung und Quantitative Analyse einer echtzeitfähigen Soundarchitektur (Verteidigung der Diplom-Arbeit)
08. 05. 2009: Steffen Liebergeld, TU Dresden:
Effiziente Virtualisierung auf ARM-Plattformen (Verteidigung der Beleg-Arbeit)
08. 05. 2009: Friedrich Kossebau, TU Dresden:
ZFS - ein Dateisystem zum Habenwollen (Hauptseminar-Vortrag)
17. 04. 2009: Aravind Menon, Ecole Polytechnique Fédérale de Lausanne:
TwinDrivers: Semi-Automatic Derivation of Fast and Safe Hypervisor Network Drivers from Guest OS Drivers
17. 04. 2009: Aaron Pohle, TU Dresden:
L4/Valgrind (Verteidigung der Diplom-Arbeit)
08. 04. 2009 (Sondertermin: 16:40 Uhr, Raum: INF/E023): Andrew Baumann, ETH Zürich:
The Barrelfish OS for Heterogeneous Multicore Systems
20. 03. 2009: Henning Schild, TU Dresden:
Virtual Machines Jailed
23. 01. 2009: Thomas Heinze, TU Dresden:
Zugriffskontrolle in aktuellen Betriebssystemen (Hauptseminar-Vortrag)
23. 01. 2009: Dirk Vogt, TU Dresden:
Minix 3 (Hauptseminar-Vortrag)
16. 01. 2009: Linda Jantschke, TU Dresden:
Unicode - Fluch oder Segen? (Hauptseminar-Vortrag)
16. 01. 2009: Stephan Krauß, TU Dresden:
Einführung in die CC Evaluation (Hauptseminar-Vortrag)
09. 01. 2008: Klaus Storch, TU Dresden:
Komplexität von Software (Hauptseminar-Vortrag)
05. 01. 2009 (Sondertermin: 13:00 Uhr, Raum: INF/1004): Norman Feske, TU Dresden:
Nutzung künstlicher Intelligenz zur Compiler-Optimierung (Öffentlicher Vortrag im Promotionsverfahren)
05. 01. 2009 (Sondertermin: 15:30 Uhr, Raum: INF/1004): Norman Feske, TU Dresden:
Securing Graphical User Interfaces (Verteidigung im Promotionsverfahren)
19. 12. 2008: Michael Roitzsch, TU Dresden:
Revolution und Evolution - historischer Spaziergang der Betriebssysteme (X-mas Special)
12. 12. 2008: René Schmidt, TU Dresden:
Kurzvorstellung der Versionsverwaltung git (Hauptseminar-Vortrag)
21. 11. 2008: Steffen Liebergeld, TU Dresden:
K42 - Kurzvorstellung eines Betriebssystems (Hauptseminar-Vortrag)
14. 11. 2008: Dr. Heiko Falk, TU Dortmund:
Memory-Architecture Aware Compilation
07. 11. 2008 (Sondertermin: 14:00 Uhr): Prof. Erwin Stoschek, Dr. Elke Wagner, TU Dresden:
Inspiration und Algorithmus, Design und Produkt
24. 10. 2008: Dirk Vogt, TU Dresden:
USB Support For L4Env (Verteidigung der Beleg-Arbeit)
24. 10. 2008: Maria Klemm, TU Dresden:
Uniform Mandatory Access Control in L4Env (Verteidigung der Beleg-Arbeit)
17. 10. 2008: Lukas Hänel, TU Dresden:
Trustzone API on Linux and L4 (Hauptseminar-Vortrag)
10. 10. 2008 (Raum: INF 1004): Carola Weiß, TU Dresden:
Ein didaktischer Farbwähler (Verteidigung der Beleg-Arbeit, Kunst und Gestaltung)
10. 10. 2008 (Raum: INF 1004): Andreas Schliebenow, TU Dresden:
Intercollage (Verteidigung der Beleg-Arbeit, Kunst und Gestaltung)
29. 08. 2008: Henning Schild, TU Dresden:
Sichere Virtualisierung auf dem Fiasco-Mikrokern (Verteidigung der Diplom-Arbeit)
01. 08. 2008: Julian Stecklina, TU Dresden:
Portierung von Bastei auf L4ka::Pistachio (Verteidigung der Beleg-Arbeit)
29. 07. 2008 (Sondertermin: 15:00 Uhr, Raum: INF E023): Benjamin Engel, TU Dresden:
Tool Support for Statically Checking Confidentiality of Kernel Code (Verteidigung der Diplom-Arbeit)
29. 07. 2008 (Sondertermin: 13:00 Uhr, Raum: INF E023): Björn Brandenburg, University of North Carolina, Chapel Hill:
Real-Time on Multicore - An Overview of Real-Time Computing Research at UNC
11. 07. 2008: Björn Döbel, TU Dresden:
What if I push the red button? - Performance models for popular applications
09. 07. 2008 (Sondertermin: 11.10 Uhr, Raum: INF E07): Christoph Schmidt, TU Dresden:
Dynamische Binäre Analyse mit Valgrind (Hauptseminar-Vortrag)
04. 07. 2008: Gernot Heiser, National ICT Australia Ltd.:
A formally verified operating-system kernel
01. 07. 2008 (Sondertermin: 13:00 Uhr, Raum: INF E06): Tom Bachmann:
Fast Capability Transfer using Existing Commodity Hardware
30. 06. 2008 (Sondertermin: 11:00 Uhr, Raum: INF 3105): Stefan Petters, National ICT Australia Ltd.:
RBED and real Real-Time Systems
27. 06. 2008: Ludwig Hähne, TU Dresden:
An Empirical Comparison of SCons and GNU Make (Verteidigung der Beleg-Arbeit)
20. 06. 2008: Maurice Herlihy, Brown University:
The Transactional Manifesto: Addressing the Multicore Challenge
20. 06. 2008: Liuba Shrira, Brandeis University:
Split Snapshots: A New Approach to Old State Storage
30. 05. 2008: Aaron Pohle, TU Dresden:
L4Python - Eine Shell für L4Env (Verteidigung der Beleg-Arbeit)
25. 04. 2008: Udo Steinberg, Bernhard Kauer, TU Dresden:
Microhypervisor-Based Platform Virtualization
21. 04. 2008 (Sondertermin: 14:50 Uhr, Raum: INF/E09): Andreas Wiedenfeld, TU Dresden:
AACS (Advanced Access Content System) - Der Kopierschutz der designierten DVD-Nachfolger
11. 04. 2008: Jan Wulfes, TU Dresden:
Open-Source VPN Systeme (Authentifikationsmechanismen) (Hauptseminar-Vortrag)
28. 03. 2008: Carsten Weinhold, TU Dresden:
VPFS: Building a Virtual Private File System with a Small Trusted Computing Base
27. 03. 2008 (Sondertermin: 14:00 Uhr, Raum: INF/E06): Jonathan M. McCune, Carnegie Mellon University:
Minimal TCB Code Execution
26. 03. 2008 (Sondertermin: 15:00 Uhr, Raum: INF/E08): Jörn Hoffmann, Universität Leipzig:
Intrusion Detection and Response for L4Linux
14. 03. 2008: Dr. Jork Löser, Microsoft:
Para-Virtualized TPM Sharing
14. 03. 2008: Marcus Völp, TU Dresden:
Avoiding Timing Channels in Fixed-Priority Schedulers
07. 03. 2008: Alexander Böttcher, TU Dresden:
Trusted Computing Serving An Anonymity Service
15. 02. 2008: Dr. Michael Hohmuth, AMD:
AMD OSRC Mission and Research
08. 02. 2008: Thomas Zimmermann, TU Dresden:
Plugin-Based Isolation of Web Applications (Verteidigung der Beleg-Arbeit)
01. 02. 2008: Ronny Hillmann, TU Dresden:
Open-Source VPN Systeme (Hauptseminar-Vortrag)
25. 01. 2008: Steffen Seifert, TU Dresden:
Farbmanagement (Hauptseminar-Vortrag)
18. 01. 2008: Friedrich Kossebau, TU Dresden:
Verteilte Quelltext-Verwaltungs-Systeme (Hauptseminar-Vortrag)
11. 01. 2008: Johannes Richter, TU Dresden:
Mesh Networks (Hauptseminar-Vortrag)
21. 12. 2007: Michael Roitzsch, TU Dresden:
Katzensprung - Neuheiten in Mac OS X 10.5 "Leopard"
07. 12. 2007: Cheng Guanghui, University of Lanzhou:
Safety Computing Platform (SCP)
16. 11. 2007: Daniel Vandersee, escrypt:
Turaya.embedded - An EMSCB-Based Secure License Manager
07. 11. 2007 (Sondertermin: 13:30 Uhr, Raum: INF/1004 (Ratssaal)): Prof. Frank Müller, North Carolina State University:
Fault Tolerance via Virtualization for High-Performance Computing
21. 09. 2007: Matthias Lange, TU Dresden:
Effiziente Unterstützung von Multiprozessorsystemen im Fiasco-Mikrokern unter Beachtung des zeitlichen Ausführungsverhaltens (Verteidigung der Diplom-Arbeit)
14. 09. 2007: Michael Roitzsch, TU Dresden:
Slice-Balancing H.264 Video Encoding (EMSOFT Testvortrag)
17. 08. 2007: Daniel Molka, TU Dresden:
Support for On-Chip Memory in Fiasco (Verteidigung der Beleg-Arbeit)
03. 08. 2007: Rene Gastmeier, TU Dresden:
Wavelet-Based Video Compression with Dirac (Hauptseminar-Vortrag)
27. 07. 2007: Bernhard Kauer, TU Dresden:
OSLO: Improving the Security of Trusted Computing
13. 07. 2007: Wooram Park, Pohang University of Science and Technology, Korea:
An Introduction to L4 Projects at Postech
06. 07. 2007: Lukas Hänel, TU Dresden:
ACPI-Support für Mikrokernsysteme (Verteidigung der Beleg-Arbeit)
06. 07. 2007: Marcel Lippmann, TU Dresden:
Model-Checking C Applications (Hauptseminar-Vortrag)
27. 06. 2007 (Sondertermin: 13:00 Uhr, Raum: INF/E005): Björn Brandenburg, University of North Carolina, Chapel Hill:
Real-Time Synchronization on Multiprocessors
26. 06. 2007 (Sondertermin: 14:50 Uhr, Raum: INF/E005): Bryan Ford, MIT:
Structured Streams: A New Transport Abstraction
22. 06. 2007: Bryan Ford, MIT:
VXA: A Virtual Architecture for Durable Compressed Archives
15. 06. 2007: Jan Langert, TU Dresden:
Spekulative Ausführung in Out-of-Order Prozessoren mit Fokus auf Datenwert-Spekulation (Hauptseminar-Vortrag)
15. 06. 2007: Ludwig Hähne, TU Dresden:
Buildsysteme - Alternativen zu make (Hauptseminar-Vortrag)
08. 06. 2007: Stephan Diestelhorst, TU Dresden:
Scheduling Operating Systems (Verteidigung der Beleg-Arbeit)
08. 06. 2007: Hans Marcus Krüger, TU Dresden:
Entfernte Attestierung von Eigenschaften auf mikrokernbasierten Systemen (Verteidigung der Diplom-Arbeit)
25. 05. 2007: Thomas Gleixner, Linutronix:
Real-Time Support in Linux (Englisch)
18. 05. 2007: Helmut Kurth, atsec Information Security Corp., Austin (TX), USA:
Erfahrungen mit Sicherheitsprüfungen von Hypervisor-Architekturen
11. 05. 2007: Götz Brasche, Alain Gefflaut, European Microsoft Innovation Center, Aachen:
European Microsoft Innovation Center Mobility Group Overview
04. 05. 2007 (Sondertermin: 14:00 Uhr): Benjamin Serebrin, AMD:
Hardware-assisted virtualization with AMD-V and nested paging (Englisch)
04. 05. 2007: Thomas Witkowski, TU Dresden:
Formale Verifikation von Linux Gerätetreibern
13. 04. 2007 (Sondertermin: 13:30 Uhr): Dr. Evangelos Kotsovinos, Telekom Labs Berlin:
Live wide-area migration of virtual machines in XenoServers
11. 04. 2007 (Sondertermin: 13:30 Uhr, Raum: INF/3105): Sebastian Sumpf, TU Dresden:
Cloning L4Linux (Verteidigung der Diplom-Arbeit)
16. 02. 2007: Sören Bleikertz, Thomas Fischer, Ruhr-Universität Bochum:
Secure and Minimal GUIs for L4
19. 01. 2007: Bastian Ristau, TU Dresden:
Temporal and Spatial Mapping in Embedded Systems for Mobile Communications Systems
12. 01. 2007 (Raum: INF/E023): Dr. Joachim Hoy, AOK Berlin:
Telematik im Gesundheitswesen
05. 01. 2007: Aaron Pohle, TU Dresden:
Amoeba - A Microkernel-Based, Distributed Operating System (Hauptseminar-Vortrag)
05. 01. 2007: Maria Klemm, TU Dresden:
Ultra-Large-Scale Systems (Hauptseminar-Vortrag)
15. 12. 2006: Tobias Bruns, TU Dresden:
Sicherheit und Performance langer Inter-Prozess Nachrichten (Verteidigung der Diplom-Arbeit)
08. 12. 2006: Christelle Braun, TU Dresden:
Design and Implementation of the Testing Framework Tennessee (Verteidigung der Master-Arbeit, Englisch)
05. 12. 2006 (Sondertermin: 13:00 Uhr, Raum: INF/E010): Matthias Lange, TU Dresden:
Schritte zur Portierung des Fiasco Mikrokerns auf PowerPC (Verteidigung der Bachelor-Arbeit)
01. 12. 2006: Torvald Riegel, TU Dresden:
Software Transactional Memory
10. 11. 2006: Sven Schneider, TU Chemnitz:
Multiprocessor Support for the Fiasco Microkernel
03. 11. 2006: Ute Wappler, TU Dresden:
Software-Implemented Hardware-Fault Tolerance using Software-Encoded Processing
27. 10. 2006 (Raum: INF/E023): Dr. Aleksandra Tesanovic, Philips Research Laboratories:
Developing Reusable and Reconfigurable Real-Time Software Using Aspects and Components (Englisch)
20. 10. 2006: Julian Stecklina, TU Dresden:
Xen: Grundlagen und Primitive (Hauptseminar-Vortrag)
17. 10. 2006 (Sondertermin: 15:00 Uhr, Raum: INF/1004 (Ratssaal)): Stefan Kalkowski, TU Dresden:
Security policies in Nizza on top of L4.sec (Diplomverteidigung)
13. 10. 2006: Michael Roitzsch, TU Dresden:
Pinguine, Katzen und Aussichten - Die Benutzbarkeit von Linux, Mac OS X und Windows
06. 10. 2006: Stefan Lebelt, TU Dresden:
Rechenzeitabstraktion durch kontengesteuertes Scheduling (Diplomverteidigung)
04. 08. 2006: Torsten Frenzel, TU Dresden:
L4.sec Microkernel for Shared Memory Multiprocessors (Diplomverteidigung)
28. 07. 2006: David Gullasch, TU Dresden:
Heavy L2 Cache Wizardry: Beobachten einzelner Speicherzugriffe in Shared Memory (Work-In-Progress Vortrag)
07. 07. 2006: Dr. Sergio Ruocco, National ICT Australia Ltd.:
Time Sensitive Architectures: A Reflective Approach
30. 06. 2006: Ulrich Schmall, TU Dresden:
PCI-Express (Hauptseminar-Vortrag)
30. 06. 2006: Conrad Zerna, TU Dresden:
Linux Security Modules (Hauptseminar-Vortrag)
23. 06. 2006: Michael Roitzsch, TU Dresden:
Slice-basiertes Abwägen von Qualität und Leistung beim Dekodieren von H.264 Video (Diplomverteidigung)
23. 06. 2006: Björn Döbel, TU Dresden:
Request tracking in DROPS (Diplomverteidigung)
16. 06. 2006 (Sondertermin: 10:45 Uhr, Raum: GRU 233 (Ratszimmer)): Prof. Dr. Frantisek Plasil, Charles University, Prague (Czech Republic):
Real-life experience with behavior specification of software components
02. 06. 2006: Jorrit N. Herder, Vrije Universiteit Amsterdam:
MINIX 3: A Highly Reliable, Self-Repairing Operating System
02. 06. 2006 (Sondertermin: 14:50 Uhr): Benjamin Lamowski, TU Dresden:
Dateisystem-Verschlüsselung (Proseminarvortrag)
02. 06. 2006 (Sondertermin: 14:50 Uhr): Andreas Wiese, TU Dresden:
Plan9/Inferno (Proseminarvortrag)
30. 05. 2006: Neal Walfield, Hurd Team:
Coyotos
23. 05. 2006 (Raum: GRU 353): Neal Walfield, Hurd Team:
A Model for Reliable Asynchronous IPC
19. 05. 2006: Dr. Lars Eggert, NEC Network Laboratories, Heidelberg:
Protocol Enhancements for Intermittently Connected Hosts
12. 05. 2006: Lenin Singaravelu, Georgia Institute of Technology, Atlanta (GA), USA:
Reducing TCB Complexity for Security-Sensitive Applications: Three Case Studies
05. 05. 2006 (Sondertermin: 14:50 Uhr): Prof. Dr. Christian Hochberger, TU Dresden:
Forschungsfelder der Professur Mikrorechner
05. 05. 2006: Marco Kaufmann, TU Dresden:
L4 Mikrokerne (Proseminarvortrag)
05. 05. 2006: Thomas Kirsten, TU Dresden:
L4Linux (Proseminarvortrag)
24. 04. 2006 (Sondertermin: 13:00 Uhr, Raum: GRU352): Charles Gray, University of New South Wales, Sydney (Australia):
Sydney ERTOS Group Research Overview
31. 03. 2006: Carsten Weinhold, TU Dresden:
Design and Implementation of a Trustworthy File System for L4 (Diplomverteidigung)
24. 03. 2006: Thomas Friebel, TU Dresden:
Übertragung des Device-Driver-Environment-Ansatzes auf Module des BSD-Betriebssystemkerns (Diplomverteidigung)
17. 03. 2006: Christoph Müller, TU Dresden:
Sound-Server für DROPS (Belegverteidigung)
17. 03. 2006: Sebastian Sumpf, TU Dresden:
A Swap Dataspace Manager for DROPS (Belegverteidigung)
10. 02. 2006: Torsten Frenzel, TU Dresden:
Read-Copy-Update (Hauptseminar-Vortrag)
27. 01. 2006: Andreas Haeberlen, Max Planck Institute for Software Systems, Saarbrücken:
PeerReview: Detecting Deviant Behavior in Distributed Systems
13. 01. 2006: Michael Peter und Udo Steinberg, TU Dresden:
Hypervisor Design
22. 12. 2005 (Sondertermin: 13:00 Uhr): Stefan Lebelt, TU Dresden:
Konzepte zur Vermeidung von Denial-of-Service Angriffen in L4/DROPS (Belegverteidigung)
19. 12. 2005 (Sondertermin: 10:00 Uhr, Raum: GRU 150): Dr. Sebastian Schönberg, Intel Corporation, Hillsboro (OR), USA:
Using Intel® Virtualization Technology to create an efficient IA32 virtualization environment
16. 12. 2005: Udo Steinberg, TU Dresden:
An Introduction to Intel® Virtualization Technology
09. 12. 2005: Torsten Frenzel, TU Dresden:
Portierung von L4/Fiasco auf die AMD64-Architektur
25. 11. 2005: Dr. Olaf Spinczyk, Uni Erlangen:
Adaptive Systemsoftware für den Betrieb eingebetteter Systeme
28. 10. 2005: Joshua LeVasseur, Universität Karlsruhe:
Pre-virtualization with Compiler Afterburning
21. 10. 2005: Stefan Kalkowski, TU Dresden:
Sichere Webbrowser-Nutzung in DROPS (Belegverteidigung)
14. 10. 2005: (Terminfestlegung für das Wintersemester)

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