Senior Researcher

Embedded, Real-Time, and Operating Systems

 

Research Interests

 
Ihor's research interests include operating systems and distributed systems. With regards to operating systems, he focuses on the design of flexible and modular operating systems. In distributed systems, he is interested in distributed system middleware, supporting services, and management of distributed resources.

NICTA Projects

Ihor is involved in the Trustworthy Embedded Systems (TES) project as part of the  ERTOS (embedded real-time and operating systems) group within NICTA's Embedded Systems research theme.  The goal of this project is to  develop techniques and frameworks for the design of truly secure, safe and reliable embedded systems. Ihor was also a leader of the CAmkES (component architecture for microkernel-based embedded systems) project, the goal of which is to enable the component-based design and implementation of modular, microkernel-based operating systems.  The CAmkES work continues as part of the TES project.

Career Summary

Prior to joining NICTA, Ihor spent time as a research assistant and scientific programmer at the Vrije Universiteit, Amsterdam, designing and implementing the Globe wide-area distributed system. He was also a co-founder of Smarthaven, a startup company that developed intelligent mobile-agent based web search technology.

 

Qualifications

In 1996, Ihor achieved a Masters degree in Computer Science from the Vrije Universiteit in Amsterdam, the Netherlands. Then, in 2003, he earned a PhD in Computer Science from the TU Delft in the Netherlands.

Contact

Phone:    +61 (0)2 8306 0582
Email:    ihor.kuz [at] nicta.com.au
Web:    http://www.cse.unsw.edu.au/~ikuz

 

Publications  

Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur and Gernot Heiser
Automatic device driver synthesis with Termite
Proceedings of the 22nd ACM Symposium on Operating Systems Principles, Big Sky, MT, USA, October, 2009
To appear

Nicholas FitzRoy-Dale and Ihor Kuz
Towards automatic performance optimisation of componentised systems
2nd Workshop on Isolation and Integration in Embedded Systems, Nuremberg, Germany, April, 2009

Leonid Ryzhyk, Peter Chubb, Ihor Kuz and Gernot Heiser
Dingo: Taming device drivers
Proceedings of the 4th EuroSys Conference, Nuremberg, Germany, April, 2009

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

Gernot Heiser, Kevin Elphinstone, Ihor Kuz, Gerwin Klein and Stefan M. Petters
Towards trustworthy computing systems: taking microkernels to the next level
ACM Operating Systems Review, 41(4), 3–11, (July, 2007)

Ihor Kuz and Yan Liu
Extending the capabilities of component models for embedded systems
Proceedings of the Third International Conference on the Quality of Software-Architectures (QoSA), Boston, MA, USA, July, 2007

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

Ihor Kuz, Yan Liu, Ian Gorton and Gernot Heiser
CAmkES: a component model for secure microkernel-based embedded systems
Journal of Systems and Software Special Edition on Component-Based Software Engineering of Trustworthy Embedded Systems, 80(5), 687–699, (May, 2007)

Daniel Potts and Ihor Kuz
Adapting distributed shared memory applications in diverse environments
Proceedings of the 6th International Symposium on Cluster Computing and the Grid, Singapore, May, 2006

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

Frank Engel, Gernot Heiser, Ihor Kuz, Stefan M. Petters and Sergio Ruocco
Operating systems on SoCs: a good idea?
Embedded Real-Time Systems Implementation (ERTSI 2004) Workshop, Lisbon, Portugal, December, 2004

Ihor Kuz
L4 user manual — API version X.2
June, 2004