Pascal Cuoq
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2001–2017
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | VMCAI | Detecting Strict Aliasing Violations in the Wild. | Pascal Cuoq, Loc Runarvot, Alexander Cherepanov |
| 2013 | SCAM | Driving a sound static software analyzer with branch-and-bound. | Sven Mattsen, Pascal Cuoq, Sibylle Schupp |
| 2012 | CADE | Benchmarking Static Analyzers. | Pascal Cuoq, Florent Kirchner, Boris Yakobowski |
| 2012 | PLDI | Test-case reduction for C compiler bugs. | John Regehr, Yang Chen, Pascal Cuoq, Eric Eide, Chucky Ellison, Xuejun Yang |
| 2012 | SEFM | Frama-C - A Software Analysis Perspective. | Pascal Cuoq, Florent Kirchner, Nikolai Kosmatov, Virgile Prevosto, Julien Signoles, Boris Yakobowski |
| 2009 | ICFP | Experience report: OCaml for an industrial-strength static analysis framework. | Pascal Cuoq, Julien Signoles, Patrick Baudin, Richard Bonichon, Graud Canet, Loc Correnson, Benjamin Monate, Virgile Prevosto, Armand Puccetti |
| 2009 | SCAM | A Value Analysis for C Programs. | Graud Canet, Pascal Cuoq, Benjamin Monate |
| 2001 | ESOP | Modular Causality in a Synchronous Stream Language. | Pascal Cuoq, Marc Pouzet |