Fueled by the success of Rust, many programming languages are adding substructural
features to their type systems. The promise of tracking properties such as lifetimes and …

Effect handlers are a high-level abstraction that enables programmers to use effects in a
structured way. They have gained a lot of popularity within academia and subsequently also …

Type qualifiers offer a lightweight mechanism for enriching existing type systems to enforce
additional, desirable, program invariants. They do so by offering a restricted but effective …

The major goals of this project were to devise programming models and supporting tools
that simplify the construction of specialized high‐performance generators, leading to …

This thesis explores two approaches to bridge the gap between expressiveness and
performance in programming languages. It presents two complementary directions that …

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 …