Affiliation
Faculty of Computer Science and Systems Engineering Department of Computer Science and Networks
Job
Associate Professor
E-mail
Phone
+81-948-29-7624
External link
EMOTO Kento
Scopus Paper Info
Total Paper Count: 0 Total Citation Count: 0 h-index: 4
Research Interests
-
algorithmic skeletons
-
program transformation
-
algorithm synthesis
-
active libraries
-
parallel programming
Undergraduate Education
-
2004.03 The University of Tokyo Faculty of Engineering Graduated Japan
Post Graduate Education
-
2006.03 The University of Tokyo Graduate School of Information Science and Technology Department of Mathematical Informatics Master's Course Completed Japan
Degree
-
The University of Tokyo - Ph.D. 2009.10
Biography in Kyutech
-
2019.04
Kyushu Institute of Technology Faculty of Computer Science and Systems Engineering Department of Computer Science and Networks Associate Professor
-
2015.04-2019.03
Kyushu Institute of Technology Faculty of Computer Science and Systems Engineering Department of Artificial Intelligence Associate Professor
-
2014.04-2015.03
Kyushu Institute of Technology Faculty of Computer Science and Systems Engineering Department of Creative Informatics Assistant Professor
-
2013.04-2014.03
Kyushu Institute of Technology Faculty of Computer Science and Systems Engineering Department of Artificial Intelligence Assistant Professor
Biography before Kyutech
-
2009.12 - 2013.03 The University of Tokyo Assistant Professor Japan
-
2008.04 - 2009.12 The University of Tokyo Researcher Japan
-
2007.12 - 2008.03 The University of Tokyo Japan
Academic Society Memberships
-
2011.08 ACM United States
-
2009.03 Information Processing Society of Japan Japan
-
2004.08 Japan Society for Software Science and Technology Japan
Papers
-
Fregel: a functional domain-specific language for vertex-centric large-scale graph processing Reviewed
IWASAKI H., EMOTO K., MORIHATA A., MATSUZAKI K., HU Z.
Journal of Functional Programming 32 ( 2 ) 2022.01
-
Distributed parallel generation of large-scale random graphs based on Watts–Strogatz model Reviewed
KAMINO Kaoru, EMOTO Kento
Computer Software ( Japan Society for Software Science and Technology ) 37 ( 2 ) 2_34 - 2_45 2020.01
-
Recursion Schemes in Coq Reviewed International journal
Murata K., Emoto K.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11893 LNCS 202 - 221 2019.12
-
HOPE: A parallel execution model based on hierarchical omission Reviewed International journal
Yasugi M., Muraoka D., Hiraishi T., Umatani S., Emoto K.
ACM International Conference Proceeding Series 77:1 - 77:11 2019.08
-
A DSL for graph parallel programming with vertex subsets Reviewed International journal
Kento Emoto, Fumihisa Sadahira
Journal of Supercomputing 76 ( 7 ) 4998 - 5015 (First Online 23 March 2019) 2019.03
-
定理証明支援系Coqにおける不等式変形記法 Reviewed
村田康佑, 江本健斗
情報処理学会論文誌プログラミング（PRO） 11 ( 4 ) 1 - 12 2018.12
-
Optimizing declarative parallel distributed graph processing by using constraint solvers Reviewed
Morihata A., Emoto K., Matsuzaki K., Hu Z., Iwasaki H.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10818 LNCS 166 - 181 2018.01
-
Efficient parallel tree reductions on distributed memory environments Reviewed
Kakehi K., Matsuzakl K., Emoto K.
Scalable Computing 18 ( 1 ) 1 - 15 2017.01
-
Think like a vertex, behave like a function! a functional DSL for vertex-centric big graph processing Reviewed International journal
Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Akimasa Morihata, Hideya Iwasaki
ACM SIGPLAN Notices 51 ( 9 ) 200 - 213 2016.09
-
BSP (Bulk Synchronous Parallel) Model, Revisited
Kiminori Matsuzaki, Kento Emoto
56 ( 5 ) 482 - 488 2015.04
-
An Automatic Fusion Mechanism for Variable-Length List Skeletons in SkeTo Reviewed
International Journal of Parallel Programming 42 ( 4 ) 546 - 563 2014.08
-
Shortest Regular Category-Path Queries
Technical Report GRACE-TR-2014-03 12 pages 2014.08
-
A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction Reviewed
258 - 274 2014.07
-
A Generate-Test-Aggregate parallel programming library for systematic parallel programming Reviewed
40 ( 2 ) 116 - 135 2014.02
-
Accumulative Computation on MapReduce Reviewed
7 ( 1 ) 18 - 27 2014.01
-
A generate-test-aggregate parallel programming library: systematic parallel programming for MapReduce Reviewed
71 - 81 2013.02
-
An Automatic Fusion Mechanism for Variable-Length List Skeletons in SkeTo
Mathematical Engineering Technical Reports, Department of Mathematical Engineering and Information Physics, University of Tokyo 2013 ( 04 ) 1 - 18 2013.01
-
Parallel Tree Reduction on MapReduce Reviewed
9 1827 - 1836 2012.06
-
Filter-embedding semiring fusion for programming with MapReduce Reviewed
24 ( 4-6 ) 623 - 645 2012.06
-
Generate, Test, and Aggregate ---A Calculation-based Framework for Systematic Parallel Programming with MapReduce Reviewed
7211 254 - 273 2012.03
-
Systematic Derivation of Efficient Parallel Algorithms for Generate-test-alpha Computation Reviewed
29 ( 1 ) 159 - 175 2012.02
-
Generate, Test, and Aggregate---A Calculation-based Framework for Systematic Parallel Programming with MapReduce
Kento Emoto, Sebastian Fischer, Zhenjiang Hu
2011 ( 34 ) 1 - 28 2011.10
-
Parallelization of Regular Expression Matching and Its Evaluation on Hadoop Reviewed
Kiminori Matsuzaki, Kento Emoto, Yu Liu
4 ( 4 ) 1 - 11 2011.09
-
An Algebraic Approach to Efficient Parallel Algorithms for Nested Reductions
Mathematical Engineering Technical Reports, Department of Mathematical Engineering and Information Physics, University of Tokyo 2011 ( 01 ) 1 - 31 2011.01
-
Implementing Fusion-Equipped Parallel Skeletons by Expression Templates Reviewed
6041 72 - 89 2010.12
-
Lessons from implementing the biCGStab method with SkeTo library Reviewed
15 - 24 2010.09
-
Generators-of-Generators Library with Optimization Capabilities in Fortress Reviewed
6272 26 - 37 2010.08
-
GCC's Support for Parallel Programming
Kento Emoto
49 ( 12 ) 1369 - 1374 2008.12
-
Generator-based GG Fortress Library
Mathematical Engineering Technical Reports, Department of Mathematical Engineering and Information Physics, University of Tokyo 2008 ( 16 ) 1 - 19 2008.08
-
Generator-based GG Fortress Library --Collection of GGs and Theories--
Mathematical Engineering Technical Reports, Department of Mathematical Engineering and Information Physics, University of Tokyo 2008 ( 17 ) 1 - 19 2008.08
-
A Compositional Framework for Developing Parallel Programs on Two-Dimensional Arrays Reviewed
35 ( 6 ) 615 - 658 2007.12
-
Efficient parallel tree reductions on distributed memory environments Reviewed
Kakehi K., Matsuzaki K., Emoto K.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4488 LNCS ( PART 2 ) 601 - 608 2007.12
-
A web service architecture for bidirectional XML updating Reviewed
Hayashi Y., Liu D., Emoto K., Matsuda K., Hu Z., Takeichi M.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4505 LNCS 721 - 732 2007.12
-
Domain-specific optimization strategy for skeleton programs Reviewed
Emoto K., Matsuzaki K., Hu Z., Takeichi M.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4641 LNCS 705 - 714 2007.12
-
Domain-Specific Optimization Strategy for Skeleton Programs Reviewed
4641 705 - 714 2007.08
-
Parallelization of XPath Queries with Tree Skeletons Reviewed
Yoshiaki Nomura, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
Computer software 24 ( 3 ) 51 - 62 2007.07
-
A Web Service Architecture for Bidirectional XML Updating Reviewed
4505 721 - 732 2007.06
-
Efficient Parallel Tree Reductions on Distributed Memory Environments Reviewed
4488 601 - 608 2007.05
-
Domain-Specific Optimization for Skeleton Programs Involving Neighbor Elements
Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
2007 ( 05 ) 1 - 29 2007.01
-
An Practicable Framework for Tree Reductions under Distributed Memory Environments
Mathematical Engineering Technical Reports, Department of Mathematical Engineering and Information Physics, University of Tokyo 2006 ( 64 ) 1 - 21 2006.12
-
Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions Reviewed
4128 605 - 614 2006.08
-
A library of constructive skeletons for sequential style of parallel programming Invited Reviewed
2006.05
-
Surrounding theorem: Developing parallel programs for matrix-convolutions Reviewed
Emoto K., Matsuzaki K., Hu Z., Takeichi M.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4128 LNCS 605 - 614 2006.01
-
有理式で表される不確かさを持つ制御系の解析・設計法 Reviewed
江本健斗, 大石泰章
計測自動制御学会論文集 41 ( 4 ) 314 - 321 2005.04
-
A Compositional Framework for Developing Parallel Programs on Two Dimensional Arrays
Mathematical Engineering Technical Reports, Department of Mathematical Engineering and Information Physics, University of Tokyo 2005 ( 09 ) 1 - 43 2005.01
Conference Prsentations (Oral, Poster)
-
VSML/VSS: テキストベース動画編集のための動画構造/装飾記述言語
志岐 颯駿, 江本 健斗
火の国情報シンポジウム2024 2024.03
-
指定した形の中間証明状態へ至る形式証明の自動生成を目指して～Transformerを用い た深層学習的アプローチ～
鵜狩 慧久, 江本 健斗
火の国情報シンポジウム2024 2024.03
-
高性能・高信頼な高水準言語の実装向け持続型例外処理機構の設計
八杉 昌宏, 江本 健斗, 平石 拓
情報処理学会 第146回プログラミング研究発表会 2023.10
-
大域的グラフ計算記述言語の最適化および辺集合に関する拡張
福島 央章, 江本 健斗
火の国情報シンポジウム2023 2023.03
-
定理証明支援系Coqによる持続型例外処理機構の形式化
森 公哉, 江本 健斗
火の国情報シンポジウム2022 2022.03
-
並列計算量の形式的証明を伴う BSP プログラム用 Coq ライブラリ
田中 匠海, 江本 健斗
火の国情報シンポジウム2022 2022.03
-
Switching execution between vertex-centric computation and block-centric computation for distributed large-graph processing
Ryuichi Takakura, Kento Emoto.
9th International Symposium on Applied Engineering and Sciences (SAES2021) 2021.12
-
レベル付き持続型例外処理機構の設計
八杉 昌宏, 江本 健斗, 平石 拓
日本ソフトウェア科学会第38回大会
-
HOPE: 階層的計算省略に基づく耐障害性を備えた並列実行モデル
八杉 昌宏, 村岡 大輔, 平石 拓, 馬谷 誠二, 江本 健斗
日本ソフトウェア科学会第37回大会
-
Coq における Hylomorphism を用いたプログラム運算の検証に向けて
村田 康佑, 江本 健斗
第22回プログラミングおよびプログラミング言語ワークショップ (PPL 2020)
-
高度な運算定理の Coq による証明とその自動化
村田 康佑, 江本健斗
日本ソフトウェア科学会第36回大会
-
Watts-Strogatz モデルに基づく大規模ランダムグラフの分散並列生成
神野 薫, 江本健斗
日本ソフトウェア科学会第36回大会
-
Coqを用いた高度なプログラム運算定理の検証に向けて
村田 康佑, 江本 健斗
第21回プログラミングおよびプログラミング言語ワークショップ (PPL 2019)
-
FregelからGraphXへのコンパイルにおけるSMTソルバを用いた不要な通信の削減
小西 篤志, 江本 健斗
第21回プログラミングおよびプログラミング言語ワークショップ (PPL 2019)
-
Coqにおける検証されたプログラム運算の拡張
村田 康佑, 江本健斗
日本ソフトウェア科学会第35回大会
-
Coqを用いた高度なプログラム運算定理の検証に向けて
村田 康佑, 江本 健斗
第21回プログラミングおよびプログラミング言語ワークショップ (PPL 2019)
-
グラフ上の生成検査集約プログラミングの実現に向けて
中島 拓, 江本 健斗
第20回プログラミングおよびプログラミング言語ワークショップ (PPL 2018)
-
Coqにおける可読性の高い形式的証明に向けて
村田 康佑, 江本 健斗
第20回プログラミングおよびプログラミング言語ワークショップ (PPL 2018)
-
並列プログラム計算量の系統的機械証明手法の開発
白水 駿, 江本 健斗
日本ソフトウェア科学会第34回大会
-
頂点主体並列グラフ処理の制約解消器による効率化
森畑 明昌, 江本 健斗, 松崎 公紀, 胡 振江, 岩崎 英哉
日本ソフトウェア科学会第34回大会
-
頂点部分集合変数を備えた大規模グラフ計算用領域特化言語
定平 典久, 江本 健斗
第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017)
-
Spark GraphXへのFregelコンパイラ
中島 拓, 江本 健斗
第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017)
-
大規模グラフ並列処理のための関数型領域特化言語 Fregel とその評価
江本 健斗, 松崎 公紀, 胡 振江, 森畑 明昌, 岩崎 英哉
日本ソフトウェア科学会第33回大会
-
大規模グラフ並列処理のための関数型領域特化言語
江本 健斗, 松崎 公紀, 胡 振江, 森畑 明昌, 岩崎 英哉
第18回プログラミングおよびプログラミング言語ワークショップ (PPL 2016)
-
A Functional DSL for Large Scale Graph Processing
Thirteenth International Symposium on Functional and Logic Programming (FLOPS 2016)
-
Accumulative Computation on MapReduce
劉 雨, 江本 健斗, 松崎 公紀, 胡 振江
情報処理学会 第95回プログラミング研究発表会
-
An Automatic Fusion Mechanism for Variable-Length List Skeletons in SkeTo
Kento Emoto, Kiminori Matsuzaki
International Symposium on High-level Parallel Programming and Applications (HLPP2013)
-
An Accumulative Computation Framework on MapReduce
劉 雨, 江本 健斗, 松崎 公紀, 胡 振江
第15回プログラミングおよびプログラミング言語ワークショップ (PPL 2013)
-
boost::proto を用いた融合変換機能付きライブラリの作成
松崎 公紀, 江本 健斗
情報処理学会 第93回プログラミング研究発表会
-
A Practical Generate-Test-and-Aggregate Framework on Hadoop
劉 雨,江本 健斗, 胡 振江
第14回プログラミングおよびプログラミング言語ワークショップ (PPL 2012)
-
Generate, Test, and Aggregate --- A Calculation-based Framework for Systematic Parallel Programming with MapReduce
Kento Emoto, Sebastian Fischer, Zhenjiang Hu
第14回プログラミングおよびプログラミング言語ワークショップ (PPL 2012)
-
Implementing Generate-Test-and-Aggregate Algorithms on Hadoop
劉 雨, Sebastian Fischer, 江本 健斗, 胡 振江
日本ソフトウェア科学会第28回大会
-
正規表現マッチングの並列化とそのHadoopでの評価
松崎 公紀, 江本 健斗
情報処理学会 第83回プログラミング研究発表会
-
An Algebraic Approach to Efficient Parallel Algorithms for Nested Reductions
Kento Emoto
第13回プログラミングおよびプログラミング言語ワークショップ (PPL 2011)
-
Semirings for Free! ---An Algebraic Approach to Efficient Parallel Algorithms for Nested Reductions
Kento Emoto
The fourth DIKU-IST Workshop
-
GoG Style Parallel Programming for Non-numeric Computation
Kento Emoto
The 2nd Parallelism-Oblivious Programming (POP) Workshop
-
Active Libraries for Parallel Programming in Fortress
Kento Emoto
The 4th International Workshop on Bidirectional Transformation in Architecture-Based Component Composition
-
最適値の並列探索のための Improving Value の Fortress 実装
江本 健斗, 寺田 洋介, 松崎 公紀, 胡 振江, 武市 正人
第12回プログラミングおよびプログラミング言語ワークショップ (PPL 2010)
-
Implementing fusion-equipped parallel skeletons by expression templates
Kiminori Matsuzaki, Kento Emoto
the 21st International Symposium on Implementation and Application of Functional Languages (IFL 2009)
-
式テンプレートによる最適化機能付き並列スケルトン
松崎 公紀, 江本 健斗
日本ソフトウェア科学会第26回大会
-
プログラム運算に基づく最適化機能つきFortressライブラリ
江本 健斗, 胡 振江, 筧 一彦, 松崎 公紀, 武市 正人
第11回プログラミングおよびプログラミング言語ワークショップ (PPL 2009)
-
A Generative Matrix Library in Fortress Relieves Programmers' Headache!
江本 健斗, 胡 振江, 筧 一彦, 松崎 公紀, 武市 正人
日本ソフトウェア科学会第25回大会
-
Domain-Specific Optimization Strategy for Skeleton Programs
Kento Emoto
Workshop on Parallelism Oblivious Programming
-
近傍要素を必要とするスケルトンプログラムの最適化
江本 健斗, 松崎 公紀, 胡 振江, 武市 正人
第9回プログラミングおよびプログラミング言語ワークショップ (PPL 2007)
-
Parallel Dynamic Programming using Data-Parallel Skeletons
-
助っ人：構成的な並列スケルトンによる並列プログラミングライブラリ
松崎 公紀, 明石 良樹, 江本 健斗, 岩崎 英哉, 胡 振江
日本ソフトウェア科学会第22回大会
-
木スケルトンによるXPathクエリの並列化とその評価
野村 芳明, 江本 健斗, 松崎 公紀, 胡 振江, 武市 正人
日本ソフトウェア科学会第22回大会
-
Bidirectionalizing Tree Transformations
Zhenjiang Hu, Kento Emoto, Shin-Cheng Mu, Masato Takeichi
Workshop on New Approaches to Software Construction (WNASC 2004)
Honors and Awards
-
高橋奨励賞
日本ソフトウェア科学会 2016.12.31
江本健斗
Grants-in-Aid for Scientific Research
-
正しさと効率に関する機械的証明を備えた並列プログラミング環境の実現に関する研究
Grant number：15K15974 2015.04 - 2019.03 若手研究(B)
-
非正則なデータ構造上の非数値計算問題に対するスケルトン並列プログラミングの応用
Grant number：24700025 2012.04 - 2015.03 若手研究(B)
-
非数値計算問題に対するスケルトン並列プログラミングの応用に関する研究
Grant number：22800007 2010.04 - 2012.04 研究活動スタート支援
Contracts
-
大規模グラフに対するクエリの分散並列処理基盤に関する研究
2017.04 - 2018.03
-
大規模グラフ処理のための系統的並列プログラミングの定式化に関する研究
2016.04 - 2017.03
-
大規模グラフ処理のための系統的なPregelプログラミング手法に関する研究
2015.04 - 2016.03
-
生成・検査・集約プログラミング環境の実現とその実問題への応用に関する研究
2014.04 - 2015.03
-
生成・検査・集約プログラミング環境の実現とその実問題への応用に関する研究
2013.04 - 2014.03
Award for Educational Activities
-
学生奨励賞
日本ソフトウェア科学会 2019.09
Activities of Academic societies and Committees
-
Japan Society for Software Science and Technology
2022.04 - 2026.03
-
Japan Society for Software Science and Technology
2022.04 - 2023.03
-
情報処理学会 九州支部 幹事
2021.04 - 2023.03
-
Japan Society for Software Science and Technology
2021.04 - 2022.03
-
International Symposium on High-level Parallel Programming and Applications, HLPP 2021 プログラム委員
2021.01 - 2021.07
-
Information Processing Society of Japan
2020.04 - 2024.03
-
Asian Symposium on Programming Languages and Systems, APLAS 2020 組織委員
2020.01 - 2020.12
-
Japan Society for Software Science and Technology
2019.08 - 2020.03
-
4PAD 2019 : 6th International Symposium on Formal Approaches to Parallel and Distributed Systems プログラム委員
2019.01 - 2019.07
-
4PAD 2018 : 5th International Symposium on Formal Approaches to Parallel and Distributed Systems プログラム委員
2018.01 - 2018.07
-
International Symposium on High-level Parallel Programming and Applications, HLPP 2018 プログラム委員
2018.01 - 2018.07
-
Japan Society for Software Science and Technology
2017.04 - 2018.03
-
Japan Society for Software Science and Technology
2016.04 - 2017.03
-
The 5th ACM SIGPLAN Workshop on Functional High-Performance Computing, FHPC'16 プログラム委員
2016.01 - 2016.09
-
Japan Society for Software Science and Technology
2015.09 - 2016.03
-
Information Processing Society of Japan
2015.04 - 2019.03
-
Information Processing Society of Japan
2015.04 - 2016.02
-
International Symposium on High-level Parallel Programming and Applications, HLPP 2015 プログラム委員
2015.01 - 2015.07
-
International Symposium on High-level Parallel Programming and Applications, HLPP 2013 プログラム委員
2013.01 - 2013.07
Social activity outside the university
-
免許法認定公開講座（計算機システム）
Role(s)：Lecturer
2020.07.05 - 2020.07.26
-
免許法認定公開講座（計算機システム）
Role(s)：Lecturer
2018.06.17 - 2018.06.30
-
免許法認定公開講座（計算機システム）
Role(s)：Lecturer
2016.06.19 - 2016.07.30
Citation count denotes the number of citations in papers published for a particular year.