Martin is a research assistant in the Department of Computing at Imperial College London, where he is working in the Software Reliability Group on many interesting topics mainly focusing on symbolic execution. Martin’s research interests include software reliability and automatic analysis of programs. Beside that, he is also interested in concurrent programming using transactional memory.
He is doing his PhD at Technische Universität Dresden; studied there and worked at the Systems Engineering Group at for multiple years.
KDAlloc: The KLEE Deterministic Allocator
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023)
A Deterministic Memory Allocator for Dynamic Symbolic Execution
36th European Conference on Object-Oriented Programming (ECOOP 2022)
Running Symbolic Execution Forever
ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2020)
KLEE Symbolic Execution Engine in 2019
International Journal on Software Tools for Technology Transfer (2020)
Fine-grain Memory Object Representation in Symbolic Execution
IEEE/ACM International Conference on Automated Software Engineering (ASE 2019)
Constraints in Dynamic Symbolic Execution: Bitvectors or Integers?
International Conference on Tests and Proofs (TAP 2019)