Faculty Members

matsuzaki-kiminori-1.jpg

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
    - Infomatics Course, Department of Engineering, Graduate School of Enginering
  • 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
Licenses
Academic societies Japan Society for Software Science and Technology
Information Processing Society of Japan
ACM
IEEE

You can see the continuation of the table with a side swipe.

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
  • Guide to the School of Information
  • Information Science 2
  • Numerical Methods
  • Automata and Formal Languages
Graduate school
  • Individual Work for Graduate
  • Advanced Seminar 1
  • Advanced Seminar 2
  • Seminar on Infomatics I
  • Seminar on Infomatics II
  • Big Data Analysis, Mathematical Models and Design of Experiments
  • Parallel and Distributed Computing

You can see the continuation of the table with a side swipe.

Research activities

Research papers
  1. Authors: O. Coll Ruiz, K. Matsuzaki
    Title: Keeping Control Away from Computation: A Computation Control Layer over the Vertex-centric Graph Processing Model
    Journal: Proceedings of 10th International Symposium on High-Level Parallel Programming and Applications (HLPP2017), pp. 187-204
    Year: 2017
  2. Authors: T. Matsumoto, K. Matsuzaki
    Title: Evaluation of Libraries for Parallel Computing in Haskell -- A Case Study with a Super-resolution Application
    Journal: Journal of Information Processing, Information Processing Society of Japan
    Year: 2017
  3. Authors: R. Miyazaki, K. Matsuzaki, Shigeyuki Sato
    Title: A Generator of Hadoop MapReduce Programs that Manipulate One-dimensional Arrays
    Journal: Journal of Information Processing, Vol. 25, pp. 841-851
    Year: 2017
  4. Authors: K. Matsuzaki
    Title: Developing 2048 Player with Backward Temporal Coherence Learning and Restart
    Journal: Proceedings of Fifteenth International Conference on Advances in Computer Games (ACG 2017), pp. 176-187
    Year: 2017
  5. Authors: K. Matsuzaki
    Title: Efficient Implementation of Tree Skeletons on Distributed-Memory Parallel Computers
    Journal: Scalable Computing: Practice and Experience, Vol. 18, No. 1, pp. 17-34
    Year: 2017
  6. Authors: K. Kakehi, K. Matsuzaki, K. Emoto
    Title: Efficient Parallel Tree Reductions on Distributed Memory Environments
    Journal: Scalable Computing: Practice and Experience, Vol. 18, No. 1, pp. 1-15
    Year: 2017
  7. Authors: K. Matsuzaki
    Title: Functional Models of Hadoop MapReduce with Application to Scan
    Journal: International Journal of Parallel Programming, Springer
    Year: 2016
  8. 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
  9. 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
  10. 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
  11. Authors: O. Coll Ruiz, 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
  12. Authors: W. Hao, K. Matsuzaki
    Title: A Partial-Tree-Based Approach for XPath Query on Large XML Trees
    Journal: Journal of Information Processing, Vol. 24, No. 2, pp. 425-438
    Year: 2016
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. Authors: J. Legaux, Z. Hu, F. Loulergue, K. Matsuzaki, J. Tesson
    Title: Programming with BSP Homomorphisms
    Journal: EuroPar 2013, pp. 446-457
    Year: 2013
  19. 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
  20. 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
  21. 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
  22. 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
  23. 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
  24. 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
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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
  34. 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
  35. 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
  36. 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
  37. 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
  38. 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
  39. 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
  40. 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
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
Grants-in-Aid for Scientific Research from the Japanese government
  1. Project title: Design and implementation of fragmentation-adaptive parallel and distributed XML query library
    Category: Grant-in-Aid for Scientific Research(C)
    Project number: 17K00108
    Project period: 2017/04-2020/03
    Total budget amount: 4,290,000 yen
    Keywords: 
  2. Project title: Realizing Fast and Scalable Brain Information Processing based on Skeletal Parallel Programming
    Category: Grant-in-Aid for Scientific Research(C)
    Project number: 25330088
    Project period: 2013/04-2016/03
    Total budget amount: 4,680,000 yen
    Keywords: 

You can see the continuation of the table with a side swipe.

Social activities

Committee roles
  1. PC co-chair, 20th workshop on programming and programing languages (PPL2018), 2017
  2. Editorial Member, Journal of Information Processing Society of Japan, 2017
  3. Judge, ACM ICPC Programming Contest, 2010
  4. ACM ICPC 2013 Aizu, Chief Judge, ACM, 2013-2013
  5. Membership Development Chair, IEEE Shikoku Section, 2011-2012
  6. Steering Committee Member, International Symposia on High-Level Parallel Programming and Applications (HLPP), 2013

You can see the continuation of the table with a side swipe.