Conferences

Search results

    TitleConferenceSpeaker(s)
    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
    Gridmix: A Tool for Hadoop Performance BenchmarkingOSDI '08Runping Qi, Owen O'Malley, Chris Douglas, Eric Baldeschwieler, Mac Yang, Arun C. Murthy
    CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed SystemsOSDI '08Maysam Yabandeh, Nikola Knezevic, Viktor Kuncak
    Coscheduling of I/O and Computation in Active Storage ClustersOSDI '08Saba Sehrish, Grant Mackey, Jun Wang
    Honor: A Serializing On-Disk Writeback BufferOSDI '08Rick Spillane, Chaitanya Yalamanchili, Sachin Gaikwad, Manjunath Chinni, Erez Zadok
    Zeno: Eventually Consistent Byzantine Fault ToleranceOSDI '08Atul Singh, Pedro Fonseca, Petr Kuznetsov, Rodrigo Rodrigues, Petros Maniatis

Pages