Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | Scott |
Description | Verifier Scott McPeak 565 Soda Hall 510-642-9542 smcpeak {at} cs {dot} berkeley {dot} edu PGP key Resume (or in PDF ) Research Statement (or in PDF ) I am a gradua |
Keywords | N/A |
WebSite | scottmcpeak.com |
Host IP | 104.245.16.202 |
Location | United States |
Site | Rank |
US$2,535,552
Last updated: 2023-05-14 08:30:14
scottmcpeak.com has Semrush global rank of 4,174,360. scottmcpeak.com has an estimated worth of US$ 2,535,552, based on its estimated Ads revenue. scottmcpeak.com receives approximately 292,564 unique visitors each day. Its web server is located in United States, with IP address 104.245.16.202. According to SiteAdvisor, scottmcpeak.com is safe to visit. |
Purchase/Sale Value | US$2,535,552 |
Daily Ads Revenue | US$2,341 |
Monthly Ads Revenue | US$70,216 |
Yearly Ads Revenue | US$842,584 |
Daily Unique Visitors | 19,505 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
scottmcpeak.com. | A | 14400 | IP: 104.245.16.202 |
scottmcpeak.com. | NS | 86400 | NS Record: ns1.securednshost.com. |
scottmcpeak.com. | NS | 86400 | NS Record: ns.securednshost.com. |
scottmcpeak.com. | MX | 14400 | MX Record: 0 scottmcpeak.com. |
scottmcpeak.com. | TXT | 14400 | TXT Record: v=spf1 +a +mx +ip4:54.202.181.118 ~all |
Scott McPeak 565 Soda Hall 510-642-9542 smcpeak {at} cs {dot} berkeley {dot} edu PGP key Resume (or in PDF ) Research Statement (or in PDF ) I am a graduate student in Computer Science at UC Berkeley. My advisor is George Necula . My research focus is on program verification with formal methods, in particular verifying pointer-intensive programs written in unsafe languages like C. I also dabble in parsing and run-time safety checking, and am interested in software engineering and security. Verifier I am working on building a program verifier for C programs. An initial release is here: verifier-2005.07.05.tar.gz . To build and test it, say: ./configure && make && cd verifier && ./regrtest This release has not had much portability testing yet. Some tests require the Simplify theorem prover, which can be obtained as part of the ESC/Java distribution. My work is closely related to that of Greg Nelson; since his thesis was nontrivial to find, I’ve scanned and posted it (with permission): |
HTTP/1.1 200 OK Date: Thu, 23 Dec 2021 03:08:32 GMT Server: Apache Last-Modified: Mon, 15 Jan 2007 02:24:09 GMT Accept-Ranges: bytes Content-Length: 6607 Content-Type: text/html |
Domain Name: SCOTTMCPEAK.COM Registry Domain ID: 704930406_DOMAIN_COM-VRSN Registrar WHOIS Server: whois.tucows.com Registrar URL: http://www.tucows.com Updated Date: 2018-04-09T20:24:54Z Creation Date: 2006-12-11T03:29:08Z Registry Expiry Date: 2026-12-11T03:29:08Z Registrar: Tucows Domains Inc. Registrar IANA ID: 69 Registrar Abuse Contact Email: domainabuse@tucows.com Registrar Abuse Contact Phone: +1.4165350123 Domain Status: ok https://icann.org/epp#ok Name Server: DNS1.PENGUINHOST.NET Name Server: DNS2.PENGUINHOST.NET DNSSEC: unsigned >>> Last update of whois database: 2021-12-26T08:36:39Z <<< |