The usage of empirical methods has grown common in software engineering. This trend
spawned hundreds of publications, whose results are helping to understand and improve …

Today, every application uses software libraries. Yet, while a lot of research exists wrt
analyzing applications, research that targets the analysis of libraries independent of any …

Many critical codebases are written in C, and most of them use preprocessor directives to
encode variability, effectively encoding software product lines. These preprocessor …

Static analysis is used to automatically detect bugs and security breaches, and aids compiler
optimization. Whole-program analysis (WPA) can yield high precision, however causes long …

The popularity of the JavaScript programming language for server‐side programming has
increased tremendously over the past decade. The Node. js framework is a popular …

An integral part of developing a new analysis is to validate the correctness of its
implementation and to demonstrate its usefulness when applied to real-world code. As a …

This paper explores adding capabilities to Java with the objective of tightening security
management for access to resources both within the Java Class Library and Java …

I did not decide right away that in my career as a computer scientist pursuing a doctorate
would be something I would invest time into. After my diploma thesis I wanted to venture out …