Martin is a research associate 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 did his PhD at Technische Universität Dresden; studied there and worked at the Systems Engineering Group at for multiple years.
Group Publications
-
Sparse Symbolic Loop Execution (Registered Report)
Frank Busse, Martin Nowack, Cristian Cadar
International Fuzzing Workshop (FUZZING 2024)
-
KDAlloc: The KLEE Deterministic Allocator
Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023)
-
A Deterministic Memory Allocator for Dynamic Symbolic Execution
Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar
36th European Conference on Object-Oriented Programming (ECOOP 2022)
-
Running Symbolic Execution Forever
Frank Busse, Martin Nowack, Cristian Cadar
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?
Timotej Kapus, Martin Nowack, Cristian Cadar
International Conference on Tests and Proofs (TAP 2019)
Talks
-
Fine-grain Memory Object Representation in Symbolic Execution
Talk @ ASE 2019