システム系論文紹介 Advent Calendar 2014の7日目の記事です。 論文概要 タイトル: User-guided device driver synthesis 著者:Leonid Ryzhyk, Adam Walker, John Keys, Alexander Legg, Arun Raghunath, Michael Stumm, Mona Vij 会議:11th USENIX Symposium on Operating Systems Design and Implementation URL: https://www.usenix.org/system/files/conference/osdi14/osdi14-paper-ryzhyk.pdf デバイスドライバをユーザーが指示を出しつつ半自動でデバイスドライバを合成するツールTermiteというものを提案してい