Big-step abstract interpreters are an approach to build static analyzers based on big-step
interpretation. While big-step interpretation provides a number of benefits for the definition of …

The introduction of separation logic has led to the development of symbolic execution
techniques and tools that are (functionally) compositional with function specifications that …

JavaScript is one of the most dominant programming languages. However, despite its
popularity, it is a challenging task to correctly understand the behaviors of JavaScript …

Modern usages of Datalog exceed its original design purpose in scale and complexity. In
particular, Datalog lacks abstractions for code organization and reuse, making programs …

Rewriting and static analyses are mutually beneficial techniques: program transformations
change the intensional aspects of the program, and can thus improve analysis precision …

GitHub hosts hundreds of millions of code repositories written in hundreds of different
programming languages. In addition to its hosting services, GitHub provides data and …

Abstract interpretation is a methodology for defining sound static analysis. Yet, building
sound static analyses for modern programming languages is difficult, because these static …

It is well known that a staged interpreter is a compiler: specializing an interpreter to a given
program produces an equivalent executable that runs faster. This connection is known as …

Abstract interpretation is a technique for developing static analyses. Yet, proving abstract
interpreters sound is challenging for interesting analyses, because of the high proof …

Multiverse debugging is an extension of classical debugging methods, particularly adapted
to non-deterministic systems. Recently, a language-independent formalization was …