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.

Teaching

2015-2016 & 2016-2017

Each year:

APF (20h), introduction to algorithmics
ASI (24h), computer system architectures
Introduction to programming (see my page at ENS Rennes)

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