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