| 108 | == 2010 == |
| 109 | * Programming Language Support for Multiple Mobile Ad Hoc Networks[[br]] |
| 110 | 複数のモバイルアドホックネットワークのためのプログラミング言語サポート [[br]] |
| 111 | ([/~tsuzuki 鈴木 友博]) |
| 112 | * Study on Proof of Type Preservation in CPS Transformation[[br]] |
| 113 | CPS 変換における型保存の証明に関する研究[[br]] |
| 114 | ([/~ywtnb 渡邊 裕貴]) |
| 115 | |
| 116 | == 2009 == |
| 117 | * Stack Types with Bounded Existential Quantification[[br]] |
| 118 | 境界つき存在量化子を用いたスタック型[[br]] |
| 119 | ([/~iizuka 飯塚 大輔]) |
| 120 | * A Hybrid Virtual Machine Monitor for Implementing Flexible and High-Performance Security Mechanisms[[br]] |
| 121 | 柔軟かつ高性能なセキュリティ機構を実装するためのハイブリッド仮想マシンモニタ[[br]] |
| 122 | ([/~sawazaki 澤崎 純也]) |
| 123 | * Parallelization of Safety Verification in SPIN Model Checker[[br]] |
| 124 | モデル検査器 SPIN における安全性検証の並列化[[br]] |
| 125 | ([/~nojiri 野尻 隆宏]) |
| 126 | |