@InProceedings{prokopski-08-compiler,
  author    = "Gregory B. Prokopski and Clark Verbrugge",
  title     = "Compiler-guaranteed Safety in Code-copying Virtual Machines",
  booktitle = "Compiler Construction: 17th International Conference (CC 2008)",
  pages     = "163--177",
  month     = "April",
  year      = "2008",
  series    = "LNCS",
  publisher = "Springer",
  URL       = "http://www.prokopski.com/publications/CC2008-Prokopski.pdf",
}