Kazutaka Matsuda -

Registered user since Fri 13 Oct 2017

Name:Kazutaka Matsuda

Country:Japan

Affiliation:Tohoku University

Personal website: http://www2.sf.ecei.tohoku.ac.jp/~kztk/

Contributions

2025

miniKanren

Committee Member in Program Committee within the miniKanren 2025-track

2024

PEPM

Committee Member in Program Committee within the PEPM 2024-track

2023

ICFP

2021

SPLASH

Author of Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches within the OOPSLA-track

ICFP

Committee Member in Program Committee within the Research Papers-track

2020

ICFP

Author of Sparcl: A Language for Partially-Invertible Computation within the ICFP Program-track

2019

Haskell

Committee Member in Program Committee within the Haskell 2019-track

ICFP

PEPM

Committee Member in Program Committee within the PEPM 2019-track

2018

ICFP

Committee Member in External Review Committee within the Research Papers-track

Haskell

Author of Embedding Invertible Languages with Binders: A Case of the FliPpr Language within the Haskell 2018-track

Bidirectional Transformations (bx)

2017

PEPM

Author of A Functional Reformulation of UnCAL Graph-Transformations: Or, Graph Transformation as Graph Reduction within the PEPM 2017-track

2016

ICFP

Committee Member in External Review Committee within the Research Papers-track