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 @)

Thesis

I temporary uploaded my Ph.D. thesis for reference.

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. Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, 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.
2. Kiminori Matsuzaki, 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.
   
3. Akimasa Morihata, 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.
4. Akimasa Morihata, Kiminori Matsuzaki, Masato Takeichi
   Write it Recursively: A Generic Framework for Optimal Path Queries
   In Proceedings of the 2008 ACM SIGPLAN International Conference on Functional Programming, Sept. 22-24, 2008, Victoria, BC, Canada, pp. 169-178, ACM.
5. Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, 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. To be available from METR List 2008.
   
   • Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, 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. To be available from METR List 2008.
     
6. Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, 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, 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.
     
7. Kazutaka Morita, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, 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, San Diego, CA, June 10-13, 2007.
   
8. 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, Beijing, China, May 27-30, 2007.
   • Kiminori Matsuzaki, 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, 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.
9. Kazuhiko Kakehi, Kiminori Matsuzaki, 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, Beijing, China, May 27-30, 2007.
   • Kazuhiko Kakehi, Kiminori Matsuzaki, Kento Emoto, 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.
10. Kiminori Matsuzaki, Zhenjiang Hu, 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, 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.
11. Kiminori Matsuzaki, Zhenjiang Hu, 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
12. Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, 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.
    
13. Kiminori Matsuzaki, Kento Emoto, Hideya Iwasaki, 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.
    
14. Kazuhiko Kakehi, Kiminori Matsuzaki, Akimasa Morihata, Kento Emoto, Zhenjiang Hu
    Parallel Dynamic Programming using Data-Parallel Skeletons
    In Proceedings of the 22nd JSSST Conference, Sep, 2005.
15. Kiminori Matsuzaki, Zhenjiang Hu, Kazuhiko Kakehi, 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, 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.
      
16. Kiminori Matsuzaki, Kazuhiko Kakehi, Hideya Iwasaki, Zhenjiang Hu, 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.
    
17. Kiminori Matsuzaki, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi
    Parallelizing Polytypic Programs with Accumulations
    Proceedings of 20th JSSST Conference, 2003
18. Kiminori Matsuzaki, Zhenjiang Hu, 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.
    
    • Kiminori Matsuzaki, Zhenjiang Hu, 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.
      

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.