Leonid Ryzhyk
Conjoint Lecturer
| Office | L5 NICTA |
|---|---|
|
|
| School of Computer Science and Engineering The University of New South Wales Sydney 2052, Australia |
Update your CSE Profile or your Publications in myCSE.
Publications
|
The case for active device drivers
L Ryzhyk, Y Zhu, G Heiser, APSys 2010: First ACM Asia-Pacific Workshop on Systems, . ACM, New York, NY, USA, 2010 |
|
Improvded device driver reliability through verification reuse
L Ryzhyk, J Keys, B Mirla, A Raghunath, M Vij, M Vij, M Vij, G Heiser, Proceedings of the Sixth international conference on Hot topics in system dependability, . ACM, ACM digital library, 2010 |
|
Dingo: Taming device drivers
L Ryzhyk, P Chubb, I Kuz, G Heiser, PROCEEDINGS OF EUROSYS 2009, . ACM, 2009 |
|
Automatic Device Driver Synthesis with Termite
L Ryzhyk, P Chubb, I Kuz, G Heiser, E LeSueur, Proceedings of SOSP`09, J Matthews, T. Anderson. ACM, 2009 |
|
Reliable Device Drivers Require Well-Defined Protocols
L Ryzhyk, T Bourke, I Kuz, 37th annual IEEE/IFIP conference on dependable systems and networks, Supplemented volume, . IEEE computer society, Los Alamitos, CA, USA, 2007, pages pp. 70 - 75 - |
Update your CSE Profile or your Publications in myCSE.