John Whaley


Latest news: You can find the slides from my PLDI tutorial here: (ppt)

I am a researcher in the (broad) area of software systems. The goal of my research is to help people build better (faster, simpler, more reliable) software. Most of my research has been in the areas of compilers, program analysis, software engineering, and virtual machines. More specifically, I am interested in dynamic compilation, optimization of object-oriented languages, and pointer analysis. I am also interested in using program analysis to automatically identify and fix software flaws, such as buffer overruns and misuse of interfaces, and in improving programmer productivity through the use of software tools.

I am one of the founders of moka5. moka5 is devoted to the mission of making PCs easier to manage and use. We have a radical solution to completely solve the desktop PC management problems of malware, virus infections, patching, updates, migration, etc. Download our free LivePC Engine, which allows to run LivePCs: maintained computing environments that automatically reset to a pristine copy of the latest version on every reboot. You can install the LivePC Engine on a portable storage device and take your computer wherever you go. You can also share LivePCs over the web. We have a directory of community-maintained LivePCs on our website that you can download and start using right away.

I received my Ph.D. in 2007 from Stanford University, working under the tutelage of Monica Lam in the SUIF group. From 2005 to 2007, I took a leave of absence from Stanford to help found moka5. I graduated from MIT in 1999 with a Bachelors in Computer Science and a Masters in Electrical Engineering and Computer Science. At MIT, I was working mostly with Martin Rinard. From 1999-2000, I was working at IBM Tokyo Research Lab on their Java JIT compiler.

I designed and wrote the open source Joeq virtual machine and compiler infrastructure, used by many researchers throughout the world and as the basis for the compilers course at Stanford. I also created bddbddb, a powerful BDD-based program analysis tool with a very silly name.

Curriculum Vitae: (pdf) (ps) (doc) (html)

Open source projects:

Publications:


Last modified: April 1, 2007. This page has been viewed times.