Publications

P³: Reasoning about Patches via Product Programs
Arindam Sharma, Daniel Schemmel, Cristian Cadar·2025
Proceedings of the ACM on Programming Languages (OOPSLA)
PDF DOI
KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay
Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar·2023
32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, Tool Demonstrations Track (ISSTA 2023)
PDF DOI Code Demo
Patch Specifications via Product Programs
Cristian Cadar, Daniel Schemmel, Arindam Sharma·2023
2023 International Conference on Formal Methods in Software Engineering (FormaliSE 2023)
PDF DOI Code
A Deterministic Memory Allocator for Dynamic Symbolic Execution
Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar·2022
36th European Conference on Object-Oriented Programming (ECOOP 2022)
PDF DOI Code
Determination of Throughput Guarantees for Processor-based SmartNICs
Johannes Krude, Jan Rüth, Daniel Schemmel, Felix Rath, Iohannes-Heorh Folbort, Klaus Wehrle·2021
17th International Conference on emerging Networking EXperiments and Technologies (CoNEXT 2021)
PDF DOI Code
Symbolic Partial-Order Execution for Testing Multi-Threaded Programs
Daniel Schemmel, Julian Büning, César Rodríguez, David Laprell, Klaus Wehrle·2020
32nd International Conference on Computer-Aided Verification (CAV 2020)
PDF DOI Extended Version Video Code
Interoperability-Guided Testing of QUIC Implementations Using Symbolic Execution
Felix Rath, Daniel Schemmel, Klaus Wehrle·2018
Workshop on the Evolution, Performance, and Interoperability of QUIC (EPIQ 2018)
PDF DOI arXiv
On Automated Memoization in the Field of Simulation Parameter Studies
Mirko Stoffers, Daniel Schemmel, Oscar Soria Dustmann, Klaus Wehrle·2018
ACM Transactions on Modeling and Computer Simulation (TOMACS)
PDF DOI
Symbolic Liveness Analysis of Real-World Software
Daniel Schemmel, Julian Büning, Oscar Soria Dustmann, Thomas Noll, Klaus Wehrle·2018
30th International Conference on Computer-Aided Verification (CAV 2018)
PDF DOI Code
Towards Benchmark Optimization by Automated Equivalence Detection
Daniel Schemmel, René Glebke, Mirko Stoffers, Klaus Wehrle·2018
IEEE Workshop on Benchmarking Cyber-Physical Networks and Systems (CPSBench 2018)
PDF DOI
SymPerf: Predicting Network Function Performance
Felix Rath, Johannes Krude, Jan Rüth, Daniel Schemmel, Oliver Hohlfeld, Jó Ágila Bitsch Link, Klaus Wehrle·2017
SIGCOMM Posters and Demos (SIGCOMM Poster 2017)
PDF DOI Poster
Floating-Point Symbolic Execution: A Case Study in N-Version Programming
Daniel Liew, Daniel Schemmel, Cristian Cadar, Alastair F. Donaldson, Rafael Zähl, Klaus Wehrle·2017
IEEE/ACM International Conference on Automated Software Engineering (ASE 2017)
PDF DOI KLEE-Float Aachen KLEE-Float London Benchmarks Aachen Benchmarks Aachen
Automated Memoization for Parameter Studies Implemented in Impure Languages
Mirko Stoffers, Daniel Schemmel, Oscar Soria Dustmann, Klaus Wehrle·2016
ACM SIGSIM Conference on Principles of Advanced Discrete Simulation (PADS 2016)
PDF DOI
Multi-Level Parallelism for Time- and Cost-Efficient Parallel Discrete Event Simulation on GPUs
Georg Kunz, Daniel Schemmel, James Gross, Klaus Wehrle·2012
2012 ACM/IEEE/SCS 26th Workshop on Principles of Advanced and Distributed Simulation (PADS 2012)
PDF DOI