2. APSys 2011: Shanghai, China

Kernel

• Bernard Blackham, Yao Shi, Gernot Heiser:
  Protected hard real-time: the next frontier. 1
  
• Ashif S. Harji, Peter A. Buhr, Tim Brecht:
  Our troubles with Linux and why you should care. 2
  
• Liang Gu, Alexander Vaynberg, Bryan Ford, Zhong Shao, David Costanzo:
  CertiKOS: a certified kernel for secure cloud computing. 3
  
• Junghyun Kim, Sangmin Seo, Jaejin Lee:
  An efficient software shared virtual memory for the single-chip cloud computer. 4
  
• Haogang Chen, Yandong Mao, Xi Wang, Dong Zhou, Nickolai Zeldovich, M. Frans Kaashoek:
  Linux kernel vulnerabilities: state-of-the-art defenses and open problems. 5
  

Reliability and security

• Liwei Yuan, Weichao Xing, Haibo Chen, Binyu Zang:
  Security breaches as PMU deviation: detecting and identifying security attacks using performance counters. 6
  
• Yu Zhang, Bryan Ford:
  A virtual memory foundation for scalable deterministic parallelism. 7
  
• Sidney Amani, Leonid Ryzhyk, Alastair F. Donaldson, Gernot Heiser, Alexander Legg, Yanjin Zhu:
  Static analysis of device drivers: we can do better! 8
  
• Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek:
  Retroactive auditing. 9
  
• Cheng Zhang, Zhenyu Guo, Ming Wu, Longwen Lu, Yu Fan, Jianjun Zhao, Zheng Zhang:
  AutoLog: facing log redundancy and insufficiency. 10
  

Virtualization

• Prashant Varanasi, Gernot Heiser:
  Hardware-supported virtualization on ARM. 11
  
• Hiroshi Yamada, Kenji Kono:
  Traveling forward in time to newer operating systems using ShadowReboot. 12
  
• Miao Yu, Qian Lin, Bingyu Li, Zhengwei Qi, Haibing Guan:
  Vis: virtualization enhanced live acquisition for native system. 13
  
• See-hwan Yoo, Kuen-Hwan Kwak, Jae-Hyun Jo, Chuck Yoo:
  Toward under-millisecond I/O latency in Xen-ARM. 14
  

Cloud computing and data center

• Mingliang Liu, Jidong Zhai, Yan Zhai, Xiaosong Ma, Wenguang Chen:
  One optimized I/O configuration per HPC application: leveraging the configurability of cloud. 15
  
• Jinghao Shi, Mingyuan Xia, Ming Wu, Lintao Zhang, Zheng Zhang:
  SLIM: Mmap from the cloud to device, and back. 16
  
• Animesh Trivedi, Bernard Metzler, Patrick Stuedi:
  A case for RDMA in clouds: turning supercomputer networking into commodity. 17
  
• Jean-Philippe Martin, Christopher J. Rossbach, Michael Isard:
  SPECTRE: speculation to hide communication latency. 18
  
• Qin Yin, Timothy Roscoe:
  A better way to negotiate for testbed resources. 19
  

Last update Thu May 23 16:23:47 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page