Publications

Journals

Masaomi Yamaguchi, Kazutaka Matsuda, Cristina David, and Meng Wang: Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches, Formal Methods in System Design (2022). (Open Access)
Kazutaka Matsuda and Meng Wang: Sparcl: A Language for Partially-Invertible Computation, Journal of Functional Programming, 34: e2 (2024). (Open Access)
Kazutaka Matsuda and Meng Wang: FliPpr: A System for Deriving Parsers from Pretty-Printers. New Generation Computing. 36(3): 173-202 (2018).
Kazutaka Matsuda and Meng Wang: Applicative Bidirectional Programming: Mixing Lenses and Semantic Bidirectionalization, Journal of Functional Programming. 28: e15. Accepted Manuscript
Makoto Hamana, Kazutaka Matsuda, Kazuyuki Asada: The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics. Mathematical Structures in Computer Science 28(2): 287-337 (2018).
Kazutaka Matsuda and Meng Wang: “Bidirectionalization for Free” for Monomorphic Transformations, Science of Computer Programming. 111: 79–109 (2015). (Open Archive) Implementation Hackage Page
Kazutaka Matsuda, Kazuhiro Inaba, and Keisuke Nakano: Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals. Higher-Order and Symbolic Computation. 25(1): 3-38 (2012). (Open Access)
Naoki Kobayashi, Kazutaka Matsuda, Ayumi Shinohara, and Kazuya Yaguchi: Functional Programs as Compressed Data. Higher-Order and Symbolic Computation. 25(1): 39-84 (2012).
Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang: Enhancing Semantic Bidirectionalization via Shape Bidirectionalizer Plug-ins. Journal of Functional Programming. 23(5): 515-551 (2013)
Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, and Zhenjiang Hu: Refactoring Pattern Matching. Science of Computer Programming. 78(11): 2216-2242 (2013). (Open Archive)

International Conferences (Refereed)

Kazutaka Matsuda, Minh Nguyen, Meng Wang: Lenses for Partially-Specified States, ESOP 2026: 35th European Symposium on Programming, to appear. Presentation at PPL 2026 Extended Version on arXiv Artifact
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 on 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: Embedding Invertible Languages with Binders: A Case of the FliPpr Language. Haskell 2018: Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, pp. 158–171. 2018. Author Version Presentation Prototype Implementation
Kazutaka Matsuda and Meng Wang: HOBiT: Programming Lenses without using Lens Combinators. ESOP 2018: 27th European Symposium on Programming, LNCS 10801, pp. 31–59. Presentation Prototype Implementation
Kazutaka Matsuda and Kazuyuki Asada: A Functional Reformulation of UnCAL Graph-Transformations: Or Graph Transformation as Graph Reduction. PEPM 2017: the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, pp. 71–82. 2017. Full Version Presentation
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 Hackage Page
Soichiro Hidaka, Martin Billes, Quang Minh Tran, Kazutaka Matsuda: Trace-based Approach to Editability and Correspondence Analysis for Bidirectional Graph Transformations, BX 2015: the 4th International Workshop on Bidirectional Transformations, pp. 51–65. 2015. (Open Access)
Kazuhide Yasukata, Naoki Kobayashi, and Kazutaka Matsuda: Pairwise Reachability Analysis for Higher Order Concurrent Programs by Higher-Order Model Checking, CONCUR 2014, pp. 312–316. 2014.
Kazutaka Matsuda and Meng Wang: Bidirectionalization for Free with Runtime Recording: Or, a Light-Weight Approach to the View-Update Problem. PPDP 2013: 15th International Symposium on Principles and Practice of Declarative Programming, pp. 297–308. 2013. Presentation Implementation 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. (Open Access) Implementation Author Version Presentation
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, and Isao Sasano: Marker-directed Optimization of UnCAL Graph Transformations. LOPSTR 2011: 21st International Symposium on Logic-Based Program Synthesis and Transformation, Revised Papers, pp. 123–138. 2012.
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 Award. Author Version Presentation
Naoki Kobayashi, Kazutaka Matsuda, and Ayumi Shinohara: Functional Programs as Compressed Data. PEPM 2012: ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, pp. 121–130. 2012.
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, and Keisuke Nakano: Bidirectionalizing Graph Transformations. ICFP 2010: The 15th ACM SIGPLAN International Conference on Functional Programming, pp. 205–206. 2010.
Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda, and Meng Wang: Combining Syntactic and Semantic Bidirectionalization. ICFP 2010: The 15th ACM SIGPLAN International Conference on Functional Programming, pp. 181–192. 2010. ~~Demonstration (deadlink)~~ Implementation
Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, and Zhenjiang Hu: Gradual Refinement: Blending Pattern Matching with Data Abstraction. MPC 2010: 10th International Conference on Mathematics of Program Construction, pp. 397–425. 2010.
Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, and Masato Takeichi: A Grammar-based Approach to Invertible Programs. ESOP 2010: 19th European Symposium on Programming, LNCS 6012, pp. 448–467. 2010. (Open Access) Implementation Presentation
Kazutaka Matsuda, Zhenjiang Hu and Masato Takeichi: Type-Based Specialization of XML Transformations. ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, pp. 61–79. 2009. Typo-Corrected Version Presentation
Yasushi Hayashi, Dongxi Liu, Kento Emoto, Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi: A Web Service Architecture for Bidirectional XML Updating. Advances in Data and Web Management, Joint 9th Asia-Pacific Web Conference, APWeb 2007, and 8th International Conference, on Web-Age Information Management, WAIM 2007. pp. 721–732. 2007.
Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana and Masato Takeichi: Bidirectionalization Transformation based on Automatic Derivation of View Complement Functions. ICFP 2007: 12th ACM SIGPLAN International Conference on Functional Programming, 2007. pp. 47–58. 2017. Implementation Tech Rep. Version Presentation

Domestic Journals (in Japanese)

松田一孝，胡振江，中野圭介，浜名誠，武市正人： 補関数の生成による複製機能付きプログラムの自動双方向化．コンピュータ・ソフトウェア，Vol. 26, No. 2, pp. 2_56–2_75．2009．旧版はプログラミングおよびプログラム言語ワークショップ2008にて発表．
松田一孝，大川徳之，野村芳明，森田直幸，筧一彦，胡振江，武市正人： 木上の双方向変換を利用したファイルマネージャの実現．情報処理学会論文誌：トランザクション「プログラミング」，pp. 84–98．2009．
松田一孝，筧一彦，胡振江，武市正人： データマイニングのアルゴリズム記述を容易にする拡張行列演算の提案．情報処理学会論文誌：トランザクション「プログラミング」，pp. 1–15．2005.

Tutorial(s)

Nate Foster, Kazutaka Matsuda, and Janis Voigtländer: Three Complementary Approaches to Bidirectional Programming. Generic and Indexed Programming. International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010, Revised Lectures, LNCS 7470, 2012. pp. 1–46. 2012.

Tutorials in Domestic Journals

加藤弘之，胡振江，日高宗一郎，松田一孝： 高談闊論：双方向変換の原理と実践．コンピュータ・ソフトウェア，Vol. 31，No. 2，pp. 2_44–2_56．2014．査読有り，依頼原稿．
松田一孝, 増子萌, 対馬かなえ： POPL2013/PEPM2013/PLMW2013報告．コンピュータ・ソフトウェア，Vol. 30，No. 3，pp. 3_45–3_52．2013．査読有り，依頼原稿．

Thesis

松田一孝： 補関数によるプログラムの双方向化に関する研究．博士論文，東京大学大学院情報理工学系研究科，2009．
松田一孝： 複製を含む双方向変換とその応用に関する研究．修士論文，東京大学大学院情報理工学系研究科，2006．

Other Refereed (but Unpublished) Papers

松田一孝，胡振江，中野圭介，浜名誠，武市正人： 補関数の生成による複製を含むプログラムの自動双方向化，プログラミングおよびプログラム言語ワークショップ，仙台，日本，3月，2008．

Technical Reports

Soichiro Hidaka, Martin Billes, Quang Minh Tran and Kazutaka Matsuda: Trace-based Approach to Editability and Correspondence Analysis for Bidirectional Graph Transformations. GRACE-TR-2015-04, GRACE Center, National Institute of Informatics, February 2015.
Kazutaka Matsuda and Kazuyuki Asada: Graph Transformation as Graph Reduction—FUnCAL: A Functional Reformulation of Graph-Transformation Language UnCAL. GRACE-TR 2015-01, GRACE Center, National Institute of Informatics, February 2015.
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, and Isao Sasano: Marker-directed Optimization of UnCAL Graph Transformations (revised version). GRACE-TR-2011-06, GRACE Center, National Institute of Informatics, November 2011.
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano and Isao Sasano: Marker-directed Optimization of UnCAL Graph Transformations. GRACE-TR-2011-02, GRACE Center, National Institute of Informatics, June 2011.
Soichiro Hidaka, Zhenjiang Hu,Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, and Keisuke Nakano: Bidirectionalizing Graph Transformations. GRACE-TR-2010-06, GRACE Center, National Institute of Informatics, July 2010.
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, and Keisuke Nakano: Bidirectionalizing Structural Recursion on Graphs. GRACE-TR-2009-03, GRACE Center, National Institute of Informatics, August 2009.
Kazutaka Matsuda, Zhenjiang Hu and Masato Takeichi: Type Specialization for Effective Bidirectionalization. Technical Report 2008-29, Graduate School of Information Science and Technology, the University of Tokyo, 2008. Implementation
Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, and Masato Takeichi: Bidirectionalization Transformation Based on Automatic Derivation of View Complement Functions. Technical Report 2007-44, Graduate School of Information Science and Technology, the University of Tokyo, 2007.

Misc

Kazutaka Matsuda, Romina Eramo, Michael Johnson, Vadim Zaytsev: Bidirectional Transformations: Foundations and Applications, NII Shonan Meeting Report 231, 2025.
Michael Kirkedal Thomsen, Kazutaka Matsuda, Mohammad Reza Mousavi: Reverse Execution in Testing – Improving Security and Reliability (NII Shonan Meeting 2017-9)， NII Shonan Meeting Report 2017-9, 2017.
松田一孝：ビブリオ・トーク -私のオススメ-：To Mock a Mocking Bird And Other Logic Puzzles : Including An Amazing Adventure in Combinatory Logic. 情報処理学会会誌「情報処理」．Vol. 56, No. 2, 2015. 近代科学社「IT研究者のひらめき本棚　ビブリオ・トーク：私のオススメ」に収録

Posters

須藤龍一，松田一孝： 高階関数型部分可逆プログラミング言語における配列操作，プログラミングおよびプログラミング言語ワークショップ，2026．
松田一孝，Minh Nguyen，Meng Wang: 先送りレンズ．日本ソフトウェア科学会第 41 回大会，2024． PDF (typo corrected ver.)
渡邉進太郎, 松田一孝： 双方向変換言語におけるpin演算子の有用性の確認. プログラミングおよびプログラミング言語ワークショップ，2024．
類家健永, 松田一孝： OCamlにおけるEmbedding by Unembedding. プログラミングおよびプログラミング言語ワークショップ，2024．
Anders Ågren Thuné, Kazutaka Matsuda, Meng Wang: Kalpis: An Arrow Metalanguage for Partially Invertible Computation. プログラミングおよびプログラミング言語ワークショップ，2023．
Zihang Ye, Kazutaka Matsuda: Lenses for Web Applications. プログラミングおよびプログラミング言語ワークショップ，2023．
八木颯, 松田一孝： 負型と分数型を持つ線形型付き可逆プログラミング言語とその並行計算に基づく意味論．日本ソフトウェア科学会第 35 回大会，2018．
松田一孝，Meng Wang： HOBiT: A Higher-Order Language that Bridges Uni- and Bi-directional Programming. 日本ソフトウェア科学会第 33 回大会, 2016. PDF
千葉知也, 佐藤亮介, 松田一孝, 小林直樹： 関数型プログラムの不変条件のICE流学習手法. プログラミングおよびプログラミング言語ワークショップ，2015．
安酸円秀，小林直樹，松田一孝： 高階モデル検査による高階並行プログラムの同時到達可能性の解析．プログラミングおよびプログラミング言語ワークショップ，2014．
Kazutaka Matsuda and Meng Wang: FliPpr: A Prettier Invertible Printing System, 10th Asian Symposium on Programming Languages and Systems (APLAS 2012), 2012. PDF
塚田武志，松田一孝： 型システムによる高階木変換器の逆像計算，プログラミングおよびプログラミング言語ワークショップ，2011.
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda and Keisuke Nakano: Towards State-based Interface to a Graph Roundtrip Transformation System GRoundTram. The Eighth Asian Symposium on Programming Languages and Systems (APLAS 2009), 2010.
松田一孝，中野圭介，稲葉一浩： マクロ木変換器の多項式時間逆実行．プログラミングおよびプログラミング言語ワークショップ，2010.
Kazutaka Matuda: PaI: A Grammar-Based Program Inversion System. The Seventh Asian Symposium on Programming Languages and Systems (APLAS 2009), 2009. PDF
松田一孝，胡振江，武市正人，穆信成： 木文法の構文解析を利用したプログラム逆計算，プログラミングおよびプログラミング言語ワークショップ，2009. PDF
松田一孝，胡振江，中野圭介，浜名誠，武市正人： 木構造データに対するビュー更新反映プログラムの自動生成．プログラミングおよびプログラミング言語ワークショップ，2007． PDF
松田一孝，胡振江，武市正人： 木上の双方向変換を利用したファイルマネージャの実現，プログラミングおよびプログラミング言語ワークショップ，2006．
Kazutaka Matsuda: A Domain Specific Language for Knowledge Discovery based on Dual Computations. The Second ASIAN Symposium on Programming Languages and Systems (APLAS 2004), 2004.

Talks

Kazutaka Matsuda, Minh Nguyen, Meng Wang: Lenses for Partially-Specified States, プログラミングおよびプログラミング言語ワークショップ，カテゴリ2，3月，2026．
Kazutaka Matsuda: Mutually-Recursive Definition Builders, 27th International Symposium on Trends in Functional Programming. 1月, 2026.
Kazutaka Matsuda, Samantha Frohlich, Meng Wang, Nicolas Wu: Embedding by Unembedding, 日本ソフトウェア科学会第41回大会，トップカンファレンス特別講演．9月，2024．
松田一孝： 「正しい」プログラムの作り方：バグがないことを数学的に保証する 東北大学工学部電気情報物理工学科オープンキャンパス公開講座，7月，2022．講演動画
Masaomi Yamaguchi, Kazutaka Matsuda, Cristina David, and Meng Wang: Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches, プログラミングおよびプログラミング言語ワークショップ，カテゴリ2，3月，2022．
Kazutaka Matsuda and Meng Wang: Sparcl: A Language for Partially-Invertible Computation，プログラミングおよびプログラミング言語ワークショップ，カテゴリ2，3月，2021．発表資料
Kazutaka Matsuda: Modular Inference of Linear Types for Multiplicity-Annotated Arrows, 日本ソフトウェア科学会第37回大会，トップカンファレンス特別講演．9月，2020．
Kazutaka Matsuda: High-Level Language for Bidirectional Transformations: Experiences and Future Directions, SFDI2020: Fourth Workshop on Software Foundations for Data Interoperability, Sep. 2020. Invited Talk Presentation
菅野翔太, 松田一孝： Linear Quipper: 埋め込み線形型付き量子プログラミング言語．日本ソフトウェア科学会第35回大会．9月，2018．
Kazutaka Matsuda and Meng Wang: Applicative Bidirectional Programming with Lenses. 日本ソフトウェア科学会第32回大会，トップカンファレンス特別講演．9月，2015．
千葉知也，佐藤亮介，松田一孝，小林直樹： 関数型プログラムの不変条件のICE流学習手法．日本ソフトウェア科学会第32回大会．9月，2015．
武田広太郎，小林直樹，松田一孝： RePair流高階圧縮アルゴリズムの最適化．日本ソフトウェア科学会第31回大会．9月，2014．
Kazutaka Matsuda Relating a data structure and its text representation: A case study of pretty-printing and parsing, BIRS Workshop: Bi-directional transformations (BX) – Theory and Applications Across Disciplines, Dec. 1–6, 2013. Talk Video is Available
松田一孝, Meng Wang: A Type Class for Bidirectionalization: Or, a Light-Weight Approach to the View-Update Problem. 日本ソフトウェア科学会第30回大会，9月，2013．
Kazutaka Matsuda, Kazuhiro Inaba, and Keisuke Nakano: Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals, 1st International Workshop on Trends in Tree Automata and Tree Transducers, 2012.
Naoki Kobayashi, Kazutaka Matsuda, Ayumi Shinohara: Functional Programs as Compressed Data，プログラミングおよびプログラミング言語ワークショップ，カテゴリ2，3月，2012．
Kazutaka Matsuda, Kazuhiro Inaba, and Keisuke Nakano: Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals, プログラミングおよびプログラミング言語ワークショップ，カテゴリ2，3月，2012．
Kazutaka Matsuda: Position Statement: Right Inverses in Bidirectionalization. Dagstuhl Seminar – Bidirectional Transformations “bx”. Dagstuhl, German, January 16–21, 2011.
Kazutaka Matsuda: Left Inverses vs. Right Inverses. The Fourth DIKU-IST Joint Workshop on Foundations of Software, Tokyo, Japan, January 10–14, 2011.
Kazutaka Matsuda: A Grammar-Based Approach to Program Inversion. 4th International Workshop on Bidirectional Transformation in Architecture-Based Component Composition (Bi-Trans in ABC), Hakone, Japan, March 12–14, 2010.
Kazutaka Matsuda: A Grammar-Based Approach to Program Inversion. 3rd International Workshop on Bidirectional Transformation in Architecture-Based Component Composition (Bi-Trans in ABC), Changsha, China. November 14–18, 2009.
松田一孝，穆信成，胡振江，武市正人： ガイド付き木オートマトンに基づく逆プログラムの自動生成．日本ソフトウェア科学会第26回大会，9月，2009．
松田一孝： 補関数の自動生成に基づくプログラムの双方向化．コンピュータサイエンス研究会講演会，東北大学，7月22日，2009．
松田一孝，胡振江，武市正人： 補関数の生成に基づく森上の変換の双方向化．日本ソフトウェア科学会第25回大会，9月，2008．
Kazutaka Matsuda (joint work with Zhenjiang Hu, Keisuke Nakano, Makoto Hamana and Masato Takeichi): Bidirectionalization Transformation Based on Automatic Derivation of Complement Functions. Tokyo Programming Seminar, Tokyo, Japan, January 22nd, 2008.
Kazutaka Matsuda (joint work with Zhenjiang Hu, Keisuke Nakano, Makoto Hamana and Masato Takeichi): Bidirectionalization Transformation Based on Automatic Derivation of View Complement Functions. The 29th TRS Meeting, Tokyo, Japan, February 28th, 2008.
Kazutaka Matsuda (joint work with Zhenjiang Hu, Keisuke Nakano, Makoto Hamana and Masato Takeichi): Bidirectionalizing Folds (Ongoing Work). The Third DIKU-IST Joint Workshop on Foundations of Software, Roskilde, Denmark, October 5–6, 2007.
松崎幸太郎，松田一孝，胡振江，武市正人： XMLスキーマに基づくビュー更新可能性判定．日本ソフトウェア科学会第24回大会， 9月，2007．
Kazutaka Matsuda: An O’Caml Frontend for 2D Skeletons: Extended Matrix Operations are Useful!. Sketo Workshop, 2006.
松田一孝，西岡真吾，胡振江，武市正人： 階層的分割による並列連想計算．日本ソフトウェア科学会第21回大会，9月，2004．