Synthesizing Device Drivers with Ghost Writer.

Bingyao Wang, Sepehr Noorafshan, Reto Achermann, Margo I. Seltzer

Browse the full PLOS paper archive.