![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
17th HotOS 2019: Bertinoro, Italy
- Proceedings of the Workshop on Hot Topics in Operating Systems, HotOS 2019, Bertinoro, Italy, May 13-15, 2019. ACM 2019, ISBN 978-1-4503-6727-1
OS: Past and Future
- James Litton, Deepak Garg, Peter Druschel, Bobby Bhattacharjee:
Composing Abstractions using the null-Kernel. 1-6 - 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. 7-13 - Andrew Baumann, Jonathan Appavoo, Orran Krieger, Timothy Roscoe:
A fork() in the road. 14-22
Verification
- Gernot Heiser, Gerwin Klein, Toby C. Murray:
Can We Prove Time Protection? 23-29 - Haojun Ma, Aman Goel
, Jean-Baptiste Jeannin, Manos Kapritsos
, Baris Kasikci
, Karem A. Sakallah:
Towards Automatic Inference of Inductive Invariants. 30-36 - Vikram Narayanan
, Marek S. Baranowski, Leonid Ryzhyk, Zvonimir Rakamaric, Anton Burtsev:
RedLeaf: Towards An Operating System for Safe and Verified Firmware. 37-44
Program Synthesis
- Lalith Suresh, João Loff, Nina Narodytska, Leonid Ryzhyk, Mooly Sagiv, Brian Oki:
Synthesizing Cluster Management Code for Distributed Systems. 45-50 - Chang Lou
, Peng Huang
, Scott Smith:
Comprehensive and Efficient Runtime Checking in System Software through Watchdogs. 51-57 - Hangchen Yu
, Arthur Michener Peters, Amogh Akshintala, Christopher J. Rossbach:
Automatic Virtualization of Accelerators. 58-65
Abstractions
- Ardalan Amiri Sani, Thomas E. Anderson:
The Case for I/O-Device-as-a-Service. 66-72 - 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. 73-80 - Pekka Enberg
, Ashwin Rao
, Sasu Tarkoma
:
I/O Is Faster Than the CPU: Let's Partition Resources and Eliminate (Most) OS Abstractions. 81-87
Security
- Alana Marzoev, Lara Timbó Araújo, Malte Schwarzkopf, Samyukta Yagati, Eddie Kohler, Robert Tappan Morris, M. Frans Kaashoek, Sam Madden:
Towards Multiverse Databases. 88-95 - Tyler Hunt, Zhipeng Jia, Vance Miller, Christopher J. Rossbach, Emmett Witchel:
Isolation and Beyond: Challenges for System Security. 96-104 - Enis Ceyhun Alp, Eleftherios Kokoris-Kogias, Georgia Fragkouli
, Bryan Ford
:
Rethinking General-Purpose Decentralized Computing. 105-112
Memory, distributed
- Atul Adya, Robert Grandl, Daniel Myers, Henry Qin:
Fast key-value stores: An idea whose time has come and gone. 113-119 - Marcos K. Aguilera, Kimberly Keeton
, Stanko Novakovic, Sharad Singhal:
Designing Far Memory Data Structures: Think Outside the Box. 120-126 - Irina Calciu, Ivan Puddu
, Aasheesh Kolli, Andreas Nowatzyk, Jayneel Gandhi
, Onur Mutlu, Pratap Subrahmanyam:
Project PBerry: FPGA Acceleration for Remote Memory. 127-135
Data Center
- Jeffrey C. Mogul, John Wilkes:
Nines are Not Enough: Meaningful Metrics for Clouds. 136-141 - Tian Yang, Robert Gifford
, Andreas Haeberlen, Linh Thi Xuan Phan:
The Synchronous Data Center. 142-148 - Collin Lee, John K. Ousterhout:
Granular Computing. 149-154
Bugs
- Haopeng Liu, Shan Lu, Madan Musuvathi, Suman Nath
:
What bugs cause production cloud incidents? 155-162 - Andrew Quinn
, Jason Flinn, Michael J. Cafarella:
You can't debug what you can't see: Expanding observability with the OmniTable. 163-169 - Samantha Miller, Kaiyuan Zhang, Danyang Zhuo, Shibin Xu, Arvind Krishnamurthy, Thomas E. Anderson:
Practical Safe Linux Kernel Extensibility. 170-176
Machine Learning
- Paul Barham, Michael Isard:
Machine Learning Systems are Stuck in a Rut. 177-183 - Neeraja J. Yadwadkar, Francisco Romero, Qian Li, Christos Kozyrakis:
A Case for Managed and Model-less Inference Serving. 184-191
SSD and Networking
- Aviad Zuck, Philipp Gühring, Tao Zhang, Donald E. Porter, Dan Tsafrir:
Why and How to Increase SSD Performance Transparency. 192-200 - Bryan S. Kim, Eunji Lee, Sungjin Lee, Sang Lyul Min:
CPR for SSDs. 201-208 - Dan R. K. Ports, Jacob Nelson:
When Should The Network Be The Computer? 209-215 - Theophilus A. Benson:
In-Network Compute: Considered Armed and Dangerous. 216-224
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.