Kento Emoto

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 8

Top Topics

Parallel Execution

Statistical Dependencies

Parallel Programming

Exception Handling

Top Venues

J. Funct. Program.

Inf. Media Technol.

Publications

Masahiro Yasugi, Kento Emoto, Tasuku Hiraishi
Designing Restartable Exception Handling Mechanisms for Implementing Efficient and Safe High-level Languages. J. Inf. Process. 32 (2024)
Hideya Iwasaki, Kento Emoto, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu
Fregel: a functional domain-specific language for vertex-centric large-scale graph processing. J. Funct. Program. 32 (2022)
Kento Emoto, Fumihisa Sadahira
A DSL for graph parallel programming with vertex subsets. J. Supercomput. 76 (7) (2020)
Masahiro Yasugi, Daisuke Muraoka, Tasuku Hiraishi, Seiji Umatani, Kento Emoto
HOPE: A Parallel Execution Model Based on Hierarchical Omission. ICPP (2019)
Kosuke Murata, Kento Emoto
Recursion Schemes in Coq. APLAS (2019)
Akimasa Morihata, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Hideya Iwasaki
Optimizing Declarative Parallel Distributed Graph Processing by Using Constraint Solvers. FLOPS (2018)
Kazuhiko Kakehi, Kiminori Matsuzaki, Kento Emoto
Efficient Parallel Tree Reductions on Distributed Memory Environments. Scalable Comput. Pract. Exp. 18 (1) (2017)
Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Akimasa Morihata, Hideya Iwasaki
Think like a vertex, behave like a function! a functional DSL for vertex-centric big graph processing. ICFP (2016)
Yu Liu, Kento Emoto, Zhenjiang Hu
A Generate-Test-Aggregate parallel programming library for systematic parallel programming. Parallel Comput. 40 (2) (2014)
Kento Emoto, Kiminori Matsuzaki
An Automatic Fusion Mechanism for Variable-Length List Skeletons in SkeTo. Int. J. Parallel Program. 42 (4) (2014)
Yu Liu, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu
Accumulative Computation on MapReduce. Inf. Media Technol. 9 (1) (2014)
Kento Emoto, Frédéric Loulergue, Julien Tesson
A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction. ITP (2014)
Yu Liu, Kento Emoto, Zhenjiang Hu
A generate-test-aggregate parallel programming library: systematic parallel programming for MapReduce. PMAM (2013)
Kento Emoto, Sebastian Fischer, Zhenjiang Hu
Filter-embedding semiring fusion for programming with MapReduce. Formal Aspects Comput. 24 (4-6) (2012)
Kento Emoto, Sebastian Fischer, Zhenjiang Hu
Generate, Test, and Aggregate - A Calculation-based Framework for Systematic Parallel Programming with MapReduce. ESOP (2012)
Kento Emoto
Systematic Derivation of Efficient Parallel Algorithms for Generate-test-α Computation. Inf. Media Technol. 7 (2) (2012)
Kento Emoto, Hiroto Imachi
Parallel Tree Reduction on MapReduce. ICCS (2012)
Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, Masato Takeichi
Generators-of-Generators Library with Optimization Capabilities in Fortress. Euro-Par (2) (2010)
Kiminori Matsuzaki, Kento Emoto
Implementing Fusion-Equipped Parallel Skeletons by Expression Templates. IFL (2009)
Yasushi Hayashi, Dongxi Liu, Kento Emoto, Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi
A Web Service Architecture for Bidirectional XML Updating. APWeb/WAIM (2007)
Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi
A Compositional Framework for Developing Parallel Programs on Two-Dimensional Arrays. Int. J. Parallel Program. 35 (6) (2007)
Kazuhiko Kakehi, Kiminori Matsuzaki, Kento Emoto
Efficient Parallel Tree Reductions on Distributed Memory Environments. International Conference on Computational Science (2) (2007)
Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
Domain-Specific Optimization Strategy for Skeleton Programs. Euro-Par (2007)
Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions. Euro-Par (2006)
Kiminori Matsuzaki, Hideya Iwasaki, Kento Emoto, Zhenjiang Hu
A library of constructive skeletons for sequential style of parallel programming. Infoscale (2006)