conf.researchr.org / Martin Nowack

Registered user since Tue 23 Jun 2020

Name: Martin Nowack

Affiliation: Imperial College London

Contributions

ISSTA 2021Artifact Evaluation Co-Chair in Organizing Comittee
SOAP 2020Presenter of Tool Talk: KLEE within the SOAP 2020-track
ISSTA 2020Author of Running Symbolic Execution Forever within the Technical Papers-track
SPLASH 2020Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
ASE 2019Author of Fine-grain memory object representation in symbolic execution within the Research Papers-track