Takahiro Kosakai
I am a second year graduate student at Yonezawa laboratory.
Senior Thesis
Compiling C Programs into a Type-Safe Assembly Language
. (February 2007)
Implementations are available
here
.
kosakai [AT] yl.is.s.u-tokyo.ac.jp