Daniel is a research asssistant in the Department of Computing at Imperial College London, where he works in the Software Reliability Group under the supervision of Dr Cristian Cadar. He is especially interested in the applicability of Symbolic Execution to real world software.
He studied computer science at RWTH Aachen University and worked for several years as a researcher (Wissenschaftlicher Mitarbeiter) at the Chair of Communication and Distributed Systems at the same university.
Group Publications
-
KDAlloc: The KLEE Deterministic Allocator
Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023)
-
Patch Specifications via Product Programs
Cristian Cadar, Daniel Schemmel, Arindam Sharma
2023 International Conference on Formal Methods in Software Engineering (FormaliSE 2023)
-
A Deterministic Memory Allocator for Dynamic Symbolic Execution
Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar
36th European Conference on Object-Oriented Programming (ECOOP 2022)
-
Floating-Point Symbolic Execution: A Case Study in N-version Programming
Daniel Liew, Daniel Schemmel, Cristian Cadar, Alastair Donaldson, Rafael Zähl, Klaus Wehrle
IEEE/ACM International Conference on Automated Software Engineering (ASE 2017)
Talks
-
KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay
Tool Talk @ ISSTA 2023
-
Constraint-Based Testing for Floating-Point Code: Challenges and Opportunities
Talk @ CSE 2023 Minisymposium "Bridging the Gap from HPC Software Engineering to Academic Research"
-
A Deterministic Memory Allocator for Dynamic Symbolic Execution
Talk @ KLEE 2022
-
A Deterministic Memory Allocator for Dynamic Symbolic Execution
Talk @ ECOOP 2022