Monday (July 27th)

8:45 - 9:00: Opening

9:00 - 10:00: Session 1: Operating Systems (Chair: Haibo Chen)

Shadow Kernels: A General Mechanism For Kernel Specialization in Existing Operating Systems
Oliver R. A. Chick, Lucian Carata, James Snee, Nikilesh Balakrishnan and Ripduman Sohan (Computer Laboratory, University of Cambridge)

Rethinking Compiler Optimizations for the Linux Kernel: An Explorative Study
Pengfei Yuan, Yao Guo and Xiangqun Chen (Peking University)

For a Microkernel, a Big Lock Is Fine
Sean Peters, Adrian Danis (NICTA), Kevin Elphinstone and Gernot Heiser (NICTA and UNSW)

10:00 - 10:15: Break

10:15 - 11:15: Session 2: Cloud (Chair: KyoungSoo Park)

A Name Is Not A Name: The Implementation Of A Cloud Storage System
Vinh Tao (Scality and Inria-LIP6), VIanney Rancurel (Scality) and Joao Neto (KTH and Inria-LIP6)

Scalability in the Clouds! A Myth or Reality?
Sanidhya Kashyap (Georgia Institute of Technology), Changwoo Min and Taesoo Kim (Georgia Institute of Technology)

Anatomy of Cloud Monitoring and Metering: A case study and open problems
Ali Anwar (Virginia Tech), Anca Sailer, Andrzej Kochut (IBM Research - TJ Watson) and Ali R. Butt (Virginia Tech)

11:15 - 11:30: Break

11:30 - 12:15: Panel discussion:

Teaching Systems in the 21st Century
Moderator: Haibo Chen
Panelist: Gernot Heiser, Robbert van Renesse and KyoungSoo Park

12:15 - 13:40: Lunch

13:40 - 15:00: Session 3: Virtualization (Chair: Gernot Heiser)

Zero-copy Migration for Lightweight Software Rejuvenation of Virtualized Systems
Kenichi Kourai and Hiroki Ooba (Kyushu Institute of Technology)

Containing the Hype
Kavita Agarwal, Bhushan Jain and Donald E. Porter (Stony Brook University)

Samsara: Efficient Deterministic Replay with Hardware Virtualization Extensions
Shiru Ren, Chunqi Li, Le Tan and Zhen Xiao (School of Electronics Engineering and Computer Science, Peking University)

SELF: Improving Opportunity of Memory Sharing using VM Self-Hints in Virtualized Systems
Yeji Nam, Dongwoo Lee and Young Ik Eom (Sungkyunkwan University)

15:00 - 15:30: Break

15:30 - 17:00: Session 4: Industrial Talks (Chair: Byung-Gon Chun)

1. Open Source SDN in the cloud: Real life experiences based on OpenStack and MidoNet
Speaker: Ryu Ishimoto (Midokura, Inc.)


In the recent years, Software-Defined Networking (SDN) has been hailed as the next generation networking solution in cloud computing. There have been numerous academic papers on this topic, but what happens when you actually put them into practice? This presentation places the focus on the real life experiences of an open source SDN solution in the cloud.

For well over a year, a cloud was set up internally in a company to provide various services to the employees. The cloud was an OpenStack cloud with MidoNet, an open source overlay-based SDN solution, providing the underlying virtual networking service. The experiences and difficulties encountered provide useful insights into the kinds of problems a cloud operator could face, and how they could be solved.

While the overall experiences have been positive, there were numerous issues that arose concerning scalability, security and general cloud management issues such as deployment and upgrades.

SDN has indeed delivered on many of its promises, and it is clearly the future of cloud networking. However, it is still not yet a turn-key solution. To run an SDN-based cloud service for a long period of time, significant engineering resources and careful architectural decisions are required.


Ryu Ishimoto is the technical lead of Midokura Japan, currently leading the effort to integrate MidoNet and OpenStack Neutron. He is also responsible for designing and implementing the MidoNet API as well as some parts of the MidoNet cluster and agent. He is a Neutron contributor.

Prior to joining Midokura, he spent 10 years as a developer for various technologies including data mining, ad server, financial systems, and e-commerce applications. In 2004, he received a Master’s Degree in Computer Science from UCLA.

2. How virtualization will be critical in the next generation mobile network?

Speaker: Dongheon Lee (SK Telecom, Inc.)


So far mobile networks have been designed and implemented as a closed network system, and there is a clear distinction between the network and the data center. However, we envision that the next generation mobile network will be based on the “all IT paradigm”, in which network functions will be virtualized and run on a cloud based on open source software and commodity hardware. More specifically, next generation mobile network will comprise (a) cloud-core, (2) cloud-RAN, (3) SDDC (software-defined data center), (4) orchestration layer, (5) end user facing services including telco service, IoT (internet of things), media, etc. In this talk, I will present technical issues related to this transition and efforts to address such challenges.


Dr. Dongheon Lee works at Corporate R&D Center in SK Telecom, Korea. His team focuses on the areas of Network and IT Convergence, specifically SDN, Analytics, and Software-Defined Data Center (SDDC). His research interests include teletraffic engineering, green communications, system-level performance evaluation of cellular networks, data center networks, SDN and NFV. He received his B.Sc. and M.Sc. degrees in Electronic Engineering from Pusan National University (Busan, Korea) in 2007 and 2009, and his Ph.D. degree in Electronic Engineering from Tsinghua University (Beijing, China) in 2014, respectively.

3. How to build industry systems with research style

Speaker: Jian Ouyang (Baidu, Inc.)


It seems that industry and research are on the parallel tracks. They have different goals, approaches and even principles. The researcher often think that the industry works are lack of novelty. But at the same time, the research lab often cannot find its way in industry companies.

In Baidu, a leading internet company in China, our systems face huge challenges of balancing performance, power consumption, cost and scalability. To this end, we would like to build the real product systems with novel approaches. The systems we built seem incredible from industry perspective. For example, Software-Defined Flash, the ARM server and its cloud storage system. They are more similar to research work. But they really work well in our real products. In this talk, I will share the stories of building industry systems with research style in Baidu.


Jian Ouyang, principal architect in Baidu. I am leading the data center architecture team. Currently, I am looking for non-traditional architecture and system for big data and AI applications in the post-Moore’s law era. I have authored or coauthored several papers on various conferences, such as ASPLOS2014, Hotchips2014, EuroSys2014, etc.

18:00 - 21:00: Banquet and Posters

Please move to the Banquet place (i.e., the 21th floor of Washington Hotel Tokyo Bay Ariake). It is a few minutes walk from the conference place.

Accepted posters:

  1. vTZ: A Case for TrustZone Virtualization,
    Zhichao Hua, Jinyu Gu, Wenhao Li, Yubin Xia and Haibo Chen (Shanghai Jiao Tong University) (pdf)

  2. XOS: An Application Defined Operating System in User-space designed for Datacenter,
    Chen Zheng, Jianfeng Zhan and Lixin Zhang (Institute of Computing Technology, Chinese Academy of Sciences) (pdf)

  3. Starving for Hints!: Toward Predicting Resource Usage Levels of Tasks in a Distributed Computing Framework Layer,
    Masato Asahara (NEC Green Platforms Research Laboratories) and Takeshi Yoshimura (Keio University) (pdf)

  4. A Hypervisor for Manipulating Guest Screens,
    Yoshihiro Oyama (The University of Electro-Communications) (pdf)

  5. lua_syscall: Specializing Operating System Kernels by Using the Lua Language,
    Ake Koomsin and Yasushi Shinjo (University of Tsukuba) (pdf)

  6. Taming the Cloud Object Storage with MOS,
    Ali Anwar, Yue Cheng (Virginia Tech), Aayush Gupta(IBM Research, Almaden) and Ali R. Butt (Virginia Tech) (pdf)

  7. Dynamic and Secure Application Consolidation with Nested Virtualization and Library OS in Clouds,
    Kota Sannomiya and Kenich Kourai (Kyushu Institute of Technology) (pdf)

  8. Secure IDS Offloading with Nested Virtualization in Untrusted Cloud,
    Shouhei Miyama and Kenichi Kourai (Kyushu Institute of Technology) (pdf)

  9. A New Perspective on Supporting QoS in Architecture: Computer as a Network,
    Tianni Xu, Jiuyue Ma, Zhicheng Yao, Xiufeng Sui and Yungang Bao (Institute of Computing Technology and Chinese Academy of Sciences) (pdf)

  10. FPGA based low-latency IPv6 Route Lookup Using Dynamic XOR Table,
    Takeshi Matsuya (Keio University), Hajime Tazaki (University of Tokyo), Yohei Kuga, Rodney Van Meter and Osamu Nakamura (Keio University) (pdf)

  11. A big-data Analytics Framework with Efficient Support for Dynamic Languages,
    Luca Salucci, Walter Binder (Universit della Svizzera Italiana) and Daniele Bonetta (Oracle Labs) (pdf)

  12. An Implementation Model for Cloud Storage Systems,
    Vinh Tao (Scality and Inria-LIP6), Vianney Rancurel (Scality) and Joao Neto (KTH and Inria-LIP6) (pdf)

  13. Memory Management for Memory-based Inter-Task Communication on the Hybrid Operating System Node,
    Mikiko Sato (Tokyo University of Agriculture and Technology), Kazumi Yoshinaga, Yuichi Tsujita, Atsushi Hori (RIKEN AICS) and Mitaro Namiki(Tokyo University of Agriculture and Technology) (pdf)

  14. Containing the Hype,
    Kavita Agarwal, Bhushan Jain and Donald E. Porter (Stony Brook University) (pdf)

  15. A Study on GC Performance of ART,
    Shintaro Hamanaka and Saneyasu Yamaguchi (Kogakuin University Graduate School) (pdf)

  16. Exit-Less Isolated Execution,
    Yushi Omote (University of Tsukuba), Takahiro Shinagawa (The University of Tokyo) and Kazuhiko Kato (University of Tsukuba) (pdf)

  17. Selective QoS Guarantees for Heterogeneous Applications in Android Memory Management,
    Eunji Lee, Sunghwan Kim (Chungbuk National University), Minah Kim, Hyunkyoung Choi and Hyokyung Bahn (Ewha Womans University) (pdf)

  18. Testing Device Drivers against Hardware Failures in Real Environments,
    Satoru Takekoshi, Takahiro Shinagawa (The University of Tokyo) and Kazuhiko Kato (University of Tsukuba) (pdf)

  19. A new framework for baremetal OS,
    Iori Yoneji, Yushi Omote (University of Tsukuba), Takahiro Shinagawa (The University of Tokyo) and Kazuhiko Kato (University of Tsukuba) (pdf)

Tuesday (July 28th)

9:00 - 10:00: Keynote Address

How To Write A Systems Paper (slides)
Speaker: Gernot Heiser


Much interesting systems work never gets published in one of the main conferences. Frequently the reason is that the authors do not understand how to present systems work in a convincing way, or how to convincingly demonstrate that they have an interesting solution.

In this lecture I will, talk about what makes a good systems paper, and how to engineer one. It is based on my experience both as an author as well as reviewer of successful as well as unsuccessful submissions to mainstream systems conferences.


Gernot Heiser is Scientia Professor and John Lions Chair of Operating Systems at UNSW, and leads the Software Systems Research Group at NICTA, Australia’s National Centre of Excellence for ICT Research. He joined NICTA at its creation in 2002, and before that was a full-time member of academic staff at UNSW from 1991. His past work included the Mungi single-address-space operating system (OS), several un-broken records in IPC performance, and the best-ever reported performance for user-level device drivers. More recently he led the team at NICTA which produced the world’s first formal proof of functional correctness of a protected general-purpose operating-system kernel, the first published sound worst-case execution time analysis of a protected OS kernel, and the synthesis of high-performance device drivers. In 2006, Gernot with a number of his students founded Open Kernel Labs, to market secure virtualization technology for embedded systems. The company’s OKL4 operating system, a descendent of L4 kernels developed by his group at UNSW and NICTA, is deployed in billions of mobile devices, and now ships on the security processor of all iOS devices. Open Kernel Labs was sold to General Dynamics in August 2012. Gernot is a Fellow of the ACM.

10:00- 10:15: Break

10:15 - 11:15: Session 5: The Web and More (Chair: Kenji Kono)

Mjolnir: The Magical Web Application Hammer
Jelle van den Hooff, David Lazar (MIT CSAIL) and James Mickens (Microsoft Research)

Why Is HTTP Adaptive Streaming So Hard?
Sangwook Bae, Dahyun Jang, and KyoungSoo Park (KAIST)

RepFrame: An Efficient and Transparent Framework for Dynamic Program Analysis
Heming Cui (the University of Hong Kong), Rui Gu, Cheng Liu and Junfeng Yang (Columbia University)

11:15 - 11:30: Break

11:30 - 12: 30: Session 6: Storage (Chair: Jian Ouyang)

InterFS: An Interplanted Distributed File System to Improve Storage Utilization
Peng Wang (Peking University), Le Cao, Chunbo Lai (Baidu Inc.), Leqi Zou, Guangyu Sun (Peking University) and Jason Cong (UCLA)

TotalCOW: Unleash the Power of Copy-On-Write for Thin-provisioned Containers
Xingbo Wu (Wayne State University), Wenguang Wang (VMware, Inc.) and Song Jiang (Wayne State University)

Enforcing Privacy Policies with Meta-Code
Håvard Johansen (The Arctic University of Norway), Eleanor Birrell, Robbert Van Renesse, Fred B. Schneider (Cornell University), Magnus Stenhaug and Dag Johansen (The Arctic University of Norway)

12:30 - 14:00: Lunch

14:00 - 15:20: Session 7: Mobile Systems (Chair: Robbert van Renesse)

Go Gentle into the Good Night via Controlled Battery Discharging
Tzi-cker Chiueh (Industrial Technology Research Institute)

Anatomizing System Activities on Interactive Wearable Devices
Renju Liu, Lintong Jiang, Ningzhe Jiang and Felix Xiaozhu Lin (Purdue ECE)

MemScope: Analyzing Memory Duplication on Android Systems
Byeoksan Lee, Seong Min Kim, Eru Park and Dongsu Han (KAIST)

Eliminating State Entanglement with Checkpoint-based Virtualization of Mobile OS Services
Kevin Boos, Ardalan Amiri Sani and Lin Zhong (Rice University)

15:20 - 15:30: Closing