zhengyao.page valuation and analysis
Robots.txt Information
| Robot | Path | Permission |
| GoogleBot | / | ✔ |
| BingBot | / | ✔ |
| BaiduSpider | / | ✔ |
| YandexBot | / | ✔ |
Meta Tags
| Title | Zhengyao |
| Description | Zhengyao’s Personal |
| Keywords | N/A |
Server Information
| WebSite | |
| Host IP | 188.114.97.128 |
| Location | Brazil |
Related Websites
| Site | Rank |
More to Explore
zhengyao.page Valuation
|
US$1,470
Last updated: 2023-05-17 08:04:43
zhengyao.page has Semrush global rank of 0. zhengyao.page has an estimated worth of US$ 1,470, based on its estimated Ads revenue. zhengyao.page receives approximately 169 unique visitors each day. Its web server is located in Brazil, with IP address 188.114.97.128. According to SiteAdvisor, zhengyao.page is safe to visit. |
Traffic & Worth Estimates
| Purchase/Sale Value | US$1,470 |
| Daily Ads Revenue | US$1 |
| Monthly Ads Revenue | US$40 |
| Yearly Ads Revenue | US$488 |
| Daily Unique Visitors | 11 |
| Note: All traffic and earnings values are estimates. | |
DNS Records
| Host | Type | TTL | Data |
| zhengyao.page. | A | 300 | IP: 188.114.97.128 |
| zhengyao.page. | AAAA | 300 | IPV6: 2a06:98c1:3122:8000:: |
| zhengyao.page. | NS | 86400 | NS Record: seth.ns.cloudflare.com. |
| zhengyao.page. | NS | 86400 | NS Record: alina.ns.cloudflare.com. |
| zhengyao.page. | TXT | 300 | TXT Record: google-site-verification=5ob-xNGc0cvAOat8DdCj6TS46F2F-ToL9C36nVcm8R4 |
HtmlToTextCheckTime:2023-05-17 08:04:43
| Zhengyao Lin Welcome! I’m a PhD student in Computer Science at Carnegie Mellon University advised by Professor Bryan Parno . I’m interested in formal methods. Previously I got my undergraduate degree in Mathematics and Computer Science from the University of Illinois at Urbana-Champaign. Email: zhengyal at cmu.edu [CV] [dblp] [GitHub] Publications Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier Zhengyao Lin , Xiaohong Chen, Minh-Thai Trinh, John Wang, Grigore Roşu OOPSLA 2023 Synthesizing Axiomatizations using Logic Learning Paul Krogmeier*, Zhengyao Lin *, Adithya Murali*, P. Madhusudan OOPSLA 2022 Towards a Trustworthy Semantics-Based Language Framework via Proof Generation Xiaohong Chen, Zhengyao Lin , Minh-Thai Trinh, Grigore Roşu CAV 2021 Language-Parametric Compiler Validation with Application to LLVM Theodoros Kasampalis, Daejun Park, Zhengyao Lin , Vikram Adve, Grigore Roşu ASPLOS |
HTTP Headers
HTTP/1.1 301 Moved Permanently
Date: Sun, 13 Mar 2022 09:16:20 GMT
Connection: keep-alive
Cache-Control: max-age=3600
Expires: Sun, 13 Mar 2022 10:16:20 GMT
Location: https://zhengyao.page/
Report-To: {"endpoints":[{"url":"https:\/\/a.nel.cloudflare.com\/report\/v3?s=ZeOaIOWFKO8uacHlf6wSDj4O%2B8W8K3lBBl2IJB%2FyWB1Yx06OyGlhwhly%2Fw46aN3BMWbo3O34WUYSy09Bje73XVRtGH6ahc772jnFxrqsLxSWo8DURIjvko%2BQUDnM9BNVNVGi5Dviq0tNljZq"}],"group":"cf-nel","max_age":604800}
NEL: {"success_fraction":0,"report_to":"cf-nel","max_age":604800}
Vary: Accept-Encoding
CF-Cache-Status: DYNAMIC
Server: cloudflare
CF-RAY: 6eb3ab944ced7b6b-DME
alt-svc: h3=":443"; ma=86400, h3-29=":443"; ma=86400
HTTP/2 200
date: Sun, 13 Mar 2022 09:16:20 GMT
content-type: text/html; charset=utf-8
cache-control: public, max-age=0, must-revalidate
expect-ct: max-age=604800, report-uri="https://report-uri.cloudflare.com/cdn-cgi/beacon/expect-ct"
report-to: {"endpoints":[{"url":"https:\/\/a.nel.cloudflare.com\/report\/v3?s=Ozu6XG6PTJqZuoCdGDp4V0VKBVW3IuTqdA%2FDRrdn%2FtvbP7qp9DGYTUz%2FkBsHIaU8XoTWD9tmOyANN8bPjyGPef76b%2Fqb0D%2BfsITQE9fq2c%2Fy3Ex56lwuKd07sAhIohHIMcJHL05%2B28YLFNcw"}],"group":"cf-nel","max_age":604800}
nel: {"success_fraction":0,"report_to":"cf-nel","max_age":604800}
vary: Accept-Encoding
cf-cache-status: DYNAMIC
server: cloudflare
cf-ray: 6eb3ab95ee1b9db6-DME
alt-svc: h3=":443"; ma=86400, h3-29=":443"; ma=86400
|
zhengyao.page Whois Information
Domain Name: zhengyao.page Registry Domain ID: 41651AE18-PAGE Registrar WHOIS Server: whois.namecheap.com Registrar URL: https://www.namecheap.com/ Updated Date: 2022-01-18T01:45:44Z Creation Date: 2020-02-18T04:21:40Z Registry Expiry Date: 2023-02-18T04:21:40Z 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: alina.ns.cloudflare.com Name Server: seth.ns.cloudflare.com DNSSEC: unsigned >>> Last update of WHOIS database: 2022-03-13T09:50:53Z <<< |