Sandrine Blazy

	2011
23		Sandrine Blazy: Introduction. Technique et Science Informatiques 30(4): 369-370 (2011)
	2010
22		Sandrine Blazy, Benoît Robillard, Andrew W. Appel: Formal Verification of Coalescing Graph-Coloring Register Allocation. ESOP 2010: 145-164
	2009
21		Sandrine Blazy, Benoît Robillard: Live-range unsplitting for faster optimal coalescing. LCTES 2009: 70-79
20		Sandrine Blazy, Xavier Leroy: Mechanized semantics for the Clight subset of the C language CoRR abs/0901.3619: (2009)
19		Sandrine Blazy, Xavier Leroy: Mechanized Semantics for the Clight Subset of the C Language. J. Autom. Reasoning 43(3): 263-288 (2009)
	2008
18		Xavier Leroy, Sandrine Blazy: Formal Verification of a C-like Memory Model and Its Uses for Verifying Program Transformations. J. Autom. Reasoning 41(1): 1-31 (2008)
	2007
17		Andrew W. Appel, Sandrine Blazy: Separation Logic for Small-Step cminor. TPHOLs 2007: 5-21
16		Andrew W. Appel, Sandrine Blazy: Separation Logic for Small-step Cminor CoRR abs/0707.4389: (2007)
15		Sandrine Blazy: Chronique : Comment gagner la confiance en C? Technique et Science Informatiques 26(9): 1195-1200 (2007)
	2006
14		Sandrine Blazy, Zaynah Dargaye, Xavier Leroy: Formal Verification of a C Compiler Front-End. FM 2006: 460-475
13		Sandrine Blazy: Partial Evaluation for Program Comprehension CoRR abs/cs/0610096: (2006)
12		Sandrine Blazy, Frédéric Gervais, Régine Laleau: Reuse of Specification Patterns with the B Method CoRR abs/cs/0610097: (2006)
	2005
11		Sandrine Blazy, Xavier Leroy: Formal Verification of a Memory Model for C-Like Imperative Languages. ICFEM 2005: 280-299
	2003
10		Sandrine Blazy, Frédéric Gervais, Régine Laleau: Reuse of Specification Patterns with the B Method. ZB 2003: 40-57
	2000
9		Sandrine Blazy: Specifying and Automatically Generating a Specialization Tool for Fortran 90. Autom. Softw. Eng. 7(4): 345-376 (2000)
	1998
8		Sandrine Blazy, Philippe Facon: Partial Evaluation for Program Comprehension. ACM Comput. Surv. 30(3es): 17 (1998)
	1997
7		Sandrine Blazy, Philippe Facon: Application of Formal Methods to the Development of a Software Maintenance Tool. ASE 1997: 162-171
	1996
6		Sandrine Blazy, Philippe Facon: An Automatic Interprocedural Analysis for the Understanding of Scientific Application Programs. Dagstuhl Seminar on Partial Evaluation 1996: 1-16
5		Sandrine Blazy, Philippe Facon: Interprocedural analysis for program comprehension by specialization. WPC 1996: 133-
	1995
4		Sandrine Blazy, Philippe Facon: Formal Specification and Prototyping of a Program Specializer. TAPSOFT 1995: 666-680
	1994
3		Sandrine Blazy, Philippe Facon: Partial Evaluation for the Understanding of Fortran Programs. International Journal of Software Engineering and Knowledge Engineering 4(4): 535-559 (1994)
	1993
2		Sandrine Blazy, Philippe Facon: Partial Evaluation and Symbolic Computation for the Understanding of Fortran Programs CAiSE 1993: 184-198
1		Sandrine Blazy, Philippe Facon: Partial Evaluation for the Understanding of FORTRAN Programs. SEKE 1993: 517-525

Coauthor Index

1	Andrew W. Appel	[16] [17] [22]
2	Zaynah Dargaye	[14]
3	Philippe Facon	[1] [2] [3] [4] [5] [6] [7] [8]
4	Frédéric Gervais	[10] [12]
5	Régine Laleau (Regine Laleau)	[10] [12]
6	Xavier Leroy	[11] [14] [18] [19] [20]
7	Benoît Robillard	[21] [22]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page