Pierre-Emmanuel Cornilleau

Publication Activity (10 Years)

Years Active: 2011-2013
Publications (10 Years): 0

Top Topics

Dynamic Analysis

Computational Cost

Computationally Expensive

Top Venues

École normale supérieure de Cachan, Paris, France (PHD)

Education History

École normale supérieure de Cachan, Paris, France

PHD

Publications

Frédéric Besson, Pierre-Emmanuel Cornilleau, Thomas P. Jensen
Result Certification of Static Program Analysers with Automated Theorem Provers. VSTTE (2013)
Frédéric Besson, Pierre-Emmanuel Cornilleau, Ronan Saillard
Walking through the Forest: Fast EUF Proof-Checking Algorithms. PxTP (2012)
Frédéric Besson, Pierre-Emmanuel Cornilleau, David Pichardie
Modular SMT Proofs for Fast Reflexive Checking Inside Coq. CPP (2011)
Frédéric Besson, Pierre-Emmanuel Cornilleau, David Pichardie
A Nelson-Oppen based Proof System using Theory Specific Proof Systems. PxTP (2011)