Abstract is missing.
- Protected hard real-time: the next frontierBernard Blackham, Yao Shi, Gernot Heiser. 1 [doi]
- Our troubles with Linux and why you should careAshif S. Harji, Peter A. Buhr, Tim Brecht. 2 [doi]
- CertiKOS: a certified kernel for secure cloud computingLiang Gu, Alexander Vaynberg, Bryan Ford, Zhong Shao, David Costanzo. 3 [doi]
- An efficient software shared virtual memory for the single-chip cloud computerJunghyun Kim, Sangmin Seo, Jaejin Lee. 4 [doi]
- Linux kernel vulnerabilities: state-of-the-art defenses and open problemsHaogang Chen, Yandong Mao, Xi Wang, Dong Zhou, Nickolai Zeldovich, M. Frans Kaashoek. 5 [doi]
- Security breaches as PMU deviation: detecting and identifying security attacks using performance countersLiwei Yuan, Weichao Xing, Haibo Chen, Binyu Zang. 6 [doi]
- A virtual memory foundation for scalable deterministic parallelismYu Zhang, Bryan Ford. 7 [doi]
- Static analysis of device drivers: we can do better!Sidney Amani, Leonid Ryzhyk, Alastair F. Donaldson, Gernot Heiser, Alexander Legg, Yanjin Zhu. 8 [doi]
- Retroactive auditingXi Wang, Nickolai Zeldovich, M. Frans Kaashoek. 9 [doi]
- AutoLog: facing log redundancy and insufficiencyCheng Zhang, Zhenyu Guo, Ming Wu, Longwen Lu, Yu Fan, Jianjun Zhao, Zheng Zhang. 10 [doi]
- Hardware-supported virtualization on ARMPrashant Varanasi, Gernot Heiser. 11 [doi]
- Traveling forward in time to newer operating systems using ShadowRebootHiroshi Yamada, Kenji Kono. 12 [doi]
- Vis: virtualization enhanced live acquisition for native systemMiao Yu, Qian Lin, Bingyu Li, Zhengwei Qi, Haibing Guan. 13 [doi]
- Toward under-millisecond I/O latency in Xen-ARMSee-hwan Yoo, Kuen-Hwan Kwak, Jae-Hyun Jo, Chuck Yoo. 14 [doi]
- One optimized I/O configuration per HPC application: leveraging the configurability of cloudMingliang Liu, Jidong Zhai, Yan Zhai, Xiaosong Ma, Wenguang Chen. 15 [doi]
- SLIM: Mmap from the cloud to device, and backJinghao Shi, Mingyuan Xia, Ming Wu, Lintao Zhang, Zheng Zhang. 16 [doi]
- A case for RDMA in clouds: turning supercomputer networking into commodityAnimesh Trivedi, Bernard Metzler, Patrick Stuedi. 17 [doi]
- SPECTRE: speculation to hide communication latencyJean-Philippe Martin, Christopher J. Rossbach, Michael Isard. 18 [doi]
- A better way to negotiate for testbed resourcesQin Yin, Timothy Roscoe. 19 [doi]