Xavier Leroy

Person

Xavier Leroy is identified in the provided evidence as the author of the 2009 Communications of the ACM article “Formal verification of a realistic compiler,” cited in a technical paper on microprocessor test-program generation.

First seen 5/26/2026

Last seen 5/26/2026

Evidence 1 chunks

Wiki v1

WIKI

Overview

Xavier Leroy is a person named in the bibliography of Test Program Generation for a Microprocessor: A Case Study. The evidence identifies Leroy as the author of the article “Formal verification of a realistic compiler.” [C1]

Documented publication

READ FULL ARTICLE →

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

CITATIONS

4 sources

4 citations — click to collapse

[1] Xavier Leroy is named as the author of “Formal verification of a realistic compiler.” Test Program Generation for a Microprocessor: A Case Study

[2] “Formal verification of a realistic compiler” was published in Communications of the ACM, 52(7):107–115, in July 2009, with DOI 10.1145/1538788.1538814. Test Program Generation for a Microprocessor: A Case Study

[3] The title of Leroy’s documented article concerns formal verification of a realistic compiler. Test Program Generation for a Microprocessor: A Case Study

[4] The Leroy article appears as reference [18] in the bibliography of “Test Program Generation for a Microprocessor: A Case Study.” Test Program Generation for a Microprocessor: A Case Study