上嶋 祐紀　Yuhki Kamijima　

東北大学 大学院 情報科学研究科 情報基礎科学専攻 小林・住井研究室　所属

研究内容　：　Javaへの変換による安全なC言語の実装

C言語ではメモリ操作に関する安全性が保証されておらず、予期せぬ動作やセキュリティーホールの原因となっている。そこで、Java言語がメモリ安全とされていることを利用し、C言語のプログラムをJava言語のプログラムに変換することにより、Cプログラムのメモリ安全性を向上する手法の研究を行っている。

論文発表

・上嶋 祐紀, 住井 英二郎. 「Javaへの変換による安全なC言語の実装」 第9回プログラミングおよびプログラミング言語ワークショップ (PPL 2007), 石川, 2007年3月. →論文, スライド

ポスター発表

・Yuhki Kamijima. 「The Fail-Safe C to Java translator」 The Fourth ASIAN Symposium on Programming Languages and Systems (APLAS 2006), Sydney, Australia, November, 2006. →ポスター, 配布資料

学位論文

・上嶋 祐紀. 「メモリ安全性を保証するCからJavaへのコンパイラ」 （学士論文）
・上嶋 祐紀. 「Java言語への変換によるポインタ演算のメモリ安全な実装方式」 （修士論文）