Kiminori Matsuzaki, Ph.D.

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

News & Messages

[July 1, 2018] I have get promoted to professor position.
[July 1, 2018] I welcome excellent people to join us as Ph.D. students. I organize two projects in "Special Scholorship Programs" (SSP) to encourage Ph.D. students: one about structured parallel programming and the other about game informatics.

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.

Shigeyuki Sato, Wei Hao, and Kiminori Matsuzaki:
Parallelization of XPath Queries Using Modern XQuery Processors.
In New Trends in Databases and Information Systems - ADBIS 2018 Short Papers and Workshops, AI*QA, BIGPMED, CSACDB, M2U, BigDataMAPS, ISTREND, DC, Budapest, Hungary, September, 2-5, 2018, Proceedings, pp. 54-62, 2018.
Kiminori Matsuzaki:
Empirical Analysis of PUCT Algorithm with Evaluation Functions of Different Quality.
In Proceedings of the 2018 Conference on Technologies and Applications of Artificial Intelligence (TAAI2018), pp. 142--147, 2018.
Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Akimasa Morihata, and Hideya Iwasaki:
Think Like a Vertex, Behave Like a Function! --A Functional DSL for Vertex-centric Big Graph Processing--.
ICFP'16 Proceedings of the 21th ACM SIGPLAN International Conference on Functional Programming, pp. 200-213, 2016.
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.
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: 2022-09-11 23:52:05.0049206 +0900