Pascal Cuoq - RankMe

15 papers A* 1A 2B 2C 2Journal 4Unranked 4

Year	Rank	Type	Title / 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