conf.researchr.org / Kento Emoto

Registered user since Mon 30 Mar 2020

Name:Kento Emoto
Country:Japan
Affiliation:Kyushu Institute of Technology
Personal website:http://www.ipl-lab.org/~emoto/

Contributions

APLAS 2020 General Vice-Chair in Organising Committee
APLAS 2019 Author of Recursion Schemes in Coq within the Research Papers-track
FHPC 2016 Committee Member in Program Committee within the FHPC-track
ICFP 2016 Author of Think Like a Vertex, Behave Like a Function! A Functional DSL for Vertex-Centric Big Graph Processing within the Research Papers-track