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 (non-refereed), technical reports and presentations/posters.
Journal Papers
- 
  Hideya Iwasaki, Kento Emoto, Akimasa Morihata, Kiminori Matsuzaki, and Zhenjiang Hu: 
 Fregel: a functional domain-specific language for vertex-centric large-scale graph processing.
 Journal of Functional Programming, Vol. 32, e4, 2022.
 
- 
  Kiminori Matsuzaki: 
 Developing Value Networks for Game 2048 with Reinforcement Learning.
 Journal of Information Processing, Vol. 29, pp. 336-346, 2021.
 
- 
  Naoki Kondo and Kiminori Matsuzaki: 
 Playing Game 2048 with Deep Convolutional Neural Networks Trained by Supervised Learning.
 Journal of Information Processing, Vol. 27, pp. 340-347, 2019.
 
- 
  Izumi Asakura, Hidehiko Masuhara, Takuya Matsumoto, and Kiminori Matsuzaki: 
 Identification and Elimination of the Overhead of Accelerate with a Super-resolution Application.
 Journal of Information Processing, Vol. 26, pp. 48-53, 2018.
 
- 
  Kiminori Matsuzaki: 
 Efficient Implementation of Tree Skeletons on Distributed-Memory Parallel Computers.
 Scalable Computing: Practice and Experience, Volume 18, Number 1, pp. 17-34, 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. 1-15, 2017.
 
- 
  Reina Miyazaki, Kiminori Matsuzaki, and Shigeyuki Sato: 
 A Generator of Hadoop MapReduce Programs that Manipulate One-dimensional Arrays.
 Journal of Information Processing, Vol. 25, pp. 841-851, 2017.
 
- 
  Takuya Matsumoto and Kiminori Matsuzaki: 
 Evaluation of Libraries for Parallel Computing in Haskell --- A Case Study with a Super-Resolution Application---.
 Journal of Information Processing, Vol. 25, pp. 308-316, 2017.
 
- 
  Kiminori Matsuzaki: 
 Functional Models of Hadoop MapReduce with Application to Scan.
 International Journal of Parallel Programming, 2016 (now in online-first)
 
- 
  Wei Hao and Kiminori Matsuzaki: 
 A Partial-Tree-Based Approach for XPath Query on Large XML Trees.
 Journal of Information Processing, Vol. 24, No. 2, pp. 425-438, 2016.
 
- 
  Kiminori Matsuzaki and Reina Miyazaki: 
 Parallel Tree Accumulations on MapReduce.
 International Journal of Parallel Programming, Vol. 44, No. 3, pp. 466-485, 2016.
 
- 
  Shigeyuki Sato and Kiminori Matsuzaki: 
 A Generic Implementation of Tree Skeletons.
 International Journal of Parallel Programming, Vol. 44, No. 3, pp. 686-707, 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. 1-9, 2014.
 
- 
  Kento Emoto and Kiminori Matsuzaki: 
 An Automatic Fusion Mechanism for Variable-Length List Skeletons in SkeTo.
 International Journal of Parallel Programming, Vol. 42, No. 4, pp. 546-563, 2014.
 
- 
  Takayuki Kawamura and Kiminori Matsuzaki: 
 Dividing Huge XML Trees Using the m-bridge Technique over One-to-one Corresponding Binary Trees.
 IPSJ Transaction on Programming, Vol. 7, No. 3, pp. 40-50, 2014.
 
- 
  Yu Liu, Kento Emoto, Kiminori Matsuzaki, and Zhenjiang Hu: 
 Accumulative Computation on MapReduce.
 IPSJ Transaction on Programming, Vol. 7, No. 1, pp. 18-27, 2014.
 
- 
  Kiminori Matsuzaki, Zhenjiang Hu, and Masato Takeichi: 
 Parallel Skeletons for Manipulating General Trees.
 Parallel Computing, Vol. 32, No. 7-8, pp. 590-603, 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. 321-336, 2005.
 
Conference Papers (Refereed)
- 
  Wang Weikai and Kiminori Matsuzaki: 
 Improving DNNs-based 2048 Players with Position Embedding.
 Proceedings of 2022 IEEE Conference on Games (CoG), 2022.
 
- 
  Lucien Troillet and Kiminori Matsuzaki: 
 Analysing simplified Geister using DREAM.
 Proceedings of 3rd IEEE Conference on Games (COG 2021), pp. 1-8, 2021.
 
- 
  Kiminori Matsuzaki: 
 A Further Investigation of Neural Network Players for Game 2048.
 In Proceedings of the 16th Advances in Computer Games Conference (ACG2019), pp.53-65, 2020.
 
- 
  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 and Madoka Teramura: 
 Interpreting Neural-Network Players for Game 2048.
 In Proceedings of the 2018 Conference on Technologies and Applications of Artificial Intelligence (TAAI2018), pp. 136--141, 2018. Best paper award.
 
- 
  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.
 
- 
  Kiminori Matsuzaki and Naoki Kitamrua: 
 Do Evaluation Functions Really Improve Monte-Carlo Tree Search? --- Empirical Analysis using Othello ---.
 In the 10th International Conference on Computers and Games (CG2018), published in ICGA Journal, Vol. 40, pp. 294-304, 2018.
 
- 
  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), Lecture Notes in Copmuter Science, vol. 10818, pp. 166--181, 2018.
 
- 
  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. 176-187, 2017.
 
- 
  Onofre Coll Ruiz and Kiminori Matsuzaki: 
 Keeping Control Away from Computation: A Computation Control Layer over the Vertex-centric Graph Processing Model.
 Proceedings of 10th International Symposium on High-Level Parallel Programming and Applications, pp. 187-204, 2017.
 
- 
  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.
 
- 
  Onofre Coll Ruiz, Kiminori Matsuzaki, and Shigeyuki Sato: 
 s6raph: Vertex-centric Graph Processing Framework with Functional Interface.
 Proceedings of the 5th ACM SIGPLAN Workshop on Functional High-Performance Computing (FHPC'16), pp. 58-64, 2016.
 
- 
  Kiminori Matsuzaki: 
 Systematic Selection of N-tuple Networks with Consideration of Interinfluence for Game 2048.
 The 2016 Conference on Technologies and Applications of Artificial Intelligence (TAAI 2016), pp. 186-193, 2016.
 
- 
  Kazuto Oka and Kiminori Matsuzaki: 
 Systematic Selection of N-tuple Networks for 2048.
 9th International Conference on Computers and Games (CG2016), pp. 81-92, 2016.
 
- 
  Kiminori Matsuzaki: 
 Functional Models of Hadoop MapReduce with Application to Scan.
 8th International Symposium on High-level Parallel Programming and Applications (HLPP 2015), 2015.
 
- 
  Kiminori Matsuzaki and Reina Miyazaki: 
 Parallel Tree Accumulations on MapReduce.
 7th International Symposium on High-level Parallel Programming and Applications (HLPP 2014), pp. 31-50, 2014.
 
- 
  Shigeyuki Sato and Kiminori Matsuzaki: 
 A Generic Implementation of Tree Skeletons.
 7th International Symposium on High-level Parallel Programming and Applications (HLPP 2014), pp. 51-72, 2014.
 
- 
  Kento Emoto and Kiminori Matsuzaki: 
 An Automatic Fusion Mechanism for Variable-Length List Skeletons in SkeTo.
 6th International Symposium on High-level 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 (Euro-Par 2013), Lecture Notes in Computer Science 8097, pp. 446-457, 2013.
 
- 
  Ryoma Sin'ya, Kiminori Matsuzaki, and Masataka Sassa: 
 Simultaneous Finite Automata: An Efficient Data-Parallel Model for Regular Expression Matching.
 42nd International Conference on Parallel Processing (ICPP 2013), pp. 220-229, 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. 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: 
 Lessons from Implementing the BiCGStab Method with SkeTo Library.
 HLPP'10: Proceedings of the Fourth International Workshop in High-level Parallel Programming and Applications, pp.15-24, 2010.
 
- 
  Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, and Masato Takeichi: 
 Generators-of-Generators Library with Optimization Capabilities in Fortress.
 Euro-Par 2010: Parallel Processing, 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part II. Lecture Notes in Computer Science 6272, pp. 26-37, 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. 321-336, 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 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.
 The preliminary version appeared in Draft Proceedings of the 21st International Symposium on Implementation and Application of Functional Languages (IFL 2009), Technical Report: SHU-TR-CS-2009-09-1, Seton Hall University, pp.100-115, 2009.
 
- 
  Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, and Masato Takeichi: 
 The Third Homomorphism Theorem on Trees: Upward & Downward Leads to Divide-and-Conquer.
 In Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Savannah, GA, USA, January 21-23, 2009, pp. 177-185, 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. 22-24, 2008, Victoria, BC, Canada, pp. 169-178, ACM, 2008.
 
- 
  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.
 
- 
  Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, and Masato Takeichi: 
 Domain-Specific 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. 705-714, Springer, 2007.
 
- 
  Kiminori Matsuzaki: 
 Efficient Implementation of Tree Accumulations on Distributed-Memory Parallel Computers.
 In Fourth International Workshop on Practical Aspects of High-level Parallel Programming (PAPP 2007), part of The International Conference on Computational Science (ICCS 2007), pp. 609-616, 2007.
 
- 
  Kazuhiko Kakehi, Kiminori Matsuzaki, and Kento Emoto: 
 Efficient Parallel Tree Reductions on Distributed Memory Environments.
 In Fourth International Workshop on Practical Aspects of High-level Parallel Programming (PAPP 2007), part of The International Conference on Computational Science (ICCS 2007), pp. 601-608, 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 Matrix-Convolutions.
 In 12th International Euro-Par Conference, Dresden, Germany, August/September 2006, Proceedings, Lecture Notes in Computer Science 4128, pp. 605-614, 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 Fusion-Embedded Skeleton Library.
 In Proceedings of Annual European Conference on Parallel Processing (Euro-Par 2004), 31th August - 3rd September, 2004, Lecture Notes in Computer Science 3149, pp. 644-653, 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 wilhelms-univeersitat munster, pp. 109-123, 2004.
 
- 
  Kiminori Matsuzaki, Zhenjiang Hu, and Masato Takeichi: 
 Parallelization with Tree Skeletons.
 In Proceedings of the International Conference on Parallel and Distributed Computing (Euro-Par 2003), Klagenfurt, Austria, 26th - 29th August 2003, Lecture Notes in Computer Science, pp. 789-798, Springer Verlag, 2003.
 
Conference Papers (Non-refereed / Nearly Non-refereed)
- 
  Lucien Troillet and Kiminori Matsuzaki: 
 An Experimental Evaluation of PUCT Algorithm with Convolutional Neural Network Evaluation Functions.
 IPSJ SIG Technical Reports, Vol. 2020-GI-44, No. 10, 2020.
 
- 
  Kiminori Matsuzaki: 
 Development and Analysis of CNN-based Computer Players for Game 2048.
 In Proceedings of The 7thInternational Symposium on Frontier Technology (ISFT-2019), 2019.
 
- 
  Naoki Kondo and Kiminori Matsuzaki: 
 Playing Game 2048 with Deep Convolutional Neural Networks Trained by Supervised Learning.
 IPSJ SIG Technical Reports, Vol. 2018-GI-40, No. 2, pp. 1--6, 2018.
 
- 
  Takuya Matsumoto, Shigeyuki Sato, and Kiminori Matsuzaki: 
 Implementing Maximum Flow Algorithms on Spark GraphX.
 Proceedings of 6th International Symposium on Frontier Technology, pp. 347-352, 2017.
 
- 
  Ryuki Fujita and Kiminori Matsuzaki: 
 Improving 2048 Player with Supervised Learning.
 Proceedings of 6th International Symposium on Frontier Technology, pp. 353-357, 2017.
 
- 
  Juan Luis Soler Ferrer and Kiminori Matsuzaki: 
 MRI Image Processing with OpenCL.
 Proceedings of the 32nd JSSST Conference, Ippan 2-4, 2015.
 
- 
  Wei Hao and Kiminori Matsuzaki: 
 A Partial-Tree-Based Approach for XPath Query on Large XML Trees.
 IPSJ 105th workshop on programming, 2015-2-(10), 2015.
 
- 
  Kiminori Matsuzaki and Reina Miyazaki: 
 Evaluation of Super-Resolution for fMRI Images.
 5th International Symposium on Frontier Technology (ISFT 2015), 2015.
 
- 
  Wei Hao and Kiminori Matsuzaki: 
 A Partial-Tree-Based 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 China-Japan 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 China-Japan 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, 2013-2-(8), 2013.
 
- 
  Akimasa Morihata, Kiminori Matsuzaki, and Masato Takeichi: 
 領域限定言語に基づく最適経路問合せ.
 情報処理学会第81回プログラミング研究発表会, 2010-3-(12), 2010.
 
- 
  Kazuhiko Kakehi, Kiminori Matsuzaki, Akimasa Morihata, Kento Emoto, and Zhenjiang Hu: 
 Parallel Dynamic Programming using Data-Parallel Skeletons.
 In Proceedings of the 22nd JSSST Conference, 4B-1, 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. 258-271, Shanghai, China, 2002.
 
Technical Reports
- 
  Shigeyuki Sato, Wei Hao, and Kiminori Matsuzaki: 
 Parallelization of XPath Queries using Modern XQuery Processors.
 arXiv 1806.07728v1, 2018. https://arxiv.org/abs/1806.07728.
 
- 
  Kiminori Matsuzaki: 
 Evaluation of Multi-staging and Weight Promotion for Game 2048.
 Technical Report KUTBTR2017-001, Kochi University of Technology, 2017. Available at http://kutarr.lib.kochi-tech.ac.jp/dspace/handle/10173/1564.
 
- 
  Kento Emoto and Kiminori Matsuzaki: 
 An Automatic Fusion Mechanism for Variable-Length List Skeletons in SkeTo.
 Technical Report METR 2013-04, 18 pages, Department of Mathematical Engineering and Information Physics, University of Tokyo, 2013.
 
- 
  Kiminori Matsuzaki and Akimasa Morihata: 
 Balanced Ternary-Tree Representation of Binary Trees and Balancing Algorithms.
 Technical Report METR 2008-30, 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 Non-Binary Trees.
 Technical Report METR 2008-27, 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: 
 Generator-based GG Fortress Library --Collection of GGs and Theories--.
 Technical Report METR 2008-17, 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: 
 Generator-based GG Fortress Library.
 Technical Report METR 2008-16, 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 Dynamic-Programming Algorithms based on Preservation of Monotonicity.
 Technical Report METR 2007-61, 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: 
 Domain-Specific Optimization for Skeleton Programs Involving Neighbor Elements.
 Technical Report METR 2007-05, 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 Distributed-Memory Parallel Computers.
 Technical Report METR 2006-65, 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 2006-64, 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 METR2005-30, 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 2003-21, Mathematical Informatics, Graduate School of Information Science and Technology, University of Tokyo, 2003.
 
Presentations / Posters
- 
  Fangyuan Liao and Kiminori Matsuzaki: 
 Experimential Analysis of Prefix-sums Implementations on Multicore Clusters.
 The 1st cross-disciplinary Workshop on Computing Systems, Infrastructures, and Programming (xSIG 2017), Poster, 2017.
 
- 
  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 Tree-Division Tool for Practical Huge XML Trees.
 11th Asian Symposium on Programming Languages and Systems (APLAS 2013), Poster, 2013.
 
- 
  Kiminori Matsuzaki: 
 Neuro-Science Provides Challenges in "Big-Data".
 Presented at the 3rd Parallelism Oblivious Programming Workshop, 2013.
 
- 
  Akimasa Morihata and Kiminori Matsuzaki: 
 Balanced Trees Inhabiting Functional Parallel Programming (特別講演).
 日本ソフトウェア科学会第28回大会講演論文集, 3A-1, 2011.
 
- 
  Kiminori Matsuzaki: 
 Implementing Fusion-Equipped Parallel Skeletons by Expression Templates.
 Presented at 4th International Workshop on Bidirectional Transformation in Architecture-Based Component Composition (Bi-Trans 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 DIKU-IST Workshop, Sep 23-24, 2005.
 
- 
  Kiminori Matsuzaki: 
 Parallelization with Tree Skeletons.
 Presentation at Workshop on Robust Software Construction (WRSC 2003), Hayama, Kanagawa, Feb 2003.
 
Last modified: 2022-09-11 23:52:05.1228311 +0900
Copyright © 2009-2017, Kiminori MATSUZAKI.  All Rights Reserved.
       Email: matsuzaki.kiminori_at_kochi-tech.ac.jp (Replace "_at_" with "@")