Dr. Daniel K&aml;stner

Curriculum vitæ

Daniel Kästner, born in 1973, completed the diploma degree program in computer science and business economics at the Saarland University in 1997. In his master’s thesis, he investigated code generation methods for digital signal processors focusing on integer linear programming techniques. He received the VDI Saar 1998 award for the best master’s thesis at the Saarland University.

From 1997 to 2000, he received a graduate fellowship in the Graduate College “Efficiency and Complexity of Algorithms and Computer Systems” from the Deutsche Forschungsgemeinschaft (DFG). In 2000, he completed his doctorate (summa cum laude), his dissertation being entitled “Retargetable Postpass Optimization by Integer Linear Programming”. For his dissertation, he received the SaarLB Science Award in 2002.

From 2000 to 2003, Dr. Kästner was a research associate at Saarland University and Senior Software Engineer with AbsInt. Since 2003, he is CTO at AbsInt, of which he is also one of the co-founders. He has designed the TDL Hardware Description Language and the PROPAN framework, and implemented various optimizations that are part of the aiPop Code Compaction Suite.

Since 2004, Dr. Kästner was a program commitee member of numerous international conferences, such as LCTES04, CTCES04, SCOPES04, DATE06, RTAS06, SCOPES07, LCTES07, and LCTES08.

Dr. Kästner’s current work is focused on code optimization and just-in-time compilation. In addition to that, he currently teaches advanced courses on embedded system development at Saarland University.

Research interests

  • Retargetable compiler construction
  • Code generation and optimization
  • Integer programming
  • Language design
  • Microprocessor modeling
  • Task scheduling for real-time systems
  • Just-in-time compilation
  • Abstract interpretation
  • Java virtual machines

Selected publications

  • D. Kästner. Compilation for Embedded Processors. European Summer School on Embedded Systems, 2003. MRTC Report no 119/2004. Mälardalens Högskola. ISSN 1404-3401.
  • N. Fritz, D. Kästner, F. Martin. Automatically Generating Value Analyzers for Assembly Code. Workshop on Compilers and Tools for Constrained Embedded Systems (CTCES), San Jose, 2003.
  • Björn Decker, Daniel Kästner. Reconstructing Control Flow from Predicated Assembly Code. International Workshop on Software and Compilers for Embedded Systems (SCOPES), 2003.
  • Daniel Kästner. TDL: A Hardware Description Language for Retargetable Postpass Optimizations and Analyses. ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering (GPCE), 2003.
  • C. Ferdinand, D. Kästner, F. Martin, M. Langenbach, M. Sicks, S. Wilhelm, N. Fritz, S. Thesing, F. Fontaine, H. Theiling, R. 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), Lecture Notes in Informatics (LNI), 2003.
  • B. De Bus, D. Kästner, D. Chanet, L. Van Put, and B. De Sutter. Post-Pass Compaction Techniques. Communications of the ACM, vol. 46, issue 8, pages 41–46, August 2003.
  • Daniel Kästner, Stephan Wilhelm. Generic Control Flow Reconstruction from Assembly Code. Proceedings of the ACM SIGPLAN Joined Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES’02) and Software and Compilers for Embedded Systems (SCOPES’02), Berlin, 2002.
  • Daniel Kästner. Compiler Optimizations by ILP-based Approximations. SIAM Conference on Optimization, Toronto, 2002.
  • Daniel Kästner, Sebastian Winkel. ILP-based Instruction Scheduling for IA-64. Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems, Utah, 2001.
  • Daniel Kästner. ILP-based Approximations for Retargetable Code Optimization. Proceedings of the 5th International Conference on Optimization: Techniques and Applications (ICOTA 2001), Hong Kong, 2001.
  • Daniel Kästner. Retargetable Postpass Optimisation by Integer Linear Programming. PhD Thesis. Verlag Pirrot, Saarbrücken, 2000. ISBN 3-930714-55-8.
  • Daniel Kästner. PROPAN: A Retargetable System for Postpass Optimisations and Analyses. Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems, Vancouver, CA, June 2000.
  • Daniel Kästner, Marc Langenbach. Code Optimization by Integer Linear Programming. Proceedings of the 8th International Conference on Compiler Construction, Amsterdam. LNCS 1575, pages 122–136, Springer, 1999.
  • Christian Ferdinand, Daniel Kästner, Marc Langenbach, Florian Martin, Michael Schmidt, Jörn Schneider, Henrik Theiling, Stephan Thesing, and Reinhard Wilhelm. Run-Time Guarantees for Real-Time Systems — The USES Approach.. Proceedings of the ATPS99, Paderborn, Germany.
  • Daniel Kästner, Stephan Thesing. Cache-Aware Pre-Runtime Scheduling. Journal of Real-Time Systems, vol. 17, 1999.
  • Daniel Kästner, Reinhard Wilhelm. Operations Research Methods in Compiler Backends. Journal of Mathematical Communications, 1999.
  • Daniel Kästner, Stephan Thesing. Cache Sensitive Pre-Runtime Scheduling. Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems, Montreal, CA. LNCS 1474, pages 131–145, Springer, 1998.
  • Daniel Kästner, Marc Langenbach. Integer Linear Programming vs. Graph-Based Methods in Code Generation. Technical Report A/01/98. Saarland University, 1998.
  • Daniel Kästner. Instruktionsanordnung und Registerallokation auf der Basis ganzzahliger linearer Programmierung für den digitalen Signalprozessor ADSP-2106x. Master’s Thesis. Saarland University, 1997.
Top