EMOTO Kento 江本健斗

Researcher Number	00587470
Other IDs
Affiliation (Current)	2025: 九州工業大学, 大学院情報工学研究院, 准教授
Affiliation (based on the past Project Information) *help	2015 – 2024: 九州工業大学, 大学院情報工学研究院, 准教授 2016: 九州工業大学, 情報工学研究院, 准教授 2013 – 2014: 九州工業大学, 大学院情報工学研究院, 助教 2013: 東京大学, 大学院情報理工学系研究科, 助教 2012: 東京大学, 情報理工学(系)研究科, 助教 2011: 東京大学, 助教 2010 – 2011: 東京大学, 大学院・情報理工学系研究科, 助教
Review Section/Research Field	Principal Investigator Basic Section 60050:Software-related / Software / Software Except Principal Investigator Basic Section 60050:Software-related / Software / Software
Keywords	Principal Investigator 並列プログラミング / 定理証明支援系 / 並列スケルトン / グラフ計算 / 機械証明 / グラフ / スケルトン / プログラミング言語 / coq / recursion scheme … More / BSPモデル / 持続型例外処理 / 計算量証明 / BSP モデル / 深層学習 / 形式証明 / Coq / 並列 / 不等式 / 計算量 / 並列木準同型 / 能動的ライブラリ / 融合変換 / MapReduce / 並列蓄積計算 / 生成検査集約プログラミング / スケルトン並列プログラミング / 生成検査法 / 動的計画法 / 半環 / プログラム導出 / 組み合わせ問題 / 非数値計算問題 / 生成検査集約法 … More Except Principal Investigator プログラミング言語 / 領域特化言語 / グラフ変換 / 双方向変換 / 計算機システム / 仮想環境 / 性能評価 / フォールト・トレランス / 負荷分散 / ハイパフォーマンス・コンピューティング / ディペンダブル・コンピューティング / ソフトウエア開発効率化・安定化 / プログラム変換・合成 / 大規模グラフ処理 / プログラム運算 / 部分グラフ主体計算 / 頂点主体計算 / 大規模グラフ並列処理 / ソフトウェア自己適応 / ソフトウェア共進化 / 自動双方向化 / ソフトウエア自己適応 / ソフトウエア共進化 / データ同期 / 双方向変換言語 / 代数的データ型 / 大規模並列処理 / 関数型言語 / 代数データ型 / グラフ並列処理 / プログラミング方法論 / アルゴリズム / プログラミングパラダイム / プログラム言語 / 並列プログラミング / モデル変換 / ソフトウエア工学 / モデル駆動ソフトウエア開発 / モデルコードの共進化 / モデル駆動ソフトウェア開発 / ソフトウェア工学 Less

正しさと効率の保証を備えた平易な並列プログラミング環境の構築に関する研究Principal Investigator
- Principal Investigator
  
  江本健斗
- Project Period (FY)
  2024 – 2027
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Kyushu Institute of Technology
Developing a methodology for large-scale graph parallel processing based on program synthesis and transformation
- Principal Investigator
  
  Iwasaki Hideya
- Project Period (FY)
  2019 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Meiji University
  The University of Electro-Communications
Research on Skeletal Parallel Programming Environment with Formal Proofs of Correctness and EfficiencyPrincipal Investigator
- Principal Investigator
  
  Emoto Kento
- Project Period (FY)
  2019 – 2023
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Kyushu Institute of Technology
Theory and Practice of Restartable Exception Handling Mechanisms for Implementing Efficient and Safe High-level Languages
- Principal Investigator
  
  Yasugi Masahiro
- Project Period (FY)
  2019 – 2023
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Kyushu Institute of Technology
Towards parallel programming environment with certified correctness and complexityPrincipal Investigator
- Principal Investigator
  
  Emoto Kento
- Project Period (FY)
  2015 – 2018
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  Kyushu Institute of Technology
Developing an algebraic model and program development platform for large-scale graph processing
- Principal Investigator
  
  Iwasaki Hideya
- Project Period (FY)
  2014 – 2018
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  The University of Electro-Communications
Integrated and Fundamental for Large-Scale and Practical Bidirectional Graph Transformation
- Principal Investigator
  
  Hu Zhenjiang
- Project Period (FY)
  2013 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Software
- Research Institution
  National Institute of Informatics
Applying Skeletal Parallel Programming to Non-numeric Computation on Unstructured DataPrincipal Investigator
- Principal Investigator
  
  EMOTO Kento
- Project Period (FY)
  2012 – 2014
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  Kyushu Institute of Technology
  The University of Tokyo
Study on Language Foundation for Bidirectional Model Transformation
- Principal Investigator
  
  HU Zhenjiang
- Project Period (FY)
  2010 – 2013
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  National Institute of Informatics
Parallelism-Oblivious Parallel Programming
- Principal Investigator
  
  TAKEICHI Masato
- Project Period (FY)
  2010 – 2011
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Software
- Research Institution
  National Institution for Academic Degrees and University Evaluation
  The University of Tokyo
Skeletal Parallel Programming for Non-numerical ProblemsPrincipal Investigator
- Principal Investigator
  
  EMOTO Kento
- Project Period (FY)
  2010 – 2011
- Research Category
  
  Grant-in-Aid for Research Activity Start-up
- Research Field
  
  Software
- Research Institution
  The University of Tokyo

All 2024 2023 2022 2021 2020 2019 2018 2017 2016 2014 2013 2012 2011 2010 Other

All Journal Article Presentation

[Journal Article] Designing Restartable Exception Handling Mechanisms for Implementing Efficient and Safe High-level Languages2024
- Author(s)
  Masahiro Yasugi, Kento Emoto, Tasuku Hiraishi
- Journal Title
  
  Journal of Information Processing
  
  Volume: 32 Issue: 0 Pages: 436-450
- DOI
  10.2197/ipsjjip.32.436
- ISSN
  1882-6652
- Language
  English
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-22K11984, KAKENHI-PROJECT-19H04087
[Journal Article] Fregel: a functional domain-specific language for vertex-centric large-scale graph processing2022
- Author(s)
  IWASAKI HIDEYA、EMOTO KENTO、MORIHATA AKIMASA、MATSUZAKI KIMINORI、HU ZHENJIANG
- Journal Title
  
  Journal of Functional Programming
  
  Volume: 32
- DOI
  10.1017/s0956796821000277
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00108, KAKENHI-PROJECT-19K11901
[Journal Article] Distributed parallel generation of large-scale random graphs based on Watts–Strogatz model2020
- Author(s)
  神野薫, 江本健斗
- Journal Title
  
  Computer Software
  
  Volume: 37 Issue: 2 Pages: 2_34-2_45
- DOI
  10.11309/jssst.37.2_34
- NAID
  130007863812
- ISSN
  0289-6540
- Year and Date
  2020-04-23
- Language
  Japanese
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19K11901, KAKENHI-PROJECT-19K11903, KAKENHI-PROJECT-19H04087
[Journal Article] A DSL for graph parallel programming with vertex subsets2019
- Author(s)
  Kento Emoto, Fumihisa Sadahira
- Journal Title
  
  The Journal of Supercomputing
  
  Volume: 75 Issue: 7 Pages: 1-18
- DOI
  10.1007/s11227-019-02821-w
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-15K15974, KAKENHI-PROJECT-26280020, KAKENHI-PROJECT-26280023, KAKENHI-PROJECT-19K11901
[Journal Article] 定理証明支援系Coqにおける不等式変形記法2018
- Author(s)
  村田康佑 , 江本健斗
- Journal Title
  
  情報処理学会論文誌プログラミング（PRO）
  
  Volume: 11(4) Pages: 1-12
- NAID
  170000149918
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15K15974
[Journal Article] A Generate-Test-Aggregate Parallel Programming Library for Systematic Parallel Programming2014
- Author(s)
  Yu Liu, Kento Emoto, Zhenjiang Hu
- Journal Title
  
  Parallel Computing
  
  Volume: Volume 40, Issue 2 Issue: 4 Pages: 116-135
- DOI
  10.1007/s11390-014-1462-5
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-25240009
[Journal Article] Shortest Regular Category-Path Queries2014
- Author(s)
  Le-Duc Tung, Kento Emoto, Zhenjiang Hu
- Journal Title
  
  Technical Report, GRACE center, National Institute of Informatics
  
  Volume: GRACE-TR-2014-03 Pages: 1-14
- Data Source
  KAKENHI-PROJECT-24700025
[Journal Article] A Generate-Test-Aggregate Parallel Programming Library2014
- Author(s)
  Yu Liu, Kento Emoto, Zhenjiang Hu
- Journal Title
  
  Parallel Computing
  
  Volume: 40 (2) Issue: 2 Pages: 116-135
- DOI
  10.1016/j.parco.2013.11.002
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24700025
[Journal Article] An Automatic Fusion Mechanism for Variable-Length List Skeletons in SkeTo2014
- Author(s)
  Kento Emoto, Kiminori Matsuzaki
- Journal Title
  
  International Journal of Parallel Programming
  
  Volume: 42(4) Issue: 4 Pages: 546-563
- DOI
  10.1007/s10766-013-0263-8
- NAID
  120005728994
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-24700025, KAKENHI-PROJECT-25330088, KAKENHI-PROJECT-26280020
[Journal Article] Accumulative Computation on MapReduce2014
- Author(s)
  劉雨, 江本健斗, 松崎公紀, 胡振江
- Journal Title
  
  情報処理学会論文誌：プログラミング
  
  Volume: 7 (1) Pages: 18-27
- NAID
  130003394611
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24700025
[Journal Article] Filter-embedding semiring fusion for programming with MapReduce2012
- Author(s)
  Kento Emoto, Sebastian Fischer, Zhenjiang Hu
- Journal Title
  
  Formal Aspects of Computing
  
  Volume: 24 Issue: 4-6 Pages: 623-645
- DOI
  10.1007/s00165-012-0241-8
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24700025
[Journal Article] Parallel Tree Reduction on MapReduce2012
- Author(s)
  Kento Emoto, Hiroto Imachi
- Journal Title
  
  Procedia CS
  
  Volume: 9 Pages: 1827-1836
- DOI
  10.1016/j.procs.2012.04.201
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24700025
[Journal Article] 生成検査+α計算の効率的並列アルゴリズムの系統的導出2012
- Author(s)
  江本健斗
- Journal Title
  
  コンピュータソフトウェア
  
  Volume: Vol.29 Pages: 159-175
- NAID
  130004549255
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22800007
[Journal Article] Generate, Test, and Aggregate-A Calculation-based Framework for Systematic Parallel Programming with MapReduce-2011
- Author(s)
  Kento EMOTO, Sebastian FISCHER and Zhenjiang HU
- Journal Title
  
  Mathematical Engineering Technical Reports
  
  Volume: 2011-34 Pages: 1-28
- Data Source
  KAKENHI-PROJECT-22800007
[Journal Article] Generate, Test, and Aggregate---A Calculation-based Framework for Systematic Parallel Programming with MapReduce---2011
- Author(s)
  Kento EMOTO, Sebastian FISCHER, Zhenjiang HU
- Journal Title
  
  Mathematical Engineering Technical Reports
  
  Volume: 2011-34 Pages: 1-28
- Data Source
  KAKENHI-PROJECT-22800007
[Journal Article] An Algebraic Approach to Efficient Parallel Algorithms for Nested Reductions2011
- Author(s)
  Kento EMOTO
- Journal Title
  
  Mathematical Engineering Technical Reports
  
  Volume: 2011-01 Pages: 1-31
- Data Source
  KAKENHI-PROJECT-22800007
[Presentation] 指定した形の中間証明状態へ至る形式証明の自動生成を目指して～Transformerを用いた深層学習的アプローチ～2024
- Author(s)
  鵜狩慧久, 江本健斗
- Organizer
  火の国情報シンポジウム2024
- Data Source
  KAKENHI-PROJECT-19K11903
[Presentation] 大域的グラフ計算記述言語の最適化および辺集合に関する拡張2023
- Author(s)
  福島央章, 江本健斗
- Organizer
  火の国情報シンポジウム2023
- Data Source
  KAKENHI-PROJECT-19H04087
[Presentation] 高性能・高信頼な高水準言語の実装向け持続型例外処理機構の背景と展望2023
- Author(s)
  八杉昌宏, 平石拓, 江本健斗
- Organizer
  第15回自動チューニング技術の現状と応用に関するシンポジウム
- Data Source
  KAKENHI-PROJECT-19H04087
[Presentation] 大域的グラフ計算記述言語の最適化および辺集合に関する拡張2023
- Author(s)
  福島央章, 江本健斗
- Organizer
  火の国情報シンポジウム2023
- Data Source
  KAKENHI-PROJECT-19K11903
[Presentation] 高性能・高信頼な高水準言語の実装向け持続型例外処理機構の設計2023
- Author(s)
  八杉昌宏, 江本建斗, 平石拓
- Organizer
  情報処理学会第146回プログラミング研究会 (PRO-2023-3)
- Data Source
  KAKENHI-PROJECT-19H04087
[Presentation] 大域的グラフ計算記述言語の最適化および辺集合に関する拡張2023
- Author(s)
  福島央章, 江本健斗
- Organizer
  火の国情報シンポジウム2023論文集
- Data Source
  KAKENHI-PROJECT-19K11901
[Presentation] 定理証明支援系Coqによる持続型例外処理機構の形式化2022
- Author(s)
  森公哉, 江本健斗
- Organizer
  火の国情報シンポジウム2022
- Data Source
  KAKENHI-PROJECT-19H04087
[Presentation] 並列計算量の形式的証明を伴う BSP プログラム用 Coq ライブラリ2022
- Author(s)
  田中匠海, 江本健斗
- Organizer
  火の国情報シンポジウム2022
- Data Source
  KAKENHI-PROJECT-19H04087
[Presentation] 並列計算量の形式的証明を伴う BSP プログラム用 Coq ライブラリ2022
- Author(s)
  田中匠海, 江本健斗
- Organizer
  火の国情報シンポジウム2022
- Data Source
  KAKENHI-PROJECT-19K11903
[Presentation] 定理証明支援系Coqによる持続型例外処理機構の形式化2022
- Author(s)
  森公哉, 江本健斗
- Organizer
  火の国情報シンポジウム2022
- Data Source
  KAKENHI-PROJECT-19K11903
[Presentation] Switching execution between vertex-centric computation and block-centric computation for distributed large-graph processing2021
- Author(s)
  Ryuichi Takakura, Kento Emoto
- Organizer
  9th International Symposium on Applied Engineering and Sciences (SAES2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H04087
[Presentation] Switching execution between vertex-centric computation and block-centric computation for distributed large-graph processing2021
- Author(s)
  Ryuichi Takakura, Kento Emoto
- Organizer
  9th International Symposium on Applied Engineering and Sciences (SAES2021)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11901
[Presentation] 持続型例外処理機構の設計と実装方針2021
- Author(s)
  八杉昌宏, 江本健斗, 平石拓
- Organizer
  第13回自動チューニング技術の現状と応用に関するシンポジウム
- Data Source
  KAKENHI-PROJECT-19H04087
[Presentation] レベル付き持続型例外処理機構の設計2021
- Author(s)
  八杉昌宏, 江本健斗, 平石拓
- Organizer
  日本ソフトウェア科学会第38回大会
- Data Source
  KAKENHI-PROJECT-19H04087
[Presentation] ワークスティールフレームワークの多様な環境での性能改善と評価2020
- Author(s)
  八杉昌宏, 平石拓, 光来健一, 江本健斗
- Organizer
  第12回自動チューニング技術の現状と応用に関するシンポジウム
- Data Source
  KAKENHI-PROJECT-19H04087
[Presentation] HOPE: 階層的計算省略に基づく耐障害性を備えた並列実行モデル2020
- Author(s)
  八杉昌宏, 村岡大輔, 平石拓, 馬谷誠二, 江本健斗
- Organizer
  日本ソフトウェア科学会第37回大会
- Data Source
  KAKENHI-PROJECT-19H04087
[Presentation] Coq における Hylomorphism を用いたプログラム運算の検証に向けて2020
- Author(s)
  村田康佑, 江本健斗
- Organizer
  第22回プログラミングおよびプログラミング言語ワークショップ (PPL 2020) (カテゴリ1)
- Data Source
  KAKENHI-PROJECT-19H04087
[Presentation] Coq における Hylomorphism を用いたプログラム運算の検証に向けて2020
- Author(s)
  村田康佑, 江本健斗
- Organizer
  第22回プログラミングおよびプログラミング言語ワークショップ (PPL 2020)
- Data Source
  KAKENHI-PROJECT-19K11903
[Presentation] Watts-Strogatz モデルに基づく大規模ランダムグラフの分散並列生成2019
- Author(s)
  神野薫, 江本健斗
- Organizer
  日本ソフトウェア科学会第36回大会
- Data Source
  KAKENHI-PROJECT-19K11903
[Presentation] 高度な運算定理の Coq による証明とその自動化2019
- Author(s)
  村田康佑, 江本健斗
- Organizer
  日本ソフトウェア科学会第36回大会
- Data Source
  KAKENHI-PROJECT-19K11903
[Presentation] Watts-Strogatz モデルに基づく大規模ランダムグラフの分散並列生成2019
- Author(s)
  神野薫, 江本健斗
- Organizer
  日本ソフトウェア科学会第36回大会
- Data Source
  KAKENHI-PROJECT-19H04087
[Presentation] 高水準言語による障害耐性を備えた新しい並列実行モデル2019
- Author(s)
  八杉昌宏, 平石拓, 光来健一, 江本健斗
- Organizer
  第11回自動チューニング技術の現状と応用に関するシンポジウム
- Data Source
  KAKENHI-PROJECT-19H04087
[Presentation] FregelからGraphXへのコンパイルにおけるSMTソルバを用いた不要な通信の削減2019
- Author(s)
  小西篤志, 江本健斗
- Organizer
  日本ソフトウェア科学会第21回プログラミングおよびプログラミング言語ワークショップ（PPL2019） (ポスター)
- Data Source
  KAKENHI-PROJECT-26280020
[Presentation] Coqを用いた高度なプログラム運算定理の検証に向けて2019
- Author(s)
  村田康佑 , 江本健斗
- Organizer
  第21回プログラミングおよびプログラミング言語ワークショップ PPL2019
- Data Source
  KAKENHI-PROJECT-15K15974
[Presentation] 高度な運算定理の Coq による証明とその自動化2019
- Author(s)
  村田康佑, 江本健斗
- Organizer
  日本ソフトウェア科学会第36回大会
- Data Source
  KAKENHI-PROJECT-19H04087
[Presentation] Watts-Strogatz モデルに基づく大規模ランダムグラフの分散並列生成2019
- Author(s)
  神野薫, 江本健斗
- Organizer
  日本ソフトウェア科学会第36回大会
- Data Source
  KAKENHI-PROJECT-19K11901
[Presentation] HOPE: A Parallel Execution Model Based on Hierarchical Omission2019
- Author(s)
  Masahiro Yasugi, Daisuke Muraoka, Tasuku Hiraishi, Seiji Umatani, Kento Emoto
- Organizer
  48th International Conference on Parallel Processing (ICPP 2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H04087
[Presentation] Recursion Schemes in Coq2019
- Author(s)
  Kosuke Murata, Kento Emoto
- Organizer
  Programming Languages and Systems - 17th Asian Symposium, APLAS 2019
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19K11903
[Presentation] Recursion Schemes in Coq2019
- Author(s)
  Kosuke Murata, Kento Emoto
- Organizer
  17th Asian Symposium on Programming Languages and Systems (APLAS 2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-19H04087
[Presentation] Optimizing Declarative Parallel distributed Graph Processing by using Constraint Solvers2018
- Author(s)
  Akimasa Morihata, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Hideya Iwasaki
- Organizer
  14th International Symposium on Functional and Logic Programming (FLOPS 2018)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280020
[Presentation] Coqにおける可読性の高い形式的証明に向けて2018
- Author(s)
  村田康佑, 江本健斗
- Organizer
  第20回プログラミングおよびプログラミング言語ワークショップ (PPL 2018)
- Data Source
  KAKENHI-PROJECT-15K15974
[Presentation] Coqにおける検証されたプログラム運算の拡張2018
- Author(s)
  村田康佑 , 江本健斗
- Organizer
  日本ソフトウェア科学会第35回大会
- Data Source
  KAKENHI-PROJECT-15K15974
[Presentation] 頂点部分集合変数を備えた大規模グラフ計算用領域特化言語2017
- Author(s)
  定平典久, 江本健斗
- Organizer
  第19回プログラミングおよびプログラミング言語ワークショップ PPL 2017
- Place of Presentation
  笛吹市
- Year and Date
  2017-03-08
- Data Source
  KAKENHI-PROJECT-15K15974
[Presentation] 並列プログラム計算量の系統的機械証明手法の開発2017
- Author(s)
  白水駿, 江本健斗
- Organizer
  日本ソフトウェア科学会第34回大会
- Data Source
  KAKENHI-PROJECT-15K15974
[Presentation] Spark GraphXへのFregelコンパイラ2017
- Author(s)
  中島拓, 江本健斗
- Organizer
  第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017) (ポスター)
- Place of Presentation
  華やぎの章慶山 (山梨県笛吹市)
- Year and Date
  2017-03-08
- Data Source
  KAKENHI-PROJECT-26280020
[Presentation] 頂点部分集合変数を備えた大規模グラフ計算用領域特化言語2017
- Author(s)
  定平典久, 江本健斗
- Organizer
  第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017) (カテゴリ1)
- Place of Presentation
  華やぎの章慶山 (山梨県笛吹市)
- Year and Date
  2017-03-08
- Data Source
  KAKENHI-PROJECT-26280020
[Presentation] 頂点主体並列グラフ処理の制約解消器による効率化2017
- Author(s)
  森畑明昌, 江本健斗, 松崎公紀, 胡振江, 岩崎英哉
- Organizer
  日本ソフトウェア科学会第34回大会
- Data Source
  KAKENHI-PROJECT-26280020
[Presentation] 複数の頂点主体グラフ計算フレームワーク向けの中間表現とコード生成器2017
- Author(s)
  松崎公紀, 岩崎英哉, 江本健斗, 胡振江, 森畑明昌
- Organizer
  日本ソフトウェア科学会第34回大会
- Data Source
  KAKENHI-PROJECT-26280020
[Presentation] A Functional DSL for Large Scale Graph Processing2016
- Author(s)
  Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Akimasa Morihata, Hideya Iwasaki
- Organizer
  Thirteenth International Symposium on Functional and Logic Programming (FLOPS 2016)
- Place of Presentation
  Kochi, Japan
- Year and Date
  2016-03-04
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K15974
[Presentation] 大規模グラフ並列処理のための関数型領域特化言語 Fregel とその評価2016
- Author(s)
  江本健斗, 松崎公紀, 胡振江, 森畑明昌, 岩崎英哉
- Organizer
  日本ソフトウェア科学会第33回大会
- Place of Presentation
  仙台市
- Year and Date
  2016-09-07
- Data Source
  KAKENHI-PROJECT-15K15974
[Presentation] 大規模グラフ並列処理のための関数型領域特化言語2016
- Author(s)
  江本健斗，松崎公紀，胡振江，森畑明昌，岩崎英哉
- Organizer
  第18回プログラミングおよびプログラミング言語ワークショップ（PPL2016）
- Place of Presentation
  岡山県玉野市
- Year and Date
  2016-03-07
- Data Source
  KAKENHI-PROJECT-15K15974
[Presentation] Think like a vertex, behave like a function! a functional DSL for vertex-centric big graph processing2016
- Author(s)
  Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Akimasa Morihata, Hideya Iwasaki
- Organizer
  21st ACM SIGPLAN International Conference on Functional Programming, ICFP2016,
- Place of Presentation
  Nara, Japan
- Year and Date
  2016-09-19
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K15974
[Presentation] 大規模グラフ並列処理のための関数型領域特化言語2016
- Author(s)
  江本健斗，松崎公紀，胡振江，森畑明昌，岩崎英哉
- Organizer
  第18回プログラミングおよびプログラミング言語ワークショップ (PPL 2016)
- Place of Presentation
  岡山県玉野市
- Year and Date
  2016-03-07
- Data Source
  KAKENHI-PROJECT-26280020
[Presentation] 大規模グラフ並列処理のための関数型領域特化言語 Fregel とその評価2016
- Author(s)
  江本健斗, 松崎公紀, 胡振江, 森畑明昌, 岩崎英哉
- Organizer
  日本ソフトウェア科学会第33回大会講演論文集
- Place of Presentation
  東北大学 (宮城県仙台市)
- Year and Date
  2016-09-07
- Data Source
  KAKENHI-PROJECT-26280020
[Presentation] Think like a vertex, behave like a function! a functional DSL for vertex-centric big graph processing2016
- Author(s)
  Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Akimasa Morihata, Hideya Iwasaki
- Organizer
  Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016)
- Place of Presentation
  Nara, Japan
- Year and Date
  2016-09-19
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280020
[Presentation] A Functional DSL for Large Scale Graph Processing (Poster)2016
- Author(s)
  Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Akimasa Morihata, Hideya Iwasaki
- Organizer
  13th International Symposium on Functional and Logic Programming (FLOPS 2016)
- Place of Presentation
  Kochi, Japan
- Year and Date
  2016-03-04
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26280020
[Presentation] An Automatic Fusion Mechanism for Variable-Length List Skeletons in SkeTo2013
- Author(s)
  Kento Emoto, Kiminori Matsuzaki
- Organizer
  International Symposium on High-level Parallel Programming and Applications
- Place of Presentation
  Paris, France
- Data Source
  KAKENHI-PROJECT-24700025
[Presentation] Accumulative Computation on MapReduce2013
- Author(s)
  劉雨, 江本健斗, 松崎公紀, 胡振江
- Organizer
  情報処理学会，第95回PRO研究発表会（SWoPP2013）
- Place of Presentation
  福岡県北九州市
- Data Source
  KAKENHI-PROJECT-24700025
[Presentation] A generate-test-aggregate parallel programming library: systematic parallel programming for MapReduce2013
- Author(s)
  Yu Liu, Kento Emoto, Zhenjiang Hu
- Organizer
  the 2013 PPOPP International Workshop on Programming Models and Applications for Multicores and Manycores, PMAM 2013
- Place of Presentation
  Shenzhen, China
- Data Source
  KAKENHI-PROJECT-24700025
[Presentation] Generate, Test, and Aggregate---A Calculation-based Framework for Systematic Parallel Programming with MapReduce---2012
- Author(s)
  Kento Emoto, Sebastian Ficsher, Zhenjiang Hu
- Organizer
  プログラミング及びプログラミング言語ワークショップPPL2012
- Place of Presentation
  和歌山県西牟婁郡白浜町
- Year and Date
  2012-03-09
- Data Source
  KAKENHI-PROJECT-22800007
[Presentation] Generate, Test, and Aggregate---A Calculation-based Framework for Systematic Parallel Programming with MapReduce---2012
- Author(s)
  Kento Emoto, Sebastian Ficsher, Zhenjiang Hu
- Organizer
  21st European Symposium on Programming (ESOP 2012)
- Place of Presentation
  エストニア、タリン
- Year and Date
  2012-03-27
- Data Source
  KAKENHI-PROJECT-22800007
[Presentation] Generate, Test, and Aggregate-A Calculation-based Framework for Systematic Parallel Programming with MapReduce-2012
- Author(s)
  Kento Emoto, Sebastian Ficsher, Zhenjiang Hu
- Organizer
  21st European Symposium on Programming(ESOP 2012)
- Place of Presentation
  Tallinn, Estonia
- Year and Date
  2012-03-27
- Data Source
  KAKENHI-PROJECT-22800007
[Presentation] Generate, Test, and Aggregate-A Calculation-based Framework for Systematic Parallel Programming with MapReduce-2012
- Author(s)
  Kento Emoto, Sebastian Ficsher, Zhenjiang Hu
- Organizer
  プログラミング及びプログラミング言語ワークショップPPL2012
- Place of Presentation
  和歌山県西牟婁郡白浜町
- Year and Date
  2012-03-09
- Data Source
  KAKENHI-PROJECT-22800007
[Presentation] Semirings for Free!-An Algebraic Approach to Efficient Parallel Algorithms for Nested Reductions2011
- Author(s)
  Kento EMOTO
- Organizer
  The Fourth DIKU-IST Joint Workshop on Foundations of Software
- Place of Presentation
  University of Tokyo
- Year and Date
  2011-01-13
- Data Source
  KAKENHI-PROJECT-22800007
[Presentation] Semirings for Free!-An Algebraic Approach to Efficient Parallel Algorithms for Nested Reductions2011
- Author(s)
  Kento EMOTO
- Organizer
  The Fourth DIKU-IST Joint Workshop on Foundations of Software
- Place of Presentation
  東京大学
- Year and Date
  2011-01-13
- Data Source
  KAKENHI-PROJECT-22800007
[Presentation] An Algebraic Approach to Efficient Parallel Algorithms for Nested Reductions2011
- Author(s)
  Kento EMOTO
- Organizer
  プログラミング及びプログラミング言語ワークショップPPL2011
- Place of Presentation
  北海道札幌市
- Year and Date
  2011-03-10
- Data Source
  KAKENHI-PROJECT-22800007
[Presentation] Generate-Test-and-AggregateアルゴリズムのHadoop実装2011
- Author(s)
  劉雨、セバスティアンフィッシャー、江本健斗、胡振江
- Organizer
  日本ソフトウェア科学会第28回大会
- Place of Presentation
  沖縄県那覇市
- Year and Date
  2011-09-27
- Data Source
  KAKENHI-PROJECT-22800007
[Presentation] Generators-of-generators Library with Optimization Capabilities in Fortress2010
- Author(s)
  Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, Masato Takeichi
- Organizer
  16th International European Conference on Parallel and Distributed Computing
- Place of Presentation
  Ischia, Italy
- Data Source
  KAKENHI-PROJECT-22650006
[Presentation] Genera-tors-of-generators Library with Op-timization Capabilities in Fortress2010
- Author(s)
  Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsu-zaki, Masato Takeichi
- Organizer
  16th International European Con-ference on Parallel and Distributed Computing
- Place of Presentation
  Ischia, Italy
- Data Source
  KAKENHI-PROJECT-22650006
[Presentation] A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction
- Author(s)
  Kento Emoto, Frederic Loulergue, Julien Tesson
- Organizer
  Interactive Theorem Proving - 5th International Conference (ITP 2014)
- Place of Presentation
  Vienna, Austria
- Year and Date
  2014-07-14 – 2014-07-17
- Data Source
  KAKENHI-PROJECT-26280020
[Presentation] A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction
- Author(s)
  Kento Emoto, Frederic Loulergue, Julien Tesson
- Organizer
  Interactive Theorem Proving - 5th International Conference
- Place of Presentation
  Vienna, Austria
- Year and Date
  2014-07-14 – 2014-07-17
- Data Source
  KAKENHI-PROJECT-24700025

1. HU Zhenjiang (50292769)

# of Collaborated Projects: 4 results

# of Collaborated Products: 10 results
2. HIDAKA Soichiro (70321578)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
3. KATO Hiroyuki (10321580)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
4. NAKANO Keisuke (30505839)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
5. MATSUDA Kazutaka (10583627)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
6. MATSUZAKI Kiminori (30401243)

# of Collaborated Projects: 2 results

# of Collaborated Products: 9 results
7. Iwasaki Hideya (90203372)

# of Collaborated Projects: 2 results

# of Collaborated Products: 7 results
8. INABA Kazuhiro (30570311)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. SASANO Isao (10362021)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. TAKEICHI Masato (10011165)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
11. MORIHATA Akimasa (10582257)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. Yasugi Masahiro (30273759)

# of Collaborated Projects: 1 results

# of Collaborated Products: 8 results
13. 浅田和之 (00570251)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. 平石拓 (60528222)

# of Collaborated Projects: 1 results

# of Collaborated Products: 8 results
15. 光来健一 (60372463)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
16. ZHU Zirun

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

EMOTO Kento 江本 健斗

Research Projects

Research Products

Co-Researchers

正しさと効率の保証を備えた平易な並列プログラミング環境の構築に関する研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Developing a methodology for large-scale graph parallel processing based on program synthesis and transformation

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Research on Skeletal Parallel Programming Environment with Formal Proofs of Correctness and EfficiencyPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Theory and Practice of Restartable Exception Handling Mechanisms for Implementing Efficient and Safe High-level Languages

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Towards parallel programming environment with certified correctness and complexityPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Developing an algebraic model and program development platform for large-scale graph processing

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Integrated and Fundamental for Large-Scale and Practical Bidirectional Graph Transformation

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Applying Skeletal Parallel Programming to Non-numeric Computation on Unstructured DataPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Study on Language Foundation for Bidirectional Model Transformation

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Parallelism-Oblivious Parallel Programming

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Skeletal Parallel Programming for Non-numerical ProblemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Designing Restartable Exception Handling Mechanisms for Implementing Efficient and Safe High-level Languages2024

Author(s)

Journal Title

DOI

ISSN

Language

Data Source

[Journal Article] Fregel: a functional domain-specific language for vertex-centric large-scale graph processing2022

Author(s)

Journal Title

EMOTO Kento 江本健斗