Marc Langenbach

Contact

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.