Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
User-agent: * Disallow: /s/hidden/ Disallow: /hidden/ Disallow: |
Title | Stefan |
Description | stefan c Personal website of Stefan |
Keywords | research, Stefan Heule, papers, publications |
WebSite | stefanheule.com |
Host IP | 74.207.242.154 |
Location | United States |
Site | Rank |
US$1,116,766
Last updated: 2023-05-09 20:57:11
stefanheule.com has Semrush global rank of 9,477,645. stefanheule.com has an estimated worth of US$ 1,116,766, based on its estimated Ads revenue. stefanheule.com receives approximately 128,858 unique visitors each day. Its web server is located in United States, with IP address 74.207.242.154. According to SiteAdvisor, stefanheule.com is safe to visit. |
Purchase/Sale Value | US$1,116,766 |
Daily Ads Revenue | US$1,031 |
Monthly Ads Revenue | US$30,926 |
Yearly Ads Revenue | US$371,110 |
Daily Unique Visitors | 8,591 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
stefanheule.com. | A | 7199 | IP: 74.207.242.154 |
stefanheule.com. | AAAA | 7199 | IPV6: 2600:3c01::f03c:91ff:fe50:f6ce |
stefanheule.com. | NS | 86400 | NS Record: ns1.linode.com. |
stefanheule.com. | NS | 86400 | NS Record: ns2.linode.com. |
stefanheule.com. | NS | 86400 | NS Record: ns4.linode.com. |
stefanheule.com. | NS | 86400 | NS Record: ns3.linode.com. |
stefanheule.com. | NS | 86400 | NS Record: ns5.linode.com. |
stefanheule.com. | MX | 86400 | MX Record: 10 mail.stefanheule.com. |
stefan c heule Research Blog Contact Publications Also see my Google Scholar page , or my dlbp entry . Refereed Conference Publications SwitchV: Automated SDN Switch Validation with P4 Models by Kinan Dak Albab , Jonathan DiLorenzo , Stefan Heule , Ali Kheradmand , Steffen Smolka , Konstantin Weitz , Muhammad Timarzi , Jiaqi Gao , and Minlan Yu . In Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication (SIGCOMM) , 2022. SpaceSearch: A Library for Building and Verifying Solver-Aided Tools by Konstantin Weitz , Steven Lyubomirsky , Stefan Heule , Emina Torlak , Michael D Ernst , and Zachary Tatlock . In International Conference on Functional Programming (ICFP) , 2017. Stratified Synthesis: Automatically Learning the x86-64 Instruction Set by Stefan Heule , Eric Schkufza , Rahul Sharma , and Alex Aiken . In Programming Language Design and Implementation (PLDI) , 2016. Mimic: Computing Models for Opaque Code by Stefan Heule , Manu Sridharan , |
HTTP/1.1 301 Moved Permanently Date: Mon, 01 Nov 2021 13:01:58 GMT Server: Apache/2.4.41 (Ubuntu) Location: https://stefanheule.com/ Content-Type: text/html; charset=iso-8859-1 HTTP/1.1 200 OK Date: Mon, 01 Nov 2021 13:01:58 GMT Server: Apache/2.4.41 (Ubuntu) Set-Cookie: PHPSESSID=to0mj4p80e8t429je19te6vel7; path=/; domain=.stefanheule.com Expires: Thu, 19 Nov 1981 08:52:00 GMT Cache-Control: no-store, no-cache, must-revalidate Pragma: no-cache Connection: keep-alive Content-Type: text/html; charset=utf-8 |
Domain Name: STEFANHEULE.COM Registry Domain ID: 1514584222_DOMAIN_COM-VRSN Registrar WHOIS Server: whois.namecheap.com Registrar URL: http://www.namecheap.com Updated Date: 2021-07-18T07:36:31Z Creation Date: 2008-08-17T20:44:58Z Registry Expiry Date: 2022-08-17T20:44:58Z 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: NS1.LINODE.COM Name Server: NS2.LINODE.COM Name Server: NS3.LINODE.COM Name Server: NS4.LINODE.COM Name Server: NS5.LINODE.COM DNSSEC: unsigned >>> Last update of whois database: 2021-09-19T22:01:04Z <<< |