A formal semantic definition of DEVIL. - Lei Luo 004; Ming-Yuan Zhu; Qing-Li Zhang (ACM SIGPLAN Notices, 2003)

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