Michael C. Martin greets you.

portrait Hi, and welcome to my personal home page. Most of the stuff on this page is stuff I've done or am doing. is one of two home pages, since my material is scattered between my old site at UC Berkeley (where I served on HKN and TBP's officer corps for several years) and Stanford University, where I am currently pursuing a Ph.D. degree in Computer Science.

As a researcher at Stanford, I'm mostly interested in investigating custom runtimes to efficiently track program executions for safety or program understanding purposes, instead of traditional applications such as profiling. Most of this work is being done on the Java Virtual Machine, because the JVM's bytecodes have so much metadata attached to them that you don't even need source to be able to do nifty analyses.

If you're looking for that stuff, you want to go to the academic home page.

So, without further ado...

Games

Programming

I program a lot. Here are some programming tools or essays I've written. These are mostly for ancient machines, because I went on a retrocoding kick back in 2000-2002.