Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | Xavier Leroy - Home |
Description | Home page of Xavier Leroy, a computer scientist. Information on Xavier Leroy’s research projects, publications, and open-source |
Keywords | N/A |
WebSite | xavierleroy.org |
Host IP | 185.199.109.153 |
Location | - |
Site | Rank |
US$3,341,880
Last updated: 2022-06-18 03:31:27
xavierleroy.org has Semrush global rank of 3,167,171. xavierleroy.org has an estimated worth of US$ 3,341,880, based on its estimated Ads revenue. xavierleroy.org receives approximately 385,602 unique visitors each day. Its web server is located in -, with IP address 185.199.109.153. According to SiteAdvisor, xavierleroy.org is safe to visit. |
Purchase/Sale Value | US$3,341,880 |
Daily Ads Revenue | US$3,085 |
Monthly Ads Revenue | US$92,545 |
Yearly Ads Revenue | US$1,110,533 |
Daily Unique Visitors | 25,707 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
xavierleroy.org. | A | 7199 | IP: 185.199.109.153 |
xavierleroy.org. | A | 7199 | IP: 185.199.111.153 |
xavierleroy.org. | A | 7199 | IP: 185.199.110.153 |
xavierleroy.org. | A | 7199 | IP: 185.199.108.153 |
xavierleroy.org. | NS | 10800 | NS Record: ns-185-c.gandi.net. |
xavierleroy.org. | NS | 10800 | NS Record: ns-17-a.gandi.net. |
xavierleroy.org. | NS | 10800 | NS Record: ns-190-b.gandi.net. |
xavierleroy.org. | MX | 10800 | MX Record: 10 spool.mail.gandi.net. |
xavierleroy.org. | MX | 10800 | MX Record: 50 fb.mail.gandi.net. |
xavierleroy.org. | TXT | 10800 | TXT Record: v=spf1 include:_mailcust.gandi.net ?all |
home research publications software proofs talks students teaching conferences contact faq Xavier Leroy studying computer programming since 1988 Menu Home Research Publications Software Proofs Talks Students Teaching Journals and confs Contact info F.A.Q. See also Collège de France (fr) Page Wikipedia (fr) Wikipedia page (en) Academia.edu LinkedIn Researchgate Hello and welcome to my corner of the Web. I’m a senior computer scientist interested in all scientific aspects of computer programming. I’m a professor at Collège de France , where I hold the chair of software sciences . I’m also a member of the Cambium research team of Inria , a French public research institute in computer science and applied mathematics. News [07/2021] Lecture material: slides in English are now available for my Collège de France lectures on Program logics . [11/2020] Publication: Verified Code Generation for the Polyhedral Model , by Nathanaël Courant and I, to be presented at POPL 2021, with accompanying |
HTTP/1.1 301 Moved Permanently Server: GitHub.com Content-Type: text/html Location: https://xavierleroy.org/ X-GitHub-Request-Id: CE2E:1D76:1DC47FF:325C609:617292FA Content-Length: 162 Accept-Ranges: bytes Date: Fri, 22 Oct 2021 10:31:22 GMT Via: 1.1 varnish Age: 0 Connection: keep-alive X-Served-By: cache-stl4837-STL X-Cache: MISS X-Cache-Hits: 0 X-Timer: S1634898683.847698,VS0,VE41 Vary: Accept-Encoding X-Fastly-Request-ID: 2f5fdde314b111ebc8e11a3911ffd8b0e192bdf0 HTTP/2 200 server: GitHub.com content-type: text/html; charset=utf-8 last-modified: Thu, 21 Oct 2021 13:17:19 GMT access-control-allow-origin: * etag: "6171685f-208b" expires: Fri, 22 Oct 2021 10:41:22 GMT cache-control: max-age=600 x-proxy-cache: MISS x-github-request-id: 2368:6B38:30A249:59CD5A:617292FA accept-ranges: bytes date: Fri, 22 Oct 2021 10:31:22 GMT via: 1.1 varnish age: 0 x-served-by: cache-chi21124-CHI x-cache: MISS x-cache-hits: 0 x-timer: S1634898683.928430,VS0,VE24 vary: Accept-Encoding x-fastly-request-id: 12db39e78e30c19d612fd48a609c9e4bb0c5a1ce content-length: 8331 |
Domain Name: XAVIERLEROY.ORG Registry Domain ID: D402200000002293075-LROR Registrar WHOIS Server: whois.gandi.net Registrar URL: http://www.gandi.net Updated Date: 2021-02-03T12:01:38Z Creation Date: 2017-05-02T17:10:29Z Registry Expiry Date: 2024-05-02T17:10:29Z Registrar: Gandi SAS Registrar IANA ID: 81 Registrar Abuse Contact Email: abuse@support.gandi.net Registrar Abuse Contact Phone: +33.170377661 Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Registrant Country: FR Name Server: NS-190-B.GANDI.NET Name Server: NS-185-C.GANDI.NET Name Server: NS-17-A.GANDI.NET DNSSEC: unsigned URL of the ICANN Whois Inaccuracy Complaint Form https://www.icann.org/wicf/) >>> Last update of WHOIS database: 2021-09-11T02:08:16Z <<< |