Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | Dustin |
Description | Dustin Jamner’s personal |
Keywords | N/A |
WebSite | jamner.net |
Host IP | 185.199.109.153 |
Location | - |
Site | Rank |
US$389,832
Last updated: 2023-05-17 01:34:19
jamner.net has Semrush global rank of 27,150,955. jamner.net has an estimated worth of US$ 389,832, based on its estimated Ads revenue. jamner.net receives approximately 44,981 unique visitors each day. Its web server is located in -, with IP address 185.199.109.153. According to SiteAdvisor, jamner.net is safe to visit. |
Purchase/Sale Value | US$389,832 |
Daily Ads Revenue | US$360 |
Monthly Ads Revenue | US$10,796 |
Yearly Ads Revenue | US$129,545 |
Daily Unique Visitors | 2,999 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
jamner.net. | A | 1799 | IP: 185.199.109.153 |
jamner.net. | A | 1799 | IP: 185.199.108.153 |
jamner.net. | A | 1799 | IP: 185.199.110.153 |
jamner.net. | A | 1799 | IP: 185.199.111.153 |
jamner.net. | NS | 1800 | NS Record: dns2.registrar-servers.com. |
jamner.net. | NS | 1800 | NS Record: dns1.registrar-servers.com. |
jamner.net. | MX | 1800 | MX Record: 10 eforward1.registrar-servers.com. |
jamner.net. | MX | 1800 | MX Record: 10 eforward2.registrar-servers.com. |
jamner.net. | MX | 1800 | MX Record: 10 eforward3.registrar-servers.com. |
jamner.net. | MX | 1800 | MX Record: 20 eforward5.registrar-servers.com. |
jamner.net. | MX | 1800 | MX Record: 15 eforward4.registrar-servers.com. |
jamner.net. | TXT | 1800 | TXT Record: v=spf1 include:spf.efwd.registrar-servers.com ~all |
Dustin Jamner dijamner@mit.edu github.com/DIJamner I’m a PhD student in Adam Chlipala ’s group at MIT, working on developing a mechanized framework for extension-proof compiler verification based on modular specifications for programming languages. I completed my Bachelor’s degree in May 2020 at Northeastern University, where I researched gradual typing, parametric polymorphism, and compositional compiler correctness in Amal Ahmed ’s group. See my extended resume here . Papers Relational Compilation for Performance-Critical Applications . Clément Pit-Claudel, Jade Philipoom, Dustin Jamner, Andres Erbsen, and Adam Chlipala. In the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI ’22) , San Diego, California, USA. June 2022. Graduality and Parametricity: Together Again for the First Time . Max New, Dustin Jamner, and Amal Ahmed. In the ACM SIGPLAN Symposium on Principles of Programming Languages (POPL ’20) , New Orleans, Louisiana, USA. January 2020. Using |
HTTP/1.1 200 OK Server: GitHub.com Content-Type: text/html; charset=utf-8 Last-Modified: Mon, 18 Jan 2021 17:13:31 GMT Access-Control-Allow-Origin: * ETag: "6005c1bb-b9f" expires: Sat, 26 Feb 2022 09:22:13 GMT Cache-Control: max-age=600 x-proxy-cache: MISS X-GitHub-Request-Id: B650:5393:EEB526:F8702A:6219EEED Content-Length: 2975 Accept-Ranges: bytes Date: Sat, 26 Feb 2022 09:12:13 GMT Via: 1.1 varnish Age: 0 Connection: keep-alive X-Served-By: cache-bma1680-BMA X-Cache: MISS X-Cache-Hits: 0 X-Timer: S1645866734.870895,VS0,VE110 Vary: Accept-Encoding X-Fastly-Request-ID: 47a095d689548d17c5134fef0a8d32cfea14ffc6 |
Domain Name: JAMNER.NET Registry Domain ID: 2345283654_DOMAIN_NET-VRSN Registrar WHOIS Server: whois.namecheap.com Registrar URL: http://www.namecheap.com Updated Date: 2021-11-21T06:39:12Z Creation Date: 2018-12-21T01:03:05Z Registry Expiry Date: 2022-12-21T01:03:05Z 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 Name Server: DNS1.REGISTRAR-SERVERS.COM Name Server: DNS2.REGISTRAR-SERVERS.COM DNSSEC: unsigned >>> Last update of whois database: 2022-02-26T09:19:19Z <<< |