Kiminori Matsuzaki, Ph.D.

Associate Professor
School of Information,
Kochi University of Technology
matsuzaki.kiminori_at_kochi-tech.ac.jp (Replace "_at_" with "@")

News & Messages

[Dec 15, 2009] I welcome excellent people to join us as Ph.D. students or post-doc researchers. I organize a project in "Special Scholorship Programs" (SSP) to encourage Ph.D. students.
[Oct 1, 2009] I moved from University of Tokyo to Kochi University of Technology on October 2009.

My main research interest is in parallel programming, especially in high-level parallel programming methodologies.

Skeletal Parallelism: Skeletal parallelism is a methodology of easy parallel programming, in which users develop parallel programs with ready-made components called parallel skeletons. Our group with other universities are developing a parallel skeleton library SkeTo.
Parallelism-Oblivious Programming: In the parallelism-oblivious programming research, we seek for a methodology of developing parallel programming without considering/specifying low-level parallelism.
Algorithm Derivation: By using the "program calculation" technique that deals with programs themselves as the computation targets, we are studying methods of developing good algorithms and their implementations systematically.
Other Topics: I also have interests about game/puzzle programming and programming education through programming contests.

Ongoing Research Projects

PaPDAS: Parallel Program Development with Algorithmic Skeletons
Strategic International Cooperative Program (Japan (JST) - France (ANR)), Japan Science and Technology Agency, October 2010 - September 2009.
Practical Implementation of Skeletal Parallel Programming with Advanced Language Features (translation)
Grant-in-Aid for Young Scientists (B), the Ministry of Education, Science, Sports and Culture, April 2010 - March 2009.

The following is a list of 5 selected publications. You can find the full list of publications in the publication page or its Japanese page.

Yu Liu, Zhenjiang Hu, and Kiminori Matsuzaki:
Towards Systematic Parallel Programming over MapReduce.
17th International European Conference on Parallel and Distributed Computing (EuroPar 2011), Part II, Lecture Notes in Computer Science 6853, pp. 39-50, 2011.
Akimasa Morihata and Kiminori Matsuzaki:
Balanced Trees Inhabiting in Functional Parallel Programming.
ICFP'11 Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming, pp. 117-128, ACM, 2011.
Akimasa Morihata and Kiminori Matsuzaki:
A Practical Tree Contraction Algorithm for Parallel Skeletons on Trees of Unbounded Degree..
Proceedings of the International Conference on Computational Science, ICCS 2011, Procedia Computer Science, Vol. 4, pp. 7-16, Elsevier, 2011.
Kiminori Matsuzaki and Kento Emoto:
Implementing Fusion-Equipped Parallel Skeletons by Expression Templates.
Implementation and Application of Functional Languages, 21st International Workshop, IFL 2009, Revised Selected Papers. Lecture Notes in Computer Science 6041, pp. 72-89, 2010.
Kazutaka Morita, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, and Masato Takeichi:
Automatic Inversion Generates Divide-and-Conquer Parallel Programs.
In ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation (PLDI 2007), pp. 146-155, 2007.

Member of editorial board, IPSJ Transactions in Programming, 2010.4-
Member of editorial board, IPSJ Journal, 2011.4-
(Foundation Working Group, 2007.4-2011.3)
Judge, ACM ICPC Programming Contest for Asia-regional (Tokyo) and domestic qualification, 2012

Other activities including past ones are listed in the list-of-activities page

[Inside campus] Building: A Wing, Room No.: A469 (The item 2 in campus map)
[Postal Address] School of Information, Kochi University of Technology. 185 Miyanokuchi, Tosayamada-Cho, Kami-Shi, Kochi. JAPAN 782-8502
[Email Address] matsuzaki.kiminori_at_kochi-tech.ac.jp (Replace "_at_" with "@")

Last modified: Mon Apr 16 15:35:48 +0900 2012