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)