potterman28wxcv

Fait une thèse sur des optimisations de CompCert (compilateur certifié) pour architectures VLIW

À propos de Cyril

Cyril Six

Date de naissance : 28 septembre

Envoyer un message

Biographie

Diplômé ingénieur à l'ENSIMAG, Master dans la filière PDES (Parallel, Distributed and Embedded Systems)

J'ai été 1 an ingénieur dans l'équipe CORSE (compilation, optimisation, runtime systems), où je me suis familiarisé avec certaines problématiques de scheduling statique, et de localité des données. En particulier, j'ai travaillé sur un générateur de code C pour des réseaux de neurones (de Caffé vers C).

Je suis maintenant doctorant au sein de l'équipe PACSS (tout ce qui touche à de la vérification de programmes), travaillant sur un backend de CompCert (compilateur certifié C -> assembleur, écrit en Coq+Ocaml) pour processeur VLIW.

Information sur le compte

Date d'inscription : 28 janvier 2009

Dernière connexion : 22 août 2019