@inproceedings{WatchdogHotOS2019,
  author = {Lou, Chang and Huang, Peng and Smith, Scott},
  title = {Comprehensive and Efficient Runtime Checking in System Software through Watchdogs},
  booktitle = {Proceedings of the 17th Workshop on Hot Topics in Operating Systems},
  series = {HotOS '19},
  month = {May},
  year = {2019},
  isbn = {978-1-4503-6727-1/19/05},
  location = {Bertinoro, Italy},
  numpages = {7},
  url = {https://doi.org/10.1145/3317550.3321440},
  doi = {10.1145/3317550.3321440},
  publisher = {ACM},
  address = {New York, NY, USA},
  keywords = {gray failure, failure detector, watchdog, program reduction},
}