Yon Fernández de Retana

I'm a PHD student of Université Rennes 1 under the supervision of Delphine Demange and David Pichardie in the Celtique research group at IRISA/INRIA Rennes since September 2015.

My research area is about formally verified transformations in compilers.

Teaching

2015-2016

Papers

Mechanizing Conventional SSA for a Verified Destruction with Coalescing. D. Demange and Y. Fernandez de Retana. CC'16. pdf


Contact

Email
firstname.lastname[at]irisa.fr
where "firstname" is "yon" and "lastname" is "fernandez-de-retana".
Address
Bureau F218, Celtique team, Inria
Campus de Beaulieu
263, avenue du général Leclerc
35042 RENNES Cedex - France