研究内容

スケルトン並列プログラミング

主要論文

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.
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, to Appear.
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:
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, 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.

参考資料

Skeletal Parallilsm Homepage (by Murray Cole)
Algorithmic Skeleton (in Wikipedia)
SkeTo Project Homepage

並列性忘却プログラミング

主要論文

松崎公紀:
並列性忘却プログラミングの研究推進に向けて.
高知工科大学紀要, 2010.

参考資料

並列プログラム開発を抜本的に改革 (in 東京大学情報理工学系研究科フォーカス)

アルゴリズム導出

主要論文

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.
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.
松崎公紀, 胡振江, 武市正人:
リスト上の最大マーク付け問題を解く並列プログラムの導出.
情報処理学会論文誌：プログラミング, Vol.49, No.SIG 3 (PRO36), pp. 16-27, 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.

Last modified: 2020-11-20 02:18:18.1152269 +0900