EMOTO Kento

J-GLOBAL         Last updated: Dec 4, 2018 at 16:35
 
Avatar
Name
EMOTO Kento
Affiliation
Kyushu Institute of Technology
Section
Faculty of Computer Science and Systems Engineering, Department of Artificial Intelligence
Job title
Associate Professor
Degree
PhD(The University of Tokyo)

Academic & Professional Experience

 
2013
 - 
2014
 Assistant Professor,Department of Artificial Intelligence,Faculty of Computer Science and Systems Engineering,Kyushu Institute of Technology
 
2014
 - 
2015
 Assistant Professor,Department of Creative Informatics,Faculty of Computer Science and Systems Engineering,Kyushu Institute of Technology
 
2015
   
 
 Associate Professor,Department of Artificial Intelligence,Faculty of Computer Science and Systems Engineering,Kyushu Institute of Technology
 
2008
 - 
2009
 Researcher
 
2009
 - 
2013
 Assistant Professor
 

Education

 
 
 - 
2006
Department of Mathematical Informatics, Graduate School of Information Science and Technology, The University of Tokyo
 
 
 - 
2004
Faculty of Engineering, The University of Tokyo
 

Published Papers

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

Misc

 
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
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
Domain-Specific Optimization for Skeleton Programs Involving Neighbor Elements
Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
2007(05) 1-29   2007
Parallelization of XPath Queries with Tree Skeletons
Yoshiaki Nomura, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
Computer software   24(3) 51-62   2007
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
Generator-based GG Fortress Library
Mathematical Engineering Technical Reports, Department of Mathematical Engineering and Information Physics, University of Tokyo   2008(16) 1-19   2008
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
Parallelization of Regular Expression Matching and Its Evaluation on Hadoop
Kiminori Matsuzaki, Kento Emoto, Yu Liu
4(4) 1-11   2011
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
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
International Journal of Parallel Programming   42(4) 546-563   2014
Shortest Regular Category-Path Queries
Technical Report GRACE-TR-2014-03      2014
Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Akimasa Morihata, Hideya Iwasaki
200-213   2016
GCC's Support for Parallel Programming
Kento Emoto
49(12) 1369-1374   2008
BSP (Bulk Synchronous Parallel) Model, Revisited
Kiminori Matsuzaki, Kento Emoto
56(5) 482-488   2015

Conference Activities & Talks

 
Parallel Dynamic Programming using Data-Parallel Skeletons
2005   
A Functional DSL for Large Scale Graph Processing
Thirteenth International Symposium on Functional and Logic Programming (FLOPS 2016)   2016