Fingerprint
Dive into the research topics where Kazutaka Matsuda is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Reconciling Partial and Local Invertibility
Ågren Thuné, A., Matsuda, K. & Wang, M., 2024, Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. Weirich, S. (ed.). Springer Science and Business Media Deutschland GmbH, p. 59-89 31 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14577 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Sparcl: A language for partially invertible computation
Matsuda, K. & Wang, M., 2024 Jan 26, In: Journal of Functional Programming. 34, 3, e2.Research output: Contribution to journal › Article › peer-review
Open Access2 Citations (Scopus) -
Embedding by Unembedding
Matsuda, K., Frohlich, S., Wang, M. & Wu, N., 2023 Aug 30, In: Proceedings of the ACM on Programming Languages. 7, ICFP, 189.Research output: Contribution to journal › Article › peer-review
Open Access4 Citations (Scopus) -
Synbit: synthesizing bidirectional programs using unidirectional sketches
Yamaguchi, M., Matsuda, K., David, C. & Wang, M., 2022 Dec, In: Formal Methods in System Design. 61, 2-3, p. 198-247 50 p.Research output: Contribution to journal › Article › peer-review
Open Access1 Citation (Scopus) -
Synbit: Synthesizing bidirectional programs using unidirectional sketches
Yamaguchi, M., Matsuda, K., David, C. & Wang, M., 2021 Oct, In: Proceedings of the ACM on Programming Languages. 5, OOPSLA, 105.Research output: Contribution to journal › Article › peer-review
Open Access5 Citations (Scopus)