@InProceedings{Tullmann+:iwooos96,
  author =       "Patrick Tullmann and Jay Lepreau and Bryan Ford
                  and Mike Hibler",
  title =        "User-level Checkpointing Through Exportable Kernel State",
  booktitle = "Proceedings of the Fifth International Workshop on Object Orientation in Operating Systems",
  year = 1996,
  month = oct,
  pages = {85--88},
  address = "Seattle, WA",
}