Associate Professor (Sumii-Matsuda Lab, Graduate
School of Information Sciences, Tohoku University)
PhD
(Information Science and Technology; The University of Tokyo)
kztk@tohoku.ac.jp, GitHub: kztk-m, BitBucket: kztk, X: KazutakaMatsuda
Interests
- Software Science
- Programming Language
- Theoretical Computer Science
- Program Transformation/Program Derivation
- Functional Programming
- Domain Specific Language
Topics/Keywords of My Research
- Bidirectional Transformations
- Programming Language for Bidirectional Transformations
- Program Inversion, Inverse Computation, Reversible Programming
- (Embedded) Domain-Specific Languages
- Correctness-by-Construction
About student application: Thank you for being interested in our
group. I advise you to read the instructions found in our group leader’s
site beforehand.
Selected Publications
[Full Version] [DBLP] [Google
Scholar] [Research
Map]
- Anders Ågren Thuné, Kazutaka Matsuda, Meng Wang: Reconciling Partial
and Local Invertibility, ESOP 2024: 33rd European Symposium on
Programming, Part II, LNCS 14577, 59–84, 2024. (Open Access) Implementation Agda Formalization Author Version
- Kazutaka Matsuda, Samantha Frohlich, Meng Wang, Nicolas Wu: Embedding by
Unembedding, Proceedings of the ACM on Programming Languages,
Volume 7, No. ICFP: 189:1-189:47. (2023). (Open Access)
- Masaomi Yamaguchi, Kazutaka Matsuda, Cristina David, and Meng Wang:
Synbit: Synthesizing
Bidirectional Programs using Unidirectional Sketches
Proceedings of the ACM on Programming Languages, Volume 5, No. OOPSLA:
105:1-105:31 (2021). (Open Access) Implementation Demo Page Full Version on arXiv
- Kazutaka Matsuda and Meng Wang: Sparcl: A Language for
Partially-Invertible Computation. Proceedings of the ACM on
Programming Languages, Volume 4, No. ICFP: 118:1-118:31 (2020). (Open
Access) Presentation Talk Video in YouTube A Bit Longer Presentation (Presented at
PPL 2021)
- Kazutaka Matsuda: Modular
Inference of Linear Types for Multiplicity-Annotated Arrows.
ESOP 2020: 29th European Symposium on Programming, LNCS 12075, 456–483.
2020. (Open Access) Full Version
- Kazutaka Matsuda and Meng Wang: HOBiT:
Programming Lenses without using Lens Combinators. ESOP 2018:
27th European Symposium on Programming, LNCS 10801, pp. 31–59. 2018.
(Open Access) Presentation Prototype Implementation
- Kazutaka Matsuda and Meng Wang: “Applicative Bidirectional
Programming with Lenses”, ICFP 2015: the 20th ACM SIGPLAN International
Conference on Functional Programming, pp. 62–74. 2015. Author
Version Proofs Presentation Hackage Page
- Kazutaka Matsuda and Meng Wang: FliPpr: A Prettier Invertible
Printing System. ESOP 2013: 22nd European Symposium on Programming, LNCS
7792, pp. 101–120. 2013. Implementation Presentation Author-Version
- Kazutaka Matsuda, Kazuhiro Inaba, and Keisuke Nakano:
Polynomial-Time Inverse Computation for Accumulative Functions with
Multiple Data Traversals, PEPM 2012: ACM SIGPLAN 2012 Workshop on
Partial Evaluation and Program Manipulation, pp. 5–14. 2012. Best Paper.
Author
Version Presentation
Work Experience
- Apr. 2015–present: Associate Professor, Graduate School of
Information Sciences, Tohoku University.
- Apr. 2012–Mar. 2015: Assistant Professor, Graduate School of
Information Science and Technology, the University of Tokyo.
- Apr. 2010–Mar. 2012: Assistant Professor, Graduate School of
Information Sciences, Tohoku University.
- Apr. 2008–Mar. 2010: JSPS Research Fellow (DC2: Apr. 2008–Mar. 2009,
PD: Apr. 2009–Mar. 2010)
Education
- 2004: Bachelor of Engineering, The University of Tokyo
- 2006: Master of Information Science and Technology, The University
of Tokyo
- 2009: Ph.D (Information Science and Technology), The University of
Tokyo