Total words: 2108 | 2-word phrases: 543 | 3-word phrases: 611 | 4-word phrases: 637
Title | Try to keep the title under 60 characters (24 characters) Xavier Leroy - Home page |
Description | Try to keep the meta description between 50 - 160 characters (147 characters) Home page of Xavier Leroy, a computer scientist. Information on Xavier Leroy's research projects, courses, publications, and open-source software. |
Keywords | Meta keywords are not recommended anymore (0 characters) |
H1 | H1 tag on the page (12 characters) Xavier Leroy |
# | Keyword | H1 | Title | Des | Volume | Position | Suggest | Frequency | Density |
---|---|---|---|---|---|---|---|---|---|
1 | the | 32 | 10.09% | ||||||
2 | and | 23 | 7.26% | ||||||
3 | of | 21 | 6.62% | ||||||
4 | on | 13 | 4.10% | ||||||
5 | in | 13 | 4.10% | ||||||
6 | award | 13 | 4.10% | ||||||
7 | a | 12 | 3.79% | ||||||
8 | france | 12 | 3.79% | ||||||
9 | de | 12 | 3.79% | ||||||
10 | to | 12 | 3.79% |
# | URL | Whois | Check |
---|---|---|---|
1 | https://www.college-de-france.fr/fr/chaire/xavier-leroy-sciences-du-logiciel-chaire-statutaire | Whois | college-de-france.fr |
2 | https://www.academie-sciences.fr/fr/Liste-des-membres-de-l-Academie-des-sciences-/-L/xavier-leroy.html | Whois | academie-sciences.fr |
3 | https://fr.wikipedia.org/wiki/Xavier_Leroy | Whois | wikipedia.org |
4 | https://en.wikipedia.org/wiki/Xavier_Leroy | Whois | wikipedia.org |
5 | https://college-de-france.academia.edu/XavierLeroy | Whois | academia.edu |
6 | https://www.linkedin.com/in/xavier-leroy-6662ba2/ | Whois | linkedin.com |
7 | https://www.researchgate.net/profile/Xavier_Leroy3 | Whois | researchgate.net |
8 | https://www.college-de-france.fr/ | Whois | college-de-france.fr |
9 | https://www.college-de-france.fr/chaire/xavier-leroy-sciences-du-logiciel-chaire-statutaire | Whois | college-de-france.fr |
10 | https://www.academie-sciences.fr | Whois | academie-sciences.fr |
11 | http://cambium.inria.fr/ | Whois | inria.fr |
12 | http://www.inria.fr/ | Whois | inria.fr |
13 | https://sigplan.org/Awards/Software/ | Whois | sigplan.org |
14 | https://ocaml.org/ | Whois | ocaml.org |
15 | https://popl24.sigplan.org/details/CoqPL-2024-papers/2/Well-founded-recursion-done-right | Whois | sigplan.org |
16 | https://ocaml.org/ | Whois | ocaml.org |
17 | https://www.ouvrirlascience.fr/category/prix-logiciel-libre/ | Whois | ouvrirlascience.fr |
18 | https://www.fmeurope.org/ | Whois | fmeurope.org |
19 | https://people.irisa.fr/Sandrine.Blazy/ | Whois | irisa.fr |
20 | https://www.linkedin.com/in/zaynah-dargaye-70a1122 | Whois | linkedin.com |
21 | https://www.sigplan.org/Awards/Software/ | Whois | sigplan.org |
22 | https://people.irisa.fr/Sandrine.Blazy/ | Whois | irisa.fr |
23 | https://www.linkedin.com/in/zaynah-dargaye-70a1122 | Whois | linkedin.com |
24 | https://jhjourdan.mketjh.fr/ | Whois | mketjh.fr |
25 | https://github.com/m-schmidt | Whois | github.com |
26 | https://github.com/bschommer | Whois | github.com |
27 | https://jtristan.github.io/ | Whois | github.io |
28 | https://compcert.org/ | Whois | compcert.org |
29 | https://www.academie-sciences.fr/ | Whois | academie-sciences.fr |
30 | https://discuss.ocaml.org/t/ocaml-5-0-0-is-out/10974 | Whois | ocaml.org |
31 | http://www.sigplan.org/Awards/Achievement/#2022_Xavier_Leroy | Whois | sigplan.org |
32 | https://awards.acm.org/software-system | Whois | acm.org |
33 | https://compcert.org | Whois | compcert.org |
34 | https://people.irisa.fr/Sandrine.Blazy/ | Whois | irisa.fr |
35 | https://www.linkedin.com/in/zaynah-dargaye-70a1122 | Whois | linkedin.com |
36 | https://jhjourdan.mketjh.fr/ | Whois | mketjh.fr |
37 | https://github.com/m-schmidt | Whois | github.com |
38 | https://github.com/bschommer | Whois | github.com |
39 | https://jtristan.github.io/ | Whois | github.io |
40 | https://github.com/Ekdohibs/PolyGen/ | Whois | github.com |
41 | https://github.com/xavierleroy/cdf-mech-sem | Whois | github.com |
42 | https://books.openedition.org/cdf/7671 | Whois | openedition.org |
43 | https://hal.inria.fr/hal-02405754 | Whois | inria.fr |
44 | https://www.fayard.fr/sciences-humaines/le-logiciel-entre-lesprit-et-la-matiere-9782213712413 | Whois | fayard.fr |
45 | https://www.college-de-france.fr/agenda/lecon-inaugurale/le-logiciel-entre-esprit-et-la-matiere/le-logiciel-entre-esprit-et-la-matiere | Whois | college-de-france.fr |
46 | https://www.college-de-france.fr/site/en-xavier-leroy/inaugural-lecture-2018-11-15-18h00.htm | Whois | college-de-france.fr |
47 | https://www.college-de-france.fr/ | Whois | college-de-france.fr |
48 | https://www.college-de-france.fr/fr/chaire/xavier-leroy-sciences-du-logiciel-chaire-statutaire | Whois | college-de-france.fr |
49 | https://www.college-de-france.fr/fr/chaire/gerard-berry-algorithmes-machines-et-langages-chaire-statutaire | Whois | college-de-france.fr |
50 | http://www.sixshootermedia.com/ | Whois | sixshootermedia.com |
51 | http://www.oswd.org/ | Whois | oswd.org |