MultiNyx: a multi-level abstraction framework for systematic analysis of hypervisors.

Pedro Fonseca, Xi Wang, Arvind Krishnamurthy

Browse the full EuroSys paper archive.