Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | Stefan |
Description | Publications My personal |
Keywords | N/A |
WebSite | stefanbucur.net |
Host IP | 216.239.34.21 |
Location | United States |
Site | Rank |
US$1,274
Last updated: 2023-05-19 04:37:41
stefanbucur.net has Semrush global rank of 0. stefanbucur.net has an estimated worth of US$ 1,274, based on its estimated Ads revenue. stefanbucur.net receives approximately 147 unique visitors each day. Its web server is located in United States, with IP address 216.239.34.21. According to SiteAdvisor, stefanbucur.net is safe to visit. |
Purchase/Sale Value | US$1,274 |
Daily Ads Revenue | US$1 |
Monthly Ads Revenue | US$35 |
Yearly Ads Revenue | US$423 |
Daily Unique Visitors | 9 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
stefanbucur.net. | A | 3600 | IP: 216.239.34.21 |
stefanbucur.net. | A | 3600 | IP: 216.239.32.21 |
stefanbucur.net. | A | 3600 | IP: 216.239.36.21 |
stefanbucur.net. | A | 3600 | IP: 216.239.38.21 |
stefanbucur.net. | AAAA | 3600 | IPV6: 2001:4860:4802:36::15 |
stefanbucur.net. | AAAA | 3600 | IPV6: 2001:4860:4802:38::15 |
stefanbucur.net. | AAAA | 3600 | IPV6: 2001:4860:4802:34::15 |
stefanbucur.net. | AAAA | 3600 | IPV6: 2001:4860:4802:32::15 |
stefanbucur.net. | NS | 21600 | NS Record: ns-cloud-d4.googledomains.com. |
stefanbucur.net. | NS | 21600 | NS Record: ns-cloud-d3.googledomains.com. |
stefanbucur.net. | NS | 21600 | NS Record: ns-cloud-d1.googledomains.com. |
stefanbucur.net. | NS | 21600 | NS Record: ns-cloud-d2.googledomains.com. |
stefanbucur.net. | MX | 3600 | MX Record: 5 gmr-smtp-in.l.google.com. |
stefanbucur.net. | MX | 3600 | MX Record: 20 alt2.gmr-smtp-in.l.google.com. |
stefanbucur.net. | MX | 3600 | MX Record: 10 alt1.gmr-smtp-in.l.google.com. |
stefanbucur.net. | MX | 3600 | MX Record: 30 alt3.gmr-smtp-in.l.google.com. |
stefanbucur.net. | MX | 3600 | MX Record: 40 alt4.gmr-smtp-in.l.google.com. |
Stefan Bucur Blog Google Inc. 111 8th Ave New York, NY 10011 stefan.bucur@gmail.com stefanbucur sbucur | I am a Staff Software Engineer at Google. My interests span program analysis, operating systems, programming languages, and compilers. Here is my CV . Prior to joining Google, I focused on developing techniques and tools for scaling whitebox automated test generation to real-world systems. To reduce path explosion, large systems are usually broken down into smaller components analyzed in isolation, using simplified representations of the component’s dependencies, i.e., its environment. The core results of my work provide environment representations for accurately and efficiently analyzing systems that are commonly encountered in the real world. To this end, I developed techniques for effective symbolic execution of systems interacting with the operating system (Cloud9) and of programs written in high-level dynamic languages (Chef). I received my PhD in Computer Science from EPFL, |
HTTP/1.1 301 Moved Permanently Location: http://www.stefanbucur.net/ Date: Sun, 28 Aug 2022 08:49:37 GMT Content-Type: text/html; charset=UTF-8 Server: ghs Content-Length: 224 X-XSS-Protection: 0 X-Frame-Options: SAMEORIGIN HTTP/1.1 301 Moved Permanently Server: GitHub.com Content-Type: text/html Location: https://www.stefanbucur.net/ X-GitHub-Request-Id: 91C4:380D:14C04D5:15D4320:630B2C21 Content-Length: 162 Accept-Ranges: bytes Date: Sun, 28 Aug 2022 08:49:37 GMT Via: 1.1 varnish Age: 0 Connection: keep-alive X-Served-By: cache-hel1410028-HEL X-Cache: MISS X-Cache-Hits: 0 X-Timer: S1661676577.301071,VS0,VE126 Vary: Accept-Encoding X-Fastly-Request-ID: 6fa2d1f1b45ac567ca466117f8f2561e74a9f016 HTTP/2 200 server: GitHub.com content-type: text/html; charset=utf-8 last-modified: Mon, 01 Nov 2021 21:45:52 GMT access-control-allow-origin: * etag: "61806010-3365" expires: Sun, 28 Aug 2022 08:59:37 GMT cache-control: max-age=600 x-proxy-cache: MISS x-github-request-id: 8BCA:444A:23E2DB:2BAF7A:630B2C21 accept-ranges: bytes date: Sun, 28 Aug 2022 08:49:37 GMT via: 1.1 varnish age: 0 x-served-by: cache-hel1410024-HEL x-cache: MISS x-cache-hits: 0 x-timer: S1661676578.566371,VS0,VE132 vary: Accept-Encoding x-fastly-request-id: d47935c22eac70455ddf32d065ea8a3c8385aa6f content-length: 13157 |
Domain Name: STEFANBUCUR.NET Registry Domain ID: 1964240772_DOMAIN_NET-VRSN Registrar WHOIS Server: whois.google.com Registrar URL: http://domains.google.com Updated Date: 2021-09-27T21:03:32Z Creation Date: 2015-09-27T19:47:35Z Registry Expiry Date: 2022-09-27T19:47:35Z Registrar: Google LLC Registrar IANA ID: 895 Registrar Abuse Contact Email: registrar-abuse@google.com Registrar Abuse Contact Phone: +1.8772376466 Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Name Server: NS-CLOUD-D1.GOOGLEDOMAINS.COM Name Server: NS-CLOUD-D2.GOOGLEDOMAINS.COM Name Server: NS-CLOUD-D3.GOOGLEDOMAINS.COM Name Server: NS-CLOUD-D4.GOOGLEDOMAINS.COM DNSSEC: signedDelegation DNSSEC DS Data: 41747 8 2 D7D420887A6D45FF14BD07738182430E777DADE6509418BD627C78110DA5A3F2 >>> Last update of whois database: 2022-08-28T08:55:18Z <<< |