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] |