Scott McPeak
Title: Scott McPeak
Description: Scott McPeak 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 U is ranked 1905516 in the world (amongst the 40 million domains). A low-numbered rank means that this website gets lots of visitors. This site is relatively popular among users in the united states. It gets 50% of its traffic from the united states .This site is estimated to be worth $6,240. This site has a low Pagerank(0/10). It has 1 backlinks. has 43% seo score. Information

Website / Domain:
Website IP Address:
Domain DNS Server:, Rank

Alexa Rank: 1905516
Google Page Rank: 0/10 (Google Pagerank Has Been Closed) Traffic & Earnings

Purchase/Sale Value: $6,240
Daily Revenue: $17
Monthly Revenue $512
Yearly Revenue: $6,240
Daily Unique Visitors 1,573
Monthly Unique Visitors: 47,190
Yearly Unique Visitors: 574,145 WebSite Httpheader

StatusCode 200
Content-Type text/html
Date Fri, 29 Jul 2016 11:03:14 GMT
Server Apache/2.4.23 (Unix) OpenSSL/1.0.1e-fips mod_bwlimited/1.4 Keywords accounting

Keyword Count Percentage Traffic Sources Chart Similar Website

Domain Site Title Scott Smith - Scott Smith Scott and Scott - Home SCOTT AND SCOTT ARCHITECTS LTD Scott & Nix – Scott & Nix Scott Prince | Scott Prince Scott and Scott, LLP McPeak Company for industrial process controls, motor controls, fire pump controls, industrial oven... McPeak Vision Partners - Offering complete eye care and full optical shops in Bowling Green and Gla... McPeak ? Sirois | Recherche clinique en cancer du sein McPeak Optometry - Optometrist In Hiawatha, KS and Falls City, IA Alexa Rank History Chart aleax Html To Plain Text

Scott McPeak 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): Greg Nelson's PhD thesis. CCured CCured ("see-cured") is a source-to-source translator for C that inserts run-time checks for memory safety. The resulting program will either run normally, or it will abort due to a memory safety violation (such as a buffer overrun). We have used it to create memory-safe versions of a number of popular network server programs, such as ftpd and sshd. We therefore believe these servers to be immune to (e.g.) stack smashing attacks. CCured: Type-Safe Retrofitting of Legacy Software George C. Necula, Jeremy Condit, Matthew Harren, Scott McPeak, Westley Weimer In ACM Transactions on Programming Languages and Systems (TOPLAS), to appear, 2004 CCured in the Real World Jeremy Condit, Mathew Harren, Scott McPeak, George C. Necula, Westley Weimer In Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (PLDI03), June 2003. CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs George C. Necula, Scott McPeak, S. P. Rahul, Westley Weimer. In Proceedings of Conference on Compiler Construction (CC02), March 2002. CCured: Type-Safe Retrofitting of Legacy Code George C. Necula, Scott McPeak, Westley Weimer. In Proceedings of the 29th ACM Symposium on Principles of Programming Languages (POPL02), January 2002. Elkhound and Elsa Elkhound is a parser generator utilizing the Generalzed LR (GLR) parsing algorithm. It is an especially fast implementation, being competitive with LALR(1) implementations such as Bison for deterministic input fragments. Elsa is a C++ parser written using Elkhound and taking advantage of its support for ambiguous grammars to handle tricky aspects of C++ syntax. Elkhound: A Fast, Practical GLR Parser Generator Scott McPeak, George C. Necula. In Proceedings of Conference on Compiler Constructor (CC04), April 2004. An expanded technical report is UCB/CSSD-2-1214. SafeTP SafeTP ("safe-tee-pee") is an FTP proxy client and server that encrypts the communications between an ordinary, unmodified FTP client/server pair. The result is a secure communication session with legacy software. SafeTP is similar to a virtual private network, except it operates at the application layer instead of the network layer (so it is easier to setup and tear down, but application-specific). Miscellaneous "What is latex?", in under five minutes. I wrote up a solution for how to do secure, remote CVS access with a shared guest account but accurate per-user CVS commit info. I recently bought a Samsung ML-1430 laser printer and managed to get it working under Linux; here's how. A short note on Debugging Memory Errors in C/C++ Gnus tutorial Autodependencies with GNU make Module dependency scanner Linux on a Compaq Presario 1830 (Penguin anim ruthlessly stolen from here) Melee: a cross between Warcraft, RoboSport, and a role-playing game. Feudal C stuff I've put together some stuff on hacking emacs. A long time ago I participated in some investigation of 2-3 trees. Whois

Whois Server Version 2.0
Domain names in the .com and .net domains can now be registered
with many different competing registrars. Go to
for detailed information.
  Domain ID: 704930406
  WHOIS Server:
  Referral URL:
  Updated Date: 2015-08-07T21:37:35Z
  Creation Date: 2006-12-11T03:29:08Z
  Registry Expiry Date: 2023-12-11T03:29:08Z
  Sponsoring Registrar: Tucows Domains Inc.
  Sponsoring Registrar IANA ID: 69
  Domain Status: clientTransferProhibited
  Domain Status: clientUpdateProhibited
  DNSSEC: unsigned
>>> Last update of whois database: Thu, 12 May 2016 17:55:23 GMT <<<
For more information on Whois status codes, please visit
NOTICE: The expiration date displayed in this record is the date the
registrar's sponsorship of the domain name registration in the registry is
currently set to expire. This date does not necessarily reflect the expiration
date of the domain name registrant's agreement with the sponsoring
registrar. Users may consult the sponsoring registrar's Whois database to
view the registrar's reported date of expiration for this registration.
TERMS OF USE: You are not authorized to access or query our Whois
database through the use of electronic processes that are high-volume and
automated except as reasonably necessary to register domain names or
modify existing registrations; the Data in VeriSign Global Registry
Services' ("VeriSign") Whois database is provided by VeriSign for
information purposes only, and to assist persons in obtaining information
about or related to a domain name registration record. VeriSign does not
guarantee its accuracy. By submitting a Whois query, you agree to abide
by the following terms of use: You agree that you may use this Data only
for lawful purposes and that under no circumstances will you use this Data
to: (1) allow, enable, or otherwise support the transmission of mass
unsolicited, commercial advertising or solicitations via e-mail, telephone,
or facsimile; or (2) enable high volume, automated, electronic processes
that apply to VeriSign (or its computer systems). The compilation,
repackaging, dissemination or other use of this Data is expressly
prohibited without the prior written consent of VeriSign. You agree not to
use electronic processes that are automated and high-volume to access or
query the Whois database except as reasonably necessary to register
domain names or modify existing registrations. VeriSign reserves the right
to restrict your access to the Whois database in its sole discretion to ensure
operational stability. VeriSign may restrict or terminate your access to the
Whois database for failure to abide by these terms of use. VeriSign
reserves the right to modify these terms at any time.
The Registry database contains ONLY .COM, .NET, .EDU domains and