Ihor's Publications

• Ihor Kuz, Liming Zhu, Len Bass, Mark Staples and Xiwei Xu
  An architectural approach for cost effective trustworthy systems
  Proceedings of the 10th IEEE/IFIP Working Conference on Software Architecture (WICSA), Helsinki, Finland, August, 2012
• Ihor Kuz, Zachary Anderson, Pravin Shinde and Timothy Roscoe
  Multicore OS benchmarks: we can do better
  Proceedings of the 13th Workshop on Hot Topics in Operating Systems, Napa, CA, USA, May, 2011
• Nicholas FitzRoy-Dale, Ihor Kuz and Gernot Heiser
  Architecture optimisation with Currawong
  Proceedings of the 1st Asia-Pacific Workshop on Systems, New Delhi, India, August, 2010
• Ihor Kuz, Gerwin Klein, Corey Lewis and Adam Walker
  capDL: A language for describing capability-based systems
  Proceedings of the 1st Asia-Pacific Workshop on Systems, New Delhi, India, August, 2010
• 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
• 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
  Operating Systems Review, 41(3), (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 (Preprint)
  Journal of Systems and Software Special Edition on Component-Based Software Engineering of Trustworthy Embedded Systems, 80(5), 687699, (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.
• B. Popescu, J. Sacha, M. van Steen, B. Crispo, A.S. Tanenbaum and I. Kuz
  Securely Replicated Web Documents
  Proc. IEEE 19th International Parallel & Distributed Processing Symposium, Denver, CO, USA, April 2005.
  [postcript.gz]
• 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

• I. Kuz, M. van Steen, H.J. Sips
  The Globe Infrastructure Directory Service. (preprint)
  Computer Communications vol. 25(9), June 2002, pp. 835-845.
  [poscript]

• G. Pierre, I. Kuz, M. van Steen, A.S. Tanenbaum
  Differentiated Strategies for Replicating Web Documents.
  Computer Communications vol. 24(2), February 2001, pp. 232-240.
  [postscript]

• I. Kuz, P. Verkaik, M. van Steen, H,J, Sips
  A Distributed-Object Infrastructure for Corporate Websites.
  Proc. IEEE Distributed Objects and Applications (DOA'00), Antwerp, September 2000, pp. 165-176.
  [postscript]

• A. Bakker, E. Amade, G. Ballintijn, I. Kuz, P. Verkaik, I. van der Wijk, M. van Steen, A.S. Tanenbaum
  The Globe Distribution Network.
  Proc. 2000 USENIX Annual Conf. (FREENIX Track), San Diego, June 18-23, 2000, pp. 141-152.
  [postscript]

• M. van Steen, A.S. Tanenbaum, I. Kuz, and H.J. Sips
  A Scalable Middleware Solution for Advanced Wide-Area Web Services.
  Distributed Systems Engineering, vol. 6(1), March 1999, pp.34-42.
  [postscript]

• A.-M. Kermarrec, I. Kuz, M. van Steen, and A.S. Tanenbaum
  Towards Scalable Web Documents.
  Technical Report IR-452, October 1998.
  [postscript]

• M. van Steen, A.S. Tanenbaum, I. Kuz, and H.J. Sips
  A Scalable Middleware Solution for Advanced Wide-Area Web Services.
  Proc. Middleware '98, The Lake District, UK, Sept. 1998.
  [postscript]

• I. Kuz, A.M. Kermarrec, M. van Steen, and H.J. Sips.
  Replicated Web Objects: Design and Implementation.
  Proc. Fourth Annual ASCI Conf., Lommel, Belgium, June 1998.
  [postscript]

• A.M. Kermarrec, I. Kuz, M. van Steen, and A.S. Tanenbaum.
  A Framework for Consistent, Replicated Web Objects.
  Proc. 18th Int'l. Conf. on Distributed Computings Systems, Amsterdam, May 1998.
  [postscript]

• A. Bakker, I. Kuz and M. van Steen.
  Towards a Taxonomy of Distributed-Object Models
  Proc. Third Annual ASCI Conf., Heijen, The Netherlands, June 1997.
  [postscript]

my Ph.D. thesis:

• An Approach to A Scalable Wide-Area Web Service

and my Masters thesis:

• A Framework for Describing Distributed Object Models