Institute of Computer Languages
Compilers and Languages Group
Who | What | When | Where |
---|---|---|---|
Prof. Dr. Tor Stålhane | Safety Analysis and Boilerplates | 2012-11-27 17:00 c.t. | TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte) |
Dr. Stefan Brunthaler | NAMASTE: Adaptive Optimization in Interpreters | 2012-10-11 15:00 c.t. | TU Wien, Seminarraum Zemanek, Favoritenstr. 9-11, Erdgeschoss |
Prof. Dr. David Broman | Modeling, Simulating, and Compiling with Timing Semantics | 2012-10-04 15:00 c.t. | TU Wien, Seminarraum Zemanek, Favoritenstr. 9-11, Erdgeschoss |
Dr. Raimund Kirner | An Infrastructure for Multi-Level Optimisation through Property Annotation and Aggregation | 2012-09-28 17:00 s.t. | TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte) |
Dr. Xavier Rival | MemCAD, a Modular Abstract Domain for Reasoning on Memory States | 2012-09-04 15:00 c.t. | TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte) |
Prof. Dr. Kokichi Futatsugi | Introduction to specification and verification in CafeOBJ | 2012-07-18 10:00 s.t. 2012-07-25 10:00 s.t. 2012-08-01 10:00 s.t. 2012-08-08 10:00 s.t. |
TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte) |
DI Christian Piechnick, DI Claas Wilke | ZESSY - Entwurf zukünftiger eingebetteter Systeme | 2012-04-10 15:00 c.t. | TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte) |
Prof. Dr. Kokichi Futatsugi | Foundations of Verification with Proof Scores in CafeOBJ | 2012-04-05 15:00 c.t. | TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte) |
Prof. Dr. habil. Christian Heinlein | MOSTflexiPL - Modular, Statically Typed, Flexibly Extensible Programming Language | 2012-02-13 15:00 c.t. | TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte) |
List of talks given in 2011.