Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | Arthur Charguéraud’s home |
Description | Arthur Charguéraud Publications by date by topic by venue Software CFML TLC PASL Locally nameless The RE command Teaching Separation Logic Coq tutorials C |
Keywords | N/A |
WebSite | chargueraud.org |
Host IP | 213.186.33.19 |
Location | France |
Site | Rank |
US$1,615,502
Last updated: 2023-05-14 13:40:09
chargueraud.org has Semrush global rank of 6,551,715. chargueraud.org has an estimated worth of US$ 1,615,502, based on its estimated Ads revenue. chargueraud.org receives approximately 186,404 unique visitors each day. Its web server is located in France, with IP address 213.186.33.19. According to SiteAdvisor, chargueraud.org is safe to visit. |
Purchase/Sale Value | US$1,615,502 |
Daily Ads Revenue | US$1,492 |
Monthly Ads Revenue | US$44,737 |
Yearly Ads Revenue | US$536,844 |
Daily Unique Visitors | 12,427 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
chargueraud.org. | A | 86400 | IP: 213.186.33.19 |
chargueraud.org. | NS | 86400 | NS Record: ns.ovh.net. |
chargueraud.org. | NS | 86400 | NS Record: dns.ovh.net. |
chargueraud.org. | MX | 86400 | MX Record: 5 mx2.ovh.net. |
chargueraud.org. | MX | 86400 | MX Record: 1 mx1.ovh.net. |
chargueraud.org. | MX | 86400 | MX Record: 100 mxb.ovh.net. |
Arthur Charguéraud Publications by date by topic by venue Software CFML TLC PASL Locally nameless The RE command Teaching Separation Logic Coq tutorials Concours Castor France-ioi Home – Contact I am a full-time researcher at Inria . I am based in Strasbourg, in the Camus team, which is related to the ICPS team from the iCube lab. My research interests span from formal verification to multicore programming. BOOK Foundations of Separation Logic is now published as volume 6 of the Software Foundations series, edited by Benjamin C. Pierce. The first part of the course was presented at ICFP’20. The video of the presentation is available. If you prefer reading LaTeX than Coq, you will find the same material covered in the 145 pages of my habilitation manuscript . Selected papers: Program optimization OptiTrust : an interactive framework for source-to-source transformations (Draft, 2022). Program verification Habilitation manuscript : a modern eye on separation logic for sequential programs |
HTTP/1.1 200 OK date: Thu, 23 Dec 2021 12:20:38 GMT content-type: text/html; charset=utf-8 server: Apache x-powered-by: PHP/5.6 vary: Accept-Encoding x-iplb-request-id: 425E6E4A:E6B0_D5BA2113:0050_61C46996_0D75:1663E x-iplb-instance: 30877 |
Domain Name: CHARGUERAUD.ORG Registry Domain ID: D103534031-LROR Registrar WHOIS Server: whois.ovh.com Registrar URL: http://www.ovh.com Updated Date: 2021-12-01T15:03:23Z Creation Date: 2003-12-22T15:39:49Z Registry Expiry Date: 2022-12-22T15:39:49Z Registrar: OVH Registrar IANA ID: 433 Registrar Abuse Contact Email: abuse@ovh.net Registrar Abuse Contact Phone: +33.972101007 Domain Status: clientDeleteProhibited https://icann.org/epp#clientDeleteProhibited Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Registrant Organization: arthurc Registrant Country: FR Name Server: NS.OVH.NET Name Server: DNS.OVH.NET DNSSEC: unsigned URL of the ICANN Whois Inaccuracy Complaint Form https://www.icann.org/wicf/) >>> Last update of WHOIS database: 2021-12-26T20:43:59Z <<< |