ESA/390 interpretive-execution architecture, foundation for VM/ESA

VM/ESA: a single system for centralized and distributed computing

IBM Systems Journal

VM data spaces and ESA/XC facilities

IBM Systems Journal

A comparison of software and hardware techniques for x86 virtualization

Proceedings of the 12th international conference on Architectural support for programming languages and operating systems

Architecture and software support in IBM S/390 parallel enterprise servers for IEEE floating-point arithmetic

IBM Journal of Research and Development

The evolution of an x86 virtual machine monitor

ACM SIGOPS Operating Systems Review

The turtles project: design and implementation of nested virtualization

OSDI'10 Proceedings of the 9th USENIX conference on Operating systems design and implementation

Facing the challenge of new design features: an effective verification approach

Proceedings of the 48th Design Automation Conference

Software techniques for avoiding hardware virtualization exits

USENIX ATC'12 Proceedings of the 2012 USENIX conference on Annual Technical Conference

Dune: safe user-level access to privileged CPU features

OSDI'12 Proceedings of the 10th USENIX conference on Operating Systems Design and Implementation