Kento EMOTO's Home Page

研究内容

• 生成・検査・集約プログラミング
  We have been proposing and studying a new programming framework "Generate, Test, and Aggregate" (GTA for short) to support easy parallel programming. The framework is equipped with a programming style, namely, GTA programming style in which a programmer designs a naive parallel program by composing a Generator to produce a multiset of solution candidates, Testers to discard invalid candidates, and an Aggregator to make a summary of valid candidates. This style fits with practical combinatorial problems, and it is easy to write correct programs in this style. The framework also equipped with a theory of mechanical program transformations so that programmer's naive programs can be optimized into efficient parallel programs runnable on various parallel computation environments, e.g., Hadoop MapReduce. The combination of the GTA style and the optimization theory allows programmers to develop correct and efficient parallel programs easily.
  Research directions in this topic are (1) to study a theory of program transformation used in optimizing naively composed GTA programs, (2) to implement active libraries to provide the GTA programming to various programming languages, and (3) to solve application problems by using the GTA framework.
• スケルトン並列プログラミング
  We have been working on "Skeletal Parallelism", in which we are encouraged to build efficient parallel programs by composing ready-made components, called parallel skeletons. This style frees programmers from burdensome tasks in parallel programming. Research directions in this topic are (1) to design flexible, expressive efficient parallel skeletons, (2) to implement such skeletons on various parallel computer architectures, and (3) to study a methodology to derive efficient parallel program systematically or automatically from ones naively composed with skeletons.

研究活動

• GTALib
  我々は，GTAプログラミングを現実のプログラミング言語上に提供するために，関数型言語 Haskell で動く GTAプログラミングライブラリ 'GTALib' を実装しています．GTAプログラミングを実言語の上で検証することで，より実用的な並列プログラミングの枠組みを構築しようと試みています．
• SkeTo Project
  並列スケルトンライブラリ'助っ人' (SkeTo) を作成しています．その目的は，並列スケルトン（並列計算に良く現れるパタン）を提供し，それらを組み合わせる事で簡単に並列プログラムを作成可能にすることです．また，我々は，ライブラリにスケルトンの組み合わせを最適化する機構を実装しようと試みています．
• Sun Microsystems Laboratories との共同研究
  米Sunの研究機関Sun Labsのガイ・スティール博士 (Dr. Guy Steele) のグループとの間で、「Fortress上でのスケルトン並列プログラミング手法に基づいたライブラリ開発」に関する共同研究を行っています．その目的は，信頼できる並列プログラムの容易な開発をサポートするライブラリの実現です．成果の一部は既にFortress言語の標準ライブラリに組み込まれています．

論文一覧

Refereed Papers

1. Kento Emoto, Sebastian Fischer, Zhenjiang Hu
   Filter-embedding Semiring Fusion for Programming with MapReduce
   Formal Aspects of Computing, accepted.
2. Kento Emoto, Hiroto Imachi
   Parallel Tree Reduction on Hadoop
   In 9th International Workshop on Practical Aspects of High-level Parallel Programming (PAPP 2012), part of The International Conference on Computational Science (ICCS 2012), 2012, to appear.
3. Kento Emoto, Sebastian Fischer, Zhenjiang Hu
   Generate, Test, and Aggregate---A Calculation-based Framework for Systematic Parallel Programming with MapReduce
   21st European Symposium on Programming (ESOP 2012), Lecture Notes in Computer Science, Vol. 7211, pp. 254-273, Springer Verlag, 2012.
4. 江本 健斗
   Systematic Derivation of Efficient Parallel Algorithms for Generate-test-alpha Computation
   コンピュータソフトウェア, 29 (1): - , 2012.
5. 松崎 公紀, 江本 健斗, 劉 雨
   正規表現マッチングの並列化とそのHadoopでの評価
   情報処理学会論文誌：プログラミング 4(4), pp. 1-11, 2011.
6. Kiminori Matsuzaki, Kento Emoto
   Lessons from Implementing the BiCGStab Method with SkeTo Library
   In Proceedings of the Fourth International Workshop on High-level Parallel Programming and Applications (HLPP 2010), pp. 15-24, ACM, 2010.
7. Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, Masato Takeichi
   Generators-of-generators Library with Optimization Capabilities in Fortress
   In Euro-Par 2010, Parallel Processing, Part II, pages 26 - 37, Lecture Notes in Computer Science 6272, Springer, 2010.
8. Kiminori Matsuzaki, Kento Emoto
   Implementing fusion-equipped parallel skeletons by expression templates
   In Post Proceedings of the 21st International Symposium on Implementation and Application of Functional Languages (IFL 2009), Lecture Notes in Computer Science, Vol. 6041, pp. 72--89, 2010.
9. 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.
   
10. Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi
    A Compositional Framework for Developing Parallel Programs on Two Dimensional Arrays
    International Journal of Parallel Programming (IJPP), Volume 35, Number 6, pp. 615-658, Springer, 2007.
11. Yasushi Hayashi, Dongxi Liu, Kento Emoto, Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi
    A Web Service Architecture for Bidirectional XML Updating
    Joint conference of the 9th Asia-Pacific Web Conference and the 8th International Conference on Web-Age Information Management (APWeb/WAIM 2007), pp. 721-732, Huangshan, China, June 16-18, 2007.
    
12. 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.
13. 野村 芳明, 江本 健斗, 松崎 公紀, 胡 振江, 武市 正人
    木スケルトンによるXPathクエリの並列化とその評価
    コンピュータソフトウェア, 24 (3): 51-62, 2007.
14. 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.
    
15. 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.
    

Presentations/Non-Refereed Papers/Technical Reports

1. Kento Emoto, Sebastian Fischer, Zhenjiang Hu
   Generate, Test, and Aggregate---A Calculation-based Framework for Systematic Parallel Programming with MapReduce
   Technical Report METR 2011-34, 28 pages, Department of Mathematical Engineering and Information Physics, University of Tokyo, 2011. Available from METR List 2011.
   
2. Yu Liu, Sebastian Fischer, Kento Emoto, Zhenjiang Hu
   Implementing Generate-Test-and-Aggregate Algorithms on Hadoop
   日本ソフトウェア科学会第28回大会論文集, 那覇, 2011年9月27日-29日.
3. Kento Emoto
   An Algebraic Approach to Efficient Parallel Algorithms for Nested Reductions
   第13回プログラミングおよびプログラミング言語ワークショップ (PPL 2011)(カテゴリ1), 札幌市, 2011年3月9日-11日.
4. Kento Emoto
   Semirings for Free! ---An Algebraic Approach to Efficient Parallel Algorithms for Nested Reductions
   Presentation at the fourth DIKU-IST Workshop, Jan 10-13, 2011.
5. Kento Emoto
   An Algebraic Approach to Efficient Parallel Algorithms for Nested Reductions
   Technical Report METR 2011-01, 31 pages, Department of Mathematical Engineering and Information Physics, University of Tokyo, 2011. Available from METR List 2011.
   
6. Kento Emoto
   GoG Style Parallel Programming for Non-numeric Computation
   2nd Parallelism-Oblivious Programming (POP) Workshop, Kochi, September 9-10, 2010.
7. Kento Emoto
   Active Libraries for Parallel Programming in Fortress
   4th International Workshop on Bidirectional Transformation in Architecture-Based Component Composition, Kanagawa, Japan, March 12-14, 2010.
8. 江本 健斗, 寺田 洋介, 松崎 公紀, 胡 振江, 武市 正人
   最適値の並列探索のための Improving Value の Fortress 実装
   第12回プログラミングおよびプログラミング言語ワークショップ (PPL 2010)(カテゴリ1), 琴平温泉, 2010年3月3日-5日.
9. Kiminori Matsuzaki, Kento Emoto
   Implementing fusion-equipped parallel skeletons by expression templates
   In Draft Proceedings of the 21st International Symposium on Implementation and Application of Functional Languages (IFL 2009), pp. 100-115, 2009.
10. 松崎 公紀, 江本 健斗
    式テンプレートによる最適化機能付き並列スケルトン
    日本ソフトウェア科学会第26回大会論文集, 島根大学, 2009年9月16日-18日.
11. 江本 健斗, 胡 振江, 筧 一彦, 松崎 公紀, 武市 正人
    プログラム運算に基づく最適化機能つきFortressライブラリ
    第11回プログラミングおよびプログラミング言語ワークショップ (PPL 2009)(カテゴリ3), 高山市, 2009年3月9日-11日.
12. 江本 健斗
    GCC上での並列プログラミングサポート(特集：マルチコアを活かすお手軽並列プログラミング)
    情報処理学会学会誌 情報処理, Vol. 49. No. 12, pp. 1369-1374, 2008.
13. 江本 健斗, 胡 振江, 筧 一彦, 松崎 公紀, 武市 正人
    A Generative Matrix Library in Fortress Relieves Programmers' Headache!
    日本ソフトウェア科学会第25回大会論文集, 筑波大学, 2008年9月10日-12日.
14. 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. Available from METR List 2008.
    
15. 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. Available from METR List 2008.
    
16. Kento Emoto
    Domain-Specific Optimization Strategy for Skeleton Programs
    Workshop on Parallelism Oblivious Programming, Tokyo, July 26-27, 2007.
17. 江本 健斗, 松崎 公紀, 胡 振江, 武市 正人
    近傍要素を必要とするスケルトンプログラムの最適化
    第9回プログラミングおよびプログラミング言語ワークショップ (PPL 2007), pp. 125-139, 加賀温泉, 2007年3月8日-10日.
18. 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. Available from METR List 2007.
    
19. 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.
20. 松崎 公紀, 明石 良樹, 江本 健斗, 岩崎 英哉, 胡 振江
    助っ人：構成的な並列スケルトンによる並列プログラミングライブラリ
    日本ソフトウェア科学会第22回大会論文集, 東北大学, 2005年9月13日-15日
21. 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.
22. 野村 芳明, 江本 健斗, 松崎 公紀, 胡 振江, 武市 正人
    木スケルトンによるXPathクエリの並列化とその評価
    日本ソフトウェア科学会第22回大会論文集, 東北大学, 2005年9月13日-15日
23. Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi
    A Compositional Framework for Developing Parallel Programs on Two Dimensional Arrays
    Technical Report METR2005-09, Department of Mathematical Informatics, University of Tokyo, 2005.
    
24. Zhenjiang Hu, Kento Emoto, Shin-Cheng Mu, Masato Takeichi
    Bidirectionalizing Tree Transformations
    Workshop on New Approaches to Software Construction (WNASC 2004), The University of Tokyo, Komaba, Tokyo, Japan, September 13-14, 2004. pp.3-22.
    

Thesis

1. Kento Emoto
   Homomorphism-based Structured Parallel Programming
   Graduate School of Information Science and Technology, University of Tokyo, 2009.
   

その他履歴等

履歴のページ参照．