Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Xavier_Leroy> ?p ?o. }
Showing items 1 to 84 of
84
with 100 items per page.
- Xavier_Leroy abstract "Xavier Leroy (born March 15, 1968) is a French computer scientist and programmer. He is best known for his role as a primary developer of the OCaml system. He is senior scientist (directeur de recherche) at the French government research institution INRIA.Leroy was admitted to the École normale supérieure in Paris in 1987, where he studied mathematics and computer science. From 1989 to 1992 he did his PhD in computer science under the supervision of Gérard Huet.He is an internationally recognized expert on functional programming languages and compilers. In recent years, he has taken an interest in formal methods, formal proofs and certified compilation. He is the leader of CompCert project that develops an optimizing compiler for C (programming language), formally verified in Coq.Leroy was also the original author of LinuxThreads, the most widely used threading package for Linux versions prior to 2.6. Linux 2.6 introduced NPTL, with much more extensive support from the kernel, to replace LinuxThreads.".
- Xavier_Leroy almaMater Paris_Diderot_University.
- Xavier_Leroy birthDate "1968-03-15".
- Xavier_Leroy birthYear "1968".
- Xavier_Leroy doctoralAdvisor G%C3%A9rard_Huet.
- Xavier_Leroy doctoralStudent Fran%C3%A7ois_Pessaux.
- Xavier_Leroy field Mathematics.
- Xavier_Leroy nationality France.
- Xavier_Leroy viafId "116467961".
- Xavier_Leroy wikiPageExternalLink ~xleroy.
- Xavier_Leroy wikiPageExternalLink cv-eng.html.
- Xavier_Leroy wikiPageExternalLink memorys-body-muracciole-xavier-le-roy.
- Xavier_Leroy wikiPageID "1623543".
- Xavier_Leroy wikiPageRevisionID "600323513".
- Xavier_Leroy almaMater Paris_Diderot_University.
- Xavier_Leroy birthDate "1968-03-15".
- Xavier_Leroy dateOfBirth "1968-03-15".
- Xavier_Leroy doctoralAdvisor Gérard_Huet.
- Xavier_Leroy doctoralStudents François_Pessaux.
- Xavier_Leroy fields Mathematics.
- Xavier_Leroy hasPhotoCollection Xavier_Leroy.
- Xavier_Leroy name "Leroy, Xavier".
- Xavier_Leroy name "Xavier Leroy".
- Xavier_Leroy nationality "French".
- Xavier_Leroy workplaces University_of_Paris.
- Xavier_Leroy subject Category:1968_births.
- Xavier_Leroy subject Category:Computer_programmers.
- Xavier_Leroy subject Category:French_computer_scientists.
- Xavier_Leroy subject Category:Living_people.
- Xavier_Leroy subject Category:Programming_language_designers.
- Xavier_Leroy subject Category:Programming_language_researchers.
- Xavier_Leroy subject Category:École_Normale_Supérieure_alumni.
- Xavier_Leroy type AlumniOfThe%C3%89coleNormaleSup%C3%A9rieure.
- Xavier_Leroy type Alumnus109786338.
- Xavier_Leroy type CausalAgent100007347.
- Xavier_Leroy type ComputerProgrammers.
- Xavier_Leroy type ComputerScientist109951070.
- Xavier_Leroy type ComputerUser109951274.
- Xavier_Leroy type Engineer109615807.
- Xavier_Leroy type Expert109617867.
- Xavier_Leroy type FrenchComputerScientists.
- Xavier_Leroy type Intellectual109621545.
- Xavier_Leroy type InteriorDesigner110210648.
- Xavier_Leroy type LivingPeople.
- Xavier_Leroy type LivingThing100004258.
- Xavier_Leroy type Object100002684.
- Xavier_Leroy type Organism100004475.
- Xavier_Leroy type Person100007846.
- Xavier_Leroy type PhysicalEntity100001930.
- Xavier_Leroy type Programmer110481268.
- Xavier_Leroy type ProgrammingLanguageDesigners.
- Xavier_Leroy type ProgrammingLanguageResearchers.
- Xavier_Leroy type ResearchWorker110523076.
- Xavier_Leroy type Scholar110557854.
- Xavier_Leroy type Scientist110560637.
- Xavier_Leroy type Specialist110631941.
- Xavier_Leroy type Whole100003553.
- Xavier_Leroy type YagoLegalActor.
- Xavier_Leroy type YagoLegalActorGeo.
- Xavier_Leroy type Agent.
- Xavier_Leroy type Person.
- Xavier_Leroy type Scientist.
- Xavier_Leroy type Person.
- Xavier_Leroy type Q215627.
- Xavier_Leroy type Q5.
- Xavier_Leroy type Agent.
- Xavier_Leroy type NaturalPerson.
- Xavier_Leroy type Thing.
- Xavier_Leroy type Person.
- Xavier_Leroy comment "Xavier Leroy (born March 15, 1968) is a French computer scientist and programmer. He is best known for his role as a primary developer of the OCaml system. He is senior scientist (directeur de recherche) at the French government research institution INRIA.Leroy was admitted to the École normale supérieure in Paris in 1987, where he studied mathematics and computer science.".
- Xavier_Leroy label "Xavier Leroy".
- Xavier_Leroy label "Xavier Leroy".
- Xavier_Leroy sameAs Xavier_Leroy.
- Xavier_Leroy sameAs m.05hhq8.
- Xavier_Leroy sameAs Q3570727.
- Xavier_Leroy sameAs Q3570727.
- Xavier_Leroy sameAs 160993.
- Xavier_Leroy sameAs Xavier_Leroy.
- Xavier_Leroy wasDerivedFrom Xavier_Leroy?oldid=600323513.
- Xavier_Leroy givenName "Xavier".
- Xavier_Leroy isPrimaryTopicOf Xavier_Leroy.
- Xavier_Leroy name "Leroy, Xavier".
- Xavier_Leroy name "Xavier Leroy".
- Xavier_Leroy surname "Leroy".