@InProceedings{menon+:starjit,
  author = 	 {Vijay S. Menon and Neal Glew and Brian R. Murphy and Andrew McCreight and Tatiana Shpeisman and Ali-Reza Adl-Tabatabai and Leaf Petersen},
  title = 	 {A Verifiable SSA Program Representation for Aggressive Compiler Optimization},
  note = 	 {To appear in Conference Record of {POPL} 06: The 32nd {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages},
  pages =	 {},
  year =	 2006,
  address =	 {Charleston, SC},
  month =	 {January}
}