Synthesizing Device Drivers with Ghost Writer. - Bingyao Wang; Sepehr Noorafshan; Reto Achermann; Margo I. Seltzer (PLOS@SOSP, 2023)