Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | Li-yao |
Description | Li-yao XIA (夏黎尧) --> I’m a post-doc at the University of Edinburgh since 2022, on a project to combine algebraic effects and gradu |
Keywords | N/A |
WebSite | poisson.chat |
Host IP | 51.255.32.62 |
Location | United Kingdom |
Site | Rank |
US$1,009,739
Last updated: 2023-05-07 18:07:03
poisson.chat has Semrush global rank of 10,482,224. poisson.chat has an estimated worth of US$ 1,009,739, based on its estimated Ads revenue. poisson.chat receives approximately 116,509 unique visitors each day. Its web server is located in United Kingdom, with IP address 51.255.32.62. According to SiteAdvisor, poisson.chat is safe to visit. |
Purchase/Sale Value | US$1,009,739 |
Daily Ads Revenue | US$933 |
Monthly Ads Revenue | US$27,962 |
Yearly Ads Revenue | US$335,544 |
Daily Unique Visitors | 7,768 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
poisson.chat. | A | 1800 | IP: 51.255.32.62 |
poisson.chat. | NS | 1800 | NS Record: dns1.registrar-servers.com. |
poisson.chat. | NS | 1800 | NS Record: dns2.registrar-servers.com. |
poisson.chat. | MX | 1799 | MX Record: 10 mail.poisson.chat. |
Li-yao XIA (夏黎尧) --> I’m a post-doc at the University of Edinburgh since 2022, on a project to combine algebraic effects and gradual types. My main areas of interest are functional programming (Haskell, Coq, Agda), formal verification, and testing. I did my PhD thesis at the University of Pennsylvania, in the PLClub , on interaction trees and their applications to program semantics. Projects, publications Google Scholar Executable Semantics with Interaction Trees . Thesis. ( draft , Google slides ) C4: Verified Transactional Objects . Mohsen Lesani, Li-yao Xia, Anders Kaseorg, Christian J. Bell, Adam Chlipala, Benjamin C. Pierce, Steve Zdancewic. OOPSLA 2022. ( PDF , Coq artifact on Zenodo ) Reasoning about the garden of forking paths . Yao Li, Li-yao Xia, Stephanie Weirich. ICFP 2021. ( arxiv preprint ) InteractionTrees : program semantics with free monads in Coq. Interaction Trees: Representing Effectful and Recursive Programs in Coq . Li-yao Xia, Yannick |
HTTP/1.1 301 Moved Permanently Server: nginx/1.20.1 Date: Thu, 28 Oct 2021 12:30:41 GMT Content-Type: text/html Content-Length: 169 Connection: keep-alive Location: https://poisson.chat/ HTTP/1.1 200 OK Server: nginx/1.20.1 Date: Thu, 28 Oct 2021 12:30:41 GMT Content-Type: text/html Content-Length: 7142 Last-Modified: Thu, 15 Jul 2021 14:52:46 GMT Connection: keep-alive ETag: "60f04bbe-1be6" Accept-Ranges: bytes |
Domain Name: poisson.chat Registry Domain ID: 4163c3edf24647c489adf17da72ad689-DONUTS Registrar WHOIS Server: whois.namecheap.com Registrar URL: https://www.namecheap.com/ Updated Date: 2021-07-13T16:02:54Z Creation Date: 2016-08-07T21:14:08Z Registry Expiry Date: 2022-08-07T21:14:08Z Registrar: NameCheap, Inc. Registrar IANA ID: 1068 Registrar Abuse Contact Email: abuse@namecheap.com Registrar Abuse Contact Phone: +1.6613102107 Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Registrant State/Province: Capital Region Registrant Country: IS Name Server: dns1.registrar-servers.com Name Server: dns2.registrar-servers.com DNSSEC: unsigned >>> Last update of WHOIS database: 2021-09-16T04:58:15Z <<< |