Kento EMOTO's Home Page

研究内容

研究活動

論文一覧

Refereed Papers

  1. Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Akimasa Morihata, Hideya Iwasaki
    Think like a vertex, behave like a function! a functional DSL for vertex-centric big graph processing
    In Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP2016, Nara, Japan, Setember 18-22, 2016, , pp. 200-213, ACM, 2016.
  2. Kento Emoto, Frederic Loulergue, Julien Tesson
    A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction
    In Proceedings of the 5th Conference on Interactive Theorem Proving (ITP 2014), , LNCS, Vol. 8558, pp. 258--274, Springer, 2014.
  3. Kento Emoto, Kiminori Matsuzaki
    An Automatic Fusion Mechanism for Variable-Length List Skeletons in SkeTo
    International Journal of Parallel Programming (IJPP), Springer, 2014, Vol. 42, No. 4, pp. 546-563, 2014.
  4. Yu Liu, Kento Emoto, Zhenjiang Hu
    A Generate-Test-Aggregate Parallel Programming Library
    Parallel Computing, Vol. 40, No. 2, pp. 116-135, 2014.
  5. 劉 雨, 江本 健斗, 松崎 公紀, 胡 振江
    Accumulative Computation on MapReduce
    情報処理学会論文誌:プログラミング, Vol. 7, No. 1, pp. 18-27, 2014.
  6. Yu Liu, Kento Emoto, Zhenjiang Hu
    A Generate-Test-Aggregate Parallel Programming Library
    In Proceedings of the 2013 International Workshop on Programming Models and Applications for Multicores and Manycores (PMAM 2013), ACM New York, pp. 71-81, 2013.
  7. Kento Emoto, Sebastian Fischer, Zhenjiang Hu
    Filter-embedding Semiring Fusion for Programming with MapReduce
    Formal Aspects of Computing, Vol. 24, No. 4-6, pp. 623-645, 2012.
    PDF
  8. Kento Emoto, Hiroto Imachi
    Parallel Tree Reduction on MapReduce
    Procedia CS, Vol. 9, pp. 1827-1836, 2012.
    PDF
  9. 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.
    PDF
  10. 江本 健斗
    Systematic Derivation of Efficient Parallel Algorithms for Generate-test-alpha Computation
    コンピュータソフトウェア, 29 (1): 159--175, 2012.
  11. 松崎 公紀, 江本 健斗, 劉 雨
    正規表現マッチングの並列化とそのHadoopでの評価
    情報処理学会論文誌:プログラミング 4(4), pp. 1-11, 2011.
  12. 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.
  13. 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, Lecture Notes in Computer Science, Vol. 6272, pp. 26--37, 2010.
  14. 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.
  15. 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.
    PDF
  16. 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.
  17. 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.
    PDF
  18. 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.
  19. 野村 芳明, 江本 健斗, 松崎 公紀, 胡 振江, 武市 正人
    木スケルトンによるXPathクエリの並列化とその評価
    コンピュータソフトウェア, 24 (3): 51-62, 2007.
  20. 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.
    PDF
  21. 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.
    PDF

Presentations/Non-Refereed Papers/Technical Reports

  1. 定平 典久, 江本 健斗
    頂点部分集合変数を備えた大規模グラフ計算用領域特化言語
    第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017) (カテゴリ1), 山梨県笛吹市, 2017年3月8日-10日.
  2. 中島 拓, 江本 健斗
    Spark GraphXへのFregelコンパイラ
    第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017) (カテゴリ3), 山梨県笛吹市, 2017年3月8日-10日.
  3. 江本 健斗, 松崎 公紀, 胡 振江, 森畑 明昌, 岩崎 英哉
    大規模グラフ並列処理のための関数型領域特化言語 Fregel とその評価
    日本ソフトウェア科学会第33回大会講演論文集, 仙台, 2016年9月6日-9日.
  4. 江本 健斗, 松崎 公紀, 胡 振江, 森畑 明昌, 岩崎 英哉
    大規模グラフ並列処理のための関数型領域特化言語
    第18回プログラミングおよびプログラミング言語ワークショップ (PPL 2016)(カテゴリ1), 岡山県玉野市, 2016年3月7日-9日.
  5. Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Akimasa Morihata, Hideya Iwasaki
    A Functional DSL for Large Scale Graph Processing
    Thirteenth International Symposium on Functional and Logic Programming (FLOPS 2016), Kochi, Japan, March 2016. (poster)
  6. Le-Duc Tung, Kento Emoto, Zhenjiang Hu
    Shortest Regular Category-Path Queries
    Technical Report GRACE-TR-2014-03, 12 pages, GRACE Center, National Institute of Informatics,August 2014, Available from GRACE Technical Report List.
  7. Kento Emoto, Kiminori Matsuzaki
    An Automatic Fusion Mechanism for Variable-Length List Skeletons in SkeTo
    Technical Report METR 2013-04, 18 pages, Department of Mathematical Engineering and Information Physics, University of Tokyo, 2013. Available from METR List 2013.
    PDF
  8. 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.
    PDF
  9. 劉 雨, Sebastian Fischer, 江本 健斗, 胡 振江
    Implementing Generate-Test-and-Aggregate Algorithms on Hadoop
    日本ソフトウェア科学会第28回大会講演論文集, 那覇, 2011年9月27日-29日.
  10. 江本 健斗
    An Algebraic Approach to Efficient Parallel Algorithms for Nested Reductions
    第13回プログラミングおよびプログラミング言語ワークショップ (PPL 2011)(カテゴリ1), 札幌市, 2011年3月9日-11日.
  11. 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.
  12. 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.
    PDF
  13. Kento Emoto
    GoG Style Parallel Programming for Non-numeric Computation
    2nd Parallelism-Oblivious Programming (POP) Workshop, Kochi, September 9-10, 2010.
  14. 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.
  15. 江本 健斗, 寺田 洋介, 松崎 公紀, 胡 振江, 武市 正人
    最適値の並列探索のための Improving Value の Fortress 実装
    第12回プログラミングおよびプログラミング言語ワークショップ (PPL 2010)(カテゴリ1), 琴平温泉, 2010年3月3日-5日.
  16. 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.
  17. 松崎 公紀, 江本 健斗
    式テンプレートによる最適化機能付き並列スケルトン
    日本ソフトウェア科学会第26回大会講演論文集, 島根大学, 2009年9月16日-18日.
  18. 江本 健斗, 胡 振江, 筧 一彦, 松崎 公紀, 武市 正人
    プログラム運算に基づく最適化機能つきFortressライブラリ
    第11回プログラミングおよびプログラミング言語ワークショップ (PPL 2009)(カテゴリ3), 高山市, 2009年3月9日-11日.
  19. 江本 健斗
    GCC上での並列プログラミングサポート(特集:マルチコアを活かすお手軽並列プログラミング)
    情報処理学会学会誌 情報処理, Vol. 49. No. 12, pp. 1369-1374, 2008.
  20. 江本 健斗, 胡 振江, 筧 一彦, 松崎 公紀, 武市 正人
    A Generative Matrix Library in Fortress Relieves Programmers' Headache!
    日本ソフトウェア科学会第25回大会講演論文集, 筑波大学, 2008年9月10日-12日.
  21. 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.
    PDF
  22. 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.
    PDF
  23. Kento Emoto
    Domain-Specific Optimization Strategy for Skeleton Programs
    Workshop on Parallelism Oblivious Programming, Tokyo, July 26-27, 2007.
  24. 江本 健斗, 松崎 公紀, 胡 振江, 武市 正人
    近傍要素を必要とするスケルトンプログラムの最適化
    第9回プログラミングおよびプログラミング言語ワークショップ (PPL 2007), pp. 125-139, 加賀温泉, 2007年3月8日-10日.
  25. 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.
    PDF
  26. 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.
  27. 松崎 公紀, 明石 良樹, 江本 健斗, 岩崎 英哉, 胡 振江
    助っ人:構成的な並列スケルトンによる並列プログラミングライブラリ
    日本ソフトウェア科学会第22回大会講演論文集, 東北大学, 2005年9月13日-15日
  28. 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.
  29. 野村 芳明, 江本 健斗, 松崎 公紀, 胡 振江, 武市 正人
    木スケルトンによるXPathクエリの並列化とその評価
    日本ソフトウェア科学会第22回大会論文集, 東北大学, 2005年9月13日-15日
  30. 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.
    PDF
  31. 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.
    PDF

Thesis

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

その他履歴等

履歴のページ参照.


© 2004-2017 Kento EMOTO<emoto_remove_@ai.kyutech.ac.jp>. All rights reserved.

Valid XHTML 1.1! Valid CSS!