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.

Note (2018): defence completed! For new stuff see here. Download thesis document.


2015-2016 & 2016-2017

Each year:


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


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