Generated with

Kacper F. Korban/Posters/BootstrappingaverifiedcompilerforanimperativelanguageinRocq

BootstrappingaverifiedcompilerforanimperativelanguageinRocq

Posters.BootstrappingaverifiedcompilerforanimperativelanguageinRocq

class BootstrappingaverifiedcompilerforanimperativelanguageinRocq

Bootstrapping a verified compiler for an imperative language in Rocq

Silver medal at POPL'26 SRC

Attributes

Authors:: Kacper F. Korban, Magnus O Myreen, Clément Pit-Claudel
See also: https://systemf.epfl.ch/posters/2025-bootstrapping/
Since: POPL'26 SRC
Graph
Supertypes: class Object

trait Matchable

class Any

In this article

Generated with