Languages: [English] / [Japanese]
Quick Links: [Top] / [Research Topics] / [Publications] / [Activities] / [Links]
Formats: [Tree (all)] / [By Year (refereed)] / [By Year (all)] / [By Category]
Publications [Format: By Category]
In the following, all the publications are listed in the categories of journal papers, conference papers (refereed), conference papers (nonrefereed), technical reports and presentations/posters.
Journal Papers

Akimasa Morihata, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, and Hideya Iwasaki:
Optimizing Declarative Parallel distributed Graph Processing by using Constraint Solvers.
In Fourteenth International Symposium on Functional and Logic Programming (FLOPS 2018), to appear.

Izumi Asakura, Hidehiko Masuhara, Takuya Matsumoto, and Kiminori Matsuzaki:
Identification and Elimination of the Overhead of Accelerate with a Superresolution Application.
Journal of Information Processing, Vol. 26, pp. 4853, 2018.

Kiminori Matsuzaki:
Efficient Implementation of Tree Skeletons on DistributedMemory Parallel Computers.
Scalable Computing: Practice and Experience, Volume 18, Number 1, pp. 1734, 2017.

Kazuhiko Kakehi, Kiminori Matsuzaki, and Kento Emoto:
Efficient Parallel Tree Reductions on Distributed Memory Environments.
Scalable Computing: Practice and Experience, Volume 18, Number 1, pp. 115, 2017.

Reina Miyazaki, Kiminori Matsuzaki, and Shigeyuki Sato:
A Generator of Hadoop MapReduce Programs that Manipulate Onedimensional Arrays.
Journal of Information Processing, Vol. 25, pp. 841851, 2017.

Takuya Matsumoto and Kiminori Matsuzaki:
Evaluation of Libraries for Parallel Computing in Haskell  A Case Study with a SuperResolution Application.
Journal of Information Processing, Vol. 25, pp. 308316, 2017.

Kiminori Matsuzaki:
Functional Models of Hadoop MapReduce with Application to Scan.
International Journal of Parallel Programming, 2016 (now in onlinefirst)

Wei Hao and Kiminori Matsuzaki:
A PartialTreeBased Approach for XPath Query on Large XML Trees.
Journal of Information Processing, Vol. 24, No. 2, pp. 425438, 2016.

Kiminori Matsuzaki and Reina Miyazaki:
Parallel Tree Accumulations on MapReduce.
International Journal of Parallel Programming, Vol. 44, No. 3, pp. 466485, 2016.

Shigeyuki Sato and Kiminori Matsuzaki:
A Generic Implementation of Tree Skeletons.
International Journal of Parallel Programming, Vol. 44, No. 3, pp. 686707, 2016.

Akimasa Morihata and Kiminori Matsuzaki:
Parallel Tree Contraction with Fewer Types of Primitive Contraction Operations and Its Application to Trees of Unbounded Degree.
IPSJ Transaction on Programming, Vol. 7, No. 5, pp. 19, 2014.

Kento Emoto and Kiminori Matsuzaki:
An Automatic Fusion Mechanism for VariableLength List Skeletons in SkeTo.
International Journal of Parallel Programming, Vol. 42, No. 4, pp. 546563, 2014.

Takayuki Kawamura and Kiminori Matsuzaki:
Dividing Huge XML Trees Using the mbridge Technique over Onetoone Corresponding Binary Trees.
IPSJ Transaction on Programming, Vol. 7, No. 3, pp. 4050, 2014.

Yu Liu, Kento Emoto, Kiminori Matsuzaki, and Zhenjiang Hu:
Accumulative Computation on MapReduce.
IPSJ Transaction on Programming, Vol. 7, No. 1, pp. 1827, 2014.

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

Kiminori Matsuzaki, Zhenjiang Hu, Kazuhiko Kakehi, and Masato Takeichi:
Systematic Derivation of Tree Contraction Algorithms.
In Parallel Processing Letters, Vol. 15, No. 3, pp. 321336, 2005.
Conference Papers (Refereed)

Kiminori Matsuzaki:
Developing 2048 Player with Backward Temporal Coherence Learning and Restart.
Proceedings of Fifteenth International Conference on Advances in Computer Games (ACG 2017), pp. 176187, 2017.

Onofre Coll Ruiz and Kiminori Matsuzaki:
Keeping Control Away from Computation: A Computation Control Layer over the Vertexcentric Graph Processing Model.
Proceedings of 10th International Symposium on HighLevel Parallel Programming and Applications, pp. 187204, 2017.

Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Akimasa Morihata, and Hideya Iwasaki:
Think Like a Vertex, Behave Like a Function! A Functional DSL for Vertexcentric Big Graph Processing.
ICFP'16 Proceedings of the 21th ACM SIGPLAN International Conference on Functional Programming, pp. 200213, 2016.

Onofre Coll Ruiz, Kiminori Matsuzaki, and Shigeyuki Sato:
s6raph: Vertexcentric Graph Processing Framework with Functional Interface.
Proceedings of the 5th ACM SIGPLAN Workshop on Functional HighPerformance Computing (FHPC'16), pp. 5864, 2016.

Kiminori Matsuzaki:
Systematic Selection of Ntuple Networks with Consideration of Interinfluence for Game 2048.
The 2016 Conference on Technologies and Applications of Artificial Intelligence (TAAI 2016), pp. 186193, 2016.

Kazuto Oka and Kiminori Matsuzaki:
Systematic Selection of Ntuple Networks for 2048.
9th International Conference on Computers and Games (CG2016), pp. 8192, 2016.

Kiminori Matsuzaki:
Functional Models of Hadoop MapReduce with Application to Scan.
8th International Symposium on Highlevel Parallel Programming and Applications (HLPP 2015), 2015.

Kiminori Matsuzaki and Reina Miyazaki:
Parallel Tree Accumulations on MapReduce.
7th International Symposium on Highlevel Parallel Programming and Applications (HLPP 2014), pp. 3150, 2014.

Shigeyuki Sato and Kiminori Matsuzaki:
A Generic Implementation of Tree Skeletons.
7th International Symposium on Highlevel Parallel Programming and Applications (HLPP 2014), pp. 5172, 2014.

Kento Emoto and Kiminori Matsuzaki:
An Automatic Fusion Mechanism for VariableLength List Skeletons in SkeTo.
6th International Symposium on Highlevel Parallel Programming and Applications (HLPP 2013), 2013.

Joeffrey Legaux, Zhenjiang Hu, Frederic Loulergue, Kiminori Matsuzaki, and Julien Tesson:
Programming with BSP Homomorphisms.
19th International Conference on Parallel Processing (EuroPar 2013), Lecture Notes in Computer Science 8097, pp. 446457, 2013.

Ryoma Sin'ya, Kiminori Matsuzaki, and Masataka Sassa:
Simultaneous Finite Automata: An Efficient DataParallel Model for Regular Expression Matching.
42nd International Conference on Parallel Processing (ICPP 2013), pp. 220229, 2013.

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. 3950, 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. 117128, 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. 716, Elsevier, 2011.

Kiminori Matsuzaki and Kento Emoto:
Lessons from Implementing the BiCGStab Method with SkeTo Library.
HLPP'10: Proceedings of the Fourth International Workshop in Highlevel Parallel Programming and Applications, pp.1524, 2010.

Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, and Masato Takeichi:
GeneratorsofGenerators Library with Optimization Capabilities in Fortress.
EuroPar 2010: Parallel Processing, 16th International EuroPar Conference, Ischia, Italy, August 31  September 3, 2010, Proceedings, Part II. Lecture Notes in Computer Science 6272, pp. 2637, Springer, 2010.

Akimasa Morihata and Kiminori Matsuzaki:
Automatic Parallelization of Recursive Functions using Quantifier Elimination.
Functional and Logic Programming, 10th International Symposium, FLOPS 2010, Proceedings, Lecture Notes in Computer Science 6009, pp. 321336, 2010.

Louis Gesbert, Zhenjiang Hu, Frederic Loulergue, Kiminori Matsuzaki, and Julien Tesson:
Systematic Development of Correct Bulk Synchronous Parallel Programs.
Proceedings of the 11th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2010), 2010

Kiminori Matsuzaki and Kento Emoto:
Implementing FusionEquipped 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. 7289, 2010.
The preliminary version appeared in Draft Proceedings of the 21st International Symposium on Implementation and Application of Functional Languages (IFL 2009), Technical Report: SHUTRCS2009091, Seton Hall University, pp.100115, 2009.

Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, and 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.

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

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

Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, and 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.

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, 2007.

Kazuhiko Kakehi, Kiminori Matsuzaki, and 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, 2007.

Kiminori Matsuzaki, Zhenjiang Hu, and 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, and Masato Takeichi:
Surrounding Theorem: Developing Parallel Programs for MatrixConvolutions.
In 12th International EuroPar Conference, Dresden, Germany, August/September 2006, Proceedings, Lecture Notes in Computer Science 4128, pp. 605614, 2006.

Kiminori Matsuzaki, Kento Emoto, Hideya Iwasaki, and 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.

Kiminori Matsuzaki, Kazuhiko Kakehi, Hideya Iwasaki, Zhenjiang Hu, and 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, 2004.

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

Kiminori Matsuzaki, Zhenjiang Hu, and 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, 2003.
Conference Papers (Nonrefereed / Nearly Nonrefereed)

Takuya Matsumoto, Shigeyuki Sato, and Kiminori Matsuzaki:
Implementing Maximum Flow Algorithms on Spark GraphX.
Proceedings of 6th International Symposium on Frontier Technology, pp. 347352, 2017.

Ryuki Fujita and Kiminori Matsuzaki:
Improving 2048 Player with Supervised Learning.
Proceedings of 6th International Symposium on Frontier Technology, pp. 353357, 2017.

Juan Luis Soler Ferrer and Kiminori Matsuzaki:
MRI Image Processing with OpenCL.
Proceedings of the 32nd JSSST Conference, Ippan 24, 2015.

Wei Hao and Kiminori Matsuzaki:
A PartialTreeBased Approach for XPath Query on Large XML Trees.
IPSJ 105th workshop on programming, 20152(10), 2015.

Kiminori Matsuzaki and Reina Miyazaki:
Evaluation of SuperResolution for fMRI Images.
5th International Symposium on Frontier Technology (ISFT 2015), 2015.

Wei Hao and Kiminori Matsuzaki:
A PartialTreeBased Approach for XPath Query on Large XML Trees.
5th International Symposium on Frontier Technology (ISFT 2015), 2015.

Kiminori Matsuzaki:
Functional Models of Hadoop MapReduce.
Proceedings of ChinaJapan Innovation Forum on New Energy Utilization and Sustainable Development, 2014.

Wei Hao and Kiminori Matsuzaki:
Towards a Practical Framework for Querying Large Trees.
Proceedings of ChinaJapan Innovation Forum on New Energy Utilization and Sustainable Development, 2014.

Yu Liu, Kento Emoto, Kiminori Matsuzaki, and Zhenjiang Hu:
Accumulative Computation on MapReduce.
IPSJ 95th workshop on programming, 20132(8), 2013.

Akimasa Morihata, Kiminori Matsuzaki, and Masato Takeichi:
領域限定言語に基づく最適経路問合せ.
情報処理学会第81回プログラミング研究発表会, 20103(12), 2010.

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

Kazuhiko Kakehi, Kiminori Matsuzaki, Zhenjiang Hu, and Masato Takeichi:
A Uniform Approach toward Nested Parallelism.
21th JSSST Conference, 東京工業大学, 2004年9月15日17日.

Shunsuke Soeda, Rie Shigetomi, Yoshiki.Hayashi, Kiminori Matsuzaki, Asuka Nakamura, and Kyoko Mikami:
Information Collection System Using Sensu Project.
45th Programming Symposium, 2004.

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

Kiminori Matsuzaki, Zhenjiang Hu, and 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.
Technical Reports

Kiminori Matsuzaki:
Evaluation of Multistaging and Weight Promotion for Game 2048.
Technical Report KUTBTR2017001, Kochi University of Technology, 2017. Available at http://kutarr.lib.kochitech.ac.jp/dspace/handle/10173/1564.

Kento Emoto and Kiminori Matsuzaki:
An Automatic Fusion Mechanism for VariableLength List Skeletons in SkeTo.
Technical Report METR 201304, 18 pages, Department of Mathematical Engineering and Information Physics, University of Tokyo, 2013.

Kiminori Matsuzaki and 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 and 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.

Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, and 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. Available from METR List 2008.

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

Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, and Masato Takeichi:
Calculus of Minimals: Deriving DynamicProgramming Algorithms based on Preservation of Monotonicity.
Technical Report METR 200761, 38 pages, Department of Mathematical Engineering and Information Physics, University of Tokyo, 2007. Available from METR List 2007.

Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, and 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. Available from METR List 2007.

Kiminori Matsuzaki and 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.

Kazuhiko Kakehi, Kiminori Matsuzaki, Kento Emoto, and 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, and 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, Zhenjiang Hu, and Masato Takeichi:
Parallelization with Tree Skeletons.
Technical Report METR 200321, Mathematical Informatics, Graduate School of Information Science and Technology, University of Tokyo, 2003.
Presentations / Posters

Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Akimasa Morihata, and Hideya Iwasaki:
A Functional DSL for Large Scale Graph Processing.
Thirteenth International Symposium on Functional and Logic Programming (FLOPS 2016), Poster, 2016.

Onofre Coll Ruiz and Kiminori Matsuzaki:
A functional approach to Pregel.
13th Asian Symposium on Programming Languages and Systems (APLAS 2015), Poster, 2015.

Reina Miyazaki and Kiminori Matsuzaki:
Parallel Tree Accumulations on MapReduce.
PaPDAS Workshop, Orleans, France, July 1st, 2014.

Kiminori Matsuzaki:
Functional Models of Hadoop MapReduce.
PaPDAS Workshop, Orleans, France, July 1st, 2014.

Kiminori Matsuzaki:
The SkeTo Library.
PaPDAS Workshop, Orleans, France, July 1st, 2014.

Takayuki Kawamura and Kiminori Matsuzaki:
A TreeDivision Tool for Practical Huge XML Trees.
11th Asian Symposium on Programming Languages and Systems (APLAS 2013), Poster, 2013.

Kiminori Matsuzaki:
NeuroScience Provides Challenges in "BigData".
Presented at the 3rd Parallelism Oblivious Programming Workshop, 2013.

Akimasa Morihata and Kiminori Matsuzaki:
Balanced Trees Inhabiting Functional Parallel Programming (特別講演).
日本ソフトウェア科学会第28回大会講演論文集, 3A1, 2011.

Kiminori Matsuzaki:
Implementing FusionEquipped Parallel Skeletons by Expression Templates.
Presented at 4th International Workshop on Bidirectional Transformation in ArchitectureBased Component Composition (BiTrans in ABC), March 2010.

Kiminori Matsuzaki:
Implementation of the BiCGStab Method with the Parallel Skeleton Library SkeTo.
International Workshop on Information Technology 2010 (IWIT2010), 2010.

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

Kiminori Matsuzaki:
Parallelization with Tree Skeletons.
Presentation at Workshop on Robust Software Construction (WRSC 2003), Hayama, Kanagawa, Feb 2003.
Last modified: 20180129 00:21:13 +0900
Copyright © 20092017, Kiminori MATSUZAKI. All Rights Reserved.
Email: matsuzaki.kiminori_at_kochitech.ac.jp (Replace "_at_" with "@")