@inproceedings{Ouyang_Heiser_95,
    address          = {Lund, SE},
    author           = {Jinsong Ouyang and Gernot Heiser},
    booktitle        = {IEEE International Workshop on Object Orientation in Operating Systems (IWOOOS)},
    month            = aug,
    pages            = {191--9},
    paperurl         = {https://trustworthy.systems/publications/papers/Ouyang_Heiser_95.pdf},
    title            = {Checkpointing and Recovery for Distributed Shared Memory Applications},
    year             = {1995}
  }