Travelled to:1 × Canada
1 × United Kingdom
Collaborated with:P.Cuoq B.Monate J.Signoles P.Baudin R.Bonichon L.Correnson V.Prevosto A.Puccetti
Talks about:analysi (2) framework (1) strength (1) industri (1) program (1) static (1) report (1) experi (1) valu (1) caml (1)
Person: Géraud Canet
DBLP: Canet:G=eacute=raud
Contributed to:
2009
2009Wrote 2 papers:
- ICFP-2009-CuoqSBBCCMPP #case study #experience #framework #ml #static analysis
- Experience report: OCaml for an industrial-strength static analysis framework (PC, JS, PB, RB, GC, LC, BM, VP, AP), pp. 281–286.
- SCAM-2009-CanetCM #analysis #c #source code
- A Value Analysis for C Programs (GC, PC, BM), pp. 123–124.