HotOS A

31 papers

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