photo  

Leonid Ryzhyk

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

Conjoint lecturer,
School of Computer Science and Engineering,
University of New South Wales

CV

Contact Information

Physical: Office 625, Level 6
NICTA Neville Roach Laboratory
223 Anzac Parade
Kensington NSW 2052
Australia
E-mail: leonidr@cse.unsw.edu.au
GPG key Fingerprint: F065 3B03 1724 6C55 34F1 666B 1194 50D9 FD27 C23E
Phone: +61 2 8306 0574
+61 4 0451 3744

Research

I am interested in microkernel-based systems, operating system reliability, formal methods and their application to operating systems.

I am currently working on four projects:

  • Termite: Automatic device driver synthesis
  • Dingo: A new device-driver architecture for improved reliability
  • Hardware/software co-verification: integrating driver development and testing in the hardware design and verification workflow
  • Bilby: automatic verification and synthesis of file systems

Publications

Pavol Cerny, Thomas Henzinger, Arjun Radhakrishna, Leonid Ryzhyk and Thorsten Tarrach Efficient Synthesis for Concurrency using Semantics-Preserving Transformations Proceedings of CAV 2013 Saint Petersburg, Russia, July 2013 [PDF]
Sidney Amani, Peter Chubb, Alastair Donaldson, Alexander Legg, Leonid Ryzhyk and Yanjin Zhu Automatic Verification of Message-Based Device Drivers Proceedings of SSV 2012 Sydney, Australia, November 2012 [PDF]
Sidney Amani, Peter Chubb, Alastair Donaldson, Alexander Legg, Leonid Ryzhyk and Yanjin Zhu Active Device Drivers NICTA Technical Report [PDF]
Sidney Amani, Leonid Ryzhyk, Alastair Donaldson, Gernot Heiser, Alexander Legg and Yanjin Zhu Static analysis of device drivers: we can do better! Proceedings of ApSys 2011 Shanghai, China
Gernot Heiser, Leonid Ryzhyk, Michael von Tessin, Aleksander Budzynowski What if you could actually Trust your kernel? Proceedings of HotOS 2011 Napa, CA, USA [PDF]
Leonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij and Gernot Heiser Improved Device Driver Reliability through Hardware Verification Reuse Proceedings of ASPLOS 2011 Newport Beach, California, USA, March 2011 [PDF]
Gernot Heiser, June Andronick, Kevin Elphinstone, Gerwin Klein, Ihor Kuz and Leonid Ryzhyk The Road to Trustworthy Systems Proceedings of the 5th Workshop on Scalable Trusted Computing, Chicago, IL, USA, October, 2010 [PDF]
Leonid Ryzhyk, John Keys, Balachandra Mirla, Arun Raghunath, Mona Vij and Gernot Heiser Improved Device Driver Reliability through Verification Reuse Proceedings of HotDep 2010, Vancouver, Canada, October, 2010 [PDF]
Leonid Ryzhyk, Yanjin Zhu and Gernot Heiser The Case for Active Device Drivers Proceedings of ApSys 2010, New Delhi, India, August, 2010 [PDF]
Leonid Ryzhyk On the Construction of Reliable Device Drivers PhD thesis, Sydney, Australia, January, 2010 [PDF]
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 [PDF]
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