1. Atmosphere: Towards Practical Verified Kernels in Rust;Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification;2023-10-23
2. Lightweight Capability Domains;ACM SIGOPS Operating Systems Review;2016-01-20
3. Lightweight capability domains;Proceedings of the 8th Workshop on Programming Languages and Operating Systems;2015-10-04
4. AdaptIDC: Adaptive inter-domain communication in virtualized environments;Computers & Electrical Engineering;2013-10
5. PipesFS;ACM SIGOPS Operating Systems Review;2008-07