


default search action
16th HotOS 2017: Whistler, BC, Canada
- Alexandra Fedorova, Andrew Warfield, Ivan Beschastnikh, Rachit Agarwal:

Proceedings of the 16th Workshop on Hot Topics in Operating Systems, HotOS 2017, Whistler, BC, Canada, May 8-10, 2017. ACM 2017, ISBN 978-1-4503-5068-6 - Kay Ousterhout, Christopher Canel, Max Wolffe, Sylvia Ratnasamy

, Scott Shenker:
Performance clarity as a first-class design principle. 1-6 - Michael M. Swift:

Towards O(1) Memory. 7-11 - Jeffrey C. Mogul, Rebecca Isaacs, Brent Welch:

Thinking about Availability in Large Service Infrastructures. 12-17 - Baptiste Lepers, Willy Zwaenepoel, Jean-Pierre Lozi

, Nicolas Palix
, Redha Gouicem
, Julien Sopena, Julia Lawall, Gilles Muller:
Towards Proving Optimistic Multicore Schedulers. 18-23 - Tanakorn Leesatapornwongsa, Cesar A. Stuardo, Riza O. Suminto

, Huan Ke, Jeffrey F. Lukman, Haryadi S. Gunawi:
Scalability Bugs: When 100-Node Testing is Not Enough. 24-29 - Aurojit Panda, Mooly Sagiv, Scott Shenker:

Verification in the Age of Microservices. 30-36 - Nadav Amit

, Michael Wei, Cheng-Chun Tu:
Hypercallbacks: Decoupling Policy Decisions and Execution. 37-41 - Tao Zhang, Aviad Zuck, Donald E. Porter

, Dan Tsafrir:
Flash Drive Lifespan *is* a Problem. 42-49 - Aviad Zuck, Udi Shriki, Donald E. Porter, Dan Tsafrir:

Preserving Hidden Data with an Ever-Changing Disk. 50-55 - Antonio Barbalace, Anthony Iliopoulos, Holm Rauchfuss, Goetz Brasche:

It's Time to Think About an Operating System for Near Data Processing Architectures. 56-61 - Bhushan Jain, Chia-Che Tsai

, Donald E. Porter:
A Clairvoyant Approach to Evaluating Software (In)Security. 62-68 - Mark Silberstein:

OmniX: an accelerator-centric OS for omni-programmable systems. 69-75 - Henry Corrigan-Gibbs, David J. Wu, Dan Boneh:

Quantum Operating Systems. 76-81 - Beom Heyn Kim

, Sukwon Oh, David Lie:
Consistency Oracles: Towards an Interactive and Flexible Consistency Model Specification. 82-87 - Linh Nguyen, Peifeng Yu

, Mosharaf Chowdhury:
No!: Not Another Deep Learning Framework. 88-93 - David Lie, Petros Maniatis:

Glimmers: Resolving the Privacy/Trust Quagmire. 94-99 - Yige Hu, Youngjin Kwon, Vijay Chidambaram

, Emmett Witchel
:
From Crash Consistency to Transactions. 100-105 - Robert Nishihara, Philipp Moritz, Stephanie Wang, Alexey Tumanov, William Paul, Johann Schleier-Smith, Richard Liaw, Mehrdad Niknami, Michael I. Jordan

, Ion Stoica:
Real-Time Machine Learning: The Missing Pieces. 106-110 - Linda Leuschner, Martin Küttler, Tobias Stumpf, Christel Baier, Hermann Härtig, Sascha Klüppelholz

:
Towards Automated Configuration of Systems with Non-Functional Constraints. 111-117 - Reto Achermann, Chris I. Dalton, Paolo Faraboschi

, Moritz Hoffmann, Dejan S. Milojicic
, Geoffrey Ndu
, Alexander Richardson
, Timothy Roscoe, Adrian L. Shaw
, Robert N. M. Watson:
Separating Translation from Protection in Address Spaces with Dynamic Remapping. 118-124 - Xu Zhao, Kirk Rodrigues, Yu Luo, Michael Stumm

, Ding Yuan, Yuanyuan Zhou:
The Game of Twenty Questions: Do You Know Where to Log? 125-131 - Andrew Baumann:

Hardware is the new Software. 132-137 - Martin Maas, Krste Asanovic, John Kubiatowicz:

Return of the Runtimes: Rethinking the Language Runtime System for the Cloud 3.0 Era. 138-143 - Ehsan Totoni, Subramanya R. Dulloor, Amitabha Roy:

A Case Against Tiny Tasks in Iterative Analytics. 144-149 - Peng Huang, Chuanxiong Guo

, Lidong Zhou, Jacob R. Lorch, Yingnong Dang, Murali Chintalapati, Randolph Yao:
Gray Failure: The Achilles' Heel of Cloud-Scale Systems. 150-155 - Abhiram Balasubramanian, Marek S. Baranowski, Anton Burtsev, Aurojit Panda, Zvonimir Rakamaric, Leonid Ryzhyk:

System Programming in Rust: Beyond Safety. 156-161 - Paul Grubbs, Thomas Ristenpart, Vitaly Shmatikov:

Why Your Encrypted Database Is Not Secure. 162-168 - Ricardo Koller, Dan Williams:

Will Serverless End the Dominance of Linux in the Cloud? 169-173 - Pierre Olivier

, Sang-Hoon Kim, Binoy Ravindran
:
OS Support for Thread Migration and Distribution in the Fully Heterogeneous Datacenter. 174-179

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID













