@inproceedings{Ouyang_Heiser_95,
    address          = {Lund, Sweden},
    author           = {Jinsong Ouyang and Gernot Heiser},
    booktitle        = {Proceedings of the 4th 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}
  }