Xavier Leroy

Xavier Leroy

Université PSL Paris - Paris / France
Engineering & Technology / Computer Science
AD Scientific Index ID: 1659958
PSL Research University Paris Sciences et Lettres University Université Paris Sciences et Lettres
person_outline Xavier Leroy's MOST POPULAR ARTICLES
1-) Formal verification of a realistic compilerX LeroyCommunications of the ACM 52 (7), 107-115, 200915172009
2-) Formal certification of a compiler back-end or: programming a compiler with a proof assistantX LeroyConference record of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of …, 20069402006
3-) A formally verified compiler back-endX LeroyJournal of Automated Reasoning 43 (4), 363-446, 20096432009
4-) Manifest types, modules, and separate compilationX LeroyProceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of …, 19943701994
5-) The ZINC experiment : an economical implementation of the ML languageX LeroyINRIA, 19903341990