Institute of Computer Languages
Compilers and Languages Group
| Who | What | When | Where |
|---|---|---|---|
| Prof. Dr. Markus Müller-Olm | Automata-Based Analysis of Recursive Programs with Thread-Creation | 2010-12-10 15:00 c.t. | TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte) |
| Prof. Dr. Martin Plümicke | Typeless Programming in Java 5 and 7 | 2010-09-20 15:00 s.t. | TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte) |
| Doug Simon | What a meta-circular JVM buys you - and what not! | 2010-09-20 11:00 s.t. | TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte) |
| Lian Li, Ph.D. | Parfait - Scalable and Precise Static Analysis for Bug Checking | 2010-09-10 11:00 s.t. | TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte) |
| Mani Swaminathan, M. Techn. | Layered Composition of Data-Enriched Real-Time Systems | 2010-09-07 10:00 s.t. | TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte) |
| Prof. Dr. Björn Lisper | Parametric WCET Analysis | 2010-06-09 16:00 s.t. | TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte) |
| Dr. Raimund Kirner | From High-performance Computing to Embedded Systems - A Quest for Many-core Computing | 2010-06-04 14:00 c.t. | TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte) |
| Dr. Walther Neuper | Tutoring <-- Single Stepping Interpretation of Functional Programs | 2010-06-02 15:00 c.t. | TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte) |
| Prof. Dr. Peter Müller | Automatic Verification of Concurrent Programs in Chalice | 2010-05-18 15:00 c.t. | TU Wien, Seminarraum Argentinierstr., Argentinierstr. 8, EG (Eingang Paniglgasse) |
| Prof. Dr. Dr.h.c. Dines Bjørner, Emeritus | Mereologies in Computing Science | 2010-04-14 17:00 c.t. | TU Wien, EI10 Fritz Paschke Hörsaal, Elektrotechnisches Institutsgebäude, Erdgeschoss, Gußhausstraße 25-29, 1040 Wien |
| Prof. Alan Hu, Ph.D. | Modular Verification of Shared-Memory Concurrent Systems Software | 2010-01-22 15:00 s.t. | TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte) |
List of talks given in 2009.