default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID13th HotOS 2011: Napa, California, USA
- Matt Welsh:
13th Workshop on Hot Topics in Operating Systems, HotOS XIII, Napa, California, USA, May 9-11, 2011. USENIX Association 2011 - Vijay Vasudevan, David G. Andersen, Michael Kaminsky:
The Case for VOS: The Vector Operating System. - Christopher J. Rossbach, Jon Currey, Emmett Witchel
:
Operating Systems Must Support GPU Abstractions. - David A. Holland, Margo I. Seltzer:
Multicore OSes: Looking Forward from 1991, er, 2011. - Gernot Heiser, Leonid Ryzhyk, Michael von Tessin, Aleksander Budzynowski:
What If You Could Actually Trust Your Kernel? - Gerwin Klein, Toby C. Murray, Peter Gammie, Thomas Sewell, Simon Winwood:
Provable Security: How Feasible Is It? - Andrew J. Blumberg:
Toward Practical and Unconditional Verification of Remote Computations. - Michael Dietz, Charalampos Papamanthou:
MOMMIE Knows Best: Systematic Optimizations for Verifiable Distributed Algorithms. - Patrick G. Bridges, Donour Sizemore, Scott Levy:
Exploiting MISD Performance Opportunities in Multi-core Systems. - Moisés Goldszmidt, Rebecca Isaacs:
More Intervention Now! - Christopher Smowton:
make world. - David Wetherall, David R. Choffnes, Ben Greenstein, Seungyeop Han, Peter Hornyack, Jaeyeon Jung, Stuart E. Schechter, Xiao Sophia Wang:
Privacy Revelations for Web and Mobile Apps. - Petros Maniatis, Devdatta Akhawe, Kevin R. Fall, Elaine Shi, Dawn Song:
Do You Know Where Your Data Are? Secure Data Capsules for Deployable Data Protection. - Jayanthkumar Kannan, Byung-Gon Chun:
Making Programs Forget: Enforcing Lifetime for Sensitive Data. - Cristian Zamfir, Gautam Altekar, George Candea:
Debug Determinism: The Sweet Spot for Replay-Based Debugging. - Derek Gordon Murray, Steven Hand:
Non-Deterministic Parallelism Considered Useful. - Oren Laadan, Chia-Che Tsai, Nicolas Viennot, Chris Blinn, Peter Senyao Du, Jason Nieh:
Finding Concurrency Errors in Sequential Code - OS-level, In-vivo Model Checking of Process Races. - Geoffrey Challen, Mark Hempstead:
The Case for Power-Agile Computing. - David Chu, Aman Kansal, Jie Liu, Feng Zhao:
Mobile Apps: It's Time to Move Up to CondOS. - Sherif Akoush, Ripduman Sohan, Andrew C. Rice, Andrew W. Moore, Andy Hopper:
Free Lunch: Exploiting Renewable Energy for Computing. - Ganesh Ananthanarayanan, Ali Ghodsi, Scott Shenker, Ion Stoica:
Disk-Locality in Datacenter Computing Considered Irrelevant. - Qifa Ke, Vijayan Prabhakaran, Yinglian Xie, Yuan Yu, Jingyue Wu, Junfeng Yang:
Optimizing Data Partitioning for Data-Parallel Computing. - Elie Krevat, Joseph A. Tucek, Gregory R. Ganger:
Disks Are Like Snowflakes: No Two Are Alike. - Vasily Tarasov, Saumitra Bhanage, Erez Zadok, Margo I. Seltzer:
Benchmarking File System Benchmarking: It *IS* Rocket Science. - Ihor Kuz, Zachary R. Anderson, Pravin Shinde:
Multicore OS Benchmarks: We Can Do Better. - Stephen M. Rumble, Diego Ongaro, Ryan Stutsman, Mendel Rosenblum, John K. Ousterhout:
It's Time for Low Latency. - Anthony Cozzie, Murph Finnicum, Samuel T. King:
Macho: Programming with Man Pages. - David H. Ackley, Daniel C. Cannon:
Pursue Robust Indefinite Scalability. - Thawan Kooburat, Michael M. Swift:
The Best of Both Worlds with On-Demand Virtualization. - Lon Ingram, Ivaylo Popov, Srinath T. V. Setty, Michael Walfish:
Repair from a Chair: Computer Repair as an Untrusted Cloud Service. - Justin Mazzola Paluska, Hubert Pham, Steve Ward:
Structuring the Unstructured Middle with Chunk Computing. - Jeffrey C. Mogul, Andrew Baumann, Timothy Roscoe, Livio Soares:
Mind the Gap: Reconnecting Architecture and OS Research. - Katelin Bailey, Luis Ceze, Steven D. Gribble, Henry M. Levy:
Operating System Implications of Fast, Cheap, Non-Volatile Memory. - Suparna Bhattacharya, Kanchi Gopinath:
Virtually Cool Ternary Content Addressable Memory.
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.
last updated on 2025-02-19 00:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
