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 …

Incremental satisfiability (SAT) solving is an extension of classic SAT solving that allows
users to efficiently solve a set of related SAT problems by identifying and exploiting shared …

Variation is widespread in software artifacts (data and programs) and in some cases, such
as software product lines, is widely studied. In order to analyze, transform, or otherwise …

Variation occurs in databases in many different forms and contexts. For example, a single
database schema evolves over time, data from different sources may be combined, and the …

Variations are ubiquitous in software. Some variations are intentionally introduced, eg, to
provide extra functionalities or tweak certain program behavior, while some variations are …

Incremental satisfiability (SAT) solving is an extension of classic SAT solving that enables
solving a set of related SAT problems by identifying and exploiting shared terms. However …

Interactions among multiple program inputs or options can lead to undesired or wrong
behavior, such as system crashes and security vulnerabilities. This is especially challenging …

Variation in data is abundant and ubiquitous in real-world applications. Managing variation
in databases is, however, difficult and has been extensively studied by the database …

Variational execution offers an avenue of efficiently analyzing configurable systems, but data
structures like lists require special consideration. We implement automatic substitution of a …