Pascal Cuoq

According to our database, Pascal Cuoq authored at least 15 papers between 2001 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2020

Optimal inverse projection of floating-point addition.

Diane Gallois-Wong, Sylvie Boldo, Pascal Cuoq

Numer. Algorithms, 2020

2017

Detecting Strict Aliasing Violations in the Wild.

Pascal Cuoq, Loïc Runarvot, Alexander Cherepanov

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

2014

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

2013

Driving a sound static software analyzer with branch-and-bound.

Sven Mattsen, Pascal Cuoq, Sibylle Schupp

Proceedings of the 13th IEEE International Working Conference on Source Code Analysis and Manipulation, 2013

2012

Frama-C - A Software Analysis Perspective.

Pascal Cuoq, Florent Kirchner, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles, Boris Yakobowski

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

Test-case reduction for C compiler bugs.

John Regehr, Yang Chen, Pascal Cuoq, Eric Eide, Chucky Ellison, Xuejun Yang

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Testing Static Analyzers with Randomly Generated Programs.

Pascal Cuoq, Benjamin Monate, Anne Pacalet, Virgile Prevosto, John Regehr, Boris Yakobowski, Xuejun Yang

Proceedings of the NASA Formal Methods, 2012

Benchmarking Static Analyzers.

Pascal Cuoq, Florent Kirchner, Boris Yakobowski

Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, 2012

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

A Mergeable Interval Map.

Richard Bonichon, Pascal Cuoq

Stud. Inform. Univ., 2011

2009

A Value Analysis for C Programs.

Géraud Canet, Pascal Cuoq, Benjamin Monate

Proceedings of the Ninth IEEE International Working Conference on Source Code Analysis and Manipulation, 2009

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

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

2008

Hashconsing in an incrementally garbage-collected system: a story of weak pointers and hashconsing in ocaml 3.10.2.

Pascal Cuoq, Damien Doligez

Proceedings of the ACM Workshop on ML, 2008, Victoria, BC, Canada, September 21, 2008, 2008

2001

Causalité modulaire dans un langage de flots synchrone.

Pascal Cuoq, Marc Pouzet

Proceedings of the Journées francophones des langages applicatifs (JFLA'01), 2001

Modular Causality in a Synchronous Stream Language.

Pascal Cuoq, Marc Pouzet

Proceedings of the Programming Languages and Systems, 2001