Institute of Computer Languages
Compilers and Languages Group

Talks 2012 - Raimund Kirner

Der Arbeitsbereich für Programmiersprachen und Übersetzer am Institut für Computersprachen lädt zu folgendem Vortrag ein:

Dr. habil. Raimund Kirner

University of Hertfordshire, Hatfield, UK


An Infrastructure for Multi-Level Optimisation through Property Annotation and Aggregation

Datum: Freitag, 28. September 2012
Zeit: 17:00 s.t., 16:30 einleitende Tee Runde
Ort: TU Wien, Bibliothek E185.1, Argentinierstraße 8, 4. Stock (Mitte)


Optimising software for efficiency on a parallel hardware platform by analysing the performance of the application is often a complex and time-consuming task. This talk presents a constraint annotation and aggregation system that allows programmers to annotate code by using a dedicated language for describing functional and extra-functional properties, such as for example algorithmic complexity, scaling factors or the number of required cores. The goal is to derive properties of the entire application that are parametrised over characteristics of the execution platform to assist programmers in better understanding the behaviour of an application on the one hand and to assist the execution platform in making informed mapping and scheduling decisions on the other.

Kurzbiographie von Dr. habil. Raimund Kirner

Dr. Raimund Kirner holds a position as Principal Lecturer at the University of Hertfordshire. Raimund Kirner has published more than 80 refereed journal and conference papers and received two patents. He received his PhD in 2003 from the TU Vienna and defended his Habilitation in 2010. The research focus of Raimund Kirner is on system reliability, currently working on adequate hardware and software architectures to bridge the gap between the many-core computing and embedded computing. He also published excessively on worst-case execution time analysis and served as PC chair of WDES'06 and WCET'08. Currently he is local co-investigator of the FP7 project ADVANCE and local principal investigator of the Artemis-JU project CRAFTERS. Further, he has been the principal investigator of three research projects funded by the Austrian Science Foundation (COSTA, FORTAS, SECCO). He is a member of the IFIP Working Group 10.4 (Embedded Systems). (

Sie möchten auf diesen Vortrag durch Aushang hinweisen? Eine druckfertige Einladung im pdf-Format dafür finden Sie hier.

   About Us
      Talks 2017
      Talks 2016
      Talks 2015
      Talks 2014
      Talks 2013
      Talks 2012
      Talks 2011
      Talks 2010
      Talks 2009
      Talks 2008
      Talks 2007
      Talks 2006
      Talks 2005
      Talks 2004
Fast Access:
Previous Talk
Next Talk
Faculty of Informatics
Vienna University of Technology
top | HTML 4.01 | Datenschutzerklärung | last update: 2018-05-25 (Webmaster)