Arnaud Golfouse

According to our database, Arnaud Golfouse authored at least 1 paper in 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

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

Arnaud Golfouse, Armaël Guéneau, Jacques-Henri Jourdan

Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2026