Japanese Top

Projects in the Yonezawa Group

e-Societyv

Secure Computing Project

• Kernel Mode Linux
• Fail-safe C Compiler: A memory-safe ANSI-C Compiler

VINCS Project

• Virtual Machines for Utilizing Networked Computers Efficiently
• Mobile Computing Systems Based on Virtual Machines
• System Software Based on Self-Healing and Self-Recovering Paradigm
• Middleware Providing Virtual Computing Environments with Small Resource Consumption and Small Overhead
• An Infrastructure for Secure Circulation and Execution of Software
• Virtualizing a Multi-processor Machine on a Network of Computers
• Quasar: A Mobile Computing System Based on a CPU Emulator
• A Sandbox System that Executes Speculative Security Checks
• A Sandbox System for Protecting Security Systems

Typed Computing Project

• Type Systems for XML Processing Languages
• G'Caml

Parallel/Distributed Computing Group

• Phoenix Grid Computing Project (with Taura Lab.)

Older projects

• ABCL project: Concurrent object-oriented programming languages
• AMO Project: Exploiting Autonomous Mobile Objects
• PDGC Project: Parallel/Distributed Garbage Collectors Project
• StackThreads Project: Fine-Grain Thread Library
• Schematic project: A concurrent object-oriented extension to Scheme
• Computational Reflection and Meta-Level Architecture projects
• Programming Language Group
• User Interface Group
• PARCS project: Parallel constraint logic programming language
• Object behaviour description and understanding projects (CodA, Tj, Vibes, ...)
• Trip project.
• MFW (Moving Fire Wall)
• XPerl: Text processing language with regular expression types
• Cryptographic lambda-calculus
• Region-Based Memory Management for Dynamically Typed Languages
• Mobile Scope: A Distributed Mobile Computation System
• Lapis : A Senario Description Language Based on a State Transition Model
• World-wide Web Crawler (a part of Kototoi Project)
• VPG : A command shell for utilizing hundreds of machines
• VINCS
  • Virtual Machines for Utilizing Networked Computers Efficiently
  • Mobile Computing Systems Based on Virtual Machines
  • System Software Based on Self-Healing and Self-Recovering Paradigm
  • Middleware Providing Virtual Computing Environments with Small Resource Consumption and Small Overhead
  • An Infrastructure for Secure Circulation and Execution of Software
  • Virtualizing a Multi-processor Machine on a Network of Computers
  • Quasar: A Mobile Computing System Based on a CPU Emulator
  • A Sandbox System that Executes Speculative Security Checks
  • A Sandbox System for Protecting Security Systems