Theory of Multicore Hypervisor Verification W. Paul Saarland University joint work with E. Cohen, S. Schmaltz….
Feb. 28, 2011 SEC Chair Report Joyce Tolliver. Administrative Review and Restructuring Working Group Appointed in Nov. 2009 by Interim Pres. Ikenberry.
OSA Update
QUEST Summer 2014