Daniel Schemmel -

Registered user since Wed 4 May 2022

Name:Daniel Schemmel

Affiliation:Imperial College London

Contributions

FormaliSE 2023	Author of Patch Specifications via Product Programs within the FormaliSE 2023-track
ECOOP 2022	Author of A Deterministic Memory Allocator for Dynamic Symbolic Execution within the Research Papers-track