@inproceedings{scheduler-icfp11,
  title = "Modular verification of preemptive OS kernels",
  author = "Alexey Gotsman and Hongseok Yang",
  year = "2011",
  address = "Tokyo, Japan",
  booktitle = "Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming",
  editor = "Manuel M. T. Chakravarty and Zhenjiang Hu and Olivier Danvy",
  isbn = "978-1-4503-0865-6",
  pages = "404-417",
  publisher = "ACM",
  doi = "http://doi.acm.org/10.1145/2034773.2034827",
}