About

Since November 2022, I am an applied scientist at Amazon Web Services, working at the intersection of security, automated reasoning, and generative AI. Before joining AWS, I completed my Ph.D. at the Max Planck Institute for Software Systems in Kaiserslautern, Germany under the supervision of Prof. Maria Christakis. The overarching goal of my Ph.D. research was to improve software correctness and reliability by making it easier and practical for developers of all skill levels to incorporate state of the art formal methods tools in their software development workflow. My Ph.D. research resulted in the detection (and fixes) of 60+ critical soundness bugs in fundamental program analysis tools such as SMT solvers and Datalog engines.

Publications

• Understanding Developer-Analyzer Interactions in Code Reviews
  Together with Martin Schaef, Berk Cirisci, Linghui Luo, Omer Tripp, Daniel Sanchez, Qiang Zhou, and Muhammad Bilal Zafar.
  To appear in: Proceedings of ASE 2024.


• Dependency-Aware Metamorphic Testing of Datalog Engines [pdf][doi]
  Together with Maria Christakis and Valentin Wüstholz.
  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.