Profile

Born in 1970 in Utsunomiya, Japan. A resercher on computer software. PhD. My research interest includes compiler optimizations, static analysis, security and mobile computation. I like classical mystery novels and movies (in which Twenty rules by SS Van Dine are approved), science fiction (from hard one to space opera), and violence novels (like Coin Locker Babies by Murakami Ryu). Since I has been a reader of Hasumi Shigehiko from high school student's time, I was glad as the snob I got his signature on the degree of PhD. I like driving but I cannot afford to go to the racing circuit regularly. I love the music of Sakamoto Ryuichi (the best album would be Future Boy), Ueno Koji and Kanno Yoko. I am a liberal in principle, but perfectionism should be partly approved.

Selected Bibliography

A Practical Pointer Analysis for the C Language. Tatsurou Sekiguchi. In Workshop on Programming and Programming Languages (PPL2004). March, 2004. Also in Computer Software, vol. 21, no. 6, pp. 34-49, November, 2004.

The fifth ICFP programming contest. The first prize. Our Commentary. 2002.

A Program Compression Scheme for PDA and Mobile Phone Applications written in Object-Oriented Languages. Tatsurou Sekiguchi, Yutaka Oiwa and Akinori Yonezawa. In Workshop on Programming and Programming Languages (PPL2001). 2001. Also in Computer Software, vol. 19, no. 1, pp. 1-9, January, 2002.

Java Blender. A compression tool for i-appli applications, 2001.

Portable Implementation of Continuation Operators in Imperative Languages by Exception Handling. Tatsurou Sekiguchi, Takahiro Sakamoto and Akinori Yonezawa. In Advances in Exception Handling Techniques. Springer-Verlag, LNCS-2022. 2001. (PDF © Springer-Verlag)

Bytecode Transformation for Portable Thread Migration in Java. Takahiro Sakamoto, Tatsurou Sekiguchi and Akinori Yonezawa. In Agent Systems, Mobile Agents, and Applications ASA/MA2000. (PDF © Springer-Verlag) The best paper.

A Study on Mobile Language Systems. Dissertation. 1999. (PDF)

A Simple Extension of Java Language for Controllable Transparent Migration and its Portable Implementation. Tatsurou Sekiguchi, Hidehiko Masuhara and Akinori Yonezawa. In Coordination'99. (PDF in English, PDF in Japanese © Springer-Verlag)

JavaGo A toolkit for transparent migration in Java, 1998.

A Calculus with Code Mobility. Tatsurou Sekiguchi and Akinori Yonezawa. In Proceedings of Second IFIP International Conference on Formal Methods for Open Object-based Distributed Systems , 1997.

A Complete Type Inference System for Subtyped Recursive Types. Tatsurou Sekiguchi and Akinori Yonezawa. In TACS'94 Theoretical Aspects of Computer Software, number 789 in Lecture Notes in Computer Science, pp. 667-686, Apr. 1994.