conf.researchr.org / Martin Nowack
![Martin Nowack](https://conf.researchr.org/getProfileImage/martinnowack/e71bffec-cbdf-4e26-bd46-f3a33737c27a/small.jpg?1721468523000)
Registered user since Tue 23 Jun 2020
Name:Martin Nowack
Country:United Kingdom
Affiliation:Imperial College London
Contributions
2024
KLEE
- Author of Mixed Fixed-point and Floating-point Symbolic Execution within the KLEE 2024-track
- Presenter of Deterministic State-space Exploration: Comparing and Measuring Effectiveness of Symbolic Execution Implementations within the KLEE 2024-track
- Co-chair in Program Committee within the KLEE 2024-track
- Session Chair of Program Repair & Keynote (part of KLEE 2024)