Akimasa Morihata -

Registered user since Sat 11 Jun 2016

Name: Akimasa Morihata

Country: Japan

Affiliation: University of Tokyo

Personal website: http://www.graco.c.u-tokyo.ac.jp/labs/morihata/

Research interests: Program Transformation, Functional Programming, Parallel Programming

Contributions

ICFP 2019	Author of Lambda Calculus with Algebraic Simplification for Reduction Parallelization by Equational Reasoning within the Research Papers-track Committee Member in External Review Committee within the Research Papers-track
ICFP 2018	Committee Member in External Review Committee within the Research Papers-track Publications Co-Chair in Organizing Committee
PLMW 2016	Author of Program Transformations for Developing Efficient and Correct Programs with Ease within the PLMW-track Committee Member in Speakers within the PLMW-track
FHPC 2016	Invited Speaker of From Identification of Parallelizability to Derivation of Parallelizable Codes within the FHPC-track
ICFP 2016	Committee Member in External Review Committee within the Research Papers-track Session Chair of Session 1 (part of Research Papers) Author of Think Like a Vertex, Behave Like a Function! A Functional DSL for Vertex-Centric Big Graph Processing within the Research Papers-track