Christoph Mallon
Research interests
- Functional safety
- Sound static analysis
- Runtime error analysis
- Abstract interpretation
- Compilers
- Code generation
Selected publications
- Automatic Sound Static Analysis for Integration Verification of AUTOSAR Software.
D. Kästner, C. Mallon, L. Mauborgne, S. Schank, S. Wilhelm, C. Ferdinand.
SAE Technical Paper 2023-01-0591, SAE World Congress 2023, Detroit, April 2023.
- Static Data and Control Coupling Analysis.
D. Kästner, L. Mauborgne, S. Wilhelm, C. Mallon, C. Ferdinand.
In ERTS 2022: Embedded Real Time Software and Systems, 11th European Congress, June 2022, Toulouse, France.
- Benchmarking Static Code Analyzers.
J. Herter, D. Kästner, C. Mallon, R. Wilhelm.
In SAFECOMP’17: Proceedings of the International Conference on
Computer Safety, Reliability and Security (SAFECOMP), Trento, 2017.
Springer LNCS tbd, Springer, Heidelberg.
- Preference-Guided Register Assignment.
M. Braun, C. Mallon, and S. Hack.
In CC 2010, Compiler Construction, pp. 205–223, Springer, 2010.
- Generating Test Cases for Specification Mining.
V. Dallmeier, N. Knopp, C. Mallon, S. Hack, and A. Zeller.
In ISSTA 2010, International Symposium on Software Testing and Analysis, pp. 85–96, ACM, 2010.