HotOS A

34 papers

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