Boris Feigin Alan Mycroft Jones optimality and hardware virtualization: a report on work in progress. 169-175 2008 PEPM http://doi.acm.org/10.1145/1328408.1328433 conf/pepm/2008 db/conf/pepm/pepm2008.html#FeiginM08