Yanjin Zhu

According to our database1, Yanjin Zhu authored at least 4 papers between 2010 and 2014.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2014
Automatic verification of active device drivers.
ACM SIGOPS Oper. Syst. Rev., 2014

2012
Automatic Verification of Message-Based Device Drivers
Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012

2011
Static analysis of device drivers: we can do better!
Proceedings of the APSys '11 Asia Pacific Workshop on Systems, 2011

2010
The case for active device drivers.
Proceedings of the 1st ACM SIGCOMM Asia-Pacific Workshop on Systems, 2010


  Loading...