thesis.bib

@unpublished{TODO,
  author = {John Doe},
  title = {Stand in Citation},
  school = {Massachusetts Institute of Technology},
  address = {Cambridge, MA},
  year = 2004
}

@inproceedings{llvm,
  author    = {Chris Lattner and Vikram Adve},
  title     = {LLVM: A Compilation Framework for Lifelong Program Analysis \& Transformation},
  booktitle = {International Symposium on Code Generation and Optimization},
  series    = {CGO},
  address   = {Palo Alto, California},
  month     = {Mar},
  year      = {2004}
}

@phdthesis{bruening_phd,
  author = {Derek Bruening},
  title = {Efficient, Transparent, and Comprehensive Runtime Code Manipulation},
  school = {Massachusetts Institute of Technology},
  address = {Cambridge, MA},
  year = 2004
}

# Unused
@inproceedings{dynamo,
  author    = {Vasanth Bala and
               Evelyn Duesterwald and
               Sanjeev Banerjia},
  title     = {Dynamo: a transparent dynamic optimization system},
  booktitle = {PLDI},
  series    = {PLDI},
  year      = {2000},
  pages     = {1-12},
  ee        = {http://doi.acm.org/10.1145/349299.349303},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@book{inside_win2k,
  author = {D. A. Solomon and M. E. Russinovich},
  title = {Inside microsoft windows 2000},
  year = {2000},
  masid = {1359449}
}

# Unused
@inproceedings{reg_renaming,
  author    = {Gurindar S. Sohi and
               Sriram Vajapeyam},
  title     = {Instruction Issue Logic for High-Performance, Interruptable
               Pipelined Processors},
  booktitle = {ISCA},
  year      = {1987},
  pages     = {27-34},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

# Unused
@inproceedings{pin_buffering,
  author = {Dan Upton and Kim Hazelwood and Greg Lueck and Robert Cohn},
  title = {Improving Instrumentation Speed via Buffering},
  booktitle = {Workshop on Binary Instrumentation and Applications},
  series = {WBIA},
  month = {December},
  year = {2009},
  pages = {52--61}
}

@inproceedings{pin,
  author = {Luk, Chi-Keung and Cohn, Robert and Muth, Robert and Patil,
    Harish and Klauser, Artur and Lowney, Geoff and Wallace, Steven and Reddi,
    Vijay Janapa and Hazelwood, Kim},
  title = {Pin: building customized program analysis tools with dynamic instrumentation},
  booktitle = {Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation},
  series = {PLDI},
  year = {2005},
  pages = {190--200},
  publisher = {ACM},
  address = {New York, NY, USA},
}

@inproceedings{pipa,
  title = {{Pipa: pipelined profiling and analysis on multi-core systems}},
  year = {2008},
  author = {Zhao, Qin and Cutcutache, Ioana and Wong, Weng F.},
  booktitle = "The International Symposium on Code Generation and Optimization",
  series = {CGO},
  address = {New York, NY, USA},
  pages = {185--194},
}

@InProceedings{umbra,
  title     = "Umbra: Efficient and Scalable Memory Shadowing",
  author    = "Qin Zhao and Derek Bruening and Saman Amarasinghe",
  booktitle = "The International Symposium on Code Generation and Optimization",
  series    = {CGO},
  address   = "Toronto, Canada",
  month     = "Apr",
  year      = "2010",
  url       = "http://groups.csail.mit.edu/commit/papers/2010/zhao-cgo10-umbra.pdf",
  slides    = "http://groups.csail.mit.edu/commit/papers/2010/zhao-cgo10-umbra-slides.pptx",
  keywords  = "Umbra",
}

@misc{spec_cpu_2k6,
  author = {Standard Performance Evaluation Corporation},
  title = {SPEC CPU2006 benchmark suite},
  year = {2006},
  url = {http://www.spec.org/cpu2006/}
}

@inproceedings{valgrind,
  author    = {Nicholas Nethercote and
               Julian Seward},
  title     = {Valgrind: a framework for heavyweight dynamic binary instrumentation},
  booktitle = {Proceedings of ACM SIGPLAN 2007 Conference on Programming
               Language Design and Implementation},
  series    = {PLDI},
  year      = {2007},
  pages     = {89-100},
  ee        = {http://doi.acm.org/10.1145/1250734.1250746},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{shepherding,
  author = "Vladimir Kiriansky and Derek Bruening and Saman Amarasinghe",
  title = "Secure Execution Via Program Shepherding",
  month = "Aug",
  year = "2002",
  booktitle = "USENIX Security Symposium",
  address = "San Francisco",
}

% TODO: Is there an original paper to cite for binary translation?
@inproceedings{vmware_comparison,
    author = {Keith Adams},
    title = {A comparison of software and hardware techniques for x86 virtualization},
    booktitle = {Proceedings of the 12th international conference on
      Architectural Support for Programming Languages and Operating Systems},
    series = {ASPLOS},
    year = {2006},
    pages = {2--13},
    publisher = {ACM Press}
}

@misc{helgrind,
  title = {Helgrind: a thread error detector},
  howpublished = {http://valgrind.org/docs/manual/hg-manual.html},
}

@inproceedings{tsan,
  author = {Serebryany, Konstantin and Iskhodzhanov, Timur},
  title = {ThreadSanitizer: data race detection in practice},
  booktitle = {Proceedings of the Workshop on Binary Instrumentation and Applications},
  series = {WBIA},
  year = {2009},
  pages = {62--71},
  publisher = {ACM},
  address = {New York, NY, USA},
}

@inproceedings{valgrind_workloads,
  author      = {Nicholas Nethercote and Robert Walsh and Jeremy Fitzhardinge},
  title       = {Building Workload Characterization Tools with {V}algrind},
  booktitle   = {Invited tutorial, IEEE International Symposium on
                 Workload Characterization},
  series      = {IISWC},
  year        = 2006,
  month       = October,
  address     = {San Jos\'e, California, USA},
}

@inproceedings{jolt,
  author = {Michael Carbin and Sasa Misailovic and Michael Kling and Martin Rinard},
  title = {Detecting and Escaping Infinite Loops with Jolt},
  booktitle = {25th European Conference on Object-Oriented Programming},
  series = {ECOOP},
  year = 2011,
}

@inproceedings{fasttrack,
  author    = {Cormac Flanagan and Stephen N. Freund},
  title     = {FastTrack: efficient and precise dynamic race detection},
  booktitle = {Proceedings of ACM SIGPLAN 2009 Conference on Programming
               Language Design and Implementation},
  series    = {PLDI},
  year      = {2009},
  pages     = {121-133},
  ee        = {http://doi.acm.org/10.1145/1542476.1542490},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{drmemory,
  title     = "Practical Memory Checking with Dr. Memory",
  author    = "Derek Bruening and Qin Zhao",
  booktitle = "The International Symposium on Code Generation and Optimization",
  series    = "CGO",
  address   = "Chamonix, France",
  month     = "Apr",
  year      = "2011",
  keywords  = "DynamoRIO",
  url       = "http://groups.csail.mit.edu/commit/papers/2011/bruening-cgo11-drmemory.pdf",
}