Personal information

Activities

Employment (1)

University of Tokyo: Tokyo, JP

Associate Professor (Graduate School of Arts and Sciences)
Employment
Source: Self-asserted source
Akimasa Morihata

Funding (6)

Finite Testing with Correctness Guarantee for Polymorphic Programs

2023-04-01 to 2028-03-31 | Grant
Japan Society for the Promotion of Science (Tokyo, JP)
GRANT_NUMBER: 23K11044
Source: Self-asserted source
Akimasa Morihata via DimensionsWizard

Incremental Computing based on Program Transformations

2019-04-01 to 2023-03-31 | Grant
Japan Society for the Promotion of Science (Tokyo, JP)
GRANT_NUMBER: 19K11896
Source: Self-asserted source
Akimasa Morihata via DimensionsWizard

Program Parallelization based on Algebraic Properties and Types

2015-04-01 to 2020-03-31 | Grant
Japan Society for the Promotion of Science (Tokyo, JP)
GRANT_NUMBER: 15K15965
Source: Self-asserted source
Akimasa Morihata via DimensionsWizard

Integrated and Fundamental for Large-Scale and Practical Bidirectional Graph Transformation

2013-04-01 to 2017-03-31 | Grant
Japan Society for the Promotion of Science (Tokyo, JP)
GRANT_NUMBER: 25240009
Source: Self-asserted source
Akimasa Morihata via DimensionsWizard

Study for Parallel XML Processing Language that Guarantees Parallel Speedups

2012-04-01 to 2015-03-31 | Grant
Japan Society for the Promotion of Science (Tokyo, JP)
GRANT_NUMBER: 24700019
Source: Self-asserted source
Akimasa Morihata via DimensionsWizard

A Study on Proof-Theoretical Foundations for Compiler Construction

2010-01-01 to 2012-12-31 | Grant
Japan Society for the Promotion of Science (Tokyo, JP)
GRANT_NUMBER: 22500023
Source: Self-asserted source
Akimasa Morihata via DimensionsWizard

Works (42)

Conjuring Fusion Laws via Relational Calculus

Journal of Information Processing
2023 | Journal article
EID:

2-s2.0-85146503386

Part of ISSN: 18826652
Contributors: Morihata, A.
Source: Self-asserted source
Akimasa Morihata via Scopus - Elsevier

When does 0–1 Principle Hold for Prefix Sums?

New Generation Computing
2023 | Journal article
EID:

2-s2.0-85160274657

Part of ISSN: 18827055 02883635
Contributors: Morihata, A.
Source: Self-asserted source
Akimasa Morihata via Scopus - Elsevier

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

Journal of Functional Programming
2022 | Journal article
EID:

2-s2.0-85123949074

Part of ISSN: 14697653 09567968
Contributors: IWASAKI, H.; EMOTO, K.; MORIHATA, A.; MATSUZAKI, K.; HU, Z.
Source: Self-asserted source
Akimasa Morihata via Scopus - Elsevier

Lambda calculus with algebraic simplification for reduction parallelisation: Extended study

Journal of Functional Programming
2021 | Journal article
EID:

2-s2.0-85103715781

Part of ISSN: 14697653 09567968
Contributors: Morihata, A.
Source: Self-asserted source
Akimasa Morihata via Scopus - Elsevier

Reverse engineering for reduction parallelization via semiring polynomials

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
2021 | Conference paper
EID:

2-s2.0-85108909514

Contributors: Morihata, A.; Sato, S.
Source: Self-asserted source
Akimasa Morihata via Scopus - Elsevier

A report on the 35th JSSST annual conference

Computer Software
2019 | Journal article
EID:

2-s2.0-85070678719

Part of ISSN: 02896540
Contributors: Morihata, A.; Inoue, K.; Kusumoto, S.; Naka-Gawa, H.; Ito, K.; Hasebe, K.
Source: Self-asserted source
Akimasa Morihata via Scopus - Elsevier

Introductions of the 35th JSSST Annual Conference Award-Winning Work by Winners.

Computer Software
2019 | Journal article
EID:

2-s2.0-85070540178

Part of ISSN: 02896540
Contributors: Morihata, A.
Source: Self-asserted source
Akimasa Morihata via Scopus - Elsevier

Lambda calculus with algebraic simplification for reduction parallelization by equational reasoning

Proceedings of the ACM on Programming Languages
2019 | Journal article
EID:

2-s2.0-85109730048

Part of ISSN: 24751421
Contributors: Morihata, A.
Source: Self-asserted source
Akimasa Morihata via Scopus - Elsevier

Using algebraic properties and function fusion to evaluate tree accumulations in parallel

Journal of Information Processing
2019 | Journal article
EID:

2-s2.0-85069482078

Part of ISSN: 18826652 03875806
Contributors: Morihata, A.
Source: Self-asserted source
Akimasa Morihata via Scopus - Elsevier

Incremental computing with data structures

Science of Computer Programming
2018 | Journal article
EID:

2-s2.0-85017468024

Part of ISSN: 01676423
Contributors: Morihata, A.
Source: Self-asserted source
Akimasa Morihata via Scopus - Elsevier

Optimizing declarative parallel distributed graph processing by using constraint solvers

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2018 | Conference paper
EID:

2-s2.0-85046812115

Part of ISBN: 9783319906850
Part of ISSN: 16113349 03029743
Contributors: Morihata, A.; Emoto, K.; Matsuzaki, K.; Hu, Z.; Iwasaki, H.
Source: Self-asserted source
Akimasa Morihata via Scopus - Elsevier

From identification of parallelizability to derivation of parallelizable codes

FHPC 2016 - Proceedings of the 5th International Workshop on Functional High-Performance Computing, co-located with ICFP 2016
2016 | Conference paper
EID:

2-s2.0-85055193434

Contributors: Morihata, A.
Source: Self-asserted source
Akimasa Morihata via Scopus - Elsevier

Incremental computing with abstract data structures

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2016 | Conference paper
EID:

2-s2.0-84961196406

Part of ISBN: 9783319296036
Part of ISSN: 16113349 03029743
Contributors: Morihata, A.
Source: Self-asserted source
Akimasa Morihata via Scopus - Elsevier

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

ACM SIGPLAN Notices
2016 | Journal article
EID:

2-s2.0-85084505714

Part of ISSN: 15232867
Contributors: Emoto, K.; Matsuzaki, K.; Hu, Z.; Morihata, A.; Iwasaki, H.
Source: Self-asserted source
Akimasa Morihata via Scopus - Elsevier

Approximate by thinning: Deriving fully polynomial-time approximation schemes

Science of Computer Programming
2015 | Journal article
EID:

2-s2.0-84916939616

Part of ISSN: 01676423
Contributors: Mu, S.-C.; Lyu, Y.-H.; Morihata, A.
Source: Self-asserted source
Akimasa Morihata via Scopus - Elsevier

Code reading assistance for functional programming based on variable defuse relationships

Computer Software
2015 | Journal article
EID:

2-s2.0-84922982366

Part of ISSN: 02896540
Contributors: Endo, M.; Mukade, Y.; Morihata, A.; Ueno, K.; Ohori, A.
Source: Self-asserted source
Akimasa Morihata via Scopus - Elsevier

Dynamic programming via thinning and incrementalization

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2014 | Conference paper
EID:

2-s2.0-84902461334

Part of ISBN: 9783319071503
Part of ISSN: 16113349 03029743
Contributors: Morihata, A.; Koishi, M.; Ohori, A.
Source: Self-asserted source
Akimasa Morihata via Scopus - Elsevier

Parallel tree contraction with fewer types of primitive contraction operations and its application to trees of unbounded degree

IPSJ Online Transactions
2014 | Journal article
EID:

2-s2.0-84958179597

Part of ISSN: 18826660
Contributors: Morihata, A.; Matsuzaki, K.
Source: Self-asserted source
Akimasa Morihata via Scopus - Elsevier

Syntax-directed divide-and-conquer data-flow analysis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2014 | Conference paper
EID:

2-s2.0-84910002427

Part of ISBN: 9783319127354
Part of ISSN: 16113349 03029743
Contributors: Sato, S.; Morihata, A.
Source: Self-asserted source
Akimasa Morihata via Scopus - Elsevier

The essence of ruby

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2014 | Conference paper
EID:

2-s2.0-84910010428

Part of ISBN: 9783319127354
Part of ISSN: 16113349 03029743
Contributors: Ueno, K.; Fukasawa, Y.; Morihata, A.; Ohori, A.
Source: Self-asserted source
Akimasa Morihata via Scopus - Elsevier

A short cut to parallelization theorems

ACM SIGPLAN Notices
2013 | Journal article
EID:

2-s2.0-84888785987

Part of ISSN: 15232867
Contributors: Morihata, A.
Source: Self-asserted source
Akimasa Morihata via Scopus - Elsevier

A short cut to parallelization theorems

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP
2013 | Conference paper
EID:

2-s2.0-84887186369

Contributors: Morihata, A.
Source: Self-asserted source
Akimasa Morihata via Scopus - Elsevier

Calculational developments of new parallel algorithms for size-constrained maximum-sum segment problems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012 | Conference paper
EID:

2-s2.0-84861733832

Part of ISBN: 9783642298219
Part of ISSN: 03029743 16113349
Contributors: Morihata, A.
Source: Self-asserted source
Akimasa Morihata via Scopus - Elsevier

Manipulating accumulative functions by swapping call-time and return-time computations

Journal of Functional Programming
2012 | Journal article
EID:

2-s2.0-84863305961

Part of ISSN: 09567968 14697653
Contributors: Morihata, A.; Kakehi, K.; Hu, Z.; Takeichi, M.
Source: Self-asserted source
Akimasa Morihata via Scopus - Elsevier

Translation of regular expression with lookahead into finite state automaton

Computer Software
2012 | Journal article
EID:

2-s2.0-84857762840

Part of ISSN: 02896540
Contributors: Morihata, A.
Source: Self-asserted source
Akimasa Morihata via Scopus - Elsevier

A practical tree contraction algorithm for parallel skeletons on trees of unbounded degree

Procedia Computer Science
2011 | Conference paper
EID:

2-s2.0-79958291856

Part of ISSN: 18770509
Contributors: Morihata, A.; Matsuzaki, K.
Source: Self-asserted source
Akimasa Morihata via Scopus - Elsevier

A short cut to optimal sequences

New Generation Computing
2011 | Journal article
EID:

2-s2.0-79953019957

Part of ISSN: 02883635
Contributors: Morihata, A.
Source: Self-asserted source
Akimasa Morihata via Scopus - Elsevier

Balanced trees inhabiting functional parallel programming

ACM SIGPLAN Notices
2011 | Conference paper
EID:

2-s2.0-80053352391

Part of ISSN: 15232867
Contributors: Morihata, A.; Matsuzaki, K.
Source: Self-asserted source
Akimasa Morihata via Scopus - Elsevier

Balanced trees inhabiting functional parallel programming

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP
2011 | Conference paper
EID:

2-s2.0-80054055716

Contributors: Morihata, A.; Matsuzaki, K.
Source: Self-asserted source
Akimasa Morihata via Scopus - Elsevier

Generalising and dualising the third list-homomorphism theorem: Functional pearl

ACM SIGPLAN Notices
2011 | Conference paper
EID:

2-s2.0-80053342195

Part of ISSN: 15232867
Contributors: Mu, S.-C.; Morihata, A.
Source: Self-asserted source
Akimasa Morihata via Scopus - Elsevier

Generalising and dualising the third list-homomorphism theorem: Functional pearl

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP
2011 | Conference paper
EID:

2-s2.0-80054060919

Contributors: Mu, S.-C.; Morihata, A.
Source: Self-asserted source
Akimasa Morihata via Scopus - Elsevier

Macro tree transformations of linear size increase achieve cost-optimal parallelism

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2011 | Conference paper
EID:

2-s2.0-84055193137

Part of ISBN: 9783642253171
Part of ISSN: 03029743 16113349
Contributors: Morihata, A.
Source: Self-asserted source
Akimasa Morihata via Scopus - Elsevier

Automatic parallelization of recursive functions using quantifier elimination

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2010 | Conference paper
EID:

2-s2.0-78651254853

Part of ISSN: 03029743 16113349
Contributors: Morihata, A.; Matsuzaki, K.
Source: Self-asserted source
Akimasa Morihata via Scopus - Elsevier

Constructing datatype-generic fully polynomial-time approximation schemes using generalised thinning

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP
2010 | Conference paper
EID:

2-s2.0-78449241486

Contributors: Mu, S.-C.; Lyu, Y.-H.; Morihata, A.
Source: Self-asserted source
Akimasa Morihata via Scopus - Elsevier

A short cut to optimal sequences

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2009 | Conference paper
EID:

2-s2.0-72449174217

Part of ISSN: 03029743 16113349
Contributors: Morihata, A.
Source: Self-asserted source
Akimasa Morihata via Scopus - Elsevier

The third homomorphism theorem on trees downward & upward lead to divide-and-conquer

Conference Record of the Annual ACM Symposium on Principles of Programming Languages
2009 | Conference paper
EID:

2-s2.0-67649851010

Part of ISSN: 07308566
Contributors: Morihata, A.; Matsuzaki, K.; Hu, Z.; Takeichi, M.
Source: Self-asserted source
Akimasa Morihata via Scopus - Elsevier

The third homomorphism theorem on trees: Downward and upward lead to divide-and-conquer

ACM SIGPLAN Notices
2009 | Conference paper
EID:

2-s2.0-70350304301

Part of ISSN: 15232867
Contributors: Morihata, A.; Matsuzaki, K.; Hu, Z.; Takeichi, M.
Source: Self-asserted source
Akimasa Morihata via Scopus - Elsevier

Write it recursively: A generic framework for optimal path queries

ACM SIGPLAN Notices
2008 | Journal article
EID:

2-s2.0-67650088260

Part of ISSN: 15232867
Contributors: Morihata, A.; Matsuzaki, K.; Takeichi, M.
Source: Self-asserted source
Akimasa Morihata via Scopus - Elsevier

Write it recursively: A generic framework for optimal path queries

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP
2008 | Conference paper
EID:

2-s2.0-59249100209

Contributors: Morihata, A.; Matsuzaki, K.; Takeichi, M.
Source: Self-asserted source
Akimasa Morihata via Scopus - Elsevier

Automatic inversion generates divide-and-conquer parallel programs

ACM SIGPLAN Notices
2007 | Journal article
EID:

2-s2.0-67650089740

Part of ISSN: 15232867
Contributors: Morita, K.; Morihata, A.; Matsuzaki, K.; Hu, Z.; Takeichi, M.
Source: Self-asserted source
Akimasa Morihata via Scopus - Elsevier

Automatic inversion generates divide-and-conquer parallel programs

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
2007 | Conference paper
EID:

2-s2.0-35448974093

Contributors: Morita, K.; Morihata, A.; Matsuzaki, K.; Hu, Z.; Takeichi, M.
Source: Self-asserted source
Akimasa Morihata via Scopus - Elsevier

Swapping arguments and results of recursive functions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2006 | Conference paper
EID:

2-s2.0-33746074095

Part of ISSN: 16113349 03029743
Contributors: Morihata, A.; Kakehi, K.; Hu, Z.; Takeichi, M.
Source: Self-asserted source
Akimasa Morihata via Scopus - Elsevier

Peer review (8 reviews for 2 publications/grants)

Review activity for Journal of functional programming (4)
Review activity for Journal of logical and algebraic methods in programming. (4)