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 & 2016-2017

Each year:

Papers

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

Semantic Reasoning about the Sea of Nodes. D. Demange and Y. Fernandez de Retana and D. Pichardie. CC'18. hal


Contact

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