Xavier Leroy

Formal verification of a realistic compiler

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

Computing, Computer Engineering, Computer Science +17

Formal certification of a compiler back-end or

Xavier Leroy · 2006 · 652 citations

Computing, Computer Engineering, Computer Science +16

A Formally Verified Compiler Back-end

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

Computing, Computer Engineering, Computer Science +12

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 · 384 citations

Medicine, Radiology, Urology +17

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 · 382 citations

Medicine, Radiology, Urology +17