Pascal Cuoq

	2012
7		Pascal Cuoq, Benjamin Monate, Anne Pacalet, Virgile Prevosto, John Regehr, Boris Yakobowski, Xuejun Yang: Testing Static Analyzers with Randomly Generated Programs. NASA Formal Methods 2012: 120-125
	2011
6		Pascal Cuoq, Benjamin Monate, Anne Pacalet, Virgile Prevosto: Functional dependencies of C functions via weakest pre-conditions. STTT 13(5): 405-417 (2011)
	2009
5		Pascal Cuoq, Julien Signoles, Patrick Baudin, Richard Bonichon, Géraud Canet, Loïc Correnson, Benjamin Monate, Virgile Prevosto, Armand Puccetti: Experience report: OCaml for an industrial-strength static analysis framework. ICFP 2009: 281-286
4		Géraud Canet, Pascal Cuoq, Benjamin Monate: A Value Analysis for C Programs. SCAM 2009: 123-124
	2008
3		Pascal Cuoq, Damien Doligez: Hashconsing in an incrementally garbage-collected system: a story of weak pointers and hashconsing in ocaml 3.10.2. ML 2008: 13-22
	2001
2		Pascal Cuoq, Marc Pouzet: Modular Causality in a Synchronous Stream Language. ESOP 2001: 237-251
1		Pascal Cuoq, Marc Pouzet: Causalité modulaire dans un langage de flots synchrone. JFLA 2001: 113-128

Coauthor Index

1	Patrick Baudin	[5]
2	Richard Bonichon	[5]
3	Géraud Canet	[4] [5]
4	Loïc Correnson	[5]
5	Damien Doligez	[3]
6	Benjamin Monate	[4] [5] [6] [7]
7	Anne Pacalet	[6] [7]
8	Marc Pouzet	[1] [2]
9	Virgile Prevosto	[5] [6] [7]
10	Armand Puccetti	[5]
11	John Regehr	[7]
12	Julien Signoles	[5]
13	Boris Yakobowski	[7]
14	Xuejun Yang	[7]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page