Research in the areas of distributed systems debugging,
transparent checkpointing, and time-sharing of computer
networks. Work on implementing replay debugging for the Emulab network testbed.
Hacking Xen virtual machine monitor to extend it with deterministic replay
capabilities.