USENIX ATC '18 Technical Sessions

Registration System Downtime Alert

Due to scheduled maintenance, our registration software may be unavailable from 8:00 pm PDT on Friday, May 25 to 2:00 am PDT on Saturday, May 26. Please complete your registration before or after this time period. We apologize for the inconvenience.

USENIX ATC '18 Program Grid

Download the program in grid format (PDF).

Wednesday, July 11, 2018

7:30 am–8:45 am

Continental Breakfast

8:45 am–9:00 am

Opening Remarks and Awards

Program Co-Chairs: Haryadi Gunawi, University of Chicago, and Benjamin Reed, Facebook

9:00 am–10:00 am

Keynote Address

Blockchain in the Lens of BFT

Dahlia Malkhi, VMware Research

Blockchain is a Byzantine Fault Tolerant (BFT) replicated state machine, in which each state-update is by itself a Turing machine with bounded resources. The core algorithm for achieving BFT in a Blockchain appears completely different from classical BFT algorithms:

  • Classical solutions like DLS, PBFT solve BFT among a small-to-medium group of known participants. Such algorithms consist of multiple rounds of message exchanges carrying votes and safety-proofs. They are evidently quite intimidating to the non-expert.
  • In contrast, Bitcoin solves BFT among a very large group of unknown users. In each time-period, one user broadcasts a single message carrying a Proof-of-Work (PoW). No other messages or information is exchanged.

What a difference between the two worlds!

Recent advances in blockchain technology blur these boundaries. Namely, hybrid solutions such as Byzcoin, Bitcoin-NG, Hybrid Consensus, Casper and Solida, anchor off-chain BFT decisions inside a PoW chain or the other way around. Moreover, innovative solutions in the age of blockchains, such as Honeybadger, ALGORAND, Tendermint, SBFT, and Hot-Stuff, revisit the BFT setting with greater scalability and simplicity.

Confused? Come hear this keynote in which we describe Blockchain in the lens of BFT and BFT in the lens of Blockchain, and provide common algorithmic foundations for both.

Dahlia Malkhi, VMware Research

Dahlia is an applied and foundational researcher, since the early nineties, in broad aspects of reliability and security in distributed systems.

In 2014, after the closing of the Microsoft Research Silicon Valley lab, Dahlia co-founded VMware Research and became a Principal Researcher at VMware. From 2004-2014, she was a principal researcher at Microsoft Research, Silicon Valley. From 1999-2007, she was a tenured associate professor at the Hebrew University of Jerusalem. In 2004, Dahlia actually left for a brief sabbatical at Microsoft Research, but was bitten by the Silicon Valley bug and stayed there. Dahlia holds a Ph.D., an M.Sc. and a B.Sc. in computer science from the Hebrew University of Jerusalem.

10:00 am–10:30 am

Break with Refreshments

10:30 am–12:10 pm

Refereed Papers Track I

Performance

Refereed Papers Track II

Kernel

12:10 pm–2:00 pm

Lunch (on your own)

2:00 pm–3:40 pm

Refereed Papers Track I

Security 1

Application Memory Isolation on Ultra-Low-Power MCUs

Taylor Hardin, Dartmouth College; Ryan Scott, Clemson University; Patrick Proctor, Dartmouth College; Josiah Hester, Northwestern University; Jacob Sorber, Clemson University; David Kotz, Dartmouth College

Refereed Papers Track II

Virtualization

Cntr: Lightweight OS Containers

Jörg Thalheim and Pramod Bhatotia, University of Edinburgh; Pedro Fonseca, University of Washington; Baris Kasikci, University of Michigan

3:40 pm–4:10 pm

Break with Refreshments

4:10 pm–5:50 pm

Refereed Papers Track I

Security 2

Kernel-Supported Cost-Effective Audit Logging for Causality Tracking

Shiqing Ma, Purdue University; Juan Zhai, Nanjing University; Yonghwi Kwon, Purdue University; Kyu Hyung Lee, University of Georgia; Xiangyu Zhang, Purdue University; Gabriela Ciocarlie, Ashish Gehani, and Vinod Yegneswaran, SRI International; Dongyan Xu, Purdue University; Somesh Jha, University of Wisconsin-Madison

Refereed Papers Track II

Multicore

Effectively Mitigating I/O Inactivity in vCPU Scheduling

Weiwei Jia, Cheng Wang, and Xusheng Chen, The University of Hong Kong; Jianchen Shan, New Jersey Institute of Technology; Heming Cui, The University of Hong Kong; Xiaoning Ding, New Jersey Institute of Technology; Luwei Cheng, Facebook; Francis C. M. Lau and Yuexuan Wang, The University of Hong Kong

6:30 pm–8:00 pm

Poster Session and Happy Hour

Thursday, July 12, 2018

8:00 am–9:00 am

Continental Breakfast

9:00 am–10:15 am

Refereed Papers Track I

Problem Determination

Refereed Papers Track II

Consistency

10:15 am–10:45 am

Break with Refreshments

10:45 am–12:25 pm

Refereed Papers Track I

Big Data Faster

Refereed Papers Track II

Availability

Improving Service Availability of Cloud Systems by Predicting Disk Error

Yong Xu and Kaixin Sui, Microsoft Research, Beijing, China; Randolph Yao, Microsoft Corporation, Redmond, WA, USA; Hongyu Zhang, The University of Newcastle, Australia; Qingwei Lin, Microsoft Research, Beijing, China; Yingnong Dang, Microsoft Corporation, Redmond, WA, USA; Peng Li, Nankai University, Tianjin, China; Keceng Jiang, Wenchi Zhang, and Jian-Guang Lou, Microsoft Research, Beijing, China; Murali Chintalapati, Microsoft Corporation, Redmond, WA, USA; Dongmei Zhang, Microsoft Research, Beijing, China

12:25 pm–2:00 pm

Conference Luncheon

2:00 pm–3:40 pm

Refereed Papers Track I

Big Data 1

Refereed Papers Track II

Analyzing Code

Spindle: Informed Memory Access Monitoring

Haojie Wang, Tsinghua University, Qatar Computing Research Institute; Jidong Zhai, Tsinghua University; Xiongchao Tang, Tsinghua University, Qatar Computing Research Institute; Bowen Yu, Tsinghua University; Xiaosong Ma, Qatar Computing Research Institute; Wenguang Chen, Tsinghua University

3:40 pm–4:10 pm

Break with Refreshments

4:10 pm–5:50 pm

Refereed Papers Track I

Big Data 2

Refereed Papers Track II

SSDs

6:30 pm–8:30 pm

Conference Reception

Friday, July 13, 2018

8:00 am–9:00 am

Continental Breakfast

9:00 am–10:15 am

Refereed Papers Track I

The Network

Refereed Papers Track II

Storage 1

Remote regions: a simple abstraction for remote memory

Marcos K. Aguilera, Nadav Amit, Irina Calciu, Xavier Deguillard, Jayneel Gandhi, Stanko Novakovic, Arun Ramanathan, Pratap Subrahmanyam, Lalith Suresh, Kiran Tati, Rajesh Venkatasubramanian, and Michael Wei, VMware

10:15 am–10:45 am

Break with Refreshments

10:45 am–12:25 pm

Refereed Papers Track I

Transactions

Refereed Papers Track II

Storage 2

12:25 pm–2:00 pm

Lunch (on your own)

2:00 pm–3:40 pm

Refereed Papers Track I

Data Center/Machine Learning

Cavs: An Efficient Runtime System for Dynamic Neural Networks

Shizhen Xu, Tsinghua University, Carnegie Mellon University; Hao Zhang, Graham Neubig, and Wei Dai, Carnegie Mellon University, Petuum Inc.; Jin Kyu Kim, Carnegie Mellon University; Qirong Ho, Petuum Inc.; Guangwen Yang, Tsinghua University; Eric P. Xing, Petuum Inc.

Refereed Papers Track II

Key/Value Storage