Diane Golfouse

About

I am a PhD student, since October 2023, under the supervision of Jacques-Henri Jourdan (https://jhjourdan.mketjh.fr/) and Armaël Guéneau (https://gallium.inria.fr/~agueneau/).

I am working on ghost ownership in Creusot (https://creusot.rs).

Contact

• email :
• Address : Building 650 - Gif-Sur-Yvette, France, office 272

Miscellaneous

• Codeberg
• Github
• My public GPG key, used to sign my emails and commits

Research

Papers

• Boucler la boucle du parcours de Morris, JFLA 2026 – 37^es Journées Francophones des Langages Applicatifs (pdf, HAL)

• Using Ghost Ownership to Verify Union-Find and Persistent Arrays in Rust, CPP 2026 - Certified Programs and Proofs (pdf, HAL)

• Remonter les barrières pour ouvrir une clôture, JFLA 2025 - 36^es Journées Francophones des Langages Applicatifs (pdf, HAL)

Talks

• Using Ghost Ownership to Verify Union-Find and Persistent Arrays in Rust, CPP 2026 - Certified Programs and Proofs (presentation, slides)

Teaching

• TD Programmation Avancée (2023-2024 & 2024-2025) : L3 ENS Paris-Saclay

• TD Base de données (2025-2026) : L2 IUT Orsay