Biography

On January 2011 I began working for Google as a software engineer at the Madison office. Before that I was apost-doctoral associate in the Department of Computer Science at Purdue University working with Professor Suresh Jagannathan.

I completed my Ph.D. in Computer Science in August of 2009. I was advised by Professor Thomas Reps.

  • Static Verification of Data-Consistency Properties.
    Tech. Report TR-1665, Computer Sciences Department, University of Wisconsin, Madison WI, August 2009. [abstract; pdf ]

Check out the Weighted Pushdown Systems page.

Here is my CV (September, 2010).

Publications

Publications

Conference Publications

Invited Papers

Technical Reports

Software

C++

  • WALi - a Weighted Pushdown System library that is used at the University of Wisconsin for program analysis. This is a rewrite if WPDS++ that removes the use of templates in favor of inheritance. WALi is used as the underlying WPDS implementation in the CPDS model checker. This model checker has been used to discover a bug in a model of a Windows NT Bluetooth driver.
  • WPDS++ - a Weighted Pushdown System library that is used at the University of Wisconsin for program analysis. WPDS++ is used in the CodeSurfer/x86 system that is codeveloped at the University of Wisconsin and GrammaTech, Inc.
Powered by Caml
  • dot2html.ml - Simple OCaml script that translates a dot file into a client-side image map, gif file, and html file.
    • ocaml str.cma dot2html file.dot

Python

  • JobMonitor - a python class that runs a shell command and reports the time, memory usage, and return code. All of the code is pieced together from various places online (e.g., the python recipe); however, I wanted something that was simple and aggregrated it all together.
    • Shell Job :
      (cmd,rcode,time,mem) = jobmonitor.RunJob('[[ shell command ]]')
    • Non-Shell :
      (cmd,rcode,time,mem) = jobmonitor.RunJob([args,list],shell=False,timeout=XXX,stdout=o,stderr=e)

Menu

Nicholas Kidd : <kidd@cs.wisc.edu>