Scholar

Xavier Leroy

Google Scholar ID: K5yXAeAAAAAJ

Collège de France

Programming languagesSoftware verificationProgram proofCompilersFunctional programming

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

14,111

H-index

58

i10-index

102

Publications

20

Co-authors

22

list available

Publications

1 items

A Lazy, Concurrent Convertibility Checker

2025

Cited

0

Co-authors

5 total

Roberto Di Cosmo

Professor of Computer Science, University Paris Diderot

Jean-Baptiste Tristan

Amazon Web Services - Automated Reasoning Group

Inria, LMF, University Paris Saclay

Marco Danelutto

Professor, Dept. of Computer Science, Univ. of Pisa

Tahina Ramananandro

Microsoft Research