Dave King I defended my PhD thesis ("Retrofitting Programs for Complete Security Mediation") in August 2009 and will be beginning a developer job for Rackspace's Email and Applications Division in Blacksburg, VA.

Older Stuff of Interest:

  • My Publications
  • Personal Information
  • The Story of Byron the Bulb
  • Links
    • http://www.suck.com/daily/1998/03/18/

    After taking legal advice I decided not to quote any of the authors directly. The alternative was to write some letters saying in effect: "I'm sorry we couldn't publish your paper as a contribution to logic. Can I please publish parts of it as examples of garbage?" -- Wilfrid Hodges
    Dave King