Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, Gernot Heiser. Automatic device driver synthesis with termite. In Jeanna Neefe Matthews, Thomas E. Anderson, editors, Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, SOSP 2009, Big Sky, Montana, USA, October 11-14, 2009. pages 73-86, ACM, 2009. [doi]
Abstract is missing.