Modular Causality in a Synchronous Stream Language. - Pascal Cuoq; Marc Pouzet (ESOP, 2001)

Causalité modulaire dans un langage de flots synchrone. - Pascal Cuoq; Marc Pouzet (JFLA, 2001)

Hashconsing in an incrementally garbage-collected system: a story of weak pointers and hashconsing in ocaml 3.10.2. - Pascal Cuoq; Damien Doligez (ML, 2008)

Experience report: OCaml for an industrial-strength static analysis framework. - Pascal Cuoq; Julien Signoles; Patrick Baudin; Richard Bonichon; Géraud Canet; Loïc Correnson; Benjamin Monate; Virgile Prevosto; Armand Puccetti (ICFP, 2009)

A Value Analysis for C Programs. - Géraud Canet; Pascal Cuoq; Benjamin Monate (SCAM, 2009)

A Mergeable Interval Map. - Richard Bonichon; Pascal Cuoq (Stud. Inform. Univ., 2011)

Functional dependencies of C functions via weakest pre-conditions. - Pascal Cuoq; Benjamin Monate; Anne Pacalet; Virgile Prevosto (Int. J. Softw. Tools Technol. Transf., 2011)

Benchmarking Static Analyzers. - Pascal Cuoq; Florent Kirchner; Boris Yakobowski (COMPARE, 2012)

Testing Static Analyzers with Randomly Generated Programs. - Pascal Cuoq; Benjamin Monate; Anne Pacalet; Virgile Prevosto; John Regehr; Boris Yakobowski; Xuejun Yang (NASA Formal Methods, 2012)

Test-case reduction for C compiler bugs. - John Regehr; Yang Chen 024; Pascal Cuoq; Eric Eide; Chucky Ellison; Xuejun Yang (PLDI, 2012)

Frama-C - A Software Analysis Perspective. - Pascal Cuoq; Florent Kirchner; Nikolai Kosmatov; Virgile Prevosto; Julien Signoles; Boris Yakobowski (SEFM, 2012)

Driving a sound static software analyzer with branch-and-bound. - Sven Mattsen; Pascal Cuoq; Sibylle Schupp (SCAM, 2013)

Behind the scenes in SANTE: a combination of static and dynamic analyses. - Omar Chebaro; Pascal Cuoq; Nikolai Kosmatov; Bruno Marre; Anne Pacalet; Nicky Williams; Boris Yakobowski (Autom. Softw. Eng., 2014)

Detecting Strict Aliasing Violations in the Wild. - Pascal Cuoq; Loïc Runarvot; Alexander Cherepanov (VMCAI, 2017)

Optimal inverse projection of floating-point addition. - Diane Gallois-Wong; Sylvie Boldo; Pascal Cuoq (Numer. Algorithms, 2020)