Qing-Li Zhang

According to our database, Qing-Li Zhang authored at least 2 papers in 2003.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2003

Automatic generation of device drivers.

Qing-Li Zhang, Ming-Yuan Zhu, Shuo-Ying Chen

ACM SIGPLAN Notices, 2003

A formal semantic definition of DEVIL.

Lei Luo, Ming-Yuan Zhu, Qing-Li Zhang

ACM SIGPLAN Notices, 2003