@TechReport{prokopski-07-07-sable-tr,
 author =       {Gregory B. Prokopski and Clark Verbrugge},
 title =        {Compiler-guaranteed safety in code-copying VMs},
 institution =  {Sable Research Group, School of Computer Science, McGill University},
 year =         {2007},
 number =       {SABLE-TR-2007-7},
 address =      {Montr\'{e}al, Qu\'{e}bec, Canada},
 month =        {September},
}