Rechercher

Sandrine Blazy

Maître de Conférences (HDR)
Equipe CPR
Parti depuis le 01/09/2009
Mail : blazyensiie.fr
Tel : 0169367347
Fax : 0169367305
http://www.ensiie.fr/~blazy

Sandrine's Tag-Cloud :

Depuis 2003, d'abord dans le cadre de l'ARC Concert, puis actuellement dans le cadre du projet Compcert, je m'intéresse à l'utilisation des méthodes formelles pour spécifier et certifier un compilateur C, à l'aide de l'assistant à la preuve Coq. Cela nécessite de définir à différents niveaux d'abstraction des sémantiques formelles des langages du compilateur, et de prouver ensuite sur machine des propriétés de correction de ces sémantiques. Auparavant, j'ai utilisé l'évaluation partielle dans le but de faciliter la compréhension et la maintenance d'applications scientifiques écrites en Fortran.

Publications

2010

2009

2008

2007

2006

2005

2003

2002

2000

1998

1997

1996

1995

1994

1993

1992