Kento Emoto

发表

A library of constructive skeletons for sequential style of parallel programming

Zhenjiang Hu, Kiminori Matsuzaki, Hideya Iwasaki, 2006, InfoScale '06.

Shortest Regular Category-Path Queries

Kento Emoto, Hu Zhenjiang, Le-Duc Tung, 2014 .

Title Accumulative Computation on MapReduce

Zhenjiang Hu, Kento Emoto, Yu, 2018 .

Generators-of-Generators Library with Optimization Capabilities in Fortress

Masato Takeichi, Zhenjiang Hu, Kiminori Matsuzaki, 2010, Euro-Par.

Analysis and Synthesis of Control Systems Rationally Dependent on Uncertain Parameters

Yasuaki Oishi, Kento Emoto, Y. Oishi, 2005 .

Domain-Specific Optimization for Skeleton Programs Involving Neighbor Elements

HU Zhenjiang, M. Takeichi, Kiminori Matsuzaki, 2007 .

Implementing Fusion-Equipped Parallel Skeletons by Expression Templates

Kiminori Matsuzaki, Kento Emoto, Kiminori Matsuzaki, 2009, IFL.

Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions

Masato Takeichi, Zhenjiang Hu, Kiminori Matsuzaki, 2006, Euro-Par.

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

Frédéric Loulergue, Julien Tesson, Kento Emoto, 2014, ITP.

Systematic Derivation of Efficient Parallel Algorithms for Generate-test-α Computation

Kento Emoto, Kento Emoto, 2012 .

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

Zhenjiang Hu, Kiminori Matsuzaki, H. Iwasaki, 2022, Journal of Functional Programming.

Optimizing Declarative Parallel Distributed Graph Processing by Using Constraint Solvers

Akimasa Morihata, Zhenjiang Hu, Kiminori Matsuzaki, 2018, FLOPS.

Accumulative Computation on MapReduce

Zhenjiang Hu, Kiminori Matsuzaki, Kento Emoto, 2014 .

MATHEMATICAL ENGINEERING TECHNICAL REPORTS Generate, Test, and Aggregate |A Calculation-based Framework for Systematic Parallel Programming with MapReduce|

Zhenjiang Hu, Kento Emoto, Sebastian Fischer, 2011 .