APSys2011

July 10th (Sunday)

July 11th (Monday)

Kai Li Kai Li is a Paul M. Wythes '55, P'86 and Marcia R. Wythes P'86 Professor at Princeton University, where he worked as a faculty member since 1986. Before joining Princeton University, he received his Ph.D. degree from Yale University, M.S. degree from University of Science and Technology of China, Chinese Academy of Sciences, and B.S. degree from Jilin University. His research expertise is in building parallel and distributed systems, deduplication storage systems, and data analysis and search for large feature-rich datasets. He is an ACM fellow and an IEEE fellow. In 2001, he co-founded Data Domain, Inc., serving in roles as the initial CEO, CTO and Chief Scientist.

Protected Hard Real-time: The Next Frontier

Bernard Blackham, Yao Shi, and Gernot Heiser (NICTA and University of New South Wales) (PDF download)

Our Troubles with Linux and Why You Should Care

Ashi S. Harji, Peter A. Buhr, and Tim Brecht (University of Waterloo)

CertiKOS: A Certified Kernel for Secure Cloud Computing

Liang Gu, Alexander Vaynberg, Bryan Ford, Zhong Shao, and David Costanzo (Yale University)

An Efficient Software Shared Virtual Memory for the Single-chip Cloud Computer

Junghyun Kim, Sangmin Seo, and Jaejin Lee (Seoul National University)

Linux kernel vulnerabilities: State-of-the-art defenses and open problems

Haogang Chen, Yandong Mao, and Xi Wang (MIT CSAIL), Dong Zhou (Tsinghua University), and Nickolai Zeldovich and M. Frans Kaashoek (MIT CSAIL)

Security Breaches as PMU Deviation: Detecting and Identifying Security Attacks Using Performance Counters

Liwei Yuan, Weichao Xing, Haibo Chen, and Binyu Zang (Parallel Processing Institute, Fudan University)

A Virtual Memory Foundation for Deterministic Message Passing

Yu Zhang (University of Science and Technology of China) and Bryan Ford (Yale University)

Static Analysis of Device Drivers: We Can Do Better!

Sidney Amani and Leonid Ryzhyk (NICTA and UNSW), Alastair Donaldson (University of Oxford), and Gernot Heiser, Alexander Legg, and Yanjin Zhu (NICTA and UNSW)

Retroactive Auditing

Xi Wang, Nickolai Zeldovich, and M. Frans Kaashoek (MIT CSAIL)

AutoLog: Facing Log Redundancy and Insufficiency

Cheng Zhang (Shanghai Jiao Tong University), Zhenyu Guo and Ming Wu (Microsoft Research Asia), Longwen Lu, Yu Fan, and Jianjun Zhao (Shanghai Jiao Tong University), and Zheng Zhang (Microsoft Research Asia)

Hardware-Supported Virtualization on ARM

Prashant Varanasi and Gernot Heiser (NICTA, UNSW, Open Kernel Lab)

Traveling Forward in Time to Newer Operating Systems using ShadowReboot

Hiroshi Yamada (Keio University, JST CREST) and Kenji Kono (Keio Univerisyt, JST CREST)

Vis: Virtualization Enhanced Live Acquisition for Native System

Miao Yu, Qian Lin, Bingyu Li, Zhengwei Qi, and Haibing Guan (Shanghai Jiao Tong University)

Toward Under-Millisecond I/O Latency in Xen-ARM

Seehwan Yoo, Kuen-hwan Kwak, Jae-hyun Jo, and Chuck Yoo (Korea University)

Topic

• Establishing an Asia-Pacific systems conference to promote excellence in computer systems research

Panel moderator

• Chandu Thekkath (MSR Silicon Valley)

Panelists

• Peter Druschel (MPI-SWS)
• Gernot Heiser (University of New South Wales)
• Jaejin Lee (Seoul National University)
• Doug Terry (MSR Silicon Valley)
• Geoff Voelker (UC San Diego)
• Honesty Young (Intel APAC R&D)
• Zheng Zhang (MSR Asia)

July 12th (Tuesday)

Peter Druschel He is the founding director of the Max Planck Institute for Software Systems. He also leads the distributed systems research group. Prior to joining the MPI-SWS in August 2005, Peter was a Professor of Computer Science at Rice University in Houston, TX. He also spent time with the SRC group at Laboratoire d'Informatique de Paris 6 (LIP6) (May-June 2000, June 2002), the Cambridge Distributed Systems group at Microsoft Research Cambridge, UK (August- December 2000), and the PDOS group at the MIT Laboratory for Computer Science (January-June 2001). He is the recipient of an NSF CAREER Award (1995), an Alfred P. Sloan Fellowship (2000), and the 2008 Mark Weiser Award. He is on the editorial boards of the Communications of the ACM (CACM) and the ACM Transactions on Computer Systems (TOCS) and has served as program chair for SOSP, OSDI and NSDI. Together with Antony Rowstron and Frans Kaashoek, he started the IPTPS series of workshops. Peter is a member of the Academia Europaea and the German Academy of Sciences Leopoldina. Peter received his Ph.D. from the University of Arizona in 1994, under the direction of Larry L. Peterson.

One Optimized I/O Configuration per HPC application : Leveraging the Configurability of Cloud

Mingliang Liu, Jidong Zhai, Yan Zhai (Tsinghua University), Xiaosong Ma (North Carolina State University), and Wenguang Chen (Tsinghua University)

SLIM: Mmap from the Cloud to Device, and Back

Jinghao Shi (University of Science and Technology of China), Mingyuan Xia (Shanghai Jiao Tong University), and Ming Wu, Lintao Zhang, and Zheng Zhang (Microsoft Research Asia)

A Case for RDMA in Clouds: Turning Supercomputer Networking into Commodity

Animesh Trivedi, Bernard Metzler, and Patrick Stuedi (IBM Research Zurich)

SPECTRE: Speculation to hide communication latency

Jean-Philippe Martin, Christopher J. Ross ach, and Michael Isard (Microsoft Research)

A better way to negotiate for testbed resources

Qin Yin and Timothy Roscoe (Systems Group, ETH Zurich)

The program is also available as a PDF version.