Daniel Schemmel, M.Sc.
WARNING: This information is likely out-of-date and will not be updated!
Last updated on 2021-07-31
Last updated on 2021-07-31
I am currently employed as a researcher and head of Systems Analysis at 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
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), Seattle, WA, United States.
July 2023.
A Deterministic Memory Allocator for Dynamic Symbolic Execution.
European Conference on Object-Oriented Programming (ECOOP 2022).
June 2022.
Determination of Throughput Guarantees for Processor-based SmartNICs.
The 17th International Conference on emerging Networking EXperiments and Technologies (CoNEXT ‘21), Virtual Event Germany.
December 2021.
Symbolic Partial-Order Execution for Testing Multi-Threaded Programs.
Computer Aided Verification (CAV 2020).
July 2020.
Interoperability-Guided Testing of QUIC Implementations using Symbolic Execution.
ACM, Heraklion, Greece.
December 2018.
On Automated Memoization in the Field of Simulation Parameter Studies.
ACM Transactions on Modeling and Computer Simulation (TOMACS), vol. 28, no. 4.
October 2018.
Symbolic Liveness Analysis of Real-World Software.
Computer Aided Verification (CAV 2018), Oxford, UK.
July 2018.
Towards Benchmark Optimization by Automated Equivalence Detection.
Proceedings of the 1st Workshop on Benchmarking Cyber-Physical Networks and Systems (CPSBench'18), Apr 10 - Apr 13, 2018, Porto, Portugal.
April 2018.
Floating-Point Symbolic Execution: A Case Study in N-Version Programming.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, Urbana-Champaign, IL, USA.
October 2017.
SymPerf: Predicting Network Function Performance.
ACM, El Monte, CA, United States.
August 2017.
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.
May 2016.
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), Jul 15 - Jul 19, 2012, Zhangjiajie, China.
July 2012.
Advised Theses
A Topic in Systems Analysis
Master's Thesis, RWTH Aachen University, December 2021
Advisors:
Julian Büning,
Examiners:
Klaus Wehrle,
Thomas Noll (i2)
A Topic in Systems Analysis
Master's Thesis, RWTH Aachen University, May 2021
Advisor:
Examiners:
Klaus Wehrle,
Thomas Noll (i2)
Distributed Hybrid Concolic Fuzzing
Master's Thesis, RWTH Aachen University, January 2021
Advisors:
,
Julian Büning
Examiners:
Klaus Wehrle,
Joost-Pieter Katoen (i2)
A Topic in Systems Analysis
Master's Thesis, RWTH Aachen University, June 2020
Advisor:
Examiners:
Klaus Wehrle,
Horst Lichter (SWC)
Symbolic Execution of Multithreaded Programs Based on Partial Order Reduction
Master's Thesis, RWTH Aachen University, July 2019
Advisor:
Examiners:
Klaus Wehrle,
Joost-Pieter Katoen (i2)
Symbolic Distributed Execution of Socket-Based Systems
Bachelor's Thesis, RWTH Aachen University, January 2019
Advisors:
,
Felix Rath
Examiners:
Klaus Wehrle,
Thomas Noll (i2)
Towards Automated Testing of Multithreaded Programs via Symbolic Execution
Bachelor's Thesis, RWTH Aachen University, December 2018
Advisor:
Examiners:
Klaus Wehrle,
Walter Unger (i1)
Equivalence Analysis of Implementations of Standardized Fuctions
Bachelor's Thesis, RWTH Aachen University, November 2018
Advisors:
,
Felix Rath
Examiners:
Klaus Wehrle,
Thomas Noll (i2)
Recording Symbolic Constraints using LLVM IR Instrumentation
Bachelor's Thesis, RWTH Aachen University, October 2018
Advisors:
Felix Rath,
Examiners:
Klaus Wehrle,
Thomas Noll (i2)
Automated Testing of Software containing Externally Triggered Event Handlers
Bachelor's Thesis, RWTH Aachen University, August 2018
Advisors:
,
Felix Rath
Examiners:
Klaus Wehrle,
Thomas Noll (i2)
Indirect Symbolic Execution -- Automated Testing of Exotic Systems
Bachelor's Thesis, RWTH Aachen University, April 2018
Advisors:
,
Felix Rath
Examiners:
Klaus Wehrle,
Jürgen Giesl (LuFG i2)
Symbolic Execution of BPF Bytecode in the Realm of Network Function Virtualization
Bachelor's Thesis, RWTH Aachen University, July 2017
Advisors:
Jan Rüth,
Examiners:
Klaus Wehrle,
Thomas Noll (i2)
Symbolic Rare Event Simulation
Master's Thesis, RWTH Aachen University, May 2017
Advisors:
,
Mirko Stoffers
Examiners:
Klaus Wehrle,
Erika Ábrahám (i2)
Directed Symbolic Execution using Persistent Constraint Caching
Bachelor's Thesis, RWTH Aachen University, May 2017
Advisors:
,
Oscar Soria Dustmann
Examiners:
Klaus Wehrle,
Jürgen Giesl (LuFG i2)
Concolic Testing of Distributed Applications
Master's Thesis, RWTH Aachen University, December 2016
Advisors:
,
Oscar Soria Dustmann
Examiners:
Klaus Wehrle,
Horst Lichter (SWC)
Incorporating Liveness Violation Testing into Symbolic Execution
Bachelor's Thesis, RWTH Aachen University, November 2016
Advisors:
,
Oscar Soria Dustmann
Examiners:
Klaus Wehrle,
Thomas Noll (i2)
Intelligent Exploration of the State Space in Symbolic Execution
Bachelor's Thesis, RWTH Aachen University, September 2016
Advisors:
,
Oscar Soria Dustmann
Examiners:
Klaus Wehrle,
Bernhard Rumpe (i3)
Abstract Memory Layout for Symbolic Execution
Master's Thesis, RWTH Aachen University, May 2016
Advisors:
,
Oscar Soria Dustmann
Examiners:
Klaus Wehrle,
Thomas Noll (i2)FOLKS Award (2nd place) for the best Master's thesis in 2016