The nonkernel: a kernel designed for the cloud. - Muli Ben-Yehuda; Omer Peleg; Orna Agmon Ben-Yehuda; Igor Smolyar; Dan Tsafrir (APSys, 2013)

Utilizing the IOMMU Scalably. - Omer Peleg; Adam Morrison 001; Benjamin Serebrin; Dan Tsafrir (USENIX ATC, 2015)