César Kunz

	2011
15		Gilles Barthe, Juan Manuel Crespo, César Kunz: Relational Verification Using Product Programs. FM 2011: 200-214
14		Juan Manuel Crespo, César Kunz: A Machine-Checked Framework for Relational Separation Logic. SEFM 2011: 122-137
13		Gilles Barthe, César Kunz: An Abstract Model of Certificate Translation. ACM Trans. Program. Lang. Syst. 33(4): 13 (2011)
	2010
12		Gilles Barthe, Pablo Buiras, César Kunz: A Functional Framework for Result Checking. FLOPS 2010: 72-86
11		Gilles Barthe, César Kunz: Perspectives in Certificate Translation. TGC 2010: 23-34
10		César Kunz: Certificate Translation for the Verification of Concurrent Programs. TGC 2010: 237-252
	2009
9		Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, César Kunz, Anne Pacalet: Implementing a Direct Method for Certificate Translation. ICFEM 2009: 541-560
8		Leonardo Scandolo, César Kunz, Manuel V. Hermenegildo: Program Parallelization Using Synchronized Pipelining. LOPSTR 2009: 173-187
7		Gilles Barthe, Benjamin Grégoire, César Kunz, Tamara Rezk: Certificate translation for optimizing compilers. ACM Trans. Program. Lang. Syst. 31(5): (2009)
	2008
6		Gilles Barthe, César Kunz, Jorge Luis Sacchini: Certified Reasoning in Memory Hierarchies. APLAS 2008: 75-90
5		Gilles Barthe, César Kunz: Certificate Translation in Abstract Interpretation. ESOP 2008: 368-382
4		Gilles Barthe, César Kunz: Certificate translation for specification-preserving advices. FOAL 2008: 9-18
3		Gilles Barthe, César Kunz: An Introduction to Certificate Translation. FOSAD 2008: 51-95
2		Gilles Barthe, César Kunz, David Pichardie, Julián Samborski-Forlese: Preservation of Proof Pbligations for Hybrid Verification Methods. SEFM 2008: 127-136
	2006
1		Gilles Barthe, Benjamin Grégoire, César Kunz, Tamara Rezk: Certificate Translation for Optimizing Compilers. SAS 2006: 301-317

Coauthor Index

1	Gilles Barthe	[1] [2] [3] [4] [5] [6] [7] [9] [11] [12] [13] [15]
2	Pablo Buiras	[12]
3	Juan Manuel Crespo	[14] [15]
4	Benjamin Grégoire	[1] [7] [9]
5	Sylvain Heraud	[9]
6	Manuel V. Hermenegildo	[8]
7	Anne Pacalet	[9]
8	David Pichardie	[2]
9	Tamara Rezk	[1] [7]
10	Jorge Luis Sacchini	[6]
11	Julián Samborski-Forlese	[2]
12	Leonardo Scandolo	[8]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page