@TechReport{verbrugge-11-abstract-TR,
  author =       {Clark Verbrugge and Allan Kielstra and Christopher J.F. Pickett},
  title =        {Abstract Analysis of Method-Level Speculation},
  institution =  {Sable Research Group, School of Computer Science, McGill University},
  number =       {SABLE-TR-2011-3},
  year =         {2011},
  month =        September,
  address =      {Montr\'eal, Qu\'ebec, Canada},
}