Adrian Prantl
TU Vienna

Adrian Prantl

[Picture yet to come]  

Adrian Prantl


About me

After working as a research assistant at Vienna University of Technology, and being a post-doctoral researcher at the Center for Applied Scientific Computing (CASC) at Lawrence Livermore National Laboratory, I am now a compiler engineer at Apple. My current focus is debug support in the LLVM family of compilers. I'm also active in the DWARF (debug info) standards committee.

Although I no longer working at the institute, I can still be reached under the e-mail address shown above.

My thesis High-level compiler support for timing analysis is now available for download.

Current and Past Projects

LLVM, Clang, Swift

I'm currently primarily working on the debugger support in the LLVM-based Clang and Swift compilers, which ties in perfectly with my personal quest to improve the way we are programming computers.

Here is a talk I gave together with Duncan at the LLVM developer meeting 2015 that highlights some of my work on LLVM and Clang.


A text-adventure engine written in Prolog that uses a reversible parser to implement features such as autocompletion and suggestions and uses the WordNet database to deal with synonyms. Includes terminal and web-based frontends.

Past Projects


A tool for the verification of reactive systems, designed together with Markus Schordan. Awarded the "Method Combination Prize" at the RERS Challenge 2012 and again in 2013. Read more over at Markus’ page.

Braid: Next-generation(-)language interoperability

Braid extends the Babel concept to modern parallel (PGAS) programming languages such as Chapel or X10. Apart from supporting these languages, we also aim at reducing the cost of interoperability with a more flexible term-based intermediate representation in the Braid code generator that paves the way for future optimizations.

Babel: High-performance language interoperability

Babel is a compiler-like tool for language interoperability that connects components written in C, C++, Fortran, Java, or Python, focussing on the needs of scientific computing.

My current main project:

Compiler support for timing analysis: CoSTA

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.

ALL-TIMES: Integrating European Timing Analysis Technology

Similar in spirit to CoSTA, ALL-TIMES is a research project within the European Commission's 7th Framework Programme on Research, Technological Development and Demonstration. It aims at bringing together the technologies developed by European research groups and industrial partners.

As of April 2009, I am employed for the ALL-TIMES project.

Static Analysis Tool Integration Engine: SATIrE

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.

Code generation

My master's thesis Creating a GCC backend for VLIW Architectures was published in 2006. It describes how to port GCC 4.0 to a custom 4-way parallel VLIW architecture.

Research Interests

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.


The DBLP entry usually lags a couple of months behind, but at least I don't have to maintain it myself :-)

Complang Group
Adrian Prantl
   Reversible Computing
my CV (2017)
My Software:
Reversible Interpreter
Various Tips&Tricks:
Emacs fonts on OS X
Fink Packaging Tutorial
Faculty of Informatics
Vienna University of Technology
top | HTML 4.01 | last update: 2017-01-17 (Adrian)