Dr. Henrik Theiling

Curriculum vitæ

Henrik Theiling, born in 1973, completed the Diplom degree program in computer science and language technology at the Saarland University in 1999. His master’s thesis was entitled “On the Use of Integer Linear Programming for Finding the Longest Program Paths” (in German). During his studies he was a visiting student at Rijksuniversiteit Groningen, the Netherlands.

From 1999 to 2002, he was a Ph.D. student at the Saarland University. He has published several papers in international computer science journals and conference proceedings and contributed to the University’s Transfer Center no. 14 (“Run-Time Guarantees for Modern Architectures via Abstract Interpretation”).

In 2002, he completed his doctorate, his dissertation being entitled “Control Flow Graphs for Real-Time System Analysis — Reconstruction from Binary Executables and Usage in ILP-Based Path Analysis”.

Since 1999, Henrik Theiling is Senior Software Developer at AbsInt. He has participated in several customer projects, in addition to implementing the front-end, functional abstraction optimization and various peephole optimizations in the aiPop Code Compaction Suite. He also designed the modules for reconstructing control flow from binaries and re-implemented the core algorithms of aiT’s cache analysis to handle larger applications.

Private homepage

www.theiling.de

Research interests

  • Integer linear programming
  • Compiler construction
  • Real-time systems
  • Extracting control flow from binaries
  • Path analysis
  • Efficient algorithms
  • Linguistics
  • Lisp programming

Selected publications

  • Henrik Theiling. Über die Verwendung ganzzahliger linearer Programmierung zur Suche nach längsten Programmpfaden. Diplomarbeit, Saarland University, 1998.
  • Henrik Theiling and Christian Ferdinand. Combining Abstract Interpretation and ILP for Microarchitecture Modelling and Program Path Analysis. Proceedings of the 19th IEEE Real-Time Systems Symposium, pages 144–153, Madrid, Spain, 1998.
  • Henrik Theiling, Christian Ferdinand, and Reinhard Wilhelm. Fast and Precise WCET Prediction by Separate Cache and Path Analyses. Real-Time Systems, 18(2/3), 2000.
  • Henrik Theiling. Extracting Safe and Precise Control Flow from Binaries. Proceedings of the 7th Conference on Real-Time Computing Systems and Applications, Cheju-do, South Korea, 2000.
  • Henrik Theiling. Generating Decision Trees for Decoding Binaries. Proceedings of the ACM SIGPLAN Workshop on Language, Compiler and Tools for Embedded Systems, Snowbird, Utah, USA, 2001.
  • Henrik Theiling. ILP-based Interprocedural Path Analysis. Proceedings of the Workshop on Embedded Software, Grenoble, France, 2002.
  • Henrik Theiling. Control Flow Graphs For Real-Time Systems Analysis. PhD Thesis, University of Saarland, 2002.
  • Christian Ferdinand, Daniel Kästner, Florian Martin, Marc Langenbach, Martin Sicks, Stephan Wilhelm, Reinhold Heckmann, Nico Fritz, Stephan Thesing, Frank Fontaine, Henrik Theiling, Michael Schmidt, Alexander A. Evstiougov-Babaev, Reinhard Wilhelm. Validierung des Zeitverhaltens von kritischer Echtzeit-Software. Workshop: Automotive SW Engineering & Concepts. 33. Jahrestagung der GI, Frankfurt/M. Informatik 2003 — Innovative Informatikanwendungen, Band 1 (ISBN 3-88579-363-6), pages 335–339, Lecture Notes in Informatics (LNI), 2003.
  • Heiko Falk, Paul Lokuciejewski, Henrik Theiling. Design of a WCET-Aware C Compiler.
Top