Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Sitemap: |
Title | Samuel |
Description | Research Personal website and blog of Samuel |
Keywords | N/A |
WebSite | samuelgruetter.net |
Host IP | 185.199.108.153 |
Location | - |
Site | Rank |
US$1,975,048
Last updated: 2023-05-13 12:03:32
samuelgruetter.net has Semrush global rank of 5,359,012. samuelgruetter.net has an estimated worth of US$ 1,975,048, based on its estimated Ads revenue. samuelgruetter.net receives approximately 227,891 unique visitors each day. Its web server is located in -, with IP address 185.199.108.153. According to SiteAdvisor, samuelgruetter.net is safe to visit. |
Purchase/Sale Value | US$1,975,048 |
Daily Ads Revenue | US$1,824 |
Monthly Ads Revenue | US$54,694 |
Yearly Ads Revenue | US$656,324 |
Daily Unique Visitors | 15,193 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
samuelgruetter.net. | A | 1798 | IP: 185.199.108.153 |
samuelgruetter.net. | A | 1798 | IP: 185.199.111.153 |
samuelgruetter.net. | A | 1798 | IP: 185.199.110.153 |
samuelgruetter.net. | A | 1798 | IP: 185.199.109.153 |
samuelgruetter.net. | NS | 1800 | NS Record: dns1.registrar-servers.com. |
samuelgruetter.net. | NS | 1800 | NS Record: dns2.registrar-servers.com. |
samuelgruetter.net. | MX | 1800 | MX Record: 10 eforward2.registrar-servers.com. |
samuelgruetter.net. | MX | 1800 | MX Record: 10 eforward3.registrar-servers.com. |
samuelgruetter.net. | MX | 1800 | MX Record: 20 eforward5.registrar-servers.com. |
samuelgruetter.net. | MX | 1800 | MX Record: 15 eforward4.registrar-servers.com. |
samuelgruetter.net. | MX | 1800 | MX Record: 10 eforward1.registrar-servers.com. |
samuelgruetter.net. | TXT | 1800 | TXT Record: v=spf1 include:spf.efwd.registrar-servers.com ~all |
Samuel Gruetter Home Blog Archives I’m a PhD student at MIT CSAIL , advised by Prof. Adam Chlipala . Email: My last name at mit dot edu Office address: 32-G886 MIT CSAIL, Stata Center 32 Vassar Street Cambridge MA 02139 USA Full CV: here Research Interests I’m interested in Programming Languages and Verification, Interactive Theorem Proving, Language Design, Compilers, Specifications, and Software Engineering. Currently, I’m working on the Bedrock2 project. It includes a very simple C-like source language, a program logic for it, and a compiler to RISC-V machine code, as specified by riscv-coq . Another project of our group, Kami , developed a RISC-V processor and proved it correct against the same riscv-coq spec, which enabled us to prove an end-to-end theorem about the behavior of a whole software-hardware stack. The first milestone of this project is the IoT lightbulb, which we presented at PLDI’21 (see paper and video ). Earlier, I also gave a talk about it at the RISC-V Summit |
HTTP/1.1 301 Moved Permanently Server: GitHub.com Content-Type: text/html Location: https://samuelgruetter.net/ X-GitHub-Request-Id: AB20:251B:E3B40:1EC119:61C19851 Content-Length: 162 Accept-Ranges: bytes Date: Tue, 21 Dec 2021 09:03:13 GMT Via: 1.1 varnish Age: 0 Connection: keep-alive X-Served-By: cache-ewr18171-EWR X-Cache: MISS X-Cache-Hits: 0 X-Timer: S1640077394.869358,VS0,VE9 Vary: Accept-Encoding X-Fastly-Request-ID: 94752bbaabe4edcc178155ed8e97975272c55dde HTTP/2 200 server: GitHub.com content-type: text/html; charset=utf-8 last-modified: Mon, 27 Sep 2021 22:01:56 GMT access-control-allow-origin: * etag: "61523f54-3cb4" expires: Tue, 21 Dec 2021 09:13:13 GMT cache-control: max-age=600 x-proxy-cache: MISS x-github-request-id: 1F58:30AC:1F2351:309077:61C19851 accept-ranges: bytes date: Tue, 21 Dec 2021 09:03:14 GMT via: 1.1 varnish age: 0 x-served-by: cache-ewr18124-EWR x-cache: MISS x-cache-hits: 0 x-timer: S1640077394.985495,VS0,VE19 vary: Accept-Encoding x-fastly-request-id: 4018604123aecca2bfbee605af3eecd5f577a9e1 content-length: 15540 |
Domain Name: SAMUELGRUETTER.NET Registry Domain ID: 2302283051_DOMAIN_NET-VRSN Registrar WHOIS Server: whois.namecheap.com Registrar URL: http://www.namecheap.com Updated Date: 2021-07-26T07:34:08Z Creation Date: 2018-08-25T19:21:09Z Registry Expiry Date: 2022-08-25T19:21:09Z 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: 2021-12-24T08:14:58Z <<< |