Kento Emoto

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