Ihor Kuz

Ihor Kuz

Commonwealth Scientific and Industrial Research Organization - Canberra / Australia
Engineering & Technology / Computer Science
AD Scientific Index ID: 4396900
person_outline Ihor Kuz's MOST POPULAR ARTICLES
1-) Automatic device driver synthesis with TermiteL Ryzhyk, P Chubb, I Kuz, E Le Sueur, G HeiserProceedings of the ACM SIGOPS 22nd symposium on Operating systems principles …, 20091502009
2-) The distributed ASCI supercomputer projectH Bal, R Bhoedjang, R Hofman, C Jacobs, T Kielmann, J Maassen, ...ACM SIGOPS Operating Systems Review 34 (4), 76-96, 20001462000
3-) Dingo: Taming device driversL Ryzhyk, P Chubb, I Kuz, G HeiserProceedings of the 4th ACM European conference on Computer systems, 275-288, 20091372009
4-) Towards trustworthy computing systems: taking microkernels to the next levelG Heiser, K Elphinstone, I Kuz, G Klein, SM PettersACM SIGOPS Operating Systems Review 41 (4), 3-11, 20071402007
5-) CAmkES: A component model for secure microkernel-based embedded systemsI Kuz, Y Liu, I Gorton, G HeiserJournal of Systems and Software 80 (5), 687-699, 20071132007