Ihor Kuz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
11
Active years
1998–2015
Best venue rank
A*
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | EDCC | Composing Patterns to Construct Secure Systems. | Paul Rimba, Liming Zhu, Len Bass, Ihor Kuz, Steve Reeves |
| 2015 | FM | Automated Verification of RPC Stub Code. | Matthew Fernandez, June Andronick, Gerwin Klein, Ihor Kuz |
| 2013 | SOSP | Towards a verified component platform. | Matthew Fernandez, Ihor Kuz, Gerwin Klein, June Andronick |
| 2012 | ICSE | Welcome message of the chairs. | He Zhang, Liming Zhu, Ihor Kuz |
| 2011 | HotOS | Multicore OS Benchmarks: We Can Do Better. | Ihor Kuz, Zachary R. Anderson, Pravin Shinde |
| 2010 | CCS | The road to trustworthy systems. | Gernot Heiser, June Andronick, Kevin Elphinstone, Gerwin Klein, Ihor Kuz, Leonid Ryzhyk |
| 2010 | SIGCOMM | Architecture optimisation with Currawong. | Nicholas Fitzroy-Dale, Ihor Kuz, Gernot Heiser |
| 2010 | SIGCOMM | capDL: a language for describing capability-based systems. | Ihor Kuz, Gerwin Klein, Corey Lewis, Adam Walker |
| 2009 | EuroSys | Towards automatic performance optimisation of componentised systems. | Nicholas Fitzroy-Dale, Ihor Kuz |
| 2009 | EuroSys | Dingo: taming device drivers. | Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Gernot Heiser |
| 2009 | SOSP | Automatic device driver synthesis with termite. | Leonid Ryzhyk, Peter Chubb, Ihor Kuz, Etienne Le Sueur, Gernot Heiser |
| 2007 | SOSP | Formalising device driver interfaces. | Leonid Ryzhyk, Ihor Kuz, Gernot Heiser |
| 2006 | CCGRID | Adapting Distributed Shared Memory Applications in Diverse Environments. | Daniel Potts, Ihor Kuz |
| 2000 | USENIX | The Globe Distribution Network. | Arno Bakker, E. Amade, Gerco Ballintijn, Ihor Kuz, Patrick Verkaik, I. van der Wijk, Maarten van Steen, Andrew S. Tanenbaum |
| 1998 | ICDCS | A Framework for Consistent, Replicated Web Objects. | Anne-Marie Kermarrec, Ihor Kuz, Maarten van Steen, Andrew S. Tanenbaum |