KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay

Schemmel, Daniel; Büning, Julian; Busse, Frank; Nowack, Martin; Cadar, Cristian; Schemmel, Daniel; Büning, Julian; Busse, Frank; Nowack, Martin; Cadar, Cristian; Krude, Johannes; Rüth, Jan; Schemmel, Daniel; Rath, Felix; Folbort, Iohannes-Heorh; Wehrle, Klaus; Schemmel, Daniel; Büning, Julian; Rodríguez, César; Laprell, David; Wehrle, Klaus; Rath, Felix; Schemmel, Daniel; Wehrle, Klaus; Stoffers, Mirko; Schemmel, Daniel; Soria Dustmann, Oscar; Wehrle, Klaus; Schemmel, Daniel; Büning, Julian; Soria Dustmann, Oscar; Noll, Thomas; Wehrle, Klaus; Schemmel, Daniel; Glebke, René; Stoffers, Mirko; Wehrle, Klaus; Liew, Daniel; Schemmel, Daniel; Cadar, Cristian; Donaldson, Alastair; Zähl, Rafael; Wehrle, Klaus; Rath, Felix; Krude, Johannes; Rüth, Jan; Schemmel, Daniel; Hohlfeld, Oliver; Bitsch Link, Jó Agila; Wehrle, Klaus; Stoffers, Mirko; Schemmel, Daniel; Soria Dustmann, Oscar; Wehrle, Klaus; Kunz, Georg; Schemmel, Daniel; Gross, James; Wehrle, Klaus

doi:10.1145/3597926.3604921

WARNING: This information is likely out-of-date and will not be updated!
Last updated on 2021-07-31

Daniel Schemmel, M.Sc.

Communication and Distributed Systems
RWTH Aachen University
Ahornstr. 55
52074 Aachen, Germany

E-Mail: daniel.schemmel@comsys.rwth-aachen.de
Phone: +49 241 80-21420

Office: Building E3, Room 9015

I am currently employed as a researcher and head of Systems Analysis at the the Chair of Communication and Distributed Systems at RWTH Aachen University, where I research the testability of distributed systems. My specific focus is on the applicability of Symbolic Execution to event-driven systems of all kinds. My work here began in April 2015, shortly after receiving my M.Sc. in Computer Science in March 2015.

In my free time, I write a blog detailing adventures in programming and computer science.

Publications

12.	Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, and Cristian Cadar KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023) July 2023 DOI: 10.1145/3597926.3604921
11.	Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, and Cristian Cadar A Deterministic Memory Allocator for Dynamic Symbolic Execution European Conference on Object-Oriented Programming (ECOOP 2022) June 2022 DOI: 10.4230/LIPIcs.ECOOP.2022.9
10.	Johannes Krude, Jan Rüth, Daniel Schemmel, Felix Rath, Iohannes-Heorh Folbort, and Klaus Wehrle Determination of Throughput Guarantees for Processor-based SmartNICs The 17th International Conference on emerging Networking EXperiments and Technologies (CoNEXT '21) Publisher: ACM, December 2021 DOI: 10.1145/3485983.3494842 ISBN: 978-1-4503-9098-9/21/12
9.	Daniel Schemmel, Julian Büning, César Rodríguez, David Laprell, and Klaus Wehrle Symbolic Partial-Order Execution for Testing Multi-Threaded Programs Computer Aided Verification (CAV 2020) July 2020 DOI: 10.1007/978-3-030-53288-8_18 https://arxiv.org/abs/2005.06688
8.	Felix Rath, Daniel Schemmel, and Klaus Wehrle Interoperability-Guided Testing of QUIC Implementations using Symbolic Execution EPIQ'18 Workshop Paper Heraklion, Greece, 4.12.2018 Publisher: ACM, December 2018 DOI: 10.1145/3284850.3284853 ISBN: 978-1-4503-6082-1 https://dl.acm.org/citation.cfm?id=3284853 https://arxiv.org/abs/1811.12099
7.	Mirko Stoffers, Daniel Schemmel, Oscar Soria Dustmann, and Klaus Wehrle On Automated Memoization in the Field of Simulation Parameter Studies ACM Transactions on Modeling and Computer Simulation (TOMACS), 28(4):26:1-26:25 October 2018 DOI: 10.1145/3186316
6.	Daniel Schemmel, Julian Büning, Oscar Soria Dustmann, Thomas Noll, and Klaus Wehrle Symbolic Liveness Analysis of Real-World Software Computer Aided Verification (CAV 2018) July 2018 DOI: 10.1007/978-3-319-96142-2_27
5.	Daniel Schemmel, René Glebke, Mirko Stoffers, and Klaus Wehrle Towards Benchmark Optimization by Automated Equivalence Detection Proceedings of the 1st Workshop on Benchmarking Cyber-Physical Networks and Systems (CPSBench'18) April 2018 DOI: 10.1109/CPSBench.2018.00011 ISBN: 978-1-5386-6742-2
4.	Daniel Liew, Daniel Schemmel, Cristian Cadar, Alastair Donaldson, Rafael Zähl, and Klaus Wehrle Floating-Point Symbolic Execution: A Case Study in N-Version Programming Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering October 2017 ISBN: 978-1-5386-2684-9/17
3.	Felix Rath, Johannes Krude, Jan Rüth, Daniel Schemmel, Oliver Hohlfeld, Jó Agila Bitsch Link, and Klaus Wehrle SymPerf: Predicting Network Function Performance ACM SIGCOMM 2017 Poster Los Angeles, USA, 21.8.2017 - 25.8.2017 Publisher: ACM, August 2017 DOI: 10.1145/3123878.3131977 ISBN: 978-1-4503-5057-0/17/08
2.	Mirko Stoffers, Daniel Schemmel, Oscar Soria Dustmann, and Klaus Wehrle Automated Memoization for Parameter Studies Implemented in Impure Languages Proceedings of the 4th ACM SIGSIM/PADS Conference on Principles of Advanced Discrete Simulation (SIGSIM-PADS’16), Banff, AB, Canada, page 221-232. Publisher: ACM, New York, NY May 2016 DOI: 10.1145/2901378.2901386 Keywords: Automatic Memoization; Accelerating Parameter Studies; Impure Languages
1.	Georg Kunz, Daniel Schemmel, James Gross, and Klaus Wehrle Multi-level Parallelism for Time- and Cost-efficient Parallel Discrete Event Simulation on GPUs Proceedings of the 26th ACM/IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation (PADS'12), Zhangjiajie, China, page 23--32. Publisher: IEEE, July 2012 DOI: 10.1109/PADS.2012.27 ISBN: 978-0-7695-4714-5

Export as:

BibTeX, XML