Adrian Prantl
TU Vienna
![[Picture yet to come]](./ich.jpg)
|
Adrian Prantl
Institute of Computer
Languages E185/1
Argentinierstraße 8 / 185
Fax: (+431) 58801-18598 |
This project is concerned with worst-case execution time (WCET) analysis of embedded systems, focusing in particular on developing techniques for compilers to support WCET analysis. As one result of this project, the TuBound high-level WCET analysis tool was designed and implemented.
You can find a lot more information about the project at the CoSTA project homepage.
As a part of my work on CoSTA, I am also an avid user and contributer to this project. I'm especially interested in the external term representation, and maintainer of the term manipulation library Termite.
My research interests are probably best described to include everything influencing the way we program computers and consequently the search for better methods to create more reliable software, without restricting possibilities and expressiveness for the programmer. This includes the exploration of alternative programming languages, especially functional and logic-oriented ones, but also the design of annotation languages. For me, the foundation to achieving this is compiler technology. Currently, I am mostly concerned with static program analysis applied to the field of worst-case execution time analysis.