Check also: [DBLP] [Google
Scholar] [Research
Map]
Journals
- Masaomi Yamaguchi, Kazutaka Matsuda, Cristina David, and Meng Wang:
Synbit:
Synthesizing Bidirectional Programs using Unidirectional
Sketches, Formal Methods in System Design (2024). (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)
- Anders Ågren Thuné, Kazutaka Matsuda, Meng Wang: Reconciling
Partial and Local Invertibility, ESOP 2024: 33rd European Symposium
on Programming, Accepted. 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).
- 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). 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). 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. 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.
- 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. 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.
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
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.
Posters
- 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
- 松田 一孝：
「正しい」プログラムの作り方：バグがないことを数学的に保証する
東北大学工学部電気情報物理工学科オープンキャンパス公開講座，7月，2022．
講演動画
- Masaomi Yamaguchi, Kazutaka Matsuda, Cristina David, and Meng Wang:
Synbit: Synthesizing Bidirectional Programs using Unidirectional
Sketches,
プログラミングおよびプログラミング言語ワークショップ，3月，2022．
- Kazutaka Matsuda and Meng Wang: Sparcl: A Language for
Partially-Invertible Computation，
プログラミングおよびプログラミング言語ワークショップ，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.
- 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．