Quality assurance for highly-configurable systems is challenging due to the exponentially
growing configuration space. Interactions among multiple options can lead to surprising …

The advent of variability management and generator technology enables users to derive
individual system variants from a configurable code base by selecting desired configuration …

We present an approach for dynamic information flow control across the application and
database. Our approach reduces the amount of policy code required, yields formal …

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

Software projects are complex technical and organizational systems involving large
numbers of artifacts and developers. To understand and tame software complexity, a wide …

Editing the source code of variational software is complicated by the presence of variation
annotations, such as# ifdef statements, and by code that is only included in some …

Many software systems today are configurable. Analyzing configurable systems is
challenging, especially as (1) the number of system variants may grow exponentially with …

Today, many software systems are configurable with conditional compilation. Just like any
software system, configurable systems need to be refactored in their evolution, but their …

Variational execution is a novel dynamic analysis technique for exploring highly
configurable systems and accurately tracking information flow. It is able to efficiently analyze …

Gradual typing allows programs to enjoy the benefits of both static typing and dynamic
typing. While it is often desirable to migrate a program from more dynamically-typed to more …