Automatic generation of device drivers. - Qing-Li Zhang; Ming-Yuan Zhu; Shuo-Ying Chen (ACM SIGPLAN Notices, 2003)

New Approach for Device Driver Development - Devil+ Language. - Yingxi Yu; Ming-Yuan Zhu; Shuo-Ying Chen (ICESS, 2004)