Abstract is missing.
- Composing Abstractions using the null-KernelJames Litton, Deepak Garg 0001, Peter Druschel, Bobby Bhattacharjee. 1-6 [doi]
- Unikernels: The Next Stage of Linux's DominanceAli Raza, Parul Sohal, James Cadden, Jonathan Appavoo, Ulrich Drepper, Richard Jones, Orran Krieger, Renato Mancuso 0001, Larry Woodman. 7-13 [doi]
- A fork() in the roadAndrew Baumann, Jonathan Appavoo, Orran Krieger, Timothy Roscoe. 14-22 [doi]
- Can We Prove Time Protection?Gernot Heiser, Gerwin Klein, Toby C. Murray. 23-29 [doi]
- Towards Automatic Inference of Inductive InvariantsHaojun Ma, Aman Goel, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci, Karem A. Sakallah. 30-36 [doi]
- RedLeaf: Towards An Operating System for Safe and Verified FirmwareVikram Narayanan, Marek S. Baranowski, Leonid Ryzhyk, Zvonimir Rakamaric, Anton Burtsev. 37-44 [doi]
- Synthesizing Cluster Management Code for Distributed SystemsLalith Suresh, João Loff, Nina Narodytska, Leonid Ryzhyk, Mooly Sagiv, Brian Oki. 45-50 [doi]
- Comprehensive and Efficient Runtime Checking in System Software through WatchdogsChang Lou, Peng Huang, Scott Smith. 51-57 [doi]
- Automatic Virtualization of AcceleratorsHangchen Yu, Arthur M. Peters, Amogh Akshintala, Christopher J. Rossbach. 58-65 [doi]
- The Case for I/O-Device-as-a-ServiceArdalan Amiri Sani, Thomas Anderson. 66-72 [doi]
- I'm Not Dead Yet!: The Role of the Operating System in a Kernel-Bypass EraIrene Zhang, Jing Liu, Amanda Austin, Michael Lowell Roberts, Anirudh Badam. 73-80 [doi]
- I/O Is Faster Than the CPU: Let's Partition Resources and Eliminate (Most) OS AbstractionsPekka Enberg, Ashwin Rao, Sasu Tarkoma. 81-87 [doi]
- Towards Multiverse DatabasesAlana Marzoev, Lara Timbó Araújo, Malte Schwarzkopf, Samyukta Yagati, Eddie Kohler, Robert Tappan Morris, M. Frans Kaashoek, Sam Madden. 88-95 [doi]
- Isolation and Beyond: Challenges for System SecurityTyler Hunt, Zhipeng Jia, Vance Miller, Christopher J. Rossbach, Emmett Witchel. 96-104 [doi]
- Rethinking General-Purpose Decentralized ComputingEnis Ceyhun Alp, Eleftherios Kokoris-Kogias, Georgia Fragkouli, Bryan Ford. 105-112 [doi]
- Fast key-value stores: An idea whose time has come and goneAtul Adya, Robert Grandl, Daniel Myers, Henry Qin. 113-119 [doi]
- Designing Far Memory Data Structures: Think Outside the BoxMarcos K. Aguilera, Kimberly Keeton, Stanko Novakovic, Sharad Singhal. 120-126 [doi]
- Project PBerry: FPGA Acceleration for Remote MemoryIrina Calciu, Ivan Puddu, Aasheesh Kolli, Andreas Nowatzyk, Jayneel Gandhi, Onur Mutlu, Pratap Subrahmanyam. 127-135 [doi]
- Nines are Not Enough: Meaningful Metrics for CloudsJeffrey C. Mogul, John Wilkes. 136-141 [doi]
- The Synchronous Data CenterTian Yang, Robert Gifford, Andreas Haeberlen, Linh Thi Xuan Phan. 142-148 [doi]
- Granular ComputingCollin Lee, John K. Ousterhout. 149-154 [doi]
- What bugs cause production cloud incidents?Haopeng Liu, Shan Lu, Madan Musuvathi, Suman Nath. 155-162 [doi]
- You can't debug what you can't see: Expanding observability with the OmniTableAndrew Quinn, Jason Flinn, Michael J. Cafarella. 163-169 [doi]
- Practical Safe Linux Kernel ExtensibilitySamantha Miller, Kaiyuan Zhang, Danyang Zhuo, Shibin Xu, Arvind Krishnamurthy, Thomas E. Anderson. 170-176 [doi]
- Machine Learning Systems are Stuck in a RutPaul Barham 0001, Michael Isard. 177-183 [doi]
- A Case for Managed and Model-less Inference ServingNeeraja J. Yadwadkar, Francisco Romero, Qian Li, Christos Kozyrakis. 184-191 [doi]
- Why and How to Increase SSD Performance TransparencyAviad Zuck, Philipp Gühring, Tao Zhang, Donald E. Porter, Dan Tsafrir. 192-200 [doi]
- CPR for SSDsBryan S. Kim, Eunji Lee, Sungjin Lee, Sang Lyul Min. 201-208 [doi]
- When Should The Network Be The Computer?Dan R. K. Ports, Jacob Nelson. 209-215 [doi]
- In-Network Compute: Considered Armed and DangerousTheophilus A. Benson. 216-224 [doi]