Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Martin Nowack
conf.researchr.org general profile
ASE 2019 profile
ECOOP 2022 profile
ECOOP and ISSTA 2021 profile
ECOOP and ISSTA 2023 profile
ISSTA 2020 profile
PLDI 2020 profile
SPLASH 2020 profile
Registered user since Tue 23 Jun 2020
Name:
Martin Nowack
Country:
United Kingdom
Affiliation:
Imperial College London
Contributions
2023
FUZZING
Committee Member in Program Committee within the FUZZING 2023-track
ISSTA
Author of KDAlloc: The KLEE Deterministic Allocator within the Tool Demonstrations-track
2022
ECOOP
Author of A Deterministic Memory Allocator for Dynamic Symbolic Execution within the Research Papers-track
2021
ECOOP/ISSTA
ISSTA Artifact Evaluation Co-Chair in Organizing Committee
ISSTA
Session Chair of Session 14 (time band 2) Symbolic Execution 2 (part of Technical Papers)
Artifact Evaluation Co-Chair in Organizing Comittee
Co-chair in Artifact Evaluation Committee within the Artifact Evaluation-track
2020
SPLASH
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
ISSTA
Author of Running Symbolic Execution Forever within the Technical Papers-track
SOAP
Presenter of Tool Talk: KLEE within the SOAP 2020-track
2019
ASE
Author of Fine-grain memory object representation in symbolic execution within the Research Papers-track
Share
x
Tue 3 Oct 12:57