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.
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023), Jul 17 - Jul 21, 2023, Seattle, WA, United States. July 2023.
A Deterministic Memory Allocator for Dynamic Symbolic Execution.
Proceedings of the 36th European Conference on Object-Oriented Programming (ECOOP 2022), Jun 6 - Jun 10, 2022. June 2022.
Determination of Throughput Guarantees for Processor-based SmartNICs.
Proceedings of the 17th International Conference on emerging Networking EXperiments and Technologies.
Presented at the 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.
Lecture Notes in Computer Science, vol. 12224.
Presented at the 32nd International Conference on Computer Aided Verification
(CAV '20), Jul 21 - Jul 24, 2020. July 2020.
Interoperability-Guided Testing of QUIC Implementations using Symbolic Execution.
Proceedings of the Workshop on the Evolution, Performance, and Interoperability of QUIC, Dec 4, 2018, 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.
Lecture Notes in Computer Science, vol. 10982.
Presented at the 30th International Conference on Computer Aided Verification
(CAV '18), Jul 14 - Jul 17, 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, 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.
Proceedings of the 2017 SIGCOMM Posters and Demos.
Presented at the ACM SIGCOMM 2017 Conference
(SIGCOMM '17), Aug 22 - Aug 24, 2017, Los Angeles, CA, United States. August 2017.
Automated Memoization for Parameter Studies Implemented in Impure Languages.
Proceedings of the 2016 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation.
Presented at the ACM Conference on Principles of Advanced Discrete Simulation
(SIGSIM-PADS '16), May 15 - May 18, 2016, 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.
Presented at the 26th Workshop on Principles of Advanced and Distributed Simulation
(PADS '12), Jul 17 - 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