Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | Alex Reinking - About |
Description | Personal website and blog of Alex |
Keywords | N/A |
WebSite | alexreinking.com |
Host IP | 66.228.39.53 |
Location | United States |
Site | Rank |
US$2,112,189
Last updated: 2023-05-11 07:55:35
alexreinking.com has Semrush global rank of 5,011,061. alexreinking.com has an estimated worth of US$ 2,112,189, based on its estimated Ads revenue. alexreinking.com receives approximately 243,715 unique visitors each day. Its web server is located in United States, with IP address 66.228.39.53. According to SiteAdvisor, alexreinking.com is safe to visit. |
Purchase/Sale Value | US$2,112,189 |
Daily Ads Revenue | US$1,950 |
Monthly Ads Revenue | US$58,492 |
Yearly Ads Revenue | US$701,897 |
Daily Unique Visitors | 16,248 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
alexreinking.com. | A | 86400 | IP: 66.228.39.53 |
alexreinking.com. | NS | 86400 | NS Record: ns4.linode.com. |
alexreinking.com. | NS | 86400 | NS Record: ns2.linode.com. |
alexreinking.com. | NS | 86400 | NS Record: ns5.linode.com. |
alexreinking.com. | NS | 86400 | NS Record: ns3.linode.com. |
alexreinking.com. | NS | 86400 | NS Record: ns1.linode.com. |
alexreinking.com. | MX | 86400 | MX Record: 10 mail.alexreinking.com. |
alexreinking.com. | TXT | 86400 | TXT Record: google-site-verification=KF4LILUVDjGJAFLaVxIDs6fcPqHclFIhDYZo44UK8rw |
Alex Reinking Alex Reinking About Me Blog Papers About Me I’m a programming languages researcher and software engineer, currently at Qualcomm AI Research . I got my Ph.D. in 2022 from UC Berkeley, advised by Jonathan Ragan-Kelley . I focused on building and formally analyzing user-schedulable languages for high-performance computing. I am also a maintainer of the Halide language, responsible for the build system, packaging, testing, and release process. Some of my recent projects include: A new user-schedulable language called Exo (PLDI 2022). Perceus reference counting in the Koka programming language. (PLDI 2021, distinguished paper) Formal semantics for the Halide programming language . This was my Master’s thesis. A new compiler for the P programming language . In the past, I worked on the Intune team at Microsoft, the Facebook AI and Research team, and Microsoft Research. My undergraduate thesis was on software synthesis; my paper "A Type-Directed Approach to Program Repair" |
HTTP/1.1 301 Moved Permanently Date: Thu, 04 Nov 2021 09:00:12 GMT Server: Apache/2.4.38 (Debian) Location: https://alexreinking.com/ Content-Type: text/html; charset=iso-8859-1 HTTP/1.1 200 OK Date: Thu, 04 Nov 2021 09:00:12 GMT Server: Apache/2.4.38 (Debian) Last-Modified: Tue, 15 Jun 2021 15:33:04 GMT ETag: "1808-5c4cfb09e6c00" Accept-Ranges: bytes Content-Length: 6152 Vary: Accept-Encoding Content-Type: text/html |
Domain Name: ALEXREINKING.COM Registry Domain ID: 1695570711_DOMAIN_COM-VRSN Registrar WHOIS Server: whois.godaddy.com Registrar URL: http://www.godaddy.com Updated Date: 2015-06-17T04:19:07Z Creation Date: 2012-01-05T20:59:20Z Registry Expiry Date: 2025-01-05T20:59:20Z 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: NS1.LINODE.COM Name Server: NS2.LINODE.COM Name Server: NS3.LINODE.COM Name Server: NS4.LINODE.COM DNSSEC: unsigned >>> Last update of whois database: 2021-10-22T07:15:38Z <<< |