OSDI A*

27 papers

YearTitle / Authors
20088th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2008, December 8-10, 2008, San Diego, California, USA, Proceedings
Richard Draves, Robbert van Renesse
2008Automating Network Application Dependency Discovery: Experiences, Limitations, and New Solutions.
Xu Chen, Ming Zhang, Zhuoqing Morley Mao, Paramvir Bahl
2008Avoiding File System Micromanagement with Range Writes.
Ashok Anand, Sayandeep Sen, Andrew Krioukov, Florentina I. Popovici, Aditya Akella, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Suman Banerjee
2008Binary Translation Using Peephole Superoptimizers.
Sorav Bansal, Alex Aiken
2008Corey: An Operating System for Many Cores.
Silas Boyd-Wickizer, Haibo Chen, Rong Chen, Yandong Mao, M. Frans Kaashoek, Robert Morris, Aleksey Pesterev, Lex Stein, Ming Wu, Yue-hua Dai, Yang Zhang, Zheng Zhang
2008CuriOS: Improving Reliability through Operating System Structure.
Francis M. David, Ellick Chan, Jeffrey C. Carlyle, Roy H. Campbell
2008Deadlock Immunity: Enabling Systems to Defend Against Deadlocks.
Horatiu Jula, Daniel M. Tralamazza, Cristian Zamfir, George Candea
2008Device Driver Safety Through a Reference Validation Mechanism.
Dan Williams, Patrick Reynolds, Kevin Walsh, Emin Gün Sirer, Fred B. Schneider
2008Difference Engine: Harnessing Memory Redundancy in Virtual Machines.
Diwaker Gupta, Sangmin Lee, Michael Vrable, Stefan Savage, Alex C. Snoeren, George Varghese, Geoffrey M. Voelker, Amin Vahdat
2008Digging for Data Structures.
Anthony Cozzie, Frank Stratton, Hui Xue, Samuel T. King
2008DryadLINQ: A System for General-Purpose Distributed Data-Parallel Computing Using a High-Level Language.
Yuan Yu, Michael Isard, Dennis Fetterly, Mihai Budiu, Úlfar Erlingsson, Pradeep Kumar Gunda, Jon Currey
2008Everest: Scaling Down Peak Loads Through I/O Off-Loading.
Dushyanth Narayanan, Austin Donnelly, Eno Thereska, Sameh Elnikety, Antony I. T. Rowstron
2008Finding and Reproducing Heisenbugs in Concurrent Programs.
Madanlal Musuvathi, Shaz Qadeer, Thomas Ball, Gérard Basler, Piramanayagam Arumuga Nainar, Iulian Neamtiu
2008FlightPath: Obedience vs. Choice in Cooperative Services.
Harry C. Li, Allen Clement, Mirco Marchetti, Manos Kapritsos, Luke Robison, Lorenzo Alvisi, Michael Dahlin
2008Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs.
Yin Wang, Terence Kelly, Manjunath Kudlur, Stéphane Lafortune, Scott A. Mahlke
2008Hardware Enforcement of Application Security Policies Using Tagged Memory.
Nickolai Zeldovich, Hari Kannan, Michael Dalton, Christos Kozyrakis
2008Improving MapReduce Performance in Heterogeneous Environments.
Matei Zaharia, Andy Konwinski, Anthony D. Joseph, Randy H. Katz, Ion Stoica
2008KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs.
Cristian Cadar, Daniel Dunbar, Dawson R. Engler
2008Leveraging Legacy Code to Deploy Desktop Applications on the Web.
John R. Douceur, Jeremy Elson, Jon Howell, Jacob R. Lorch
2008Lightweight, High-Resolution Monitoring for Troubleshooting Production Systems.
Sapan Bhatia, Abhishek Kumar, Marc E. Fiuczynski, Larry L. Peterson
2008Mencius: Building Efficient Replicated State Machine for WANs.
Yanhua Mao, Flavio Paiva Junqueira, Keith Marzullo
2008Network Imprecision: A New Consistency Metric for Scalable Monitoring.
Navendu Jain, Prince Mahajan, Dmitry Kit, Praveen Yalagandula, Michael Dahlin, Yin Zhang
2008Quanto: Tracking Energy in Networked Embedded Systems.
Rodrigo Fonseca, Prabal Dutta, Philip Alexander Levis, Ion Stoica
2008R2: An Application-Level Kernel for Record and Replay.
Zhenyu Guo, Xi Wang, Jian Tang, Xuezheng Liu, Zhilei Xu, Ming Wu, M. Frans Kaashoek, Zheng Zhang
2008Redline: First Class Support for Interactivity in Commodity Operating Systems.
Ting Yang, Tongping Liu, Emery D. Berger, Scott F. Kaplan, J. Eliot B. Moss
2008SQCK: A Declarative File System Checker.
Haryadi S. Gunawi, Abhishek Rajimwale, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau
2008Transactional Flash.
Vijayan Prabhakaran, Thomas L. Rodeheffer, Lidong Zhou