Research Topics

Skeletal Parallelism

Selected Papers

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.

References

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

Parallelism-Oblivious Programming

Algorithm Derivation

Selected Papers

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

Last modified: 2020-11-20 02:14:06.2241065 +0900