@InProceedings{dahlin11toward, 
author = {M. Dahlin and R. Johnson and R. Krug and M. McCoyd and S. Ray and B. Young}, 
 title = {Toward the Verification of a Simple Hypervisor}, 
 booktitle = {10th International Workshop on the ACL2 Theorem Prover and its Applications}, 
 year = 2011 , 
 month = Nov, 
 pdf = "http://www.cs.utexas.edu/users/dahlin/papers/acl2-2011.pdf", 
 category = recent 
 }