Non-Preemptive Robustness under Reduced System Load. - Aloysius K. Mok; Wing-Chi Poon (RTSS, 2005)

Necessary and Sufficient Conditions for Non-preemptive Robustness. - Wing-Chi Poon; Aloysius K. Mok (RTCSA, 2010)

Improving the Latency of VMExit Forwarding in Recursive Virtualization for the x86 Architecture. - Wing-Chi Poon; Aloysius K. Mok (HICSS, 2012)