Travelled to:1 × Canada
1 × China
1 × Greece
1 × Italy
1 × The Netherlands
1 × United Kingdom
Collaborated with:M.Pouzet G.Canet B.Monate S.Mattsen S.Schupp V.Prevosto J.Signoles J.Regehr Y.Chen E.Eide C.Ellison X.Yang F.Kirchner N.Kosmatov B.Yakobowski P.Baudin R.Bonichon L.Correnson A.Puccetti
Talks about:analysi (3) softwar (2) static (2) framework (1) synchron (1) strength (1) perspect (1) industri (1) program (1) modular (1)
Person: Pascal Cuoq
DBLP: Cuoq:Pascal
Contributed to:
2013
2012
2012
20092009
2001Wrote 6 papers:
- SCAM-2013-MattsenCS #bound
- Driving a sound static software analyzer with branch-and-bound (SM, PC, SS), pp. 63–68.
- PLDI-2012-RegehrCCEEY #c #compilation #debugging #reduction #testing
- Test-case reduction for C compiler bugs (JR, YC, PC, EE, CE, XY), pp. 335–346.
- SEFM-2012-CuoqKKPSY #analysis #named #perspective
- Frama-C — A Software Analysis Perspective (PC, FK, NK, VP, JS, BY), pp. 233–247.
- 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.
- ESOP-2001-CuoqP #composition
- Modular Causality in a Synchronous Stream Language (PC, MP), pp. 237–251.