Institute of Computer Languages
Compilers and Languages Group
Who | What | When | Where |
---|---|---|---|
Prof. Dr. Gerald Baumgartner | The Tensor Contraction Engine: A Domain-Specific Approach to Synthesizing High-Performance Codes for Quantum Chemistry | 2015-12-17 10:30 s.t. | TU Wien, Bibliothek E185.1, Argentinierstr. 8, 4. Stock (Mitte). |
Prof. Dr. Dr.h.c. Dines Bjørner (Prof. Emeritus) | A New Foundation for Computing Science | 2015-10-29 14:00 s.t. | TU Wien, Hörsaal 1, Theresianumgasse 27, 1040 Wien. |
Prof. Dr. Jeffrey S. Foster | Incremental Computation with Adapton | 2015-09-24 11:00 s.t. (tea 10:30 in the library E185.1, Argentinierstr. 8, 4. floor (middle entry)) | TU Wien, Bibliothek E185.1, Argentinierstr. 8, 4. Stock (Mitte). |
Dr. Markus Schordan | Verification and Performance Evaluation of Specialized Polyhedral Parallel Code | 2015-05-22 15:00 s.t. (tea 14:30 in the library E185.1, Argentinierstr. 8, 4. floor (middle entry)) | TU Wien, in Seminarraum Argentinierstr., Argentinierstr.8, ground-floor (entry Paniglgasse) |
Prof. Dr. Franz Franchetti | Formal Software Synthesis of Computational Kernels | 2015-05-18 14:30 s.t. (tea 14:00 in the library E185.1, Argentinierstr. 8, 4. floor (middle entry)) | TU Wien, EI 9 Hlawka HS, Elektrot.Institutsg., Gußhausstr. 25-29, Stiege 1, Erdgeschoss |
Prof. Dr. Sid Touati | Parametric and Non-parametric Statistics for Code Performance Analysis and Comparison | 2015-04-27 15:00 s.t. (tea 14:30) | TU Wien, Bibliothek E185.1, Argentinierstr. 8, 4. Stock (Middle entry) |
Prof. Dr. Michael Franz | Software Defenses Inspired by Biodiversity | 2015-02-20 11:00 s.t. (tea 10:30) | TU Wien, Bibliothek E185.1, Argentinierstr. 8, 4. Stock (Middle entry) |
List of talks given in 2014.