1. Soares, L., & Stumm, M. (2010, October). FlexSC: flexible system call scheduling with exception-less system calls. In Proceedings of the 9th USENIX conference on Operating systems design and implementation (pp. 33--46). USENIX Association.
2. Soares, L., & Stumm, M. (2011, June). Exception-Less System Calls for Event-Driven Servers. In USENIX Annual Technical Conference (Vol. 10).
3. Dong, Y., Li, S., Mallick, A., Nakajima, J., Tian, K., Xu, X., ... & Yu, W. (2006). Extending Xen with Intel Virtualization Technology. Intel Technology Journal, 10(3).
4. Dong, Y., Yang, X., Li, J., Liao, G., Tian, K., & Guan, H. (2012). High performance network virtualization with SR-IOV. Journal of Parallel and Distributed Computing, 72(11), 1471--1480.
5. Nikolaev, R., & Back, G. (2013, November). VirtuOS: an operating system with kernel virtualization. In Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles (pp. 116--132). ACM.