Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Daniel Schemmel
conf.researchr.org general profile
ECOOP 2022 profile
ECOOP and ISSTA 2023 profile
ICFP/SPLASH 2025 profile
ICSE 2023 profile
ICSE 2024 profile
Registered user since Wed 4 May 2022
Name:
Daniel Schemmel
Affiliation:
Imperial College London
Contributions
2025
SPLASH
Author of P³: Reasoning about Patches via Product Programs within the OOPSLA-track
2024
KLEE
Author of Mixed Fixed-point and Floating-point Symbolic Execution within the KLEE 2024-track
Session Chair of Binary Analysis & Keynote (part of KLEE 2024)
Co-chair in Program Committee within the KLEE 2024-track
2023
FormaliSE
Author of Patch Specifications via Product Programs within the FormaliSE 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
Share
x
Sun 28 Sep 22:28