@inproceedings{amit2015validating,
  title = {Validating Virtual CPUs},
  author = {Amit, Nadav and Tsafrir, Dan and Schuster, Assaf and Ayoub, Ahmad and Shlomo, Eran},
  booktitle = {ACM Symposium on Operating Systems Principles (SOSP)},
  year = {2015},
  note = {(acceptance rate: 16%)},
  doi = {10.1145/2815400.2815420}
}