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.