Fail-Safe C

http://www.rcis.aist.go.jp/project/FailSafeC-ja.html

が

http://www-plan.cs.colorado.edu/~pldi09/

に出ていた。

Implementation of the Memory-safe Full ANSI-C compiler

博士論文の"a"が"the"になったところがポイントでしょうか。（←おそらく違う）

日本ソフトウェア科学会全国大会での発表から8年、PLDI 2002のポスター発表から7年、おめでとうございます。＞大岩さん＆レピダムの皆様