Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions. - Kento Emoto; Kiminori Matsuzaki; Zhenjiang Hu; Masato Takeichi (Euro-Par, 2006)

A library of constructive skeletons for sequential style of parallel programming. - Kiminori Matsuzaki; Hideya Iwasaki; Kento Emoto; Zhenjiang Hu (Infoscale, 2006)

Domain-Specific Optimization Strategy for Skeleton Programs. - Kento Emoto; Kiminori Matsuzaki; Zhenjiang Hu; Masato Takeichi (Euro-Par, 2007)

A Web Service Architecture for Bidirectional XML Updating. - Yasushi Hayashi; Dongxi Liu; Kento Emoto; Kazutaka Matsuda; Zhenjiang Hu; Masato Takeichi (APWeb/WAIM, 2007)

A Compositional Framework for Developing Parallel Programs on Two-Dimensional Arrays. - Kento Emoto; Zhenjiang Hu; Kazuhiko Kakehi 001; Masato Takeichi (Int. J. Parallel Program., 2007)

Implementing Fusion-Equipped Parallel Skeletons by Expression Templates. - Kiminori Matsuzaki; Kento Emoto (IFL, 2009)

Generators-of-Generators Library with Optimization Capabilities in Fortress. - Kento Emoto; Zhenjiang Hu; Kazuhiko Kakehi 001; Kiminori Matsuzaki; Masato Takeichi (Euro-Par (2), 2010)

Generate, Test, and Aggregate - A Calculation-based Framework for Systematic Parallel Programming with MapReduce. - Kento Emoto; Sebastian Fischer; Zhenjiang Hu (ESOP, 2012)

Filter-embedding semiring fusion for programming with MapReduce. - Kento Emoto; Sebastian Fischer; Zhenjiang Hu (Formal Aspects Comput., 2012)

Systematic Derivation of Efficient Parallel Algorithms for Generate-test-α Computation. - Kento Emoto (Inf. Media Technol., 2012)

Parallel Tree Reduction on MapReduce. - Kento Emoto; Hiroto Imachi (ICCS, 2012)

A generate-test-aggregate parallel programming library: systematic parallel programming for MapReduce. - Yu Liu; Kento Emoto; Zhenjiang Hu (PMAM, 2013)

A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction. - Kento Emoto; Frédéric Loulergue; Julien Tesson (ITP, 2014)

An Automatic Fusion Mechanism for Variable-Length List Skeletons in SkeTo. - Kento Emoto; Kiminori Matsuzaki (Int. J. Parallel Program., 2014)

Accumulative Computation on MapReduce. - Yu Liu; Kento Emoto; Kiminori Matsuzaki; Zhenjiang Hu (Inf. Media Technol., 2014)

A Generate-Test-Aggregate parallel programming library for systematic parallel programming. - Yu Liu; Kento Emoto; Zhenjiang Hu (Parallel Comput., 2014)

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 (ICFP, 2016)

Efficient Parallel Tree Reductions on Distributed Memory Environments. - Kazuhiko Kakehi 001; Kiminori Matsuzaki; Kento Emoto (Scalable Comput. Pract. Exp., 2017)

Optimizing Declarative Parallel Distributed Graph Processing by Using Constraint Solvers. - Akimasa Morihata; Kento Emoto; Kiminori Matsuzaki; Zhenjiang Hu; Hideya Iwasaki (FLOPS, 2018)

Recursion Schemes in Coq. - Kosuke Murata; Kento Emoto (APLAS, 2019)

HOPE: A Parallel Execution Model Based on Hierarchical Omission. - Masahiro Yasugi; Daisuke Muraoka; Tasuku Hiraishi; Seiji Umatani; Kento Emoto (ICPP, 2019)

A DSL for graph parallel programming with vertex subsets. - Kento Emoto; Fumihisa Sadahira (J. Supercomput., 2020)

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)

Designing Restartable Exception Handling Mechanisms for Implementing Efficient and Safe High-level Languages. - Masahiro Yasugi; Kento Emoto; Tasuku Hiraishi (J. Inf. Process., 2024)

A Coherent Random Number Utilization Scheme for a Fault-tolerant Parallel Execution Model Based on Hierarchical Omission. - Shogo Hiromatsu; Masahiro Yasugi; Tasuku Hiraishi; Kento Emoto (J. Inf. Process., 2025)