LAWALL Julia
Окончание контракта : 31.12.2014
- 2022
- NIGRON Pierre : Programmes avec effets et leurs preuves dans la théorie des types : application à la compilation certifiée et aux traitements de paquets certifiés .
- 2020
- SERRANO Lucas : Automatic Inference of Software transformation rules for automatically back and forward portiing legacy infrastructure sofware .
- 2014
- GUO Lisong : Aider le mainteneur d'applications libres à répondre aux rapports d'erreur .
- 2013
- SAHA Suman : Amélioration de la qualité des codes de gestion d'erreur dans les logiciels système en utilisant des informations locales aux fonctions .