| Year | Title | Authors |
|---|---|---|
| 2017 | DeepXplore: Automated Whitebox Testing of Deep Learning Systems | Kexin Pei, Columbia University Yinzhi Cao, Lehigh University Junfeng Yang, Columbia University Suman Jana, Columbia University |
| 2017 | The Efficient Server Audit Problem, Deduplicated Re-execution, and the Web | Cheng Tan, New York University Lingfan Yu, New York University Joshua B. Leners, Two Sigma Investments Michael Walfish, New York University |
| 2015 | Pivot Tracing: Dynamic Causal Monitoring for Distributed Systems | Jonathan Mace, Brown University Ryan Roelke, Brown University Rodrigo Fonseca, Brown University |
| 2015 | Using Crash Hoare Logic for Certifying the FSCQ File System | Haogang Chen, Massachusetts Institute of Technology Daniel Ziegler, Massachusetts Institute of Technology Tej Chajed, Massachusetts Institute of Technology Adam Chlipala, Massachusetts Institute of Technology M. Frans Kaashoek, Massachusetts Institute of Technology Nickolai Zeldovich, Massachusetts Institute of Technology |
| 2015 | Coz: Finding Code that Counts with Causal Profiling | Charlie Curtsinger, Grinnell College Emery Berger, University of Massachusetts Amherst |
| 2013 | Towards optimization-safe systems: analyzing the impact of undefined behavior | Xi Wang, Massachusetts Institute of Technology Nickolai Zeldovich, Massachusetts Institute of Technology M. Frans Kaashoek, Massachusetts Institute of Technology Armando Solar-Lezama, Massachusetts Institute of Technology |
| 2013 | Naiad: A Timely Dataflow System | Derek G. Murray, Microsoft Research Frank McSherry, Microsoft Research Rebecca Isaacs, Microsoft Research Michael Isard, Microsoft Research Paul Barham, Microsoft Research Martíın Abadi, Microsoft Research |
| 2013 | The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors | Austin T. Clements, Massachusetts Institute of Technology M. Frans Kaashoek, Massachusetts Institute of Technology Nickolai Zeldovich, Massachusetts Institute of Technology Robert T. Morris, Massachusetts Institute of Technology Eddie Kohler, Harvard University |
| 2011 | A File is Not a File: Understanding the I/O Behavior of Apple Desktop Applications | Tyler Harter, University of Wisconsin Chris Dragga, University of Wisconsin Michael Vaughn, University of Wisconsin Andrea C. Arpaci-Dusseau, University of Wisconsin Remzi H. Arpaci-Dusseau, University of Wisconsin |
| 2011 | Cells: A Virtual Mobile Smartphone Architecture | Jeremy Andrus, Columbia University Christoffer Dall, Columbia University Alexander Van’t Hof, Columbia University Oren Laadan, Columbia University Jason Nieh, Columbia University |
| 2009 | FAWN: A Fast Array of Wimpy Nodes | David G. Andersen, Carnegie Mellon University Jason Franklin, Carnegie Mellon University Michael Kaminsky, Intel Research Amar Phanishayee, Carnegie Mellon University Lawrence Tan, Carnegie Mellon University Vijay Vasudevan, Carnegie Mellon University |
| 2009 | seL4: Formal Verification of an OS Kernel | Gerwin Klein, NICTA Kevin Elphinstone, NICTA Gernot Heiser, NICTA June Andronick, NICTA David Cock, NICTA Philip Derrin, NICTA Dhammika Elkaduwe, NICTA Kai Engelhardt, NICTA Rafal Kolanski, NICTA Michael Norrish, NICTA Thomas Sewell, NICTA Harvey Tuch, NICTA Simon Winwood, NICTA |
| 2009 | RouteBricks: Exploiting Parallelism to Scale Software Routers | Mihai Dobrescu, École Polytechnique Fédérale de Lausanne Norbert Egi, Lancaster University Katerina Argyraki, École Polytechnique Fédérale de Lausanne Byung-Gon Chun, Intel Research Kevin Fall, Intel Research Gianluca Iannaccone, Intel Research Allan Knies, Intel Research Maziar Manesh, Intel Research Sylvia Ratnasamy, Intel Research |
| 2007 | Zyzzyva: speculative byzantine fault tolerance | Ramakrishna Kotla, University of Texas at Austin Lorenzo Alvisi, University of Texas at Austin Mike Dahlin, University of Texas at Austin Allen Clement, University of Texas at Austin Edmund Wong, University of Texas at Austin |
| 2007 | Sinfonia: a new paradigm for building scalable distributed systems | Marcos K. Aguilera, Hewlett-Packard Labs Arif Merchant, Hewlett-Packard Labs Mehul Shah, Hewlett-Packard Labs Alistair Veitch, Hewlett-Packard Labs Christos Karamanolis, VMware |
| 2007 | Secure Web Applications via Automatic Partitioning | Stephen Chong, Cornell University Jed Liu, Cornell University Andrew C. Myers, Cornell University Xin Qi, Cornell University K. Vikram, Cornell University Lantian Zheng, Cornell University Xin Zheng, Cornell University |
| 2005 | Speculative Execution in a Distributed File System | Edmund B. Nightingale, University of Michigan Peter M. Chen, University of Michigan Jason Flinn, University of Michigan |
| 2005 | BAR Tolerance for Cooperative Services | Amitanand S. Aiyer, University of Texas at Austin Lorenzo Alvisi, University of Texas at Austin Allen Clement, University of Texas at Austin Mike Dahlin, University of Texas at Austin Jean-Philippe Martin, University of Texas at Austin Carl Porth, University of Texas at Austin |
| 2005 | Rx: treating bugs as allergies - a safe method to survive software failures | Feng Qin, University of Illinois at Urbana-Champaign Joseph Tucek, University of Illinois at Urbana-Champaign Jagadeesan Sundaresan, University of Illinois at Urbana-Champaign Yuanyuan Zhou, University of Illinois at Urbana-Champaign |
| 2005 | Vigilante: End-to-End Containment of Internet Worms | Manuel Costa, University of Cambridge Jon Crowcroft, University of Cambridge Miguel Castro, Microsoft Research Antony Rowstron, Microsoft Research Lidong Zhou, Microsoft Research Lintao Zhang, Microsoft Research Paul Barham, Microsoft Research |
| 2003 | Backtracking intrusions | Samuel T. King & Peter M. Chen, University of Michigan |
| 2003 | Preserving peer replicas by rate-limited sampled voting | Petros Maniatis, Stanford University David S. H. Rosenthal, Stanford University Mema Roussopoulos, Stanford University Mary Baker, Stanford University TJ Giuli, Stanford University Yanto Muliadi, Stanford University |
| 2003 | Improving the Reliability of Commodity Operating Systems | Michael M. Swift, University of Washington Brian N. Bershad, University of Washington Henry M. Levy, University of Washington |
| 2001 | BASE: using abstraction to improve fault tolerance | Rodrigo Rodrigues, Massachusetts Institute of Technology Miguel Castro, Microsoft Research Barbara Liskov, Massachusetts Institute of Technology |
| 2001 | Untrusted hosts and confidentiality: secure program partitioning | Steve Zdancewic, Cornell University Lantian Zheng, Cornell University Nathaniel Nystrom, Cornell University Andrew C. Myers, Cornell University |
| 1999 | Cellular Disco: resource management using virtual clusters on shared-memory multiprocessors | Kinshuk Govil, Stanford University Dan Teodosiu, Hewlett-Packard Labs Yongqiang Huang, Stanford University Mendel Rosenblum, Stanford University |
| 1999 | Soft timers: efficient microsecond software timer support for network processing | Mohit Aron & Peter Druschel, Rice University |
| 1999 | The Click modular router | Robert Morris, Massachusetts Institute of Technology Eddie Kohler, Massachusetts Institute of Technology John Jannotti, Massachusetts Institute of Technology M. Frans Kaashoek, Massachusetts Institute of Technology |
| 1999 | Manageability, availability and performance in Porcupine: a highly scalable, cluster-based mail service | Yasushi Saito, University of Washington Brian N. Bershad, University of Washington Henry M. Levy, University of Washington |
| 1997 | Continuous profiling: where have all the cycles gone? | Jennifer M. Anderson, Digital Equipment Corporation Lance M. Berc, Digital Equipment Corporation Jeffrey Dean, Digital Equipment Corporation Sanjay Ghemawat, Digital Equipment Corporation Monika R. Henzinger, Digital Equipment Corporation Shun-Tak A. Leung, Digital Equipment Corporation Richard L. Sites, Digital Equipment Corporation Mark T. Vandevoorde, Digital Equipment Corporation Carl A. Waldspurger, Digital Equipment Corporation William E. Weihl, Digital Equipment Corporation |
| 1997 | Disco: running commodity operating systems on scalable multiprocessors | Edouard Bugnion, Stanford University Scott Devine, Stanford University Mendel Rosenblum, Stanford University |
| 1997 | Eraser: a dynamic data race detector for multithreaded programs | Stefan Savage, University of Washington Michael Burrows, Digital Equipment Corporation Greg Nelson, Digital Equipment Corporation Patrick Sobalvarro, Digital Equipment Corporation Thomas Anderson, University of California Berkeley |
