Institute of Computer Languages
Compilers and Languages Group
| Who | What | When | Where |
|---|---|---|---|
| Prof. Dr. Egon Börger | Adding a Semantical Foundation for Program Correctness to Hoare's Verifying Compiler Challenge | 2005-09-20 11:00 | EI HS 2 |
| Dr. Bernhard Scholz | Speculative Partial Redundancy Elimination | 2005-07-29 16:00 | Bibliothek E185/1 |
| Dr. Falk Schreiber | Analysis and Visualisation of Biological Networks | 2005-06-27 14:00 | SR 1, Operng. 11/3 |
| Prof. Dr. Bogong Su | Software De-Pipelining Technique And Its Applications | 2005-06-23 16:00 | Bibliothek E185/1 |
| Prof. Dr. Sergei Gorlatch | Send-Receive Considered Harmful: Mythen und Fakten moderner Parallelprogrammierung | 2005-06-06 17:00 | Reithofer HS |
| Dipl.-Inform. Andreas Hartmann | Safe Escape Analysis Annotations | 2005-04-29 14:00 | HS 20 |
| Prof. Dr. Wolf Zimmermann | Statische Prüfung von Komponentenprotokollen in Komponentensystemen | 2005-01-10 16:00 | FH HS 4 |
List of talks given in 2004.