Akimasa Morihata

Registered user since Sat 11 Jun 2016

Name:Akimasa Morihata
Country:Japan
Affiliation:University of Tokyo
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