photo  

Leonid Ryzhyk

PhD student at the
School of Computer Science and Engineering,
University of New South Wales

Member of the
Embedded, Real-Time and Operating Systems program
of National ICT Australia

CV

Contact Information

Physical: Office 6.21, Level 6
NICTA Neville Roach Laboratory
223 Anzac Parade
Kensington NSW 2052
Australia
E-mail: leonidr@cse.unsw.edu.au
Phone: +61 2 8306 0574
+61 4 0451 3744

Research

My research interests include microkernel-based systems, operating system reliability, formal methods and their application to operating systems.

The goal of my current research is to develop algorithms and tools for automatic synthesis of device drivers based on Hardware Description Language (HDL) specification of the device. This approach will dramatically reduce the number of software faults in drivers and thus improve the overall operating system reliability.

Publications

Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur and Gernot Heiser Automatic Device Driver Synthesis with Termite Proceedings of SOSP 2009, Big Sky, MT, USA, October, 2009 [to appear]
Leonid Ryzhyk, Peter Chubb, Ihor Kuz and Gernot Heiser Dingo: Taming Device Drivers Proceedings of EuroSys 2009, Nuremberg, Germany, April, 2009 [PDF]
Leonid Ryzhyk, Ihor Kuz and Gernot Heiser Formalising device driver interfaces Proceedings of the 4th Workshop on Programming Languages and Operating Systems, Stevenson, Washington, USA, October, 2007 [PDF]
Leonid Ryzhyk, Timothy Bourke and Ihor Kuz Reliable device drivers require well-defined protocols Proceedings of the 3rd Workshop on Hot Topics in System Dependability, Edinburgh, UK, June, 2007 [PDF]
Leonid Ryzhyk and Ihor Kuz Towards operating system support for application-specific fault-tolerance protocols Proceedings of the 2nd International Workshop on Object Systems and Software Architectures , Victor Harbor, South Australia, Australia, January, 2006 [PDF]

Personal