Stéphane Lescuyer

Publication Activity (10 Years)

Years Active: 2007-2019
Publications (10 Years): 4

Top Topics

Dependency Analysis

Convolution Kernel

Top Venues

Proc. ACM Program. Lang.

University of Paris-Sud, Orsay, France (PHD)

Education History

University of Paris-Sud, Orsay, France

PHD

Publications

Oana Fabiana Andreescu, Thomas P. Jensen, Stéphane Lescuyer, Benoît Montagu
Inferring frame conditions with static correlation analysis. Proc. ACM Program. Lang. 3 (POPL) (2019)
Oana Fabiana Andreescu, Thomas P. Jensen, Stéphane Lescuyer
Correlating Structured Inputs and Outputs in Functional Specifications. SEFM (2016)
Stéphane Lescuyer
ProvenCore: Towards a Verified Isolation Micro-Kernel. MILS@HiPEAC (2015)
Oana Fabiana Andreescu, Thomas P. Jensen, Stéphane Lescuyer
Dependency Analysis of Functional Specifications with Algebraic Data Structures. ICFEM (2015)
Stéphane Lescuyer
First-Class Containers in Coq. Stud. Inform. Univ. 9 (1) (2011)
Stéphane Lescuyer, Sylvain Conchon
Improving Coq Propositional Reasoning Using a Lazy CNF Conversion Scheme. FroCoS (2009)
Romain Bardou, Jean-Christophe Filliâtre, Johannes Kanig, Stéphane Lescuyer
Faire bonne figure avec Mlpost. JFLA (2009)
Romain Bardou, Jean-Christophe Filliâtre, Johannes Kanig, Stéphane Lescuyer
Faire bonne figure avec MLPOST. Stud. Inform. Univ. 7 (2) (2009)
Sylvain Conchon, Evelyne Contejean, Johannes Kanig, Stéphane Lescuyer
CC(X): Semantic Combination of Congruence Closure with Solvable Theories. Electron. Notes Theor. Comput. Sci. 198 (2) (2008)
Jean-François Couchot, Stéphane Lescuyer
Handling Polymorphism in Automated Deduction. CADE (2007)