Martin Nowack -

Registered user since Tue 23 Jun 2020

Name:Martin Nowack

Country:United Kingdom

Affiliation:Imperial College London

Contributions

ECOOP 2022	Author of A Deterministic Memory Allocator for Dynamic Symbolic Execution within the Research Papers-track
ECOOP and ISSTA 2021	ISSTA Artifact Evaluation Co-Chair in Organizing Committee
ISSTA 2021	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
SPLASH 2020	Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
ISSTA 2020	Author of Running Symbolic Execution Forever within the Technical Papers-track
SOAP 2020	Presenter of Tool Talk: KLEE within the SOAP 2020-track
ASE 2019	Author of Fine-grain memory object representation in symbolic execution within the Research Papers-track