Rui Shi. Implementing reliable Linux device drivers in ATS. In Aaron Stump, Hongwei Xi, editors, Proceedings of the ACM Workshop Programming Languages meets Program Verification, PLPV 2007, Freiburg, Germany, October 5, 2007. pages 41-46, ACM, 2007. [doi]
Abstract is missing.