Sandrine Blazy
12
Documents
Identifiants chercheurs
- sandrine-blazy
- 0000-0002-0189-0223
- IdRef : 153042567
Présentation
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 4
- 3
- 1
- 1
- 2
- 4
- 4
- 1
- 1
- 12
|
Mechanized semantics for the Clight subset of the C languageJournal of Automated Reasoning, 2009, 43 (3), pp.263-288. ⟨10.1007/s10817-009-9148-3⟩
Article dans une revue
inria-00352524v1
|
|
Formal verification of a C-like memory model and its uses for verifying program transformationsJournal of Automated Reasoning, 2008, 41 (1), pp.1-31. ⟨10.1007/s10817-008-9099-0⟩
Article dans une revue
inria-00289542v1
|
|
Comment gagner confiance en C ?Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2007, numéro spécial "Langages applicatifs", 26 (9), pp.1195-1200. ⟨10.3166/TSI.26.1195-1200⟩
Article dans une revue
inria-00292049v1
|
|
Register allocation by graph coloring under full live-range splittingACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded systems (LCTES'2009), ACM, Jun 2009, Dublin, Ireland
Communication dans un congrès
inria-00387749v1
|
Which C semantics to embed in the front-end of a formally verified compiler?TTVSI (Tools and Techniques for Verification of System Infrastructure), Mar 2008, Oxford, United Kingdom. pp.31
Communication dans un congrès
inria-00292441v1
|
|
|
Vérification formelle d'un algorithme d'allocation de registres par coloration de grapheJFLA (Journées Francophones des Langages Applicatifs), INRIA, Jan 2008, Etretat, France. pp.31-46
Communication dans un congrès
inria-00202713v1
|
|
Coloration avec préférences : complexité, inégalités valides et vérification formelleROADEF'08, 9e congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, ROADEF, Feb 2008, Clermont-Ferrand, France. pp.123-138
Communication dans un congrès
inria-00260712v1
|
|
Separation Logic for Small-step Cminor20th Int. Conference on Theorem Proving in Higher Order Logics (TPHOLs 2007), Sep 2007, Kaiserslautern, Germany. pp.5-21
Communication dans un congrès
inria-00165915v1
|
Coloration avec préférences dans les graphes triangulésJournées Graphes et algorithmes (JGA'07), Nov 2007, Paris, France. pp.32
Communication dans un congrès
inria-00292045v1
|
|
|
Experiments in validating formal semantics for CC/C++ Verification Workshop, 2007, Oxford, United Kingdom. pp.95-102
Communication dans un congrès
inria-00292043v1
|
|
Formal Verification of a C Compiler Front-endFM'06: 14th Symposium on Formal Methods, Aug 2006, Hamilton, Canada. pp.460-475, ⟨10.1007/11813040_31⟩
Communication dans un congrès
inria-00106401v1
|
|
Formal verification of a memory model for C-like imperative languagesICFEM'05: 7th International Conference on Formal Engineering Methods, Nov 2005, Manchester, United Kingdom. pp.280-299, ⟨10.1007/11576280⟩
Communication dans un congrès
inria-00077921v1
|