江本 健斗

J-GLOBALへ         更新日: 18/12/04 16:35
 
アバター
研究者氏名
江本 健斗
 
エモト ケント
所属
九州工業大学
部署
大学院情報工学研究院 知能情報工学研究系
職名
准教授
学位
博士(情報理工学)(東京大学)

経歴

 
2013年
 - 
2014年
 九州工業大学大学院情報工学研究院知能情報工学研究系 助教
 
2014年
 - 
2015年
 九州工業大学大学院情報工学研究院情報創成工学研究系 助教
 
2015年
   
 
 九州工業大学大学院情報工学研究院知能情報工学研究系 准教授
 
2007年
 - 
2008年
 東京大学大学院情報理工学系研究科 産学官連携研究員
 
2008年
 - 
2009年
 東京大学大学院情報理工学系研究科 研究員
 

学歴

 
 
 - 
2006年
東京大学 大学院情報理工学系研究科 数理情報学専攻
 
 
 - 
2004年
東京大学 工学部 計数工学科
 

委員歴

 
2015年
   
 
日本ソフトウェア科学会  プログラミングおよびプログラミング言語ワークショップ PPL2016 プログラム委員
 
2016年
   
 
日本ソフトウェア科学会  プログラミングおよびプログラミング言語ワークショップ PPL2017 組織委員長
 
2017年
   
 
日本ソフトウェア科学会  プログラミングおよびプログラミング言語ワークショップ PPL2018 組織委員・プログラム委員
 
2015年
   
 
情報処理学会  Annual Meeting on Advanced Computing System and Infrastructure ACSI2016 組織委員
 
2015年
 - 
2018年
情報処理学会  プログラミング研究会 運営委員
 

受賞

 
2016年
高橋奨励賞
 

論文

 
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年
Kakehi K., Matsuzakl K., Emoto K.
Scalable Computing   18(1) 1-15   2017年
Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Akimasa Morihata, Hideya Iwasaki
ICFP 2016 Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming   200-213   2016年
BSP(Bulk Synchronous Parallel)モデル再訪--BSPによるマルチコアプログラミングと大規模グラフフレームワーク--
松崎公紀, 江本健斗
情報処理学会学会誌 情報処理   56(5) 482-488   2015年
Shortest Regular Category-Path Queries
Le-Duc Tung, Kento Emoto, Zhenjiang Hu
Technical Report GRACE-TR-2014-03      2014年
Kento Emoto, Frédéric Loulergue, Julien Tesson
Interactive Theorem Proving, 5th International Conference, ITP 2014   258-274   2014年
Kento Emoto, Kiminori Matsuzaki
International Journal of Parallel Programming   42(4) 546-563   2014年
Yu Liu, Kento Emoto, Zhenjiang Hu
Parallel Computing   40(2) 116-135   2014年
Yu Liu , Kento Emoto , Kiminori Matsuzaki , Zhenjiang Hu
情報処理学会論文誌プログラミング(PRO)   7(1) 18-27   2014年
Yu Liu, Kento Emoto, Zhenjiang Hu
Proceedings of the 2013 PPOPP International Workshop on Programming Models and Applications for Multicores and Manycores   71-81   2013年
An Automatic Fusion Mechanism for Variable-Length List Skeletons in SkeTo
Kento Emoto, Kiminori Matsuzaki
Mathematical Engineering Technical Reports, Department of Mathematical Engineering and Information Physics, University of Tokyo   2013(04) 1-18   2013年
Kento Emoto, Hiroto Imachi
Proceedings of the International Conference on Computational Science, Procedia Computer Science   9 1827-1836   2012年
Kento Emoto, Sebastian Fischer, Zhenjiang Hu
Formal Aspects of Computing   24(4-6) 623-645   2012年
Kento Emoto, Sebastian Fischer, Zhenjiang Hu
Programming Languages and Systems - 21st European Symposium on Programming, Lecture Notes in Computer Science   7211 254-273   2012年
Kento Emoto
コンピュータソフトウェア   29(1) 159-175   2012年
Generate, Test, and Aggregate---A Calculation-based Framework for Systematic Parallel Programming with MapReduce
Kento Emoto, Sebastian Fischer, Zhenjiang Hu
Mathematical Engineering Technical Reports, Department of Mathematical Engineering and Information Physics, University of Tokyo   2011(34) 1-28   2011年
正規表現マッチングの並列化とそのHadoopによる評価
松崎公紀, 江本健斗, 劉雨
情報処理学会論文誌 プログラミング   4(4) 1-11   2011年
An Algebraic Approach to Efficient Parallel Algorithms for Nested Reductions
Kento Emoto
Mathematical Engineering Technical Reports, Department of Mathematical Engineering and Information Physics, University of Tokyo   2011(01) 1-31   2011年
Kiminori Matsuzaki, Kento Emoto
Implementation and Application of Functional Languages, Lecture Notes in Computer Science   6041 72-89   2010年
Kiminori Matsuzaki, Kento Emoto
HLPP '10: Proceedings of the fourth international workshop on High-level parallel programming and applications   15-24   2010年
Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, Masato Takeichi
Euro-Par 2010 - Parallel Processing, Lecture Notes in Computer Science   6272 26-37   2010年
GCC上での並列プログラミングサポート(特集:マルチコアを活かすお手軽並列プログラミング)
江本健斗
情報処理学会学会誌 情報処理   49(12) 1369-1374   2008年
Generator-based GG Fortress Library
Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, Masato Takeichi
Mathematical Engineering Technical Reports, Department of Mathematical Engineering and Information Physics, University of Tokyo   2008(16) 1-19   2008年
Generator-based GG Fortress Library --Collection of GGs and Theories--
Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, Masato Takeichi
Mathematical Engineering Technical Reports, Department of Mathematical Engineering and Information Physics, University of Tokyo   2008(17) 1-19   2008年
Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi
International Journal of Parallel Programming   35(6) 615-658   2007年
Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
Euro-Par 2007, Parallel Processing, Lecture Notes in Computer Science   4641 705-714   2007年
木スケルトンによるXPathクエリの並列化とその評価
野村芳明, 江本健斗, 松崎公紀, 胡振江, 武市正人
コンピュータソフトウェア   24(3) 51-62   2007年
Yasushi Hayashi, Dongxi Liu, Kento Emoto, Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi
Advances in Data and Web Management, Joint 9th Asia-Pacific Web Conference, Lecture Notes in Computer Science   4505 721-732   2007年
Kazuhiko Kakehi, Kiminori Matsuzaki, Kento Emoto
Computational Science - ICCS 2007, Lecture Notes in Computer Science   4488 601-608   2007年
Domain-Specific Optimization for Skeleton Programs Involving Neighbor Elements
Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
Mathematical Engineering Technical Reports, Department of Mathematical Engineering and Information Physics, University of Tokyo   2007(05) 1-29   2007年
A Practicable Framework for Tree Reductions under Distributed Memory Environments
Kazuhiko Kakehi, Kiminori Matsuzaki, Kento Emoto, Zhenjiang Hu
Mathematical Engineering Technical Reports, Department of Mathematical Engineering and Information Physics, University of Tokyo   2006(64) 1-21   2006年
Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
Euro-Par 2006, Parallel Processing, Lecture Notes in Computer Science   4128 605-614   2006年
Kiminori Matsuzaki, Hideya Iwasaki, Kento Emoto, Zhenjiang Hu
Proceedings of the 1st international conference on Scalable information systems      2006年
A Compositional Framework for Developing Parallel Programs on Two Dimensional Arrays
Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi
Mathematical Engineering Technical Reports, Department of Mathematical Engineering and Information Physics, University of Tokyo   2005(09) 1-43   2005年

講演・口頭発表等

 
Bidirectionalizing Tree Transformations
Workshop on New Approaches to Software Construction (WNASC 2004)   2004年   
助っ人:構成的な並列スケルトンによる並列プログラミングライブラリ
日本ソフトウェア科学会第22回大会   2005年   
木スケルトンによるXPathクエリの並列化とその評価
日本ソフトウェア科学会第22回大会   2005年   
Parallel Dynamic Programming using Data-Parallel Skeletons
日本ソフトウェア科学会第22回大会   2005年   
近傍要素を必要とするスケルトンプログラムの最適化
第9回プログラミングおよびプログラミング言語ワークショップ (PPL 2007)   2007年