USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Papers
Search results
| Conference | Title | Author(s) |
|---|---|---|
| OSDI '08 | Network Imprecision: A New Consistency Metric for Scalable Monitoring | Navendu Jain, Prince Mahajan, Dmitry Kit, Praveen Yalagandula, Mike Dahlin, Yin Zhang |
| OSDI '08 | Lightweight, High-Resolution Monitoring for Troubleshooting Production Systems | Sapan Bhatia, Abhishek Kumar, Marc E. Fiuczynski, Larry Peterson |
| OSDI '08 | Automating Network Application Dependency Discovery: Experiences, Limitations, and New Solutions | Xu Chen, Ming Zhang, Z. Morley Mao, Paramvir Bahl |
| OSDI '08 | SQCK: A Declarative File System Checker | Haryadi S. Gunawi, Abhishek Rajimwale, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau |
| OSDI '08 | Transactional Flash | Vijayan Prabhakaran, Thomas L. Rodeheffer, Lidong Zhou |
| OSDI '08 | Avoiding File System Micromanagement with Range Writes | Ashok Anand, Sayandeep Sen, Andrew Krioukov, Florentina Popovici, Aditya Akella, Andrea Arpaci-Dusseau, Suman Banerjee |
| OSDI '08 | Binary Translation Using Peephole Superoptimizers | Sorav Bansal, Alex Aiken |
| OSDI '08 | R2: An Application-Level Kernel for Record and Replay | Zhenyu Guo, Xi Wang, Jian Tang, Xuezheng Liu, Zhilei Xu, M. Frans Kaashoek |
| OSDI '08 | KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs | Cristian Cadar, Daniel Dunbar, Dawson Engler |
| OSDI '08 | Hardware Enforcement of Application Security Policies Using Tagged Memory | Nickolai Zeldovich, Hari Kannan, Michael Dalton, Christos Kozyrakis |
| OSDI '08 | Device Driver Safety Through a Reference Validation Mechanism | Dan Williams, Patrick Reynolds, Kevin Walsh, Emin Gün Sirer, Fred B. Schneider |
| OSDI '08 | Digging for Data Structures | Anthony Cozzie, Frank Stratton, Hui Xue, Samuel T. King |
| OSDI '08 | Finding and Reproducing Heisenbugs in Concurrent Programs | Madanlal Musuvathi, Shaz Qadeer, Thomas Ball, Gerard Basler, Piramanayagam Arumuga Nainar, Iulian Neamtiu |
| OSDI '08 | Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs | Yin Wang, Terence Kelly, Manjunath Kudlur, Stéphane Lafortune, Scott Mahlke |
| OSDI '08 | Deadlock Immunity: Enabling Systems to Defend Against Deadlocks | Horatiu Jula, Daniel Tralamazza, Cristian Zamfir, George Candea |
| OSDI '08 | Difference 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 |
| OSDI '08 | Quanto: Tracking Energy in Networked Embedded Systems | Rodrigo Fonseca, Prabal Dutta |
| OSDI '08 | Leveraging Legacy Code to Deploy Desktop Applications on the Web | John R. Douceur, Jeremy Elson, Jon Howell, Jacob R. Lorch |
| OSDI '08 | FlightPath: Obedience vs. Choice in Cooperative Services | Harry C. Li, Allen Clement, Mirco Marchetti, Manos Kapritsos, Luke Robison, Lorenzo Alvisi |
| OSDI '08 | Mencius: Building Efficient Replicated State Machines for WANs | Yanhua Mao, Flavio P. Junqueira, Keith Marzullo |
| OSDI '06 | Rethink the Sync | Edmund B. Nightingale, Kaushik Veeraraghavan, Peter M. Chen, Jason Flinn |
| OSDI '06 | Type-Safe Disks | Gopalan Sivathanu, Swaminathan Sundararaman, Erez Zadok |
| OSDI '06 | Stasis: Flexible Transactional Storage | Russell Sears, Eric Brewer |
| OSDI '06 | SafeDrive: Safe and Recoverable Extensions Using Language-Based Techniques | Feng Zhou, Jeremy Condit, Zachary Anderson, Ilya Bagrak, Rob Ennals, Matthew Harren, George Necula |
| OSDI '06 | BrowserShield: Vulnerability-Driven Filtering of Dynamic HTML | Charles Reis, John Dunagan, Helen J. Wang, Opher Dubrovsky, Saher Esmeir |