Institute of Computer Languages
Compilers and Languages Group
Who | What | When | Where |
---|---|---|---|
Dr. Markus Schordan | Combination of Static Analysis and Model Checking Techniques for Scalable Verification | 2014-10-03 14:00 c.t. | TU Wien, Seminarraum Argentinierstr. 8 (Erdgeschoss) |
Wolf Zimmermann | Was haben Compiler mit Pumpen zu tun? Entwurf und Implementierung Domänen-spezifischer Sprachen zur Pumpenentwicklung | 2014-06-05 15:00 s.t. | TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte) |
Dipl.-Ing. Herbert Jordan | The Insieme Compiler and Runtime Infrastructure | 2014-01-28 17:00 s.t. | TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte) |
Prof. Dr. Michael Franz | The Multicompiler: Software Defenses Using Compiler Techniques | 2014-01-24 14:00 c.t. | TU Wien, Freihaus Hörsaal 7, Wiedner Hauptstr. 8, 2. Stock (gelber Bereich) |
Dr. Michael Gschwind | Open Power and Power8 | 2014-01-23 14:00 c.t. | TU Wien, Hörsaal EI5 Hochenegg, Elektrotechnik, Gußhausstraße 25-29 (Altbau), 2. Stock |
List of talks given in 2013.