Xavier Leroy

Formal verification of a realistic compiler

Xavier Leroy · Communications of the ACM · 2009 · 1.1K citations · Full text

Engineering, Verification, Computer-aided Verification +19

Formal certification of a compiler back-end or

Xavier Leroy · 2006 · 648 citations · Full text

Engineering, Verification, Software Engineering +20

A Formally Verified Compiler Back-end

Xavier Leroy · Journal of Automated Reasoning · 2009 · 475 citations · Full text

Engineering, Program Analysis, Compiler Technology +9

Role of magnetic resonance imaging before initial biopsy: comparison of magnetic resonance imaging‐targeted and systematic biopsy for significant prostate cancer detection

Jérémie Haffner, L. Lemaître, Philippe Puech et al. · British Journal of Urology · 2011 · 382 citations

Prostate Cancer Diagnosis: Multiparametric MR-targeted Biopsy with Cognitive and Transrectal US–MR Fusion Guidance versus Systematic Biopsy—Prospective Multicenter Study

Philippe Puech, Olivier Rouvière, Raphaële Renard‐Penna et al. · Radiology · 2013 · 380 citations