My primary interest is in programming languages, software tools, and
programming support environments, programming methodologies, and
software reuse from a practical aspect. I am especially interested in
design and implementation of compilers.
On the importance of compilers and code optimization, I have the
following thought; There exist important classes of computer software
which must be efficiently executed, even though the computer may be
fast and large. Systems programs heavily used in a computer system
constitute such a class. When we develop a systems program in a high
level language, if code optimization is not proveded for the compiler,
the object program generated will be inefficient in its execution with
respect of speed. My research is largely concerned with design,
implementation, and evaluation of optimized compilers for systems
programming languages. In this area, I am devoted to developing
algorithms and techniques for the following problems: invocation
analysis, inter-procedural data-flow analysis, 2-pass data-flow
analysis for a structure program, and global register allocation
making use of such analyses.
My interests in programming languages and their processors are as
follows: development of Ada and IEEE standard VHDL compiler to produce
C++ code, design of a
Japanese style programming language, development of a Prolog compiler
and WAM code interpreter, implementation of syntax-directed definition
translator to produce Yacc programs, development of a code generation
technique using a template matching algorithm for implementing code
generator-generator, design of peephole optimizer for RISC machine
program, and transporting and bootstrapping of compilers.
Other subjects of my past and future research include programming
support tools for stepwise refinement, a structured editor for Pascal
like programs, visualization of LR-parsing, a module analyzer, and
specification of software components.