• Sign in
  • Sign up
conf.researchr.org / Daniel Schemmel
  • 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
xThu 4 Sep 10:53
using conf.researchr.org (v1.70.0)
Support page
Sign Up