Mechanizing conventional SSA for a verified destruction with coalescing. - Delphine Demange; Yon Fernández de Retana (CC, 2016)

Semantic reasoning about the sea of nodes. - Delphine Demange; Yon Fernández de Retana; David Pichardie (CC, 2018)

Vers la compilation vérifiée de Sea of Nodes : propriétés et raisonnement sémantiques. (Toward verified compilation of Sea of Nodes : semantic properties and reasoning). - Yon Fernández de Retana (2018)