BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Cuoq:Pascal

Contributed to:

SCAM 20132013
PLDI 20122012
SEFM 20122012
ICFP 20092009
SCAM 20092009
ESOP 20012001

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.