Rchr
J-GLOBAL ID：201801002569370532   Update date: Jan. 30, 2024

Emoto Kento

エモト ケント | Emoto Kento
Affiliation and department：
Kyushu Institute of Technology Faculty of Computer Science and Systems Engineering Department of Computer Science and Networks

About Kyushu Institute of Technology Faculty of Computer Science and Systems Engineering Department of Computer Science and Networks


Job title： Associate Professor
Research field  (1)： Software
Research keywords  (9)： 最適化機能付きライブラリ ,  アルゴリズム合成 ,  プログラム変換 ,  並列プログラミング ,  active libraries ,  algorithm synthesis ,  program transformation ,  algorithmic skeletons ,  parallel programming
Research theme for competitive and other funds  (11)：
  • 2019 - 2024 高性能・高信頼な高水準言語の実装向け持続型例外処理機構の理論と実践
  • 2019 - 2023 正しさと効率の形式的証明を備えたスケルトン並列プログラミング環境に関する研究
  • 2019 - 2023 大規模グラフ並列処理プログラムのプログラム合成・変換手法に基づく開発手法の確立
  • 2015 - 2019 Towards parallel programming environment with certified correctness and complexity
  • 2014 - 2019 Technology for Efficient and Reliable Systems Based on Accurate Execution Stack Access
Show all
Papers (41)：
  • HIDEYA IWASAKI, KENTO EMOTO, AKIMASA MORIHATA, KIMINORI MATSUZAKI, ZHENJIANG HU. Fregel: a functional domain-specific language for vertex-centric large-scale graph processing. Journal of Functional Programming. 2022. 32
  • KAMINO Kaoru, EMOTO Kento. Distributed parallel generation of large-scale random graphs based on Watts-Strogatz model. Computer Software. 2020. 37. 2. 2_34-2_45
  • Murata K., Emoto K. Recursion Schemes in Coq. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2019. 11893 LNCS. 202-221
  • Yasugi M., Muraoka D., Hiraishi T., Umatani S., Emoto K. HOPE: A parallel execution model based on hierarchical omission. ACM International Conference Proceeding Series. 2019. 77:1-77:11
  • Kento Emoto, Fumihisa Sadahira. A DSL for graph parallel programming with vertex subsets. Journal of Supercomputing. 2019. 76. 7. 4998-5015
ｍore...
MISC (7)：
  • Shortest Regular Category-Path Queries. Technical Report GRACE-TR-2014-03. 2014
  • 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. 2013. 04. 1-18
  • 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. 2011. 01. 1-31
  • Generator-based GG Fortress Library. Mathematical Engineering Technical Reports, Department of Mathematical Engineering and Information Physics, University of Tokyo. 2008. 2008. 16. 1-19
  • 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. 2008. 17. 1-19
ｍore...
Lectures and oral presentations  (53)：
  • 大域的グラフ計算記述言語の最適化および辺集合に関する拡張
    (火の国情報シンポジウム2023 2023)
  • 定理証明支援系Coqによる持続型例外処理機構の形式化
    (火の国情報シンポジウム2022 2022)
  • 並列計算量の形式的証明を伴う BSP プログラム用 Coq ライブラリ
    (火の国情報シンポジウム2022 2022)
  • Switching execution between vertex-centric computation and block-centric computation for distributed large-graph processing
    (9th International Symposium on Applied Engineering and Sciences (SAES2021) 2021)
  • レベル付き持続型例外処理機構の設計
    (日本ソフトウェア科学会第38回大会)
ｍore...
Education (2)：
  • - 2006 The University of Tokyo The Graduate School of Information Science and Technology Department of Mathematical Informatics
  • - 2004 The University of Tokyo The Faculty of Engineering Department of Mathematical Engineering and Information Physics
Professional career (1)：
  • PhD (The University of Tokyo)
Work history (7)：
  • 2019/04 - 現在 Kyushu Institute of Technology Faculty of Computer Science and Systems Engineering, Department of Computer Science and Network
  • 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
  • 2013 - 2014 Kyushu Institute of Technology Faculty of Computer Science and Systems Engineering, Department of Artificial Intelligence
  • 2009 - 2013 The University of Tokyo The Graduate School of Information Science and Technology
Show all
Committee career (8)：
  • 2020 - 2024 情報処理学会 プログラミング研究会 運営委員・論文誌プログラミング編集委員
  • 2021 - 2022 日本ソフトウェア科学会 プログラミングおよびプログラミング言語ワークショップ PPL2022 共同プログラム委員長
  • 2017 - 2018 ACM 4PAD 2018 : 5th International Symposium on Formal Approaches to Parallel and Distributed Systems プログラム委員
  • 2015 - 2018 情報処理学会 プログラミング研究会 運営委員
  • 2017 - 日本ソフトウェア科学会 プログラミングおよびプログラミング言語ワークショップ PPL2018 組織委員・プログラム委員
Show all
Awards (1)：
  • 2016 - 高橋奨励賞
Association Membership(s) (6)：
ACM ,  情報処理学会 ,  日本ソフトウェア科学会 ,  ACM ,  Information Processing Society of Japan ,  Japan Society for Software Science and Technology
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM