Conferences

Search results

    TitleConferenceSpeaker(s)
    FlightPath: Obedience vs. Choice in Cooperative ServicesOSDI '08Harry C. Li, Allen Clement, Mirco Marchetti, Manos Kapritsos, Luke Robison, Lorenzo Alvisi
    Mencius: Building Efficient Replicated State Machines for WANsOSDI '08Yanhua Mao, Flavio P. Junqueira, Keith Marzullo
    Difference Engine: Harnessing Memory Redundancy in Virtual MachinesOSDI '08Diwaker Gupta, Sangmin Lee, Michael Vrable, Stefan Savage, Alex C. Snoeren, George Varghese, Geoffrey M. Voelker, Amin Vahdat
    Quanto: Tracking Energy in Networked Embedded SystemsOSDI '08Rodrigo Fonseca, Prabal Dutta
    Leveraging Legacy Code to Deploy Desktop Applications on the WebOSDI '08John R. Douceur, Jeremy Elson, Jon Howell, Jacob R. Lorch
    Finding and Reproducing Heisenbugs in Concurrent ProgramsOSDI '08Madanlal Musuvathi, Shaz Qadeer, Thomas Ball, Gerard Basler, Piramanayagam Arumuga Nainar, Iulian Neamtiu
    Gadara: Dynamic Deadlock Avoidance for Multithreaded ProgramsOSDI '08Yin Wang, Terence Kelly, Manjunath Kudlur, Stéphane Lafortune, Scott Mahlke
    Deadlock Immunity: Enabling Systems to Defend Against DeadlocksOSDI '08Horatiu Jula, Daniel Tralamazza, Cristian Zamfir, George Candea
    Hardware Enforcement of Application Security Policies Using Tagged MemoryOSDI '08Nickolai Zeldovich, Hari Kannan, Michael Dalton, Christos Kozyrakis
    Device Driver Safety Through a Reference Validation MechanismOSDI '08Dan Williams, Patrick Reynolds, Kevin Walsh, Emin Gün Sirer, Fred B. Schneider
    Digging for Data StructuresOSDI '08Anthony Cozzie, Frank Stratton, Hui Xue, Samuel T. King
    Binary Translation Using Peephole SuperoptimizersOSDI '08Sorav Bansal, Alex Aiken
    R2: An Application-Level Kernel for Record and ReplayOSDI '08Zhenyu Guo, Xi Wang, Jian Tang, Xuezheng Liu, Zhilei Xu, M. Frans Kaashoek
    KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems ProgramsOSDI '08Cristian Cadar, Daniel Dunbar, Dawson Engler
    SQCK: A Declarative File System CheckerOSDI '08Haryadi S. Gunawi, Abhishek Rajimwale, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau
    Transactional FlashOSDI '08Vijayan Prabhakaran, Thomas L. Rodeheffer, Lidong Zhou
    Avoiding File System Micromanagement with Range WritesOSDI '08Ashok Anand, Sayandeep Sen, Andrew Krioukov, Florentina Popovici, Aditya Akella, Andrea Arpaci-Dusseau, Suman Banerjee
    Multikernel: An Architecture for Scalable Multi-core Operating SystemsOSDI '08Simon Peter, Adrian Schupbach, Akhilesh Singhania, Andrew Baumann, Timothy RoscoeETH Zurich, Paul Barham, Rebecca Isaacs
    Transcendent Memory: Re-inventing Physical Memory Management in a Virtualized EnvironmentOSDI '08Dan Magenheimer, Chris Mason, David McCracken, Kurt Hackel
    Towards Less Downtime of Commodity Operating Systems: Reboots with Virtualization TechnologyOSDI '08Hiroshi Yamada, Kenji Kono
    TeXen: Virtualization for HTM-aware Guest OSesOSDI '08Christopher Rossbach
    SnowFlock: Cloning VMs in the CloudOSDI '08H. Andres Lagar-Cavilla
    CPU Scheduling for Flexible Differentiated Services in Cloud ComputingOSDI '08Gunho Leo, Randy H. Katz
    Toward Differentiated Services for Data CentersOSDI '08Tung Nguyen, Anthony Cutway, Weisong Shi
    TCP Incast Throughput Collapse in Internet DatacentersOSDI '08Yanpei Chen, Junda Liu, Bin Dai, Rean Griffith, Randy H. Katz, Scott Shenker

Pages