When I was a Ph.D. student in computer science I worked with Bart Miller on mobile computing systems and Paradyn.

Programs: guievict rocks ckpt and others.