Publications [Format: Tree (all publications)]

In the following, journal papers, conference papers, technical reports and presentations/posters are listed where some related papers are put together.

  1. 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.
    • 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 2014), 2013.
  2. 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.
    • Takayuki Kawamura and Kiminori Matsuzaki:
      A Tree-Division Tool for Practical Huge XML Trees.
      11th Asian Symposium on Programming Languages and Systems, Poster, 2013.
  3. 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.
    • Yu Liu, Kento Emoto, Kiminori Matsuzaki, and Zhenjiang Hu:
      Accumulative Computation on MapReduce.
      情報処理学会第95回プログラミング研究会, 2013.
  4. 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.
    • Reina Miyazaki and Kiminori Matsuzaki:
      Parallel Tree Accumulations on MapReduce.
      PaPDAS Workshop, Orleans, France, July 1st, 2014.
  5. 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.
  6. Kiminori Matsuzaki:
    Functional Models of Hadoop MapReduce.
    PaPDAS Workshop, Orleans, France, July 1st, 2014.
  7. 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.
    • 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.
  8. Kiminori Matsuzaki:
    The SkeTo Library.
    PaPDAS Workshop, Orleans, France, July 1st, 2014.
  9. 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.
  10. 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.
  11. Kiminori Matsuzaki:
    Neuro-Science Provides Challenges in "Big-Data".
    Presented at the 3rd Parallelism Oblivious Programming Workshop, 2013.
  12. 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.
  13. 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.
  14. 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:
      Balanced Trees Inhabiting Functional Parallel Programming (特別講演).
      日本ソフトウェア科学会第28回大会講演論文集, 3A-1, 2011.
    • 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.
  15. 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.
  16. 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.
    • 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.
      • 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.
  17. 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.
  18. 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
  19. 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.
    • 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.
  20. 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.
  21. 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.
  22. 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.
    • 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.
  23. 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.
    • 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.
    • 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.
  24. 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.
    • 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.
  25. 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, 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:
        Parallel Tree Reduction and its Implementation in C++.
        Presentation at the first DIKU-IST Workshop, Sep 23-24, 2005.
  26. 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
  27. 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.
  28. 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.
  29. 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.
    • 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.
  30. 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, Sep, 2005.
  31. 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.
  32. 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.
    • 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.
    • Kiminori Matsuzaki:
      Parallelization with Tree Skeletons.
      Presentation at Workshop on Robust Software Construction (WRSC 2003), Hayama, Kanagawa, Feb 2003.
  33. Kiminori Matsuzaki, Kazuhiko Kakehi, Zhenjiang Hu, and Masato Takeichi:
    Parallelizing Polytypic Programs with Accumulations.
    Proceedings of 20th JSSST Conference, 2003

Last modified: 2014-09-01 09:51:01 +0900

Copyright © 2009-2010, Kiminori MATSUZAKI. All Rights Reserved.
Email: matsuzaki.kiminori_at_kochi-tech.ac.jp (Replace "_at_" with "@")