Automatic device driver synthesis with termite - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Leonid Ryzhyk' in GoogleThis author has not been identified. Look up 'Peter Chubb' in GoogleThis author has not been identified. Look up 'Ihor Kuz' in GoogleThis author has not been identified. Look up 'Etienne Le Sueur' in GoogleThis author has not been identified. Look up 'Gernot Heiser' in Google

runs on WebDSL