Akimasa Morihata

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 12

Top Topics

Algebraic Properties

Constraint Solvers

Lambda Calculus

Top Venues

J. Funct. Program.

Sci. Comput. Program.

J. Inf. Process.

Publications

Akimasa Morihata
When does 0-1 Principle Hold for Prefix Sums? New Gener. Comput. 41 (3) (2023)
Akimasa Morihata
Conjuring Fusion Laws via Relational Calculus. J. Inf. Process. 31 (2023)
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 (2022)
Akimasa Morihata
Lambda calculus with algebraic simplification for reduction parallelisation: Extended study. J. Funct. Program. 31 (2021)
Akimasa Morihata, Shigeyuki Sato
Reverse engineering for reduction parallelization via semiring polynomials. PLDI (2021)
Akimasa Morihata
Using Algebraic Properties and Function Fusion to Evaluate Tree Accumulations in Parallel. J. Inf. Process. 27 (2019)
Akimasa Morihata
Lambda calculus with algebraic simplification for reduction parallelization by equational reasoning. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Akimasa Morihata
Incremental computing with data structures. Sci. Comput. Program. 164 (2018)
Akimasa Morihata, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Hideya Iwasaki
Optimizing Declarative Parallel Distributed Graph Processing by Using Constraint Solvers. FLOPS (2018)
Akimasa Morihata
From identification of parallelizability to derivation of parallelizable codes. FHPC@ICFP (2016)
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)
Akimasa Morihata
Incremental Computing with Abstract Data Structures. FLOPS (2016)
Akimasa Morihata, Kiminori Matsuzaki
Parallel Tree Contraction with Fewer Types of Primitive Contraction Operations and Its Application to Trees of Unbounded Degree. Inf. Media Technol. 10 (1) (2015)
Shin-Cheng Mu, Yu-Han Lyu, Akimasa Morihata
Approximate by thinning: Deriving fully polynomial-time approximation schemes. Sci. Comput. Program. 98 (2015)
Akimasa Morihata, Masato Koishi, Atsushi Ohori
Dynamic Programming via Thinning and Incrementalization. FLOPS (2014)
Katsuhiro Ueno, Yutaka Fukasawa, Akimasa Morihata, Atsushi Ohori
The Essence of Ruby. APLAS (2014)
Shigeyuki Sato, Akimasa Morihata
Syntax-Directed Divide-and-Conquer Data-Flow Analysis. APLAS (2014)
Akimasa Morihata
A short cut to parallelization theorems. ICFP (2013)
Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi
Manipulating accumulative functions by swapping call-time and return-time computations. J. Funct. Program. 22 (3) (2012)
Akimasa Morihata
Calculational Developments of New Parallel Algorithms for Size-Constrained Maximum-Sum Segment Problems. FLOPS (2012)
Akimasa Morihata
Macro Tree Transformations of Linear Size Increase Achieve Cost-Optimal Parallelism. APLAS (2011)
Akimasa Morihata, Kiminori Matsuzaki
Balanced trees inhabiting functional parallel programming. ICFP (2011)
Shin-Cheng Mu, Akimasa Morihata
Generalising and dualising the third list-homomorphism theorem: functional pearl. ICFP (2011)
Akimasa Morihata
A Short Cut to Optimal Sequences. New Gener. Comput. 29 (1) (2011)
Akimasa Morihata, Kiminori Matsuzaki
A Practical Tree Contraction Algorithm for Parallel Skeletons on Trees of Unbounded Degree. ICCS (2011)
Shin-Cheng Mu, Yu-Han Lyu, Akimasa Morihata
Constructing datatype-generic fully polynomial-time approximation schemes using generalised thinning. ICFP-WGP (2010)
Akimasa Morihata, Kiminori Matsuzaki
Automatic Parallelization of Recursive Functions Using Quantifier Elimination. FLOPS (2010)
Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer. POPL (2009)
Akimasa Morihata
A Short Cut to Optimal Sequences. APLAS (2009)
Akimasa Morihata, Kiminori Matsuzaki, Masato Takeichi
Write it recursively: a generic framework for optimal path queries. ICFP (2008)
Kazutaka Morita, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
Automatic inversion generates divide-and-conquer parallel programs. PLDI (2007)
Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi
Swapping Arguments and Results of Recursive Functions. MPC (2006)