Faculty Profiles - EMOTO Kento

Papers - EMOTO Kento

Division display1 - 20 of about 46／ All the affair displays >>

Designing Restartable Exception Handling Mechanisms for Implementing Efficient and Safe High-level Languages Reviewed

Yasugi Masahiro, Emoto Kento, Hiraishi Tasuku

Journal of Information Processing ( Information Processing Society of Japan ) 32 ( 0 ) 436 - 450 2024.01

Language：English Publishing type：Research paper (scientific journal)

Mechanisms for legitimate execution stack access (LESA for short) provide legitimate access to values of callers' variables sleeping deeply in a C-like execution stack. LESA mechanisms enable efficient implementations of high-level services that require dynamic rearrangement of running software, such as garbage collection, first-class continuations, and dynamic load balancing, for implementing efficient and safe high-level languages. As a nested-function-style LESA mechanism, we can create a closure from a nested function definition and indirectly call the nested function via a pointer to the closure, achieving access to values of the variables captured in the closure-creation-time environment. In this study, we propose restartable exception handling mechanisms as new LESA mechanisms, which provide callable exception handlers without non-local exiting; handlers are found on the basis of dynamic scope without requiring pointers. In addition, the LESA mechanisms can be used at multiple levels; e.g., garbage collection can be started during the creation of a first-class continuation. In this paper, we design core languages that feature leveled restartable exception handling mechanisms and discuss their properties and implementations.

DOI： 10.2197/ipsjjip.32.436

Kyutacar

Scopus

CiNii Research

Other Link： https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=85195605010&origin=inward

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

IWASAKI H., EMOTO K., MORIHATA A., MATSUZAKI K., HU Z.

Journal of Functional Programming 32 ( 2 ) 2022.01

Distributed parallel generation of large-scale random graphs based on Watts–Strogatz model Reviewed

KAMINO Kaoru, EMOTO Kento

Computer Software ( Japan Society for Software Science and Technology ) 37 ( 2 ) 2_34 - 2_45 2020.01

Language：Japanese Publishing type：Research paper (scientific journal)

In recent years, there has been a growing demand for the development of programs that perform analysis on large-scale graphs such as SNS and Web graphs. In evaluating the performance of such programs, we need a number of input graphs with the desired number of nodes and specific features such as the small-world property. However, the generation of large-scale random graphs by sequential programs is very time-consuming, and may cause memory shortage. In order to solve this problem, distributed parallelization of large-scale graph generation is desired. In this research, we propose distributed parallelization of the random-graph generation based on Watts-Strogatz model, which is one of well-known graph models that provide characteristics similar to large scale graphs in the real world. We implemented our proposing distributed parallel algorithm by using Hadoop MapReduce. In the distributed parallelization, some restrictions are introduced into the original generation method to improve its efficiency. We have shown that the restrictions do not break the the characteristics that the original model has.

DOI： 10.11309/jssst.37.2_34

CiNii Article

CiNii Research

Other Link： https://ci.nii.ac.jp/naid/130007863812

Recursion Schemes in Coq Reviewed International journal

Murata K., Emoto K.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 11893 LNCS 202 - 221 2019.12

HOPE: A parallel execution model based on hierarchical omission Reviewed International journal

Yasugi M., Muraoka D., Hiraishi T., Umatani S., Emoto K.

ACM International Conference Proceeding Series 77:1 - 77:11 2019.08

A DSL for graph parallel programming with vertex subsets Reviewed International journal

Kento Emoto, Fumihisa Sadahira

Journal of Supercomputing 76 ( 7 ) 4998 - 5015 (First Online 23 March 2019) 2019.03

定理証明支援系Coqにおける不等式変形記法 Reviewed

村田康佑, 江本健斗

情報処理学会論文誌プログラミング（PRO） 11 ( 4 ) 1 - 12 2018.12

Optimizing declarative parallel distributed graph processing by using constraint solvers Reviewed

Morihata A., Emoto K., Matsuzaki K., Hu Z., Iwasaki H.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10818 LNCS 166 - 181 2018.01

Efficient parallel tree reductions on distributed memory environments Reviewed

Kakehi K., Matsuzakl K., Emoto K.

Scalable Computing 18 ( 1 ) 1 - 15 2017.01

Think like a vertex, behave like a function! a functional DSL for vertex-centric big graph processing Reviewed International journal

Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Akimasa Morihata, Hideya Iwasaki

ACM SIGPLAN Notices 51 ( 9 ) 200 - 213 2016.09

BSP (Bulk Synchronous Parallel) Model, Revisited

Kiminori Matsuzaki, Kento Emoto

56 ( 5 ) 482 - 488 2015.04

An Automatic Fusion Mechanism for Variable-Length List Skeletons in SkeTo Reviewed

International Journal of Parallel Programming 42 ( 4 ) 546 - 563 2014.08

Shortest Regular Category-Path Queries

Technical Report GRACE-TR-2014-03 12 pages 2014.08

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

258 - 274 2014.07

A Generate-Test-Aggregate parallel programming library for systematic parallel programming Reviewed

40 ( 2 ) 116 - 135 2014.02

Accumulative Computation on MapReduce Reviewed

7 ( 1 ) 18 - 27 2014.01

A generate-test-aggregate parallel programming library: systematic parallel programming for MapReduce Reviewed

71 - 81 2013.02

An Automatic Fusion Mechanism for Variable-Length List Skeletons in SkeTo

Mathematical Engineering Technical Reports, Department of Mathematical Engineering and Information Physics, University of Tokyo 2013 ( 04 ) 1 - 18 2013.01

Parallel Tree Reduction on MapReduce Reviewed

9 1827 - 1836 2012.06

Filter-embedding semiring fusion for programming with MapReduce Reviewed

24 ( 4-6 ) 623 - 645 2012.06

　PREV- NEXT 　

<EMOTO Kento>

Papers - EMOTO Kento