Publications


2008

吉野 寿宏, 前田 俊行, 米澤 明憲. メモリ管理コードの包括的検証のための階層化されたメモリモデル. The 10th JSSST SIGPPL Workshop on Programming and Programming Languages (PPL2008), Poster session. Mar. 2008.
[Powerpoint slides (in Japanese)]

2007

吉野 寿宏, 前田 俊行, 米澤 明憲. 低級言語のプログラムを検証するための共通言語の設計とプログラム変換. The 5th JSSST SIGDSW Workshop on Dependable Systems (DSW'07 summer). Jul. 2007.

T. Yoshino, T. Maeda, A. Yonezawa. Development of Certified Program Translators to Verify Low-Level Language Programs. The 9th JSSST SIGPPL Workshop on Programming and Programming Languages (PPL2007), Poster and Demo session. Mar. 2007.
[Powerpoint slides (in Japanese)]

2006

T. Yoshino. A Framework Using a Common Language to Build Program Verifiers for Low-Level Languages. Master Thesis, Dept. of Comp. Sci., Faculty of Info. Sci. and Tech., Univ. of Tokyo. Feb. 2006.
[PDF, PS+gzip, Powerpoint slide (in Japanese)]

2005

吉野 寿宏. 型付きアセンブリ言語の一般化. The 8th JSSST SIGSYS Workshop on Systems for Programming and Applications (SPA2005), Poster session. Mar. 2005.
[Powerpoint (in Japanese)]

2004

吉野 寿宏, 大山 恵弘, 米澤 明憲. 自己修復型リファレンスモニタの設計と実装. 文部科学省特定領域研究「社会基盤としてのセキュアコンピューティングの実現方式の研究」平成 15 年度成果報告書. pp. 137-148. Mar. 2004.

吉野 寿宏, 大山 恵弘, 米澤 明憲. 自己修復型リファレンスモニタの設計と実装. The 7th JSSST SIGSYS Workshop on Systems for Programming and Applications (SPA2004). Mar. 2004.

T. Yoshino. Design and Implementation of a Self-Repairing Reference Monitor. Senior Thesis, Dept. of Info. Sci., Faculty of Sci., Univ. of Tokyo. Feb. 2004.
[PDF, PS+gzip]