Mikhail Kovalev

Store Buffer Reduction with MMUs : Complete Paper-and-pencil Proof

Ernie Cohen, Geng Chen, Mikhail Kovalev, 2013 .

TLB virtualization in the context of hypervisor verification

Mikhail Kovalev, Mikhail Kovalev, 2013 .