• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2008 Fiscal Year Final Research Report

Theory and Practice of Task-Parallel Computation Based on Constructive Algorithmics

Research Project

  • PDF
Project/Area Number 18700021
Research Category

Grant-in-Aid for Young Scientists (B)

Allocation TypeSingle-year Grants
Research Field Software
Research InstitutionThe University of Tokyo

Principal Investigator

MATSUZAKI Kiminori  The University of Tokyo, 大学院・情報理工学系研究科, 助教 (30401243)

Project Period (FY) 2006 – 2008
Keywordsプログラム言語 / ハイパフォーマンス・コンピューティング / アルゴリズム / 情報基礎 / スケルトン並列プログラミング
Research Abstract

スケルトン並列プログラミングは,並列プログラムを容易に作成できるようにするための手法のひとつである.本研究では,ある計算をその計算が操作するデータ構造の観点から系統的に定式化する構成的アルゴリズム論に基づいて,スケルトン並列プログラミングの理論と実現に関して研究を進めた.木構造データの効率的な並列処理のための新しいデータ構造,スケジューリングアルゴリズム,ライブラリの実現などの成果を得た.

  • Research Products

    (23 results)

All 2009 2008 2007 2006 Other

All Journal Article (14 results) (of which Peer Reviewed: 10 results) Presentation (7 results) Remarks (2 results)

  • [Journal Article] The third homomorphism theorem on trees: upwards & downwards leads to divide-and-conquer2009

    • Author(s)
      A. Morihata, K. Matsuzaki, Z. Hu, M. Takeichi
    • Journal Title

      In Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language (POPL2009)

      Pages: pp. 177-185

    • Peer Reviewed
  • [Journal Article] Ternary-tree representation of binary trees and balancing algorithms2008

    • Author(s)
      K. Matsuzaki, A. Morihata
    • Journal Title

      Technical Report (METR), Department of Mathematical Informatics, The University of Tokyo METR2008-30

      Pages: pp. 1-18

  • [Journal Article] A parallel tree contraction algorithm on non-binary trees2008

    • Author(s)
      A. Morihata, K. Matsuzaki
    • Journal Title

      Technical Report (METR), Department of Mathematical Informatics, The University of Tokyo METR2008-27

      Pages: pp. 1-7

  • [Journal Article] リスト上の最大マーク付け問題を解く並列プログラムの導出2008

    • Author(s)
      松崎公紀, 胡振江, 武市正人
    • Journal Title

      情報処理学会論文誌:プログラミング Vol. 49 (SIG3)

      Pages: pp. 16-27

    • Peer Reviewed
  • [Journal Article] Domain-specific optimization strategy for skeleton programs2007

    • Author(s)
      K. Emoto, K. Matsuzaki, Z. Hu, M. Takeichi
    • Journal Title

      In Proceedings of International Conference on Parallel and Distributed Computing (EuroPar2007)

      Pages: pp. 705-714

    • Peer Reviewed
  • [Journal Article] 木スケルトンによるXPathクエリの並列化とその評価2007

    • Author(s)
      野村 芳明, 江本 健斗, 松崎 公紀, 胡振江, 武市 正人
    • Journal Title

      コンピュータソフトウェア Vol. 24(3)

      Pages: pp. 51-62

    • Peer Reviewed
  • [Journal Article] Domain-specific optimization for skeleton programs involving neighbor elements2007

    • Author(s)
      K. Emoto, K. Matsuzaki, Z. Hu, M. Takeichi
    • Journal Title

      Technical Report (METR), Department of Mathematical Informatics, The University of Tokyo METR2007-05

      Pages: pp. 1-29

  • [Journal Article] Automatic inversion generates divide-and-conquer parallel programs2007

    • Author(s)
      K. Morita, A. Morihata, K. Matsuzaki, Z. Hu, M. Takeichi
    • Journal Title

      In Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation (PLDI2007)

      Pages: pp. 146-155

    • Peer Reviewed
  • [Journal Article] Efficient implementation of tree accumulations on distributed-memory parallel computers2007

    • Author(s)
      K. Matsuzaki
    • Journal Title

      In part of The International Conference on Computational Science (ICCS 2007)

      Pages: pp. 609-616

    • Peer Reviewed
  • [Journal Article] Efficient parallel tree reductions on distributed memory environments2007

    • Author(s)
      K. Kakehi, K. Matsuzaki, K. Emoto
    • Journal Title

      In part of The International Conference on Computational Science (ICCS 2007)

      Pages: pp. 601-608

    • Peer Reviewed
  • [Journal Article] Parallel skeletons for manipulating general trees2006

    • Author(s)
      K. Matsuzaki, Z. Hu, M. Takeichi
    • Journal Title

      Parallel Computing Vol. 32(7-8)

      Pages: pp. 590-603

    • Peer Reviewed
  • [Journal Article] A library of constructive skeletons for sequential style of parallel programming (invited paper)2006

    • Author(s)
      K. Matsuzaki, K. Emoto, H. Iwasaki, Z. Hu
    • Journal Title

      In Proceedings of 1st International Conference on Scalable Information Systems (Infoscale2006)

  • [Journal Article] Surrounding theorem: developing parallel programs for matrix-convolutions2006

    • Author(s)
      K. Emoto, K. Matsuzaki, Z. Hu, M. Takeichi
    • Journal Title

      In Proceedings of International Conference on Parallel Computing (EuroPar2006)

      Pages: pp. 605-614

    • Peer Reviewed
  • [Journal Article] Towards automatic parallelization of tree reductions in dynamic programming2006

    • Author(s)
      K. Matsuzaki, Z. Hu, M. Takeichi
    • Journal Title

      In Proceedings of 18th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA2006)

      Pages: pp. 39-48

    • Peer Reviewed
  • [Presentation] 並列スケルトンライブラリ「助っ人」の実現2009

    • Author(s)
      松崎 公紀, 江本 健斗
    • Organizer
      第50回プログラミングシンポジウム
    • Place of Presentation
      箱根, 神奈川県
    • Year and Date
      2009-01-13
  • [Presentation] Associativity for parallel tree computation2007

    • Author(s)
      K. Matsuzaki
    • Organizer
      The 3rd DIKU-IST Joint Workshop on Foundation of Software
    • Place of Presentation
      Denmark
    • Year and Date
      2007-10-05
  • [Presentation] Associativity for parallel tree computation2007

    • Author(s)
      松崎公紀, 森畑明昌, 胡振江, 武市正人
    • Organizer
      日本ソフトウェア科学会第24回大会
    • Place of Presentation
      奈良先端科学技術大学院大学, 奈良県
    • Year and Date
      2007-09-13
  • [Presentation] 近傍要素を必要とするスケルトンプログラムの最適化2007

    • Author(s)
      江本健斗, 松崎公紀, 胡振江, 武市正人
    • Organizer
      第9回プログラムおよびプログラミング言語ワークショップ (PPL2007)
    • Place of Presentation
      加賀温泉, 石川県
    • Year and Date
      2007-03-09
  • [Presentation] Automatic inversion generates divide-and-conquer parallel programs2007

    • Author(s)
      森田和孝, 森畑明昌, 松崎公紀, 胡振江, 武市正人
    • Organizer
      第9回プログラムおよびプログラミング言語ワークショップ (PPL2007)
    • Place of Presentation
      加賀温泉, 石川県
    • Year and Date
      2007-03-09
  • [Presentation] Towards automatic parallelization of tree reductions in dynamic programming2007

    • Author(s)
      松崎公紀, 胡振江, 武市正人
    • Organizer
      第9回プログラムおよびプログラミング言語ワークショップ (PPL2007)
    • Place of Presentation
      加賀温泉, 石川県
    • Year and Date
      2007-03-09
  • [Presentation] A parallelization tool for tree reductions2006

    • Author(s)
      K. Matsuzaki, N. Ohkawa
    • Organizer
      The 2nd DIKU-IST Joint Workshop on Foundation of Software
    • Place of Presentation
      葉山, 神奈川県
    • Year and Date
      2006-04-22
  • [Remarks] 研究代表者のホームページ

    • URL

      http://www.ipl.t.u-tokyo.ac.jp/.kmatsu/

  • [Remarks] 並列スケルトンライブラリ「助っ人」のホームページ

    • URL

      http://www.ipl.t.u-tokyo.ac.jp/sketo/

URL: 

Published: 2010-06-10   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi