default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 30 matches
- 2017
- Reto Achermann, Chris I. Dalton, Paolo Faraboschi, Moritz Hoffmann, Dejan S. Milojicic, Geoffrey Ndu, Alex Richardson, Timothy Roscoe, Adrian L. Shaw, Robert N. M. Watson:
Separating Translation from Protection in Address Spaces with Dynamic Remapping. HotOS 2017: 118-124 - Nadav Amit, Michael Wei, Cheng-Chun Tu:
Hypercallbacks: Decoupling Policy Decisions and Execution. HotOS 2017: 37-41 - Abhiram Balasubramanian, Marek S. Baranowski, Anton Burtsev, Aurojit Panda, Zvonimir Rakamaric, Leonid Ryzhyk:
System Programming in Rust: Beyond Safety. HotOS 2017: 156-161 - Antonio Barbalace, Anthony Iliopoulos, Holm Rauchfuss, Goetz Brasche:
It's Time to Think About an Operating System for Near Data Processing Architectures. HotOS 2017: 56-61 - Andrew Baumann:
Hardware is the new Software. HotOS 2017: 132-137 - Henry Corrigan-Gibbs, David J. Wu, Dan Boneh:
Quantum Operating Systems. HotOS 2017: 76-81 - Paul Grubbs, Thomas Ristenpart, Vitaly Shmatikov:
Why Your Encrypted Database Is Not Secure. HotOS 2017: 162-168 - Yige Hu, Youngjin Kwon, Vijay Chidambaram, Emmett Witchel:
From Crash Consistency to Transactions. HotOS 2017: 100-105 - Peng Huang, Chuanxiong Guo, Lidong Zhou, Jacob R. Lorch, Yingnong Dang, Murali Chintalapati, Randolph Yao:
Gray Failure: The Achilles' Heel of Cloud-Scale Systems. HotOS 2017: 150-155 - Bhushan Jain, Chia-Che Tsai, Donald E. Porter:
A Clairvoyant Approach to Evaluating Software (In)Security. HotOS 2017: 62-68 - Beom Heyn Kim, Sukwon Oh, David Lie:
Consistency Oracles: Towards an Interactive and Flexible Consistency Model Specification. HotOS 2017: 82-87 - Ricardo Koller, Dan Williams:
Will Serverless End the Dominance of Linux in the Cloud? HotOS 2017: 169-173 - 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. HotOS 2017: 24-29 - Baptiste Lepers, Willy Zwaenepoel, Jean-Pierre Lozi, Nicolas Palix, Redha Gouicem, Julien Sopena, Julia Lawall, Gilles Muller:
Towards Proving Optimistic Multicore Schedulers. HotOS 2017: 18-23 - Linda Leuschner, Martin Küttler, Tobias Stumpf, Christel Baier, Hermann Härtig, Sascha Klüppelholz:
Towards Automated Configuration of Systems with Non-Functional Constraints. HotOS 2017: 111-117 - David Lie, Petros Maniatis:
Glimmers: Resolving the Privacy/Trust Quagmire. HotOS 2017: 94-99 - Martin Maas, Krste Asanovic, John Kubiatowicz:
Return of the Runtimes: Rethinking the Language Runtime System for the Cloud 3.0 Era. HotOS 2017: 138-143 - Jeffrey C. Mogul, Rebecca Isaacs, Brent Welch:
Thinking about Availability in Large Service Infrastructures. HotOS 2017: 12-17 - Linh Nguyen, Peifeng Yu, Mosharaf Chowdhury:
No!: Not Another Deep Learning Framework. HotOS 2017: 88-93 - 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. HotOS 2017: 106-110 - Pierre Olivier, Sang-Hoon Kim, Binoy Ravindran:
OS Support for Thread Migration and Distribution in the Fully Heterogeneous Datacenter. HotOS 2017: 174-179 - Kay Ousterhout, Christopher Canel, Max Wolffe, Sylvia Ratnasamy, Scott Shenker:
Performance clarity as a first-class design principle. HotOS 2017: 1-6 - Aurojit Panda, Mooly Sagiv, Scott Shenker:
Verification in the Age of Microservices. HotOS 2017: 30-36 - Mark Silberstein:
OmniX: an accelerator-centric OS for omni-programmable systems. HotOS 2017: 69-75 - Michael M. Swift:
Towards O(1) Memory. HotOS 2017: 7-11 - Ehsan Totoni, Subramanya R. Dulloor, Amitabha Roy:
A Case Against Tiny Tasks in Iterative Analytics. HotOS 2017: 144-149 - Tao Zhang, Aviad Zuck, Donald E. Porter, Dan Tsafrir:
Flash Drive Lifespan *is* a Problem. HotOS 2017: 42-49 - Xu Zhao, Kirk Rodrigues, Yu Luo, Michael Stumm, Ding Yuan, Yuanyuan Zhou:
The Game of Twenty Questions: Do You Know Where to Log? HotOS 2017: 125-131 - Aviad Zuck, Udi Shriki, Donald E. Porter, Dan Tsafrir:
Preserving Hidden Data with an Ever-Changing Disk. HotOS 2017: 50-55 - 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 [contents]
loading more results
failed to load more results, please try again later
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-09-29 19:32 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint