Building effective symbolic execution engines poses challenges in multiple dimensions: an
engine must correctly model the program semantics, provide flexibility in symbolic execution …

The development of constraint solvers simplified automated reasoning about programs and
shifted the engineering burden to implementing symbolic compilation tools that translate …

We presents Owi, an interpreter for WebAssembly written in OCaml. It can perform parallel
symbolic execution thanks to its monadic interpreter and a multi-core choice monad. We …

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

This short paper aims to use modular effects to define modular languages with lambda
abstraction. We argue that existing approaches to algebraic effects and handlers are not …

Résumé Les limitations de JavaScript en tant que langage par défaut du Web ont conduit au
développement de WebAssembly (Wasm), un langage sûr, efficace et modulaire. Toutefois …

Static program analyzers are vital tools to produce useful insights about programs without
executing these programs. These insights can be used to improve the quality of programs …