Kento Emoto

According to our database, Kento Emoto authored at least 21 papers between 2006 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Fregel: a functional domain-specific language for vertex-centric large-scale graph processing.

Hideya Iwasaki, Kento Emoto, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu

J. Funct. Program., 2022

2020

A DSL for graph parallel programming with vertex subsets.

Kento Emoto, Fumihisa Sadahira

J. Supercomput., 2020

2019

HOPE: A Parallel Execution Model Based on Hierarchical Omission.

Masahiro Yasugi, Daisuke Muraoka, Tasuku Hiraishi, Seiji Umatani, Kento Emoto

Proceedings of the 48th International Conference on Parallel Processing, 2019

Recursion Schemes in Coq.

Kosuke Murata, Kento Emoto

Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

2018

Optimizing Declarative Parallel Distributed Graph Processing by Using Constraint Solvers.

Akimasa Morihata, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Hideya Iwasaki

Proceedings of the Functional and Logic Programming - 14th International Symposium, 2018

2017

Efficient Parallel Tree Reductions on Distributed Memory Environments.

Kazuhiko Kakehi, Kiminori Matsuzaki, Kento Emoto

Scalable Comput. Pract. Exp., 2017

2016

Think like a vertex, behave like a function! a functional DSL for vertex-centric big graph processing.

Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Akimasa Morihata, Hideya Iwasaki

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

2014

A Generate-Test-Aggregate parallel programming library for systematic parallel programming.

Yu Liu, Kento Emoto, Zhenjiang Hu

Parallel Comput., 2014

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

Kento Emoto, Kiminori Matsuzaki

Int. J. Parallel Program., 2014

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

Kento Emoto, Frédéric Loulergue, Julien Tesson

Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014

2013

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

Yu Liu, Kento Emoto, Zhenjiang Hu

Proceedings of the 2013 PPOPP International Workshop on Programming Models and Applications for Multicores and Manycores, 2013

2012

Parallel Tree Reduction on MapReduce.

Kento Emoto, Hiroto Imachi

Proceedings of the International Conference on Computational Science, 2012

Filter-embedding semiring fusion for programming with MapReduce.

Kento Emoto, Sebastian Fischer, Zhenjiang Hu

Formal Aspects Comput., 2012

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

Kento Emoto, Sebastian Fischer, Zhenjiang Hu

Proceedings of the Programming Languages and Systems, 2012

2010

Generators-of-Generators Library with Optimization Capabilities in Fortress.

Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, Masato Takeichi

Proceedings of the Euro-Par 2010 - Parallel Processing, 16th International Euro-Par Conference, Ischia, Italy, August 31, 2010

2009

Implementing Fusion-Equipped Parallel Skeletons by Expression Templates.

Kiminori Matsuzaki, Kento Emoto

Proceedings of the Implementation and Application of Functional Languages, 2009

2007

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

Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi

Int. J. Parallel Program., 2007

A Web Service Architecture for Bidirectional XML Updating.

Yasushi Hayashi, Dongxi Liu, Kento Emoto, Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi

Proceedings of the Advances in Data and Web Management, 2007

Domain-Specific Optimization Strategy for Skeleton Programs.

Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi

Proceedings of the Euro-Par 2007, 2007

2006

A library of constructive skeletons for sequential style of parallel programming.

Kiminori Matsuzaki, Hideya Iwasaki, Kento Emoto, Zhenjiang Hu

Proceedings of the 1st International Conference on Scalable Information Systems, 2006

Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions.

Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi

Proceedings of the Euro-Par 2006, Parallel Processing, 12th International Euro-Par Conference, Dresden, Germany, August 28, 2006