Pascal Cuoq

15 papers A* 1A 2B 2C 2Journal 4Unranked 4
YearRankTypeTitle / Venue / Authors
2020 J jnl
Optimal inverse projection of floating-point addition.
Numer. Algorithms
Diane Gallois-Wong, Sylvie Boldo, Pascal Cuoq
2017 B conf
Detecting Strict Aliasing Violations in the Wild.
VMCAI
Pascal Cuoq, Loïc Runarvot, Alexander Cherepanov
2014 J jnl
Behind the scenes in SANTE: a combination of static and dynamic analyses.
Autom. Softw. Eng.
Omar Chebaro, Pascal Cuoq, Nikolai Kosmatov, Bruno Marre, Anne Pacalet, Nicky Williams, Boris Yakobowski
2013 C conf
Driving a sound static software analyzer with branch-and-bound.
SCAM
Sven Mattsen, Pascal Cuoq, Sibylle Schupp
2012 — conf
Benchmarking Static Analyzers.
COMPARE
Pascal Cuoq, Florent Kirchner, Boris Yakobowski
2012 B conf
Frama-C - A Software Analysis Perspective.
SEFM
Pascal Cuoq, Florent Kirchner, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles, Boris Yakobowski
2012 A* conf
Test-case reduction for C compiler bugs.
PLDI
John Regehr, Yang Chen, Pascal Cuoq, Eric Eide, Chucky Ellison, Xuejun Yang
2012 — conf
Testing Static Analyzers with Randomly Generated Programs.
NASA Formal Methods
Pascal Cuoq, Benjamin Monate, Anne Pacalet, Virgile Prevosto, John Regehr, Boris Yakobowski, Xuejun Yang
2011 J jnl
A Mergeable Interval Map.
Stud. Inform. Univ.
Richard Bonichon, Pascal Cuoq
2011 J jnl
Functional dependencies of C functions via weakest pre-conditions.
Int. J. Softw. Tools Technol. Transf.
Pascal Cuoq, Benjamin Monate, Anne Pacalet, Virgile Prevosto
2009 C conf
A Value Analysis for C Programs.
SCAM
Géraud Canet, Pascal Cuoq, Benjamin Monate
2009 A conf
Experience report: OCaml for an industrial-strength static analysis framework.
ICFP
Pascal Cuoq, Julien Signoles, Patrick Baudin, Richard Bonichon, Géraud Canet, Loïc Correnson, Benjamin Monate, Virgile Prevosto, Armand Puccetti
2008 — conf
Hashconsing in an incrementally garbage-collected system: a story of weak pointers and hashconsing in ocaml 3.10.2.
ML
Pascal Cuoq, Damien Doligez
2001 — conf
Causalité modulaire dans un langage de flots synchrone.
JFLA
Pascal Cuoq, Marc Pouzet
2001 A conf
Modular Causality in a Synchronous Stream Language.
ESOP
Pascal Cuoq, Marc Pouzet