| Year | Title | Authors |
|---|---|---|
| 2018 | REPT: Reverse Debugging of Failures in Deployed Software | Weidong Cui, Microsoft Research Xinyang Ge, Microsoft Research Baris Kasikci, University of Michigan Ben Niu, Microsoft Research Upamanyu Sharma, University of Michigan Ruoyu Wang, Arizona State University Insu Yun, Georgia Institute of Technology |
| 2018 | Orca: Differential Bug Localization in Large-Scale Services | Ranjita Bhagwan, Microsoft Research Rahul Kumar, Microsoft Research Chandra Sekhar Maddila, Microsoft Research Adithya Abraham Philip, Microsoft Research |
| 2018 | LegoOS: A Disseminated, Distributed OS for Hardware Resource Disaggregation | Yizhou Shan, Purdue University Yutong Huang, Purdue University Yilun Chen, Purdue University Yiying Zhang, Purdue University |
| 2016 | Ryoan: A Distributed Sandbox for Untrusted Computation on Secret Data | Tyler Hunt, University of Texas at Austin Zhiting Zhu, University of Texas at Austin Yuanzhong Xu, University of Texas at Austin Simon Peter, University of Texas at Austin Emmett Witchel, University of Texas at Austin |
| 2016 | Push-Button Verification of File Systems via Crash Refinement | Helgi Sigurbjarnarson, University of Washington James Bornholt, University of Washington Emina Torlak, University of Washington Xi Wang, University of Washington |
| 2016 | Early Detection of Configuration Errors to Reduce Failure Damage | Tianyin Xu, University of California San Diego Xinxin Jin, University of California San Diego Peng Huang, University of California San Diego Yuanyuan Zhou, University of California San Diego Shan Lu, University of Chicago Long Jin, University of California San Diego Shankar Pasupathy, NetApp |
| 2014 | Shielding Applications from an Untrusted Cloud with Haven | Andrew Baumann, Microsoft Research Marcus Peinado, Microsoft Research Galen Hunt, Microsoft Research |
| 2014 | IX: A Protected Dataplane Operating System for High Throughput and Low Latency | Adam Belay, Stanford University George Prekas, École Polytechnique Fédérale de Lausanne Ana Klimovic, Stanford University Samuel Grossman, Stanford University Christos Kozyrakis, Stanford University Edouard Bugnion, École Polytechnique Fédérale de Lausanne |
| 2014 | Arrakis: The Operating System is the Control Plane | Simon Peter, University of Washington Jialin Li, University of Washington Irene Zhang, University of Washington Dan Ports, University of Washington Doug Woos, University of Washington Arvind Krishnamurthy, University of Washington Thomas Anderson, University of Washington Timothy Roscoe, ETH Zurich |
| 2012 | Spanner: Google’s Globally-Distributed Database | James C. Corbett, Google Jeffrey Dean, Google Michael Epstein, Google Andrew Fikes, Google Christopher Frost, Google JJ Furman, Google Sanjay Ghemawat, Google Andrey Gubarev, Google Christopher Heiser, Google Peter Hochschild, Google Wilson Hsieh, Google Sebastian Kanthak, Google Eugene Kogan, Google Hongyi Li, Google Alexander Lloyd, Google Sergey Melnik, Google David Mwaura, Google David Nagle, Google Sean Quinlan, Google Rajesh Rao, Google Lindsay Rolig, Google Yasushi Saito, Google Michal Szymaniak, Google Christopher Taylor, Google Ruth Wang, Google Dale Woodford, Google |
| 2010 | Efficient System-Enforced Deterministic Parallelism | Amittai Aviram, Yale University Shu-Chun Weng, Yale University Sen Hu, Yale University Bryan Ford, Yale University |
| 2010 | The Turtles Project: Design and Implementation of Nested Virtualization | Muli Ben-Yehuda, IBM Research Michael D. Day, IBM Zvi Dubitzky, IBM Research Michael Factor, IBM Research Nadav Har’El, IBM Research Abel Gordon, IBM Research Anthony Liguori, IBM Orit Wasserman, IBM Research Ben-Ami Yassour, IBM Research |
| 2008 | KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs | Cristian Cadar, Stanford University Daniel Dunbar, Stanford University Dawson Engler, Stanford University |
| 2008 | Difference Engine: Harnessing Memory Redundancy in Virtual Machines | Diwaker Gupta, University of California San Diego Sangmin Lee, University of Texas at Austin Michael Vrable, University of California San Diego Stefan Savage, University of California San Diego Alex C. Snoeren, University of California San Diego George Varghese, University of California San Diego Geoffrey M. Voelker, University of California San Diego Amin Vahdat, University of California San Diego |
| 2008 | DryadLINQ: A System for General-Purpose Distributed Data-Parallel Computing Using a High-Level Language | Yuan Yu, Microsoft Research Michael Isard, Microsoft Research Dennis Fetterly, Microsoft Research Mihai Budiu, Microsoft Research Úlfar Erlingsson, Microsoft Research Pradeep Kumar Gunda, Microsoft Research Jon Currey, Microsoft Research |
| 2006 | Bigtable: A Distributed Storage System for Structured Data | Fay Chang, Google Jeffrey Dean, Google Sanjay Ghemawat, Google Wilson C. Hsieh, Google Deborah A. Wallach, Google Mike Burrows, Google Tushar Chandra, Google Andrew Fikes, Google Robert E. Gruber, Google |
| 2006 | Rethink the Sync | Edmund B. Nightingale, University of Michigan Kaushik Veeraraghavan, University of Michigan Peter M. Chen, University of Michigan Jason Flinn, University of Michigan |
| 2004 | Using Model Checking to Find Serious File System Errors Junfeng Yang, Stanford University | Paul Twohey, Stanford University Dawson Engler, Stanford University Madanlal Musuvathi, Microsoft Research |
| 2004 | Recovering Device Drivers | Michael M. Swift, University of Washington Muthukaruppan Annamalai, University of Washington Brian N. Bershad, University of Washington Henry M. Levy, University of Washington |
| 2002 | Memory Resource Management in VMware ESX Server | Carl A. Waldspurger, VMware |
| 2000 | Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions | Dawson Engler, Stanford University Benjamin Chelf, Stanford University Andy Chou, Stanford University Seth Hallem, Stanford University |
| 1999 | IO-Lite: A Unified I/O Buffering and Caching System | Vivek S. Pai, Rice University Peter Druschel, Rice University Willy Zwaenepoel, Rice University |
| 1996 | Automatic Compiler-Inserted I/O Prefetching for Out-of-Core Applications | Todd C. Mowry, University of Toronto Angela K. Demke, University of Toronto Orran Krieger, University of Toronto |
| 1996 | Safe Kernel Extensions Without Run-Time Checking | George C. Necula & Peter Lee, Carnegie Mellon University |
