Abstract is missing.
- Do You Know Where Your Data Are? Secure Data Capsules for Deployable Data ProtectionPetros Maniatis, Devdatta Akhawe, Kevin Fall, Elaine Shi, Dawn Song. [doi]
- Pursue Robust Indefinite ScalabilityDavid H. Ackley, Daniel C. Cannon. [doi]
- Finding Concurrency Errors in Sequential Code - OS-level, In-vivo Model Checking of Process RacesOren Laadan, Chia-che Tsai, Nicolas Viennot, Chris Blinn, Peter Senyao Du, Jason Nieh. [doi]
- Debug Determinism: The Sweet Spot for Replay-Based DebuggingCristian Zamfir, Gautam Altekar, George Candea. [doi]
- The Best of Both Worlds with On-Demand VirtualizationThawan Kooburat, Michael M. Swift. [doi]
- What If You Could Actually Trust Your Kernel?Gernot Heiser, Leonid Ryzhyk, Michael von Tessin, Aleksander Budzynowski. [doi]
- Exploiting MISD Performance Opportunities in Multi-core SystemsPatrick G. Bridges, Donour Sizemore, Scott Levy. [doi]
- Multicore OSes: Looking Forward from 1991, er, 2011David A. Holland, Margo I. Seltzer. [doi]
- Virtually Cool Ternary Content Addressable MemorySuparna Bhattacharya, Kanchi Gopinath. [doi]
- Multicore OS Benchmarks: We Can Do BetterIhor Kuz, Zachary R. Anderson, Pravin Shinde. [doi]
- Operating System Implications of Fast, Cheap, Non-Volatile MemoryKatelin Bailey, Luis Ceze, Steven D. Gribble, Henry M. Levy. [doi]
- Operating Systems Must Support GPU AbstractionsChristopher J. Rossbach, Jon Currey, Emmett Witchel. [doi]
- Provable Security: How Feasible Is It?Gerwin Klein, Toby C. Murray, Peter Gammie, Thomas Sewell, Simon Winwood. [doi]
- Macho: Programming with Man PagesAnthony Cozzie, Murph Finnicum, Samuel T. King. [doi]
- Disks Are Like Snowflakes: No Two Are AlikeElie Krevat, Joseph Tucek, Gregory R. Ganger. [doi]
- Benchmarking File System Benchmarking: It *IS* Rocket ScienceVasily Tarasov, Saumitra Bhanage, Erez Zadok, Margo Seltzer. [doi]
- The Case for VOS: The Vector Operating SystemVijay Vasudevan, David G. Andersen, Michael Kaminsky. [doi]
- Mind the Gap: Reconnecting Architecture and OS ResearchJeffrey C. Mogul, Andrew Baumann, Timothy Roscoe, Livio Soares. [doi]
- Non-Deterministic Parallelism Considered UsefulDerek Gordon Murray, Steven Hand. [doi]
- Disk-Locality in Datacenter Computing Considered IrrelevantGanesh Ananthanarayanan, Ali Ghodsi, Scott Shenker, Ion Stoica. [doi]
- More Intervention Now!Moisés Goldszmidt, Rebecca Isaacs. [doi]
- Optimizing Data Partitioning for Data-Parallel ComputingQifa Ke, Vijayan Prabhakaran, Yinglian Xie, Yuan Yu, Jingyue Wu, Junfeng Yang. [doi]
- make worldChristopher Smowton. [doi]
- Structuring the Unstructured Middle with Chunk ComputingJustin Mazzola Paluska, Hubert Pham, Steve Ward. [doi]
- MOMMIE Knows Best: Systematic Optimizations for Verifiable Distributed AlgorithmsMichael Dietz, Charalampos Papamanthou. [doi]
- Free Lunch: Exploiting Renewable Energy for ComputingSherif Akoush, Ripduman Sohan, Andrew Rice, Andrew W. Moore, Andy Hopper. [doi]
- Repair from a Chair: Computer Repair as an Untrusted Cloud ServiceLon Ingram, Ivaylo Popov, Srinath T. V. Setty, Michael Walfish. [doi]
- The Case for Power-Agile ComputingGeoffrey Challen, Mark Hempstead. [doi]
- Making Programs Forget: Enforcing Lifetime for Sensitive DataJayanthkumar Kannan, Byung-Gon Chun. [doi]
- It's Time for Low LatencyStephen M. Rumble, Diego Ongaro, Ryan Stutsman, Mendel Rosenblum, John K. Ousterhout. [doi]
- Privacy Revelations for Web and Mobile AppsDavid Wetherall, David R. Choffnes, Ben Greenstein, Seungyeop Han, Peter Hornyack, Jaeyeon Jung, Stuart E. Schechter, Xiao Sophia Wang. [doi]
- Mobile Apps: It's Time to Move Up to CondOSDavid Chu, Aman Kansal, Jie Liu, Feng Zhao. [doi]
- Toward Practical and Unconditional Verification of Remote ComputationsAndrew J. Blumberg. [doi]