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

FLOPS 2022	Invited Speaker of From Program Synthesis to Program Transformation: Case Study in Reduction Parallelization within the FLOPS 2022-track
PPoPP 2022	Committee Member in External Review Committee
ICFP 2021	Committee Member in Program Committee within the Research Papers-track
PLDI 2021	Author of Reverse Engineering for Reduction Parallelization via Semiring Polynomials within the PLDI-track
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
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
FHPC 2016	Invited Speaker of From Identification of Parallelizability to Derivation of Parallelizable Codes within the FHPC-track
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