2008 | ||
---|---|---|
2 | EE | Yu David Liu, Xiaoqi Lu, Scott F. Smith: Coqa: Concurrent Objects with Quantized Atomicity. CC 2008: 260-275 |
2006 | ||
1 | EE | Xiaoqi Lu, Scott F. Smith: A microkernel virtual machine: : building security with clear interfaces. PLAS 2006: 47-56 |
1 | Yu David Liu | [2] |
2 | Scott F. Smith | [1] [2] |