17
Publications
628
Citations
14
H-Index
2000
Active since
Sylvain Conchon is an author at Université Paris-Sud specializing in engineering, computer science, and automated reasoning.
Top concepts
EngineeringComputer ScienceAutomated ReasoningFormal MethodsVerificationFormal VerificationSoftware AnalysisProgram AnalysisFormal SpecificationSystem Software
Publications per year
2000–2019
17
17
Information flow inference for free
François Pottier, Sylvain Conchon · 2000 · 120 citations
Jocaml: mobile agents for Objective-Caml
Sylvain Conchon, Fabrice Le Fessant · 2003 · 88 citations
Artificial Intelligence, Engineering, Software Engineering +18
Type-safe modular hash-consing
Jean-Christophe Filliâtre, Sylvain Conchon · 2006 · 84 citations
A persistent union-find data structure
Sylvain Conchon, Jean-Christophe Filliâtre · 2007 · 45 citations
Implementing polymorphism in SMT solvers
François Bobot, Sylvain Conchon, Évelyne Contejean et al. · 2008 · 38 citations
Mathematical Programming, Engineering, Generic Programming +13
Rows per page
1–5 of 17