Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | Oliver |
Description | Publications Oliver Flatt resume | oflatt@cs.washington.edu | twitter | youtube publications projects blog I’m interested in programming languages, especially verifica |
Keywords | N/A |
WebSite | oflatt.com |
Host IP | 192.30.252.153 |
Location | United States |
Site | Rank |
US$1,911
Last updated: 2023-05-17 08:02:15
oflatt.com has Semrush global rank of 0. oflatt.com has an estimated worth of US$ 1,911, based on its estimated Ads revenue. oflatt.com receives approximately 220 unique visitors each day. Its web server is located in United States, with IP address 192.30.252.153. According to SiteAdvisor, oflatt.com is safe to visit. |
Purchase/Sale Value | US$1,911 |
Daily Ads Revenue | US$1 |
Monthly Ads Revenue | US$52 |
Yearly Ads Revenue | US$635 |
Daily Unique Visitors | 14 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
oflatt.com. | A | 599 | IP: 192.30.252.153 |
oflatt.com. | NS | 3600 | NS Record: ns17.domaincontrol.com. |
oflatt.com. | NS | 3600 | NS Record: ns18.domaincontrol.com. |
Oliver Flatt resume | oflatt@cs.washington.edu | twitter | youtube publications projects blog I’m interested in programming languages, especially verification and formal methods. Currently, I’m a graduate student at the University of Washington. I work on the Herbie tool, which reduces floating-point error in programs. I also work on the e-graph library Egg . Are you recruiting for research internships? Check out my resume . Publications Load |
HTTP/1.1 301 Moved Permanently Server: GitHub.com Date: Sun, 13 Mar 2022 09:11:32 GMT Content-Type: text/html Content-Length: 162 Location: https://www.oflatt.com/ X-GitHub-Request-Id: A120:8EFD:3347D4:6A2FBD:622DB544 HTTP/2 200 server: GitHub.com content-type: text/html; charset=utf-8 last-modified: Wed, 04 Aug 2021 00:22:27 GMT access-control-allow-origin: * etag: "6109ddc3-c70" expires: Sun, 13 Mar 2022 09:21:32 GMT cache-control: max-age=600 x-proxy-cache: MISS x-github-request-id: 88B4:3DE4:8F8D60:974832:622DB544 accept-ranges: bytes date: Sun, 13 Mar 2022 09:11:32 GMT via: 1.1 varnish age: 0 x-served-by: cache-bma1668-BMA x-cache: MISS x-cache-hits: 0 x-timer: S1647162692.404168,VS0,VE110 vary: Accept-Encoding x-fastly-request-id: 006732b1f40722905accd5b782c67ac3123f4b43 content-length: 3184 |
Domain Name: OFLATT.COM Registry Domain ID: 2180872286_DOMAIN_COM-VRSN Registrar WHOIS Server: whois.godaddy.com Registrar URL: http://www.godaddy.com Updated Date: 2021-10-30T11:42:10Z Creation Date: 2017-10-29T21:17:17Z Registry Expiry Date: 2023-10-29T21:17:17Z Registrar: GoDaddy.com, LLC Registrar IANA ID: 146 Registrar Abuse Contact Email: abuse@godaddy.com Registrar Abuse Contact Phone: 480-624-2505 Domain Status: clientDeleteProhibited https://icann.org/epp#clientDeleteProhibited Domain Status: clientRenewProhibited https://icann.org/epp#clientRenewProhibited Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Domain Status: clientUpdateProhibited https://icann.org/epp#clientUpdateProhibited Name Server: NS17.DOMAINCONTROL.COM Name Server: NS18.DOMAINCONTROL.COM DNSSEC: unsigned >>> Last update of whois database: 2022-03-13T09:40:22Z <<< |