Kiminori Matsuzaki Assistant Professor Information Processing Laboratory Mathematical Informatics Graduate School of Information Science and Technology University of Tokyo Email: kmatsu _at_ ipl.t.u-tokyo.ac.jp (replace "_at_" with @)

Research Topics

We have "Workshop on Parallelism Oblivious Programming" on July 26-27!.

• Parallel Skeletons for Trees: Though there are many researches on parallel skeletons for lists or arrays, parallel skeletons for other irregular data types, such as trees, are not treated so far. We are working to define general parallel skeletons for trees and show how to implement them. Our recent work "Systematic Derivation of Tree Contraction Algorithms" is presented in the 4th International Workshop on "Constructive Methods for Parallel Programming" (CMPP 2004).
• Implemetation of Parallel Skeleton Library : Many researches have been done from the theoretical point of view, however, no truely practical systems for skeletal parallelism have been implemented. We are working to implement a truely practical skeleton library which has optimizing mechanisms. Our recent work "A Fusion-Embedded Skeleton Library" is presented in Annual European Conference on Parallel Processing (Euro-Par 2004).

Research Activities

• ske-para-lib: A research group for implementing a practical environment for skeletal parallelism.
• PDPS (Parallel and Distributed Programming Seminar) (Japanese only): A seminar about theoretical parallel programming.
• Upcoming Conferences in the area of parallel computation (sorted by submission deadline)
• Upcoming Conferences in the area of parallel computation (sorted by conference date)

Publications

1. 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), San Diego, CA, June 10-13, 2007, to appear.
   
2. 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), May 27-30, 2007, University of Beijing, China, to appear.
   
   • 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.
     
3. 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), May 27-30, 2007, University of Beijing, China, to appear.
   
   • 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.
     
4. 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. To be available from METR List 2007.
   
5. 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.
     Abstract, BibTeX, Full paper
6. 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
   
7. 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, pages 605 - 614, Lecture Notes in Computer Science 4128, 2006.
   
8. 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.
   Abstract, Full paper
9. 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.
   
10. 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.
    Abstract, BibTeX, Full Paper (PDF)
11. 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.
    Abstract, BibTeX, Full Paper (PDF)
    • 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), 14th July, 2004, Technical Report of Westfalische wilhelms-univeersitat munster, pp. 109-123.
      Abstract, BibTeX, Full Paper (PDF)
12. Kiminori Matsuzaki, Kazuhiko Kakehi, Zhenjiang Hu, and Masato Takeichi:
    Parallelizing Polytypic Programs with Accumulations
    Proceedings of 20th JSSST Conference, 2003
    Abstract, Full Paper
13. 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, Springer Verlag.
    Abstract, BibTeX, Full Paper
    • 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.
      Abstract, BibTeX, Full Paper
14. 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.
    Abstract, BibTeX, Full Paper

Other Activities

• ACM ICPC (International Collegiate Programming Contest)
  Our team took the 7th prize (and the 2nd prize in Java Challenge) at Kanazawa Regional Contest in 2002.
• ARIEL (Artificial Reality & Intelligence Engineering Lovers/Laboratory: A group working on Virtual Reality)
  We made "Virtual Kingyo-Sukui (scooping goldfish)" and won the first prize in IVRC'99.

Information for Local Users (In Japanese)

• Time Table, and Schedule
• Single-sided or double-sided printing with Postscript printers.