@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",
  year =         "2008",
  series =       "LNCS",
  publisher =    "Springer",
  note =         "to appear",
  URL =		 "http://www.prokopski.com/publications/CC2008-Prokopski.pdf",
}