Faculty Members


Associate Professor MATSUZAKI Kiminori

Ph.D., The University of Tokyo, Japan, 2007
Year of birth 1979 Gender Male
Affiliation School of Information
Information Systems Engineering Course, Department of Engineering, Graduate School of Enginering
Job titles
Personal web site http://www.info.kochi-tech.ac.jp/kmatsu/

Areas of specialization Parallel Programming
Derivation of Algorithms
Functional Programming
Game Informatics
Laboratory/research office High-Level Programming Laboratory
Hardware environments are growing ever more complicated due to the increasing use of multicore-manycore-CPUs. Recently big-data applications have come into common use, so a much larger amount of more complicated data is involved. These changes call for a new technique or methodology of programming. In this laboratory, we develop advanced programming methodologies (based on the functional programming approach) for application in a wide range of fields including high-performance computing, big-data processing, and artificial intelligence.
Current reseach topics A new parallel-programming methodology to enhance reliability and productivity Game/puzzle programming
Educational background 2003: Master, The Univesity of Tokyo
2001: Bachelor, The Univesity of Tokyo
Professional background 2007-2009: Assistant Professor, Graduate School of Information Science and Technology, The University of Tokyo
2005-2007: Research Associate, Graduate School of Information Science and Technology, The University of Tokyo
Academic societies Japan Society for Software Science and Technology
Information Processing Society of Japan

Courses  * Courses provided in English are shown with (E) mark

Undergraduate school ▼

Software Engineering
Seminars on the School of Information
Project Research 1
Graduation Thesis
Project Research 2
Project Research 3
Software Engineering Project
Laboratory Work on Information Technology 1
Guide to the School of Information
Information Science 2
Numerical Methods

Graduate school ▼

Seminar 3
Seminar 4
Individual Work for Graduate
Advanced Seminar 1
Advanced Seminar 2

Research activities

Research papers ▼

  1. Authors: S. Sato, K. Matsuzaki
    Title: A Generic Implementation of Tree Skeletons
    Journal: International Journal of Parallel Programming, Vol. 44, No. 3, pp. 686-707, Springer
    Year: 2016
  2. Authors: K. Matsuzaki
    Title: Systematic Selection of N-tuple Networks with Consideration of Interinfluence for Game 2048
    Journal: Proceedings of the 2016 Conference on Technologies and Applications of Artificial Intelligence (TAAI 2016)
    Year: 2016
  3. Authors: K. Matsuzaki
    Title: Functional Models of Hadoop MapReduce with Application to Scan
    Journal: International Journal of Parallel Programming, Springer
    Year: 2016
  4. Authors: Coll Ruiz Onofre, K. Matsuzaki, S. Sato
    Title: s6raph: Vertex-centric Graph Processing Framework with Functional Interface
    Journal: Proceedings of the 5th ACM SIGPLAN Workshop on Functional High-Performance Computing (FHPC'16), pp. 58-64, ACM
    Year: 2016
  5. Authors: K. Emoto, K. Matsuzaki, Z. Hu, A. Morihata, H. Iwasaki
    Title: Think Like a Vertex, Behave Like a Function! A Functional DSL for Vertex-centric Big Graph Processing
    Journal: Proceedings of the 21th ACM SIGPLAN International Conference on Functional Programming (ICFP'16), pp. 200-213, ACM
    Year: 2016
  6. Authors: K. Matsuzaki, R. Miyazaki
    Title: Parallel Tree Accumulations on MapReduce
    Journal: International Journal of Parallel Programming, Vol. 44, No. 3, pp. 466-485, Springer
    Year: 2016
  7. Authors: A. Morihata, K. Matsuzaki
    Title: Parallel Tree Contraction with Fewer Types of Primitive Contraction Operations and Its Application to Trees of Unbounded Degree
    Journal: IPSJ Transaction on Programming, Vol. 7, No. 5, pp. 1-9
    Year: 2014/12/05
  8. Authors: T. Kawamura, K. Matsuzaki
    Title: Dividing Huge XML Trees Using the m-bridge Technique over One-to-one Corresponding Binary Trees
    Journal: IPSJ Transaction on Programming, Vol. 7, No. 3, pp. 40-50
    Year: 2014/07/14
  9. Authors: K. Emoto, K. Matsuzaki
    Title: An Automatic Fusion Mechanism for Variable-Length List Skeletons in SkeTo
    Journal: International Journal of Parallel Programming, Vol. 42, No. 4, pp. 546-563, Springer
    Year: 2014
  10. Authors: Y. Liu, K. Emoto, K. Matsuzaki, Z. Hu
    Title: Accumulative Computation on MapReduce
    Journal: IPSJ Transaction on Programming, Vol. 7, No. 1, pp. 18-27
    Year: 2014
  11. Authors: R. Sin'ya, K. Matsuzaki, M. Sassa
    Title: Simultaneous Finite Automata: An Efficient Data-Parallel Model for Regular Expression Matching
    Journal:  Proceedings of 42nd International Conference on Parallel Processing (ICPP 2013), pp. 220-229
    Year: 2013
  12. Authors: J. Legaux, Z. Hu, F. Loulergue, K. Matsuzaki, J. Tesson
    Title: Programming with BSP Homomorphisms
    Journal: EuroPar 2013, pp. 446-457
    Year: 2013
  13. Authors: A. Morihata, K. Matsuzaki
    Title: A Practical Tree Contraction Algorithm for Parallel Skeletons on Trees of Unbounded Degree
    Journal: Proceedings of International Conference on Computational Science, (ICCS 2011), pp. 7-16, Elsevier
    Year: 2011
  14. Authors: A. Morihata, K. Matsuzaki
    Title: Balanced Trees Inhabiting in Functional Parallel Programming
    Journal: Proceedings of 16th ACM SIGPLAN International Conference on Functional Programming (ICFP'11 ), pp. 117-128, ACM
    Year: 2011
  15. Authors: Y. Liu, Z. Hu, K. Matsuzaki
    Title: Towards Systematic Parallel Programming over MapReduce
    Journal: Proceedings of 17th International Euro-Par Conference (EuroPar 2011), pp. 39-50, Springer
    Year: 2011
  16. Authors: K. Emoto, Z. Hu, K. Kakehi, K. Matsuzaki, M. Takeichi
    Title: Generators-of-generators Library with Optimization Capabilities in Fortress
    Journal: Proceedings of the 16th International Euro-Par Conference (EuroPar 2010), pp. 26-37, Springer
    Year: 2010
  17. Authors: A. Morihata, K. Matsuzaki
    Title: Automatic Parallelization of Recursive Functions Using Quantifier Elimination
    Journal: Proceedings of the 10th International Symposium on Functional and Logic Programming (FLOPS2010), pp. 321-336, Springer
    Year: 2010
  18. Authors: L. Gesbert, Z. Hu, F. Loulergue, K. Matsuzaki, J. Tesson
    Title: Systematic Development of Correct Bulk Synchronous Parallel Programs
    Journal: Proceedings of the 11th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2010)
    Year: 2010
  19. Authors: K. Matsuzaki, K. Emoto
    Title: Implementing Fusion-Equipped Parallel Skeletons by Expression Templates
    Journal: Implementation and Application of Functional Languages, 21st International Symposium, IFL 2009: Revised Selected Papers, pp. 72-89, Springer
    Year: 2010
  20. Authors: K. Matsuzaki, K. Emoto
    Title: Lessons from Implementing the BiCGStab Method with SkeTo Library
    Journal: Proceedings of the 4th International Workshop on High-level Parallel Programming and Applications (HLPP 2010), pp. 15-24, ACM
    Year: 2010
  21. Authors: A. Morihata, K. Matsuzaki, Z. Hu, M. Takeichi
    Title: The Third Homomorphism Theorem on Trees: Upward & Downward Leads to Divide-and-Conquer
    Journal: Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL2009), pp. 177-185, ACM
    Year: 2009
  22. Authors: A. Morihata, K. Matsuzaki, M. Takeichi,
    Title: Write it Recursively: A Generic Framework for Optimal Path Queries
    Journal: Proceedings of the 2008 ACM SIGPLAN International Conference on Functional Programming (ICFP2008), pp. 169-178, ACM
    Year: 2008
  23. Authors: K. Morita, A. Morihata, K. Matsuzaki, Z. Hu, M. Takeichi
    Title: Automatic Inversion Generates Divide-and-Conquer Parallel Programs
    Journal: Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation (PLDI2007), pp. 146-155, ACM
    Year: 2007
  24. Authors: K. Emoto, K. Matsuzaki, Z. Hu, M. Takeichi
    Title: Domain-Specific Optimization Strategy for Skeleton Programs
    Journal: Proceedings of the 13th International Euro-Par Conference (EuroPar2007), pp. 705-714, Springer
    Year: 2007
  25. Authors: K. Matsuzaki
    Title: Efficient Implementation of Tree Accumulations on Distributed-Memory Parallel Computers
    Journal: Proceedings of the 4th International Workshop on Practical Aspects of High-level Parallel Programming (PAPP 2007), pp. 609-616, Springer
    Year: 2007
  26. Authors: K. Kakehi, K. Matsuzaki, K. Emoto
    Title: Efficient Parallel Tree Reductions on Distributed Memory Environments
    Journal: Proceedings of the 4th International Workshop on Practical Aspects of High-level Parallel Programming (PAPP 2007), pp. 601-608, Springer
    Year: 2007
  27. Authors: K. Matsuzaki, Z. Hu, M. Takeichi
    Title: Parallel Skeletons for Manipulating General Trees
    Journal:  Parallel Computing, Vol. 32, No. 7-8, pp. 590-603, Elsevier
    Year: 2006
  28. Authors: K. Matsuzaki, K. Emoto, H. Iwasaki, Z. Hu
    Title: A Library of Constructive Skeletons for Sequential Style of Parallel Programming
    Journal: Proceedings of the 1st International Conference on Scalable Information Systems (InfoScale 2006)
    Year: 2006
  29. Authors: K. Emoto, K. Matsuzaki, Z. Hu, M. Takeichi
    Title: Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions
    Journal: Proceedings of the 12th International Euro-Par Conference (EuroPar 2006), pp. 605-614, Springer
    Year: 2006
  30. Authors: K. Matsuzaki, Z. Hu, M. Takeichi
    Title: Towards Automatic Parallelization of Tree Reductions in Dynamic Programming
    Journal: Proceedings of the 18th Annual ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2006), pp. 39-48, ACM
    Year: 2006
  31. Authors: K. Matsuzaki, Z. Hu, K. Kakehi, M. Takeichi
    Title: Systematic Derivation of Tree Contraction Algorithms
    Journal: Parallel Processing Letters, Vol. 15, No. 3, pp. 321-336
    Year: 2005
  32. Authors: K. Matsuzaki, K. Kakehi, H. Iwasaki, Z. Hu, Y. Akashi
    Title: A Fusion-Embedded Skeleton Library
    Journal: Proceedings of the 10th International Euro-Par Conference (Euro-Par 2004), pp. 644-653, Springer
    Year: 2004
  33. Authors: K. Matsuzaki, Z. Hu, M. Takeichi
    Title: Parallelization with Tree Skeletons
    Journal: Proceedings of the 9th International Euro-Par Conference (Euro-Par 2003), pp. 789-798, Springer
    Year: 2003

Keynote lectures ▼

Invited lectures ▼

Notable projects ▼

Awards ▼

  1. IPSJ Activity Contribution Award, Information Processing Society of Japan, 2015
  2. Best paper award. A. Morihata, K. Matsuazki, Z. Hu, M. Takeichi (at Workshop on Programming and Programming Languages (PPL2008) (domestic)), 2008

Patents ▼

Grants-in-Aid for Scientific Research from the Japanese government ▼

Competitive research funds ▼

Social activities

Committee roles ▼

  1. Judge, ACM ICPC Programming Contest, 2010
  2. ACM ICPC 2013 Aizu, Chief Judge, ACM, 2013-2013
  3. Membership Development Chair, IEEE Shikoku Section, 2011-2012
  4. Steering Committee Member, International Symposia on High-Level Parallel Programming and Applications (HLPP), 2013

Published books ▼