HotoSXVII

May 12

Check-in and Dinner

• The desk for the registration and the check in will be available from 17:00 to 20:00. You can email rpartisani@ceub.it if you plan to arrive in a different timing.
• At 20:00 there will be a buffet dinner at Via Frangipane 2, Bertinoro.
• Attendees can download the entire proceeding here.

---

May 13

Session: OS: Past and Future

9:00 - 10:15

• Composing Abstractions using the null-Kernel
James Litton (University of Maryland, Max Planck Institute for Software Systems), Deepak Garg, Peter Druschel (Max Planck Institute for Software Systems), Bobby Bhattacharjee (University of Maryland)
• Unikernels: The Next Stage of Linux's Dominance
Ali Raza, Parul Sohal, James Cadden, Jonathan Appavoo (Boston University), Ulrich Drepper, Richard Jones (Red Hat), Orran Krieger, Renato Mancuso (Boston University), Larry Woodman (Red Hat)
• A fork() in the road
Andrew Baumann (Microsoft Research), Jonathan Appavoo, Orran Krieger (Boston University), Timothy Roscoe (ETH Zurich)

Session: Verification

10:45 - 12:00

• Can We Prove Time Protection?
Gernot Heiser (UNSW and Data61), Gerwin Klein (Data61 and UNSW), Toby Murray (University of Melbourne and Data61)
• Towards Automatic Inference of Inductive Invariants
Haojun Ma, Aman Goel, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci, Karem A. Sakallah (University of Michigan)
• RedLeaf: Towards An Operating System for Safe and Verified Firmware
Vikram Narayanan (University of California, Irvine), Marek S. Baranowski (University of Utah), Leonid Ryzhyk (VMware Research), Zvonimir Rakamarić (University of Utah), Anton Burtsev (University of California, Irvine)

Lunch

12:00 - 13:30

Session: Program synthesis

13:30 - 14:45

• Synthesizing cluster management code for distributed systems
Lalith Suresh (VMware), Joao Loff (IST, Lisbon), Nina Narodytska, Leonid Ryzhyk, Mooly Sagiv, Brian Oki (VMware)
• Comprehensive and Efficient Runtime Checking in System Software through Watchdogs
Chang Lou, Peng Huang, Scott Smith (Johns Hopkins University)
• Automatic Virtualization of Accelerators
Hangchen Yu, Arthur Peters (The University of Texas at Austin), Amogh Akshintala (The University of North Carolina at Chapel Hill), Christopher J. Rossbach (The University of Texas at Austin and VMware Research Group)

Session: Abstractions

15:15 - 16:30

• The Case for I/O-Device-as-a-Service
Ardalan Amiri Sani (University of California, Irvine), Thomas Anderson (University of Washington)
• I’m Not Dead Yet! The Role of the Operating System in a Kernel-Bypass Era
Irene Zhang (Microsoft Research), Jing Liu (University of Wisconsin), Amanda Austin (University of Texas), Michael Lowell Roberts, Anirudh Badam (Microsoft Research)
• I/O Is Faster Than the CPU -- Let's Partition Resources and Eliminate (Most) OS Abstractions
Pekka Enberg, Ashwin Rao, Sasu Tarkoma (University of Helsinki)

Session: Security

17:00 - 18:15

• Towards Multiverse Databases
Alana Marzoev (MIT CSAIL), Lara Timbó Araújo (MIT CSAIL and Airbnb), Malte Schwarzkopf, Samyukta Yagati (MIT CSAIL), Eddie Kohler (Harvard University), Robert Morris, M. Frans Kaashoek, Sam Madden (MIT CSAIL)
• Isolation and Beyond: Challenges for System Security
Tyler Hunt, Zhipeng Jia, Vance Miller (University of Texas at Austin), Christopher J. Rossbach (University of Texas at Austin and VMware Research), Emmett Witchel (University of Texas at Austin)
• Rethinking General-Purpose Decentralized Computing
Enis Ceyhun Alp, Eleftherios Kokoris-Kogias, Georgia Fragkouli, Bryan Ford (EPFL)

Dinner

20:00

---

May 14

Session: Memory, distributed

9 - 10:15

• Fast key-value stores: An idea whose time has come and gone
Atul Adya, Robert Grandl, Daniel Myers (Google), Henry Qin (Stanford)
• Designing Far Memory Data Structures: Think Outside the Box
Marcos K. Aguilera (VMware), Kimberly Keeton (Hewlett Packard Labs), Stanko Novakovic (Microsoft Research), Sharad Singhal (Hewlett Packard Labs)
• Project PBerry: FPGA Acceleration for Remote Memory
Irina Calciu (VMware Research),Ivan Puddu (ETH Zurich), Aasheesh Kolli (Penn State and VMware Research), Andreas Nowatzyk, Jayneel Gandhi (VMware Research), Onur Mutlu (ETH Zurich), Pratap Subrahmanyam (VMware)

Session: Data Center

10:45 - 12:00

• Nines are Not Enough: Meaningful Metrics for Clouds
Jeffrey C. Mogul, John Wilkes (Google)
• The Synchronous Data Center
Tian Yang, Robert Gifford, Andreas Haeberlen, Linh Thi Xuan Phan (University of Pennsylvania)
• Granular Computing
Collin Lee, John Ousterhout (Stanford University)

Lunch

12:00 - 13:00

Session: Bugs

13:00 - 14:15

• What bugs cause production cloud incidents?
Haopeng Liu, Shan Lu (University of Chicago), Madan Musuvathi, Suman Nath (Microsoft Research)
• You can't debug what you can't see: Expanding observability with the OmniTable
Andrew Quinn, Jason Flinn, Michael Cafarella (University of Michigan)
• Practical Safe Linux Kernel Extensibility
Samantha Miller, Kaiyuan Zhang, Danyang Zhuo, Shibin Xu, Arvind Krishnamurthy, Thomas Anderson (University of Washington)

Excursion to Ravenna

14:30 - 22:00

---

May 15

Session: Machine learning

9:00 - 9:50

• Machine Learning Systems are Stuck in a Rut
Paul Barham, Michael Isard (Google Brain)
• A Case for Managed and Model-less Inference Serving
Neeraja J. Yadwadkar, Francisco Romero, Qian Li (Stanford University), Christos Kozyrakis (Stanford University/Google)

Session: SSD and Networking

10:20 - 12:00

• Why and How to Increase SSD Performance Transparency
Aviad Zuck (Technion), Philipp Gühring (Futureware), Tao Zhang (The University of North Carolina at Chapel Hill), Donald E. Porter (The University of North Carolina at Chapel Hill), Dan Tsafrir (VMware Research & Technion)
• CPR for SSDs
Bryan S. Kim (Seoul National University), Eunji Lee (Soongsil University), Sungjin Lee (DGIST), Sang Lyul Min (Seoul National University)
• When Should The Network Be The Computer?
Dan Ports, Jacob Nelson (Microsoft Research)
• In-Network Compute: Considered Armed and Dangerous
Theophilus A. Benson (Brown University)