Institute of Computer Languages
Compilers and Languages Group
über
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.
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). (http://homepages.feis.herts.ac.uk/~rk10aah/)
Sie möchten auf diesen Vortrag durch Aushang hinweisen? Eine druckfertige Einladung im pdf-Format dafür finden Sie hier.