Felix Rath, M.Sc.
WARNING: This information is likely out-of-date and will not be updated!
Last updated on 2022-07-15
Last updated on 2022-07-15
I started working as a researcher at the Chair of Communication and Distributed Systems at RWTH Aachen University in July 2016, after finishing my M. Sc. earlier the same year in May. My research is focused on automated analysis and testing techniques for networked software, especially using symbolic execution. This includes, for example, topics such as automated performance predictions for small softwarized network functions, and the analysis and interoperability testing of network protocol implementations, such as QUIC.
Publications
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.
Interoperability-Guided Testing of QUIC Implementations using Symbolic Execution.
ACM, Heraklion, Greece.
December 2018.
SymPerf: Predicting Network Function Performance.
ACM, El Monte, CA, United States.
August 2017.
Advised Theses
Versatile Introspection for Symbolic Execution
Bachelor's Thesis, RWTH Aachen University, May 2020
Advisors:
,
Julian Büning
Examiners:
Klaus Wehrle,
Thomas Noll (i2)
Systematically Testing Network Protocol Implementations using Symbolic Execution
Bachelor's Thesis, RWTH Aachen University, September 2019
Advisor:
Examiners:
Klaus Wehrle,
Jürgen Giesl (LuFG i2)
Symbolic Distributed Execution of Socket-Based Systems
Bachelor's Thesis, RWTH Aachen University, January 2019
Advisors:
Daniel Schemmel,
Examiners:
Klaus Wehrle,
Thomas Noll (i2)
Equivalence Analysis of Implementations of Standardized Fuctions
Bachelor's Thesis, RWTH Aachen University, November 2018
Advisors:
Daniel Schemmel,
Examiners:
Klaus Wehrle,
Thomas Noll (i2)
Recording Symbolic Constraints using LLVM IR Instrumentation
Bachelor's Thesis, RWTH Aachen University, October 2018
Advisors:
,
Daniel Schemmel
Examiners:
Klaus Wehrle,
Thomas Noll (i2)
Detecting Divergences in the Behavior of Network Protocol Implementations
Bachelor's Thesis, RWTH Aachen University, August 2018
Advisor:
Examiners:
Klaus Wehrle,
Bernhard Rumpe (i3)
Automated Testing of Software containing Externally Triggered Event Handlers
Bachelor's Thesis, RWTH Aachen University, August 2018
Advisors:
Daniel Schemmel,
Examiners:
Klaus Wehrle,
Thomas Noll (i2)
Indirect Symbolic Execution -- Automated Testing of Exotic Systems
Bachelor's Thesis, RWTH Aachen University, April 2018
Advisors:
Daniel Schemmel,
Examiners:
Klaus Wehrle,
Jürgen Giesl (LuFG i2)
Machine Learning and Symbolic Execution: Efficient Selection of Solvers
Bachelor's Thesis, RWTH Aachen University, April 2017
Advisors:
Oscar Soria Dustmann,
Examiners:
Klaus Wehrle,
Erika Ábrahám (i2)