Michael Eichberg

Michael Eichberg is a Professor at Technische Universität Darmstadt, Germany, where his work centers on software engineering, static analysis, programming languages, and secure software development tools. He is the principal architect of the OPAL framework for Java bytecode analysis and has an extensive publication record spanning PLDI, ICSE, ESEC/FSE, ISSTA, ASE, FSE, SOAP, and other premier venues.

Research Interests:

• Static program analysis and its scalability to real-world code bases
• Software security, particularly cryptographic API misuse and Android app repackaging detection
• Concurrent and parallel programming models, including deterministic concurrency in Scala
• Software architecture conformance, drift and erosion detection, and rule reuse
• Development of open extensible tools and frameworks (OPAL, LectureDoc, QScope, Sextant, XIRC, IRC)

Publication Trends:
His recent work (2015-2022) demonstrates a strong focus on empirical evaluation of static analysis techniques, modular composition of analyses, and security-related program understanding. Key themes include unsoundness in call graph construction, purity and immutability analyses, parallelization of static analyses, and large-scale studies of cryptographic API misuse.

Tools & Frameworks:

• OPAL – A flexible Java bytecode analysis and manipulation framework (core developer until 2019)
• LectureDoc 2 – Web-based lecture material authoring and presentation system
• QScope – Open extensible metrics framework for modern software projects
• Sextant – Eclipse-integrated software exploration tool
• XIRC/IRC – Frameworks for enforcing system-wide properties and architectural constraints