Synthesizing Device Drivers with Ghost Writer.

Bingyao Wang Sepehr Noorafshan Reto Achermann Margo I. Seltzer

Published in: PLOS@SOSP (2023)

Keyphrases

car navigation
dynamic range
databases
portable devices
data acquisition
key factors
real time
machine learning
decision trees
expert systems
electronic devices
medical devices
semiconductor devices