Papers

Search results

    ConferenceTitleAuthor(s)
    HotOS XIHotComments: How to Make Program Comments More Useful?Lin Tan, Ding Yuan
    HotOS XITowards a Practical, Verified KernelKevin Elphinstone, Gerwin Klein, Philip Derrin, Gernot Heiser
    HotOS XIBeyond Bug-Finding: Sound Program Analysis for LinuxZachary Anderson, Eric Brewer
    HotOS IXHigh Availability, Scalable Storage, Dynamic Peer Networks: Pick TwoCharles Blake, Rodrigo Rodrigues
    HotOS IXOne Hop Lookups for Peer-to-Peer OverlaysAnjali Gupta, Barbara Liskov
    HotOS IXAn Analysis of Compare-by-hashVal Henson
    HotOS IXWhy Events Are a Bad Idea (for High-Concurrency Servers)Rob von Behren, Jeremy Condit, Eric Brewer
    HotOS IXTCP Offload Is a Dumb Idea Whose Time Has ComeJeffrey C. Mogul
    HotOS IXTCP Meets Mobile CodeParveen Patel, David Wetherall, Jay Lepreau, Andrew Whitaker
    HotOS IXExploiting the Synergy between Peer-to-Peer and Mobile Ad Hoc NetworksY. Charlie Hu, Saumitra M. Das
    HotOS IX* Scheduling and Simulation: How to Upgrade Distributed SystemsSameer Ajmani, Liuba Shrira
    HotOS IX* Development Tools for Distributed ApplicationsMukesh Agrawal, Srinivasan Seshan
    HotOS IX* Virtual Appliances in the Collective: A Road to Hassle-Free ComputingConstantine Sapuntzakis, Monica S. Lam
    HotOS IX* POST: A Secure, Resilient, Cooperative Messaging SystemAlan Mislove, Ansley Post, Charles Reis, Paul Willmann, Peter Druschel, Dan S. Wallach, Xavier Bonnaire, Pierre Sens, Jean-Michel Busca, Luciana Arantes-Bezerra
    HotOS IXCrash-Only SoftwareGeorge Candea, Armando Fox
    HotOS IXThe Phoenix Recovery System: Rebuilding from the Ashes of an Internet CatastropheFlavio Junqueira, Ranjita Bhagwan, Keith Marzullo, Stefan Savage, Geoffrey M. Voelker
    HotOS IXUsing Runtime Paths for MacroanalysisMike Chen, Emre Kiciman
    HotOS IXMagpie: Online Modelling and Performance-aware SystemsPaul Barham, Rebecca Isaacs, Richard Mortier, Dushyanth Narayanan
    HotOS IX* Using Computers to Diagnose Computer ProblemsJoshua A. Redstone, Michael M. Swift, Brian N. Bershad
    HotOS IX* Using Performance Reflection in Systems SoftwareRobert Fowler, Alan Cox
    HotOS IX* Cassyopia: Compiler Assisted System OptimizationMohan Rajagopalan, Saumya K. Debray, Matti A. Hiltunen, Richard D. Schlichting
    HotOS IX* Cosy: Develop in User-Land, Run in Kernel-ModeAmit Purohit, Charles P. Wright, Joseph Spadavecchia, Erez Zadok
    HotOS IXWhy Can't I Find My Files? New Methods for Automating Attribute AssignmentCraig A. N. Soules, Gregory R. Ganger
    HotOS IXSecure Data Replication over Untrusted HostsBogdan C. Popescu, Bruno Crispo, Andrew S. Tanenbaum
    HotOS IXPalimpsest: Soft-Capacity Storage for Planetary-Scale ServicesTimothy Roscoe, Steven Hand

Pages