Xavier Leroy

Dikutip oleh

	Semua	Sejak 2020
Kutipan	13742	3280
indeks-h	57	27
indeks-i10	99	46

740

370

185

555

199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202539 58 117 141 170 166 215 188 235 201 293 330 361 369 366 451 432 542 466 424 556 485 583 594 565 603 596 721 605 667 569 664 688 87

Akses publik

Lihat semua

1 artikel

0 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Damien DoligezChargé de recherches, InriaEmail yang diverifikasi di inria.fr
Sandrine BlazyProfessor of Computer Science, University of RennesEmail yang diverifikasi di irisa.fr
Andrew W. AppelProfessor of Computer Science, Princeton UniversityEmail yang diverifikasi di princeton.edu
Roberto Di CosmoProfessor of Computer Science, University Paris DiderotEmail yang diverifikasi di dicosmo.org
Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesEmail yang diverifikasi di cnrs.fr
Tom HirschowitzCNRSEmail yang diverifikasi di univ-smb.fr
Christian FerdinandEmail yang diverifikasi di absint.com
Walid TahaHalmstad UniversityEmail yang diverifikasi di hh.se
Benjamin GregoireInria Sophia-AntipolisEmail yang diverifikasi di inria.fr
Jean-Baptiste TristanAmazon Web Services - Automated Reasoning GroupEmail yang diverifikasi di bc.edu
Francois RouaixPrincipal Software Engineer, MicrosoftEmail yang diverifikasi di rouaix.org
David PichardieProfessor, ENS Rennes, FranceEmail yang diverifikasi di inria.fr
Gordon StewartBedRock Systems, Inc.Email yang diverifikasi di bedrocksystems.com
Marc PantelAssociate Professor in Computer Science, Université de ToulouseEmail yang diverifikasi di enseeiht.fr
Guillaume MelquiondInria, University Paris SaclayEmail yang diverifikasi di inria.fr
Sylvie BoldoInria, LMF, University Paris SaclayEmail yang diverifikasi di inria.fr
Marco DaneluttoProfessor, Dept. of Computer Science, Univ. of PisaEmail yang diverifikasi di unipi.it
François PottierInria ParisEmail yang diverifikasi di inria.fr
Pierre-Evariste DagandCNRSEmail yang diverifikasi di evr.ist
Tahina RamananandroMicrosoft ResearchEmail yang diverifikasi di ramananandro.org

Ikuti

Xavier Leroy

Collège de France

Email yang diverifikasi di college-de-france.fr - Beranda

Programming languages Software verification Program proof Compilers Functional programming


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
Formal verification of a realistic compiler X Leroy Communications of the ACM 52 (7), 107-115, 2009	1884	2009
Formal certification of a compiler back-end or: programming a compiler with a proof assistant X Leroy Conference record of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of …, 2006	1007	2006
A formally verified compiler back-end X Leroy Journal of Automated Reasoning 43, 363-446, 2009	773	2009
Manifest types, modules, and separate compilation X Leroy Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of …, 1994	374	1994
The ZINC experiment : an economical implementation of the ML language X Leroy INRIA, 1990	335	1990
The Objective Caml system release 3.10: Documentation and user's manual X Leroy http://caml. inria. fr/, 2007	325*	2007
Unboxed objects and polymorphic typing X Leroy Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of …, 1992	312	1992
A concurrent, generational garbage collector for a multithreaded implementation of ML D Doligez, X Leroy Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of …, 1993	303	1993
Mechanized semantics for the Clight subset of the C language S Blazy, X Leroy Journal of Automated Reasoning 43 (3), 263-288, 2009	293	2009
Program logics for certified compilers AW Appel Cambridge University Press, 2014	276	2014
A compiled implementation of strong reduction B Grégoire, X Leroy Proceedings of the seventh ACM SIGPLAN international conference on …, 2002	276	2002
The OCaml system release 5.1: Documentation and user's manual X Leroy, D Doligez, A Frisch, J Garrigue, D Rémy, KC Sivaramakrishnan, ... Inria, 2023	248*	2023
Coinductive big-step operational semantics X Leroy, H Grall Information and Computation 207 (2), 284-304, 2009	245	2009
Formal verification of a C compiler front-end S Blazy, Z Dargaye, X Leroy FM 2006: Formal Methods: 14th International Symposium on Formal Methods …, 2006	242	2006
Formal verification of a C-like memory model and its uses for verifying program transformations X Leroy, S Blazy Journal of Automated Reasoning 41, 1-31, 2008	240	2008
Java bytecode verification: algorithms and formalizations X Leroy Journal of Automated Reasoning 30 (3), 235-269, 2003	239	2003
A formally-verified C static analyzer JH Jourdan, V Laporte, S Blazy, X Leroy, D Pichardie Acm Sigplan Notices 50 (1), 247-259, 2015	227	2015
Managing the complexity of large free and open source package-based software distributions F Mancinelli, J Boender, R Di Cosmo, J Vouillon, B Durak, X Leroy, ... 21st IEEE/ACM International Conference on Automated Software Engineering …, 2006	226	2006
CompCert-a formally verified optimizing compiler X Leroy, S Blazy, D Kästner, B Schommer, M Pister, C Ferdinand ERTS 2016: Embedded Real Time Software and Systems, 8th European Congress, 2016	223	2016
The Objective Caml System, release 3. 08 X Leroy, D Doligez, J Garrigue, D Rmy, J Vouillon	223	2004

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama