| 17 | * e-Society (安全なシステム記述言語および高信頼OS) |
| 18 | * 高安全なC言語,およびC++言語コンパイラの開発 ([/~furuse/vitc/ VITC]) |
| 19 | * OS用型付きアセンブリ言語の設計・実装 ([/~tosh/talk/ TALK], [/~tosh/tos/ TOS], [/~tosh/kml/ Kernel Mode Linux]) |
| 20 | * プロトコル実装の形式的検証 ([/~affeldt/applpi/ Applpi]) |
| 21 | * [/~affeldt/seplog/ Towards Formal Verification of Memory Properties using Separation Logic] |
| 22 | * [/~uhiro/ Combining Type-Based Analysis and Model Checking for Finding Counterexamples against Non-Interference] |
| 23 | * セキュア コンパイラ プロジェクト |
| 24 | * [/~tossy-2/l3cover/ L^3^Cover]: a framework to build program verifiers for low-level languages |
| 25 | * Typed Computing プロジェクト |
| 26 | * Aspectual Caml: an aspect-oriented functional language ([http://www.graco.c.u-tokyo.ac.jp/ppp 増原研究室]との共同研究) |
| 27 | * XML処理言語のための型システム ([http://www.kb.ecei.tohoku.ac.jp/ 小林研究室]との共同研究) |
| 28 | * [/~furuse/gcaml G'Caml] (INRIA) |
| 29 | * 並列・分散計算グループ |
| 30 | * [http://www.logos.ic.i.u-tokyo.ac.jp/phoenix/members.shtml Phoenix Grid Computing Project] ([http://www.logos.t.u-tokyo.ac.jp/ 田浦研究室]との共同研究) |
| 31 | * 昔のプロジェクト |
| 32 | |