Thu 26 Jun 2025 10:00 - 11:00 at L1.02 - Keynote

In most of the projects I have been involved in in the past years, compiler correctness has played a central role. The context, size and purpose (and funding!) of these projects, however, differ significantly. Therefore not surprisingly, we chose very different approaches. In this talk, I’ll give an overview of the projects, the methods we employed, and what we learned from them.

Thu 26 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:00 - 11:00
10:00
60m
Keynote
Compiler Correctness – A look at different approaches
Dutch Formal Methods Day 2025
Gabriele Keller Utrecht University
:
:
:
: