Arnaud Golfouse - POPL 2026

Sun 11 - Sat 17 January 2026 Rennes, France

Registered user since Wed 7 Jan 2026

Name:Arnaud Golfouse

Affiliation:Université Paris-Saclay, CNRS, ENS Paris-Saclay, Inria, Laboratoire des méthodes formelles, 91190, Gif-sur-Yvette, France

Contributions

2026

CPP

Using Ghost Ownership to Verify Union-Find and Persistent Arrays in Rust

POPL

Creusot: Formal verification of Rust programs

Show activities from other conferences

POPL 2026-profile
View general profile