My research encompassed static and dynamic program analysis, programming language design, theoretical computer science, and the foundations of software technology. I focused on analyzing higher-order functional programs by controlling program behavior and access. Specifically, I aimed to develop analysis methods for JavaScript that extensively use contract monitoring, effect monitoring, and dynamic effect inference to ensure program correctness both statically and dynamically.

Much of my work focused on developing TreatJS, a higher-order contract system integrated into JavaScript. TreatJS introduces several innovative features, both in practice and in theory. Additionally, I created a sandbox environment for JavaScript that enables code to run in isolation from the host application. I also contributed to the theoretical understanding of regular expressions, formal languages, and automata theory.

Projects

Publications

For a complete list of my publications, see my DBLP page, my ACM Portal author page, my publications on arXiv.org, my conf.researchr.org profile, or my Google Scholar publications page.

Talks

Artifacts

Theses

  • Higher-Order Contracts for JavaScript
    Dissertation, University of Freiburg, 2018
  • Sicherheitsanalyse auf der Basis von Datenflusstheorie
    Master Thesis, University of Freiburg, 2011
  • Redundanzmechanismen für Storage-Area-Networks
    Bachelor Thesis, University of Freiburg, 2008

Committees