The Yonezawa Lab for Information Science

Yonezawa group is interested in a broad range of ideas around programming languages from theory through implementation to applications. As a computer processes information according to a program, the research of programming languages essentially comes up to the one of the general notion of computation.

Recent research in the laboratory has included these subjects:

Concurrent, distributed, and/or mobile computation,
Security, and
Language design and implementation.

These subjects have been studied from a variety of viewpoints. Our research interest is not only in language tools such as a compiler and an interpreter, but also in language systems such as a library and a virtual machine. Our outcomes include:

A scalable thread library and garbage collector for a massively parallel and distributed memory architecture.
A dynamically reconfigurable language system (a garbage collector, a software distributed memory, and so on) for global computing which uses geographically distributed and a large number of computers.
Mobile computation, which enables a program to move around on a network autonomously.
Type systems which guarantee concurrent program safety based on firm theory.
Design of operating systems and computer architecture based on a safe programming language whose safety is established by a type system or software fault isolation.

They have been international contributions to computer science.

The laboratory has high performance parallel machines (14 to 32CPUs) connected in a fast network (1 to 2Gbit/sec) to support those research (see Facilities). A shared memory parallel machine (64CPUs) and a workstation cluster (256CPUs) in the department of computer science are also available from the laboratory.

A student is supported to communicate with first class researchers in other faculties and in both domestic and foreign universities. Many students have studied in a foreign research institution.

The members of the group are Akinori Yonezawa, Eijiro Sumii, three postdoctoral researchers, seven doctor course students, ten master course students, and five senior students.