@inproceedings{AryaEtAl13,
  author = {Kapil Arya and Tyler Denniston and Ana-Maria Visan
            and Gene Cooperman},
  title = {Semi-Automated Debugging via Binary Search
           through a Process Lifetime},
  year = {2013}
  booktitle = {Proc. of 7th Workshop on Programming Languages
         and Operating Systems (PLOS)
         (part of Proc. of 24th ACM Symp. on Operating System
         Principles (SOSP))},
  year = {2013},
  note = {7 pages, electronic proceedings at
        \url{http://plosworkshop.org/2013/preprint/arya.pdf}}
}