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