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 thesis project is to build a highly reliable device driver framework. The idea is to use formal specifications of driver interfaces in the form of labelled transition systems as a basis for static verification, runtime failure detection and recovery.

Publications

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