About

I am broadly interested in automatic testing, debugging, security, formal analysis and verification of complex software systems.

Publications

• Dependency-Aware Metamorphic Testing of Datalog Engines
  Together with Maria Christakis and Valentin Wüstholz.
  To appear in: Proceedings of ISSTA 2023.


• Input Splitting for Cloud-Based Static Application Security Testing Platforms [pdf] [doi] [video]
  Together with Maria Christakis, Thomas Cottenier, Antonio Filieri, Linghui Luo, Lee Pike, Nico Rosner, Martin Schäf, Aritra Sengupta, and Willem Visser.
  In: Proceedings of ESEC/FSE 2022.


• Metamorphic Testing of Datalog Engines [pdf] [doi] [video]
  Together with Maria Christakis and Valentin Wüstholz.
  In: Proceedings of ESEC/FSE 2021.


• Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios [pdf] [doi] [video]
  Together with Benjamin Mariano, Maria Christakis, Jorge A. Navas and Valentin Wüstholz.
  In: Proceedings of CAV 2021.


• Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing [doi] [github] [website] [video]
  Together with Maria Christakis, Valentin Wüstholz and Fuyuan Zhang.
  In: Proceedings of ESEC/FSE 2020.

  Best presentation award [video]

• Semantic Fault Localization and Suspiciousness Ranking [doi] [poster] [slides]
  Together with Maria Christakis, Matthias Heizmann, Christian Schilling and Valentin Wüstholz.
  In: Proceedings of TACAS 2019.


• Static Error Trace Analysis Using Aberrant Trace Elements [pdf]
  Master Thesis, University of Freiburg, 2018.


• RoBO: A Flexible and Robust Bayesian Optimization Framework in Python [pdf] [bib]
  Together with Aaron Klein, Stefan Falkner and Frank Hutter.
  In: Bayesian Optimization Workshop, NIPS 2017.

Open Source Research Tools

QueryFuzz: Metamorphic Testing of Datalog Engines
[github] [paper] [video]

Tailor: Automatically Tailoring Abstract Interpretation
[github] [paper] [video]

STORM: SMT Testing Over Random Mutations
[github] [paper] [website] [video]

Fault localization component in Ultimate Automizer
[github] [paper] [website]

RoBO: A flexible framework for robust Bayesian optimization
[github] [paper] [website] [bib]

Other Projects

Ant Simulator
Ant colony simulation implementation from scratch in C++.
[github]

Professional Activities

• Artifact Evaluation Committee member for CAV'23.
• Program Committee member for DBTest'22.
• Artifact Evaluation Committee member for SAS'21.
• Artifact Evaluation Committee member for ISSTA'21.
• Invited to Dagstuhl seminar on Ensuring the Reliability and Robustness of Database Management Systems.

Teaching

• Teaching assistant for the seminar on Research Topics in Software Reliability (WS 2019/20)
  Department of Computer Science,
  Technische Universität Kaiserslautern, Germany.


• Teaching assistant for the course Program Analysis (WS 2018/19)
  Department of Computer Science,
  Technische Universität Kaiserslautern, Germany.