Marc Langenbach

Curriculum vitæ

Marc Langenbach, born in 1972, completed the diploma degree program in computer science and business economics at the Saarland University from 1993 to 1997. In his master’s thesis he investigated graph-based techniques for code optimization.

Since 1997, he has been a research associate at the Department for Compiler Construction and Programming Languages at the Saarland University. He also contributed to the University’s Transfer Center no. 14 (“Run-Time Guarantees for Modern Architectures via Abstract Interpretation”) and to the IST project DAEDALUS (“Validation of Critical Software by Static Analysis and Abstract Testing”).

Mr. Langenbach is one of the co-founders of AbsInt, and our lead GUI developer. He also developed the control-flow representation language CRL, which is the central intermediate program representation used in our postpass program analysis and optimization framework, the underlying technology for the aiPop Code Compaction Suite. Lastly, he implemented the kernel of the software visualization tool aiCall that went on to be incorporated into the a³ framework.

Mr. Langenbach’s achievements also include participation in a project to develop an instruction scheduler for x86 code. Currently, he is investigating generative pipeline behavior prediction based on concise models.

Research interests

  • Compiler construction
  • Instruction scheduling
  • Cache analysis
  • Pipeline analysis
  • Generic timing analysis
  • Graphical user interfaces and usability

Selected publications

  • 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.
  • 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, 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.
  • Marc Langenbach. Instruktionsanordnung unter Verwendung graphbasierter Verfahren für den digitalen Signalprozessor ADSP-2106x. Master’s Thesis, Saarland University, 1997.