default search action
Kento Emoto
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j10]Masahiro Yasugi, Kento Emoto, Tasuku Hiraishi:
Designing Restartable Exception Handling Mechanisms for Implementing Efficient and Safe High-level Languages. J. Inf. Process. 32: 436-450 (2024) - 2022
- [j9]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: e4 (2022) - 2020
- [j8]Kento Emoto, Fumihisa Sadahira:
A DSL for graph parallel programming with vertex subsets. J. Supercomput. 76(7): 4998-5015 (2020)
2010 – 2019
- 2019
- [c15]Kosuke Murata, Kento Emoto:
Recursion Schemes in Coq. APLAS 2019: 202-221 - [c14]Masahiro Yasugi, Daisuke Muraoka, Tasuku Hiraishi, Seiji Umatani, Kento Emoto:
HOPE: A Parallel Execution Model Based on Hierarchical Omission. ICPP 2019: 77:1-77:11 - 2018
- [c13]Akimasa Morihata, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Hideya Iwasaki:
Optimizing Declarative Parallel Distributed Graph Processing by Using Constraint Solvers. FLOPS 2018: 166-181 - 2017
- [j7]Kazuhiko Kakehi, Kiminori Matsuzaki, Kento Emoto:
Efficient Parallel Tree Reductions on Distributed Memory Environments. Scalable Comput. Pract. Exp. 18(1): 1-15 (2017) - 2016
- [c12]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: 200-213 - 2014
- [j6]Kento Emoto, Kiminori Matsuzaki:
An Automatic Fusion Mechanism for Variable-Length List Skeletons in SkeTo. Int. J. Parallel Program. 42(4): 546-563 (2014) - [j5]Yu Liu, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu:
Accumulative Computation on MapReduce. Inf. Media Technol. 9(1): 73-82 (2014) - [j4]Yu Liu, Kento Emoto, Zhenjiang Hu:
A Generate-Test-Aggregate parallel programming library for systematic parallel programming. Parallel Comput. 40(2): 116-135 (2014) - [c11]Kento Emoto, Frédéric Loulergue, Julien Tesson:
A Verified Generate-Test-Aggregate Coq Library for Parallel Programs Extraction. ITP 2014: 258-274 - 2013
- [c10]Yu Liu, Kento Emoto, Zhenjiang Hu:
A generate-test-aggregate parallel programming library: systematic parallel programming for MapReduce. PMAM 2013: 71-81 - 2012
- [j3]Kento Emoto, Sebastian Fischer, Zhenjiang Hu:
Filter-embedding semiring fusion for programming with MapReduce. Formal Aspects Comput. 24(4-6): 623-645 (2012) - [j2]Kento Emoto:
Systematic Derivation of Efficient Parallel Algorithms for Generate-test-α Computation. Inf. Media Technol. 7(2): 567-583 (2012) - [c9]Kento Emoto, Sebastian Fischer, Zhenjiang Hu:
Generate, Test, and Aggregate - A Calculation-based Framework for Systematic Parallel Programming with MapReduce. ESOP 2012: 254-273 - [c8]Kento Emoto, Hiroto Imachi:
Parallel Tree Reduction on MapReduce. ICCS 2012: 1827-1836 - 2010
- [c7]Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, Masato Takeichi:
Generators-of-Generators Library with Optimization Capabilities in Fortress. Euro-Par (2) 2010: 26-37
2000 – 2009
- 2009
- [c6]Kiminori Matsuzaki, Kento Emoto:
Implementing Fusion-Equipped Parallel Skeletons by Expression Templates. IFL 2009: 72-89 - 2007
- [j1]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): 615-658 (2007) - [c5]Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi:
Domain-Specific Optimization Strategy for Skeleton Programs. Euro-Par 2007: 705-714 - [c4]Kazuhiko Kakehi, Kiminori Matsuzaki, Kento Emoto:
Efficient Parallel Tree Reductions on Distributed Memory Environments. International Conference on Computational Science (2) 2007: 601-608 - [c3]Yasushi Hayashi, Dongxi Liu, Kento Emoto, Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi:
A Web Service Architecture for Bidirectional XML Updating. APWeb/WAIM 2007: 721-732 - 2006
- [c2]Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi:
Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions. Euro-Par 2006: 605-614 - [c1]Kiminori Matsuzaki, Hideya Iwasaki, Kento Emoto, Zhenjiang Hu:
A library of constructive skeletons for sequential style of parallel programming. Infoscale 2006: 13
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-02 00:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint