| 11 | | == Projects == |
| 12 | | |
| 13 | | (under construction) |
| | 11 | == Old Projects == |
| | 12 | * e-Society |
| | 13 | * Secure Computing Project |
| | 14 | * [http://www.yl.is.s.u-tokyo.ac.jp/~oiwa/FailSafe-C.html Fail-safe C Compiler: A memory-safe ANSI-C Compiler] |
| | 15 | * [http://www.yl.is.s.u-tokyo.ac.jp/~tosh/kml/ Kernel Mode Linux] |
| | 16 | * Typed Computing Project |
| | 17 | * Type Systems for XML Processing Languages |
| | 18 | * [http://www.yl.is.s.u-tokyo.ac.jp/~furuse/gcaml G'Caml] |
| | 19 | * Parallel/Distributed Computing Group |
| | 20 | * [http://www.logos.ic.i.u-tokyo.ac.jp/phoenix/members.shtml Phoenix Grid Computing Project (with Taura Lab)] |
| | 21 | * [http://www.yl.is.s.u-tokyo.ac.jp/yl/projects.html Older projects] |