Marc Langenbach

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

  • Automatic Determination of Non-Functional Properties by Abstract Interpretation. M. Langenbach, S. Thesing, and R. Wilhelm. Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages (QAPL 2004) at Barcelona, Spain, 27–28 March 2004, Satellite Event of the European Joint Conferences on Theory and Practice of Software (ETAPS 2004). Antonio Cerone, editor, Theoretical Computer Science 346,1. Amsterdam, Elsevier, 2005.
  • Validierung des Zeitverhaltens von kritischer Echtzeit-Software. C. Ferdinand, D. Kästner, F. Martin, M. Langenbach, M. Sicks, S. Wilhelm, N. Fritz, S. Thesing, F. Fontaine, H. Theiling, R. Wilhelm. 33. Jahrestagung der GI, Frankfurt/M. Informatik 2003 – Innovative Informatikanwendungen, Band 1 (ISBN 3-88579-363-6), Lecture Notes in Informatics (LNI), 2003.
  • Pipeline Modeling for Timing Analysis. M Langenbach, S. Thesing, and R. Heckmann. Proceedings of the 9th International Static Analysis Symposium SAS’02, Madrid, Spain, 17–20 September 2002. Lecture Notes in Computer Science 2477, M. Hermenegildo, G. Puebla (Eds.), pp. 294—309.
  • Reliable and Precise WCET Determination for a Real-Life Processor. Christian Ferdinand, Reinhold Heckmann, Marc Langenbach, Florian Martin, Michael Schmidt, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm. EMSOFT 2001, pages 469–485.
  • Integer Linear Programming vs. Graph-Based Methods in Code Generation. Daniel Kästner, Marc Langenbach. Technical Report A/01/98. Saarland University, 1998.
  • Code Optimization by Integer Linear Programming. Daniel Kästner, Marc Langenbach. Proceedings of the 8th International Conference on Compiler Construction, Amsterdam. LNCS 1575, pp. 122–136, Springer, 1999.
  • Instruktionsanordnung unter Verwendung graphbasierter Verfahren für den digitalen Signalprozessor ADSP-2106x. Marc Langenbach. Master’s Thesis, Saarland University, 1997.