Updated on 2023/09/01

写真a

 
EMOTO Kento
 
Scopus Paper Info  
Total Paper Count: 0  Total Citation Count: 0  h-index: 5

Citation count denotes the number of citations in papers published for a particular year.

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

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

     More details

    Language:English   Publishing type:Research paper (scientific journal)

    DOI: 10.1017/S0956796821000277

    Scopus

    Other Link: https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85123949074&origin=inward

  • 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

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)

    <p>In recent years, there has been a growing demand for the development of programs that perform analysis on large-scale graphs such as SNS and Web graphs. In evaluating the performance of such programs, we need a number of input graphs with the desired number of nodes and specific features such as the small-world property. However, the generation of large-scale random graphs by sequential programs is very time-consuming, and may cause memory shortage. In order to solve this problem, distributed parallelization of large-scale graph generation is desired.<br/>In this research, we propose distributed parallelization of the random-graph generation based on Watts-Strogatz model, which is one of well-known graph models that provide characteristics similar to large scale graphs in the real world. We implemented our proposing distributed parallel algorithm by using Hadoop MapReduce. In the distributed parallelization, some restrictions are introduced into the original generation method to improve its efficiency. We have shown that the restrictions do not break the the characteristics that the original model has.</p>

    DOI: 10.11309/jssst.37.2_34

    CiNii Article

    CiNii Research

    Other Link: https://ci.nii.ac.jp/naid/130007863812

  • 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

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)

    DOI: 10.1007/978-3-030-34175-6_11

    Scopus

    Other Link: https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85076703659&origin=inward

  • 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

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)

    DOI: 10.1145/3337821.3337899

    Scopus

    Other Link: https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85071139641&origin=inward

  • 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

     More details

    Authorship:Lead author, Corresponding author   Language:English   Publishing type:Research paper (scientific journal)

    DOI: 10.1007/s11227-019-02821-w

    Scopus

    Other Link: https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85081217953&origin=inward

  • 定理証明支援系Coqにおける不等式変形記法 Reviewed

    村田康佑, 江本健斗

    情報処理学会論文誌プログラミング(PRO)   11 ( 4 )   1 - 12   2018.12

     More details

    Authorship:Corresponding author   Language:Japanese   Publishing type:Research paper (scientific journal)

  • 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

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)

    DOI: 10.1007/978-3-319-90686-7_11

    Scopus

    Other Link: https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85046812115&origin=inward

  • Efficient parallel tree reductions on distributed memory environments Reviewed

    Kakehi K., Matsuzakl K., Emoto K.

    Scalable Computing   18 ( 1 )   1 - 15   2017.01

     More details

    Language:English   Publishing type:Research paper (scientific journal)

    DOI: 10.12694/scpe.v18i1.1230

    Scopus

    Other Link: https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85016205451&origin=inward

  • 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

     More details

    Authorship:Lead author, Corresponding author   Language:English   Publishing type:Research paper (international conference proceedings)

    DOI: 10.1145/2951913.2951938

    Scopus

    Other Link: https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85084505714&origin=inward

  • BSP (Bulk Synchronous Parallel) Model, Revisited

    Kiminori Matsuzaki, Kento Emoto

    56 ( 5 )   482 - 488   2015.04

     More details

    Language:Japanese   Publishing type:Article, review, commentary, editorial, etc. (other)

  • An Automatic Fusion Mechanism for Variable-Length List Skeletons in SkeTo Reviewed

    International Journal of Parallel Programming   42 ( 4 )   546 - 563   2014.08

     More details

    Authorship:Corresponding author   Language:English   Publishing type:Research paper (scientific journal)

    DOI: 10.1007/s10766-013-0263-8

    Scopus

  • Shortest Regular Category-Path Queries

    Technical Report GRACE-TR-2014-03   12 pages   2014.08

     More details

    Language:English   Publishing type:Research paper (other academic)

  • A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction Reviewed

    258 - 274   2014.07

     More details

    Authorship:Corresponding author   Language:English   Publishing type:Research paper (international conference proceedings)

    Austria   Vienna   2014.07.14  -  2014.07.17

    DOI: 10.1007/978-3-319-08970-6_17

    Scopus

  • A Generate-Test-Aggregate parallel programming library for systematic parallel programming Reviewed

    40 ( 2 )   116 - 135   2014.02

     More details

    Language:English   Publishing type:Research paper (scientific journal)

    DOI: 10.1016/j.parco.2013.11.002

    Scopus

  • Accumulative Computation on MapReduce Reviewed

    7 ( 1 )   18 - 27   2014.01

     More details

    Language:English   Publishing type:Research paper (scientific journal)

    DOI: 10.2197/ipsjtrans.7.33

    Scopus

    CiNii Article

  • A generate-test-aggregate parallel programming library: systematic parallel programming for MapReduce Reviewed

    71 - 81   2013.02

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)

    DOI: 10.1145/2442992.2443000

    Scopus

  • 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

     More details

    Authorship:Corresponding author   Language:English   Publishing type:Research paper (bulletin of university, research institution)

  • Parallel Tree Reduction on MapReduce Reviewed

    9   1827 - 1836   2012.06

     More details

    Authorship:Corresponding author   Language:English   Publishing type:Research paper (international conference proceedings)

    DOI: 10.1016/j.procs.2012.04.201

    Scopus

  • Filter-embedding semiring fusion for programming with MapReduce Reviewed

    24 ( 4-6 )   623 - 645   2012.06

     More details

    Authorship:Corresponding author   Language:English   Publishing type:Research paper (scientific journal)

    DOI: 10.1007/s00165-012-0241-8

    Scopus

  • Generate, Test, and Aggregate ---A Calculation-based Framework for Systematic Parallel Programming with MapReduce Reviewed

    7211   254 - 273   2012.03

     More details

    Authorship:Corresponding author   Language:English   Publishing type:Research paper (international conference proceedings)

    DOI: 10.1007/978-3-642-28869-2_13

    Scopus

  • Systematic Derivation of Efficient Parallel Algorithms for Generate-test-alpha Computation Reviewed

    29 ( 1 )   159 - 175   2012.02

     More details

    Authorship:Corresponding author   Language:English   Publishing type:Research paper (scientific journal)

    DOI: 10.11309/jssst.29.1_159

    Scopus

  • 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

     More details

    Authorship:Corresponding author   Language:English   Publishing type:Research paper (bulletin of university, research institution)

  • Parallelization of Regular Expression Matching and Its Evaluation on Hadoop Reviewed

    Kiminori Matsuzaki, Kento Emoto, Yu Liu

    4 ( 4 )   1 - 11   2011.09

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)

  • 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

     More details

    Authorship:Corresponding author   Language:English   Publishing type:Research paper (bulletin of university, research institution)

  • Implementing Fusion-Equipped Parallel Skeletons by Expression Templates Reviewed

    6041   72 - 89   2010.12

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)

    DOI: 10.1007/978-3-642-16478-1_5

    Scopus

  • Lessons from implementing the biCGStab method with SkeTo library Reviewed

    15 - 24   2010.09

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)

    DOI: 10.1145/1863482.1863488

    Scopus

  • Generators-of-Generators Library with Optimization Capabilities in Fortress Reviewed

    6272   26 - 37   2010.08

     More details

    Authorship:Corresponding author   Language:English   Publishing type:Research paper (international conference proceedings)

    DOI: 10.1007/978-3-642-15291-7_4

    Scopus

  • GCC's Support for Parallel Programming

    Kento Emoto

    49 ( 12 )   1369 - 1374   2008.12

     More details

    Authorship:Corresponding author   Language:Japanese   Publishing type:Article, review, commentary, editorial, etc. (other)

  • 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

     More details

    Authorship:Corresponding author   Language:English   Publishing type:Research paper (bulletin of university, research institution)

  • 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

     More details

    Authorship:Corresponding author   Language:English   Publishing type:Research paper (bulletin of university, research institution)

  • A Compositional Framework for Developing Parallel Programs on Two-Dimensional Arrays Reviewed

    35 ( 6 )   615 - 658   2007.12

     More details

    Authorship:Corresponding author   Language:English   Publishing type:Research paper (scientific journal)

    DOI: 10.1007/s10766-007-0043-4

  • 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

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)

    A Web service architecture is described for bidirectional XML updating. The updating mechanism exploits the power of bidirectional transformation so that users can update remote XML data by editing a view on the local machine that is generated by a transformation of the XML data. This architecture consists of three tiers: data viewer clients, a bidirectional transformation engine, and content servers accessible through the Internet. Due to the use of standard Web service technologies, the data viewer clients and content servers can be easily replaced with ones chosen by the user. Users can use this architecture to implement their own applications that exploit the power of bidirectional transformation without the burden of installing and maintaining a bidirectional language package. © Springer-Verlag Berlin Heidelberg 2007.

    Scopus

    Other Link: https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=38049057259&origin=inward

  • 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

     More details

    Authorship:Lead author   Language:English   Publishing type:Research paper (international conference proceedings)

    Skeletal parallel programming enables us to develop parallel programs easily by composing ready-made components called skeletons. However, a simply-composed skeleton program often lacks efficiency due to overheads of intermediate data structures and communications. Many studies have focused on optimizations by fusing successive skeletons to eliminate the overheads. Existing fusion transformations, however, are too general to achieve adequate efficiency for some classes of problems. Thus, a specific fusion optimization is needed for a specific class. In this paper, we propose a strategy for domain-specific optimization of skeleton programs. In this strategy, one starts with a normal form that abstracts the programs of interest, then develops fusion rules that transform a skeleton program into the normal form, and finally makes efficient parallel implementation of the normal form. We illustrate the strategy with a case study: optimization of skeleton programs involving neighbor elements, which is often seen in scientific computations. © Springer-Verlag Berlin Heidelberg 2007.

    Scopus

    Other Link: https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=38049128929&origin=inward

  • 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

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)

    A new approach for fast parallel reductions on trees over distributed memory environments is proposed. By employing serialized trees as the data representation, our algorithm has a communication-efficient BSP implementation regardless of the shapes of inputs. The prototype implementation supports its real efficacy. © Springer-Verlag Berlin Heidelberg 2007.

    Scopus

    Other Link: https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=38049115892&origin=inward

  • Domain-Specific Optimization Strategy for Skeleton Programs Reviewed

    4641   705 - 714   2007.08

     More details

    Authorship:Corresponding author   Language:English   Publishing type:Research paper (international conference proceedings)

    DOI: 10.1007/978-3-540-74466-5_74

  • 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

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)

  • A Web Service Architecture for Bidirectional XML Updating Reviewed

    4505   721 - 732   2007.06

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)

    DOI: 10.1007/978-3-540-72524-4_74

  • Efficient Parallel Tree Reductions on Distributed Memory Environments Reviewed

    4488   601 - 608   2007.05

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)

    DOI: 10.1007/978-3-540-72586-2_88

  • Domain-Specific Optimization for Skeleton Programs Involving Neighbor Elements

    Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi

    2007 ( 05 )   1 - 29   2007.01

     More details

    Authorship:Corresponding author   Language:English   Publishing type:Research paper (bulletin of university, research institution)

  • 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

     More details

    Language:English   Publishing type:Research paper (bulletin of university, research institution)

  • Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions Reviewed

    4128   605 - 614   2006.08

     More details

    Authorship:Corresponding author   Language:English   Publishing type:Research paper (international conference proceedings)

    DOI: 10.1007/11823285_63

  • A library of constructive skeletons for sequential style of parallel programming Invited Reviewed

    2006.05

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)

    DOI: 10.1145/1146847.1146860

    Other Link: http://doi.acm.org/10.1145/1146847.1146860

  • 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

     More details

    Authorship:Lead author   Language:English   Publishing type:Research paper (international conference proceedings)

    Computations on two-dimensional arrays such as matrices and images are one of the most fundamental and ubiquitous things in computational science and its vast application areas, but development of efficient parallel programs on two-dimensional arrays is known to be hard. To solve this problem, we have proposed a skeletal framework on two-dimensional arrays based on the theory of constructive algorithmics. It supports users, even with little knowledge about parallel machines, to develop systematically both correct and efficient parallel programs on two-dimensional arrays. In this paper, we apply our framework to the matrix-convolutions often used in image filters and difference methods. We show the efficacy of the framework by giving a general parallel program for the matrix-convolutions described with the skeletons, and a theorem that optimizes the general program into an application-specific one. © Springer-Verlag Berlin Heidelberg 2006.

    Scopus

    Other Link: https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=33750015284&origin=inward

  • 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

     More details

    Authorship:Corresponding author   Language:English   Publishing type:Research paper (bulletin of university, research institution)

▼display all

Conference Prsentations (Oral, Poster)

  • 大域的グラフ計算記述言語の最適化および辺集合に関する拡張

    福島 央章, 江本 健斗

    火の国情報シンポジウム2023  2023.03 

     More details

    Event date: 2023.03.13 - 2023.03.14   Language:Japanese  

  • 並列計算量の形式的証明を伴う BSP プログラム用 Coq ライブラリ

    田中 匠海, 江本 健斗

    火の国情報シンポジウム2022  2022.03 

     More details

    Event date: 2022.03.01 - 2022.03.02   Language:Japanese  

  • 定理証明支援系Coqによる持続型例外処理機構の形式化

    森 公哉, 江本 健斗

    火の国情報シンポジウム2022  2022.03 

     More details

    Event date: 2022.03.01 - 2022.03.02   Language:Japanese  

  • 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 

     More details

    Event date: 2021.12.05 - 2021.12.08   Language:English  

  • レベル付き持続型例外処理機構の設計

    八杉 昌宏, 江本 健斗, 平石 拓

    日本ソフトウェア科学会第38回大会 

     More details

    Event date: 2021.09.01 - 2021.09.03   Language:Japanese  

  • HOPE: 階層的計算省略に基づく耐障害性を備えた並列実行モデル

    八杉 昌宏, 村岡 大輔, 平石 拓, 馬谷 誠二, 江本 健斗

    日本ソフトウェア科学会第37回大会 

     More details

    Event date: 2020.09.08 - 2020.09.10   Language:Japanese  

  • Coq における Hylomorphism を用いたプログラム運算の検証に向けて

    村田 康佑, 江本 健斗

    第22回プログラミングおよびプログラミング言語ワークショップ (PPL 2020)  

     More details

    Event date: 2020.03.02 - 2020.03.04   Language:Japanese  

  • 高度な運算定理の Coq による証明とその自動化

    村田 康佑, 江本健斗

    日本ソフトウェア科学会第36回大会 

     More details

    Event date: 2019.08.27 - 2019.08.29   Language:Japanese  

  • Watts-Strogatz モデルに基づく大規模ランダムグラフの分散並列生成

    神野 薫, 江本健斗

    日本ソフトウェア科学会第36回大会 

     More details

    Event date: 2019.08.27 - 2019.08.29   Language:Japanese  

  • Coqを用いた高度なプログラム運算定理の検証に向けて

    村田 康佑, 江本 健斗

    第21回プログラミングおよびプログラミング言語ワークショップ (PPL 2019)  

     More details

    Event date: 2019.03.06 - 2019.03.08   Language:Japanese  

  • FregelからGraphXへのコンパイルにおけるSMTソルバを用いた不要な通信の削減

    小西 篤志, 江本 健斗

    第21回プログラミングおよびプログラミング言語ワークショップ (PPL 2019)  

     More details

    Event date: 2019.03.06 - 2019.03.08   Language:Japanese  

  • Coqにおける検証されたプログラム運算の拡張

    村田 康佑, 江本健斗

    日本ソフトウェア科学会第35回大会 

     More details

    Event date: 2018.08.29 - 2018.08.31   Language:Japanese  

  • Coqを用いた高度なプログラム運算定理の検証に向けて

    村田 康佑, 江本 健斗

    第21回プログラミングおよびプログラミング言語ワークショップ (PPL 2019)  

     More details

    Event date: 2018.03.06 - 2019.03.08   Language:Japanese  

  • グラフ上の生成検査集約プログラミングの実現に向けて

    中島 拓, 江本 健斗

    第20回プログラミングおよびプログラミング言語ワークショップ (PPL 2018)  

     More details

    Event date: 2018.03.05 - 2018.03.07   Language:Japanese  

  • Coqにおける可読性の高い形式的証明に向けて

    村田 康佑, 江本 健斗

    第20回プログラミングおよびプログラミング言語ワークショップ (PPL 2018)  

     More details

    Event date: 2018.03.05 - 2018.03.07   Language:Japanese  

  • 並列プログラム計算量の系統的機械証明手法の開発

    白水 駿, 江本 健斗

    日本ソフトウェア科学会第34回大会 

     More details

    Event date: 2017.09.19 - 2017.09.21   Language:Japanese  

  • 頂点主体並列グラフ処理の制約解消器による効率化

    森畑 明昌, 江本 健斗, 松崎 公紀, 胡 振江, 岩崎 英哉

    日本ソフトウェア科学会第34回大会 

     More details

    Event date: 2017.09.19 - 2017.09.21   Language:Japanese  

  • 頂点部分集合変数を備えた大規模グラフ計算用領域特化言語

    定平 典久, 江本 健斗

    第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017)  

     More details

    Event date: 2017.03.08 - 2017.03.10   Language:Japanese  

  • Spark GraphXへのFregelコンパイラ

    中島 拓, 江本 健斗

    第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017)  

     More details

    Event date: 2017.03.08 - 2017.03.10   Language:Japanese  

  • 大規模グラフ並列処理のための関数型領域特化言語 Fregel とその評価

    江本 健斗, 松崎 公紀, 胡 振江, 森畑 明昌, 岩崎 英哉

    日本ソフトウェア科学会第33回大会 

     More details

    Event date: 2016.09.06 - 2016.09.09   Language:English  

  • 大規模グラフ並列処理のための関数型領域特化言語

    江本 健斗, 松崎 公紀, 胡 振江, 森畑 明昌, 岩崎 英哉

    第18回プログラミングおよびプログラミング言語ワークショップ (PPL 2016) 

     More details

    Event date: 2016.03.07 - 2016.03.09   Language:Japanese  

  • A Functional DSL for Large Scale Graph Processing

    Thirteenth International Symposium on Functional and Logic Programming (FLOPS 2016) 

     More details

    Event date: 2016.03.04 - 2016.03.06   Language:English  

  • Accumulative Computation on MapReduce

    劉 雨, 江本 健斗, 松崎 公紀, 胡 振江

    情報処理学会 第95回プログラミング研究発表会 

     More details

    Event date: 2013.07.31 - 2013.08.02   Language:English  

  • 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) 

     More details

    Event date: 2013.07.01 - 2013.07.02   Language:English  

  • An Accumulative Computation Framework on MapReduce

    劉 雨, 江本 健斗, 松崎 公紀, 胡 振江

    第15回プログラミングおよびプログラミング言語ワークショップ (PPL 2013) 

     More details

    Event date: 2013.03.04 - 2013.03.06   Language:English  

  • boost::proto を用いた融合変換機能付きライブラリの作成

    松崎 公紀, 江本 健斗

    情報処理学会 第93回プログラミング研究発表会 

     More details

    Event date: 2013.02.28 - 2013.03.01   Language:Japanese  

  • A Practical Generate-Test-and-Aggregate Framework on Hadoop

    劉 雨,江本 健斗, 胡 振江

    第14回プログラミングおよびプログラミング言語ワークショップ (PPL 2012) 

     More details

    Event date: 2012.03.08 - 2012.03.10   Language:English  

  • Generate, Test, and Aggregate --- A Calculation-based Framework for Systematic Parallel Programming with MapReduce

    Kento Emoto, Sebastian Fischer, Zhenjiang Hu

    第14回プログラミングおよびプログラミング言語ワークショップ (PPL 2012) 

     More details

    Event date: 2012.03.08 - 2012.03.10   Language:Japanese  

  • Implementing Generate-Test-and-Aggregate Algorithms on Hadoop

    劉 雨, Sebastian Fischer, 江本 健斗, 胡 振江

    日本ソフトウェア科学会第28回大会 

     More details

    Event date: 2011.09.27 - 2011.09.29   Language:English  

  • 正規表現マッチングの並列化とそのHadoopでの評価

    松崎 公紀, 江本 健斗

    情報処理学会 第83回プログラミング研究発表会 

     More details

    Event date: 2011.04.25 - 2011.04.26   Language:Japanese  

  • An Algebraic Approach to Efficient Parallel Algorithms for Nested Reductions

    Kento Emoto

    第13回プログラミングおよびプログラミング言語ワークショップ (PPL 2011) 

     More details

    Event date: 2011.03.09 - 2011.03.11   Language:Japanese  

  • Semirings for Free! ---An Algebraic Approach to Efficient Parallel Algorithms for Nested Reductions

    Kento Emoto

    The fourth DIKU-IST Workshop 

     More details

    Event date: 2011.01.10 - 2011.01.13   Language:English  

  • GoG Style Parallel Programming for Non-numeric Computation

    Kento Emoto

    The 2nd Parallelism-Oblivious Programming (POP) Workshop 

     More details

    Event date: 2010.09.09 - 2010.09.10   Language:English  

  • Active Libraries for Parallel Programming in Fortress

    Kento Emoto

    The 4th International Workshop on Bidirectional Transformation in Architecture-Based Component Composition 

     More details

    Event date: 2010.03.12 - 2010.03.14   Language:English  

  • 最適値の並列探索のための Improving Value の Fortress 実装

    江本 健斗, 寺田 洋介, 松崎 公紀, 胡 振江, 武市 正人

    第12回プログラミングおよびプログラミング言語ワークショップ (PPL 2010) 

     More details

    Event date: 2010.03.03 - 2010.03.05   Language:Japanese  

  • 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) 

     More details

    Event date: 2009.09.23 - 2009.09.25   Language:English  

  • 式テンプレートによる最適化機能付き並列スケルトン

    松崎 公紀, 江本 健斗

    日本ソフトウェア科学会第26回大会 

     More details

    Event date: 2009.09.16 - 2009.09.18   Language:Japanese  

  • プログラム運算に基づく最適化機能つきFortressライブラリ

    江本 健斗, 胡 振江, 筧 一彦, 松崎 公紀, 武市 正人

    第11回プログラミングおよびプログラミング言語ワークショップ (PPL 2009) 

     More details

    Event date: 2009.03.09 - 2009.03.11   Language:Japanese  

  • A Generative Matrix Library in Fortress Relieves Programmers' Headache!

    江本 健斗, 胡 振江, 筧 一彦, 松崎 公紀, 武市 正人

    日本ソフトウェア科学会第25回大会 

     More details

    Event date: 2008.09.10 - 2008.09.12   Language:Japanese  

  • Domain-Specific Optimization Strategy for Skeleton Programs

    Kento Emoto

    Workshop on Parallelism Oblivious Programming 

     More details

    Event date: 2007.07.26 - 2007.07.27   Language:English  

  • 近傍要素を必要とするスケルトンプログラムの最適化

    江本 健斗, 松崎 公紀, 胡 振江, 武市 正人

    第9回プログラミングおよびプログラミング言語ワークショップ (PPL 2007) 

     More details

    Event date: 2007.03.08 - 2007.03.10   Language:Japanese  

  • Parallel Dynamic Programming using Data-Parallel Skeletons

     More details

    Event date: 2005.09.13 - 2005.09.15   Language:English  

  • 助っ人:構成的な並列スケルトンによる並列プログラミングライブラリ

    松崎 公紀, 明石 良樹, 江本 健斗, 岩崎 英哉, 胡 振江

    日本ソフトウェア科学会第22回大会 

     More details

    Event date: 2005.09.13 - 2005.09.15   Language:Japanese  

  • 木スケルトンによるXPathクエリの並列化とその評価

    野村 芳明, 江本 健斗, 松崎 公紀, 胡 振江, 武市 正人

    日本ソフトウェア科学会第22回大会 

     More details

    Event date: 2005.09.13 - 2005.09.15   Language:Japanese  

  • Bidirectionalizing Tree Transformations

    Zhenjiang Hu, Kento Emoto, Shin-Cheng Mu, Masato Takeichi

    Workshop on New Approaches to Software Construction (WNASC 2004) 

     More details

    Event date: 2004.09.13 - 2004.09.14   Language:English  

▼display all

Honors and Awards

  • 高橋奨励賞

    日本ソフトウェア科学会   2016.12.31

    江本健斗

     More details

    Country:Japan

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

     More details

    Grant type:Other joint research

  • 大規模グラフ処理のための系統的並列プログラミングの定式化に関する研究

    2016.04 - 2017.03

     More details

    Grant type:Other joint research

  • 大規模グラフ処理のための系統的なPregelプログラミング手法に関する研究

    2015.04 - 2016.03

     More details

    Grant type:Other joint research

  • 生成・検査・集約プログラミング環境の実現とその実問題への応用に関する研究

    2014.04 - 2015.03

     More details

    Grant type:Other joint research

  • 生成・検査・集約プログラミング環境の実現とその実問題への応用に関する研究

    2013.04 - 2014.03

     More details

    Grant type:Other joint research

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

▼display all

Social activity outside the university

  • 免許法認定公開講座(計算機システム)

    Role(s):Lecturer

    2020.07.05 - 2020.07.26

     More details

    Audience: Teachers, General

    Type:Certification seminar

  • 免許法認定公開講座(計算機システム)

    Role(s):Lecturer

    2018.06.17 - 2018.06.30

     More details

    Audience: Teachers, General

    Type:Certification seminar

  • 免許法認定公開講座(計算機システム)

    Role(s):Lecturer

    2016.06.19 - 2016.07.30

     More details

    Audience: Teachers, General

    Type:Certification seminar