[ English / Japanese]
Thesis
I temporary uploaded my Ph.D. thesis for reference.
Research Topics
We are working on "Skeletal Parallelism", in which we are encouraged to build
efficient parallel programs by composing the readymade components, called skeletons.
We have "Workshop on Parallelism Oblivious Programming" on July 2627!.
Our research area is as follows.
 Parallel Skeletons for Trees: Though there are
many researches on parallel skeletons for lists or arrays,
parallel skeletons for other irregular data types, such as
trees, are not treated so far. We are working to define general
parallel skeletons for trees and show how to implement them. Our
recent work "Systematic Derivation of Tree Contraction
Algorithms" is presented in the 4th International Workshop on
"Constructive Methods for Parallel Programming" (CMPP 2004).
 Implemetation of Parallel Skeleton Library :
Many researches have been done from the theoretical point of
view, however, no truely practical systems for skeletal
parallelism have been implemented. We are working to implement
a truely practical skeleton library which has optimizing
mechanisms. Our recent work "A FusionEmbedded Skeleton Library"
is presented in Annual European Conference on Parallel
Processing (EuroPar 2004).
Research Activities
Publications

Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
The Third Homomorphism Theorem on Trees: Upward & Downward Leads to DivideandConquer
In Proceedings of the 36th Annual ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, Savannah, GA, USA, January 2123, 2009, pp. 177185, ACM, 2009.

Kiminori Matsuzaki, Akimasa Morihata
Balanced TernaryTree Representation of Binary Trees and Balancing Algorithms
Technical Report METR 200830, 18 pages, Department of Mathematical Engineering and Information Physics, University of Tokyo, 2008. Available from METR List 2008.

Akimasa Morihata, Kiminori Matsuzaki
A Parallel Tree Contraction Algorithm on NonBinary Trees
Technical Report METR 200827, 7 pages, Department of Mathematical Engineering and Information Physics, University of Tokyo, 2008. Available from METR List 2008.

Akimasa Morihata, Kiminori Matsuzaki, Masato Takeichi
Write it Recursively: A Generic Framework for Optimal Path Queries
In Proceedings of the 2008 ACM SIGPLAN International Conference on Functional Programming, Sept. 2224, 2008, Victoria, BC, Canada, pp. 169178, ACM.

Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, Masato Takeichi
Generatorbased GG Fortress Library
Technical Report METR 200816, 19 pages, Department of Mathematical Engineering and Information Physics, University of Tokyo, 2008. To be available from METR List 2008.

Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, Masato Takeichi
Generatorbased GG Fortress Library Collection of GGs and Theories
Technical Report METR 200817, 19 pages, Department of Mathematical Engineering and Information Physics, University of Tokyo, 2008. To be available from METR List 2008.

Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
DomainSpecific Optimization Strategy for Skeleton Programs
In Proceedings of 13th International European Conference on Parallel and Distributed Computing (EuroPar 2007), Lecture Notes in Computer Science 4641, pp. 705714, Springer, 2007.

Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
DomainSpecific Optimization for Skeleton Programs Involving Neighbor Elements
Technical Report METR 200705, 29 pages, Department of Mathematical Engineering and Information Physics, University of Tokyo, 2007. To be available from METR List 2007.

Kazutaka Morita, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
Automatic Inversion Generates DivideandConquer Parallel Programs
In ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation (PLDI 2007), pp. 146155, San Diego, CA, June 1013, 2007.

Kiminori Matsuzaki
Efficient Implementation of Tree Accumulations on DistributedMemory Parallel Computers
In Fourth International Workshop on Practical Aspects of Highlevel Parallel Programming (PAPP 2007), part of The International Conference on Computational Science (ICCS 2007), pp. 609616, Beijing, China, May 2730, 2007.

Kiminori Matsuzaki, Zhenjiang Hu
Efficient Implementation of Tree Skeletons on DistributedMemory Parallel Computers
Technical Report METR 200665, 22 pages, Department of Mathematical Engineering and Information Physics, University of Tokyo, 2006. Available from METR List in 2006.

Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
Implementation of parallel tree skeletons on distributed systems
In Proceedings of the Third Asian Workshop on Programming Languages and Systems (APLAS '02), pp. 258271, Shanghai, China, 2002.

Kazuhiko Kakehi, Kiminori Matsuzaki, Kento Emoto
Efficient Parallel Tree Reductions on Distributed Memory Environments
In Fourth International Workshop on Practical Aspects of Highlevel Parallel Programming (PAPP 2007), part of The International Conference on Computational Science (ICCS 2007), pp. 601608, Beijing, China, May 2730, 2007.

Kazuhiko Kakehi, Kiminori Matsuzaki, Kento Emoto, Zhenjiang Hu
An Practicable Framework for Tree Reductions under Distributed Memory Environments
Technical Report METR 200664, 21 pages, Department of Mathematical Engineering and Information Physics, University of Tokyo, 2006. Available from METR List 2006.

Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
Parallel Skeletons for Manipulating General Trees
Parallel Computing, Vol. 32, No. 78, pp. 590603, Elsevier B.V., 2006.

Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
Design and Implementation of General Tree Skeletons
Technical Report METR200530, Department of Mathematical Engineering and Information Physics, University of Tokyo, 2005.

Kiminori Matsuzaki
Parallel Tree Reduction and its Implementation in C++
Presentation at the first DIKUIST Workshop, Sep 2324, 2005.

Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
Towards Automatic Parallelization of Tree Reductions in Dynamic Programming
In SPAA 2006: 18th Annual ACM Symposium on Parallelism in Algorithms and Architectures, July 30  August 2, 2006, Cambridge, Massachusetts, USA, pages 39  48, 2006. Available from ACM Digital Library

Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
Surrounding Theorem: Developing Parallel Programs for MatrixConvolutions
In 12th International EuroPar Conference, Dresden, Germany, August/September 2006, Proceedings, pages 605  614, Lecture Notes in Computer Science 4128, 2006.

Kiminori Matsuzaki, Kento Emoto, Hideya Iwasaki, Zhenjiang Hu
A Library of Constructive Skeletons for Sequential Style of Parallel Programming
First International Conference on Scalable Information Systems (InfoScale 2006), Hong Kong, May 29  June 1, 2006. Available from ACM Digital Library.

Kazuhiko Kakehi, Kiminori Matsuzaki, Akimasa Morihata, Kento Emoto, Zhenjiang Hu
Parallel Dynamic Programming using DataParallel Skeletons
In Proceedings of the 22nd JSSST Conference, Sep, 2005.

Kiminori Matsuzaki, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi
Systematic Derivation of Tree Contraction Algorithms
In Parallel Processing Letters, Vol. 15, No. 3, pp. 321336, 2005.

Kiminori Matsuzaki, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi
Systematic Derivation of Tree Contraction Algorithms
In Proceedings of the 4th International Workshop on Constructive Methods for Parallel Programming (CMPP 2004), 14th July, 2004,
Technical Report of Westfalische wilhelmsuniveersitat munster, pp. 109123.

Kiminori Matsuzaki, Kazuhiko Kakehi, Hideya Iwasaki, Zhenjiang Hu, Yoshiki Akashi
A FusionEmbedded Skeleton Library
In Proceedings of Annual European Conference on Parallel Processing (EuroPar 2004), 31th August  3rd September, 2004, Lecture Notes in Computer Science 3149, pp. 644653, Springer Verlag.

Kiminori Matsuzaki, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi
Parallelizing Polytypic Programs with Accumulations
Proceedings of 20th JSSST Conference, 2003

Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
Parallelization with Tree Skeletons
In Proceedings of the International Conference on Parallel and Distributed Computing (EuroPar 2003), Klagenfurt, Austria, 26th  29th August 2003, Lecture Notes in Computer Science, pp. 789798, Springer Verlag.

Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
Parallelization with Tree Skeletons
Technical Report METR 200321, Mathematical Informatics, Graduate School of Information Science and Technology, University of Tokyo, 2003.

Kiminori Matsuzaki
Parallelization with Tree Skeletons
Presentation at Workshop on Robust Software Construction (WRSC 2003), Hayama, Kanagawa, Feb 2003.
Some other publications in Japanese may be found in Japanese page.
Other Activities
 ACM ICPC (International Collegiate Programming Contest)
Our team took the 7th prize (and the 2nd prize in Java Challenge) at Kanazawa Regional Contest in 2002.
 ARIEL (Artificial Reality & Intelligence
Engineering Lovers/Laboratory: A group working on Virtual Reality)
We made "Virtual KingyoSukui (scooping goldfish)" and
won the first prize in IVRC'99.