| 2026 | ESOP | Lenses for Partially-Specified States. | Kazutaka Matsuda, Minh Nguyen, Meng Wang |
| 2024 | ESOP | Reconciling Partial and Local Invertibility. | Anders gren Thun, Kazutaka Matsuda, Meng Wang |
| 2020 | ESOP | Modular Inference of Linear Types for Multiplicity-Annotated Arrows. | Kazutaka Matsuda |
| 2018 | ESOP | HOBiT: Programming Lenses Without Using Lens Combinators. | Kazutaka Matsuda, Meng Wang |
| 2018 | HASKELL | Embedding invertible languages with binders: a case of the FliPpr language. | Kazutaka Matsuda, Meng Wang |
| 2017 | PEPM | A functional reformulation of UnCAL graph-transformations: or, graph transformation as graph reduction. | Kazutaka Matsuda, Kazuyuki Asada |
| 2015 | ICFP | Applicative bidirectional programming with lenses. | Kazutaka Matsuda, Meng Wang |
| 2014 | CONCUR | Pairwise Reachability Analysis for Higher Order Concurrent Programs by Higher-Order Model Checking. | Kazuhide Yasukata, Naoki Kobayashi, Kazutaka Matsuda |
| 2013 | ESOP | FliPpr: A Prettier Invertible Printing System. | Kazutaka Matsuda, Meng Wang |
| 2013 | PPDP | Bidirectionalization for free with runtime recording: or, a light-weight approach to the view-update problem. | Kazutaka Matsuda, Meng Wang |
| 2012 | PEPM | Functional programs as compressed data. | Naoki Kobayashi, Kazutaka Matsuda, Ayumi Shinohara |
| 2012 | PEPM | Polynomial-time inverse computation for accumulative functions with multiple data traversals. | Kazutaka Matsuda, Kazuhiro Inaba, Keisuke Nakano |
| 2011 | LOPSTR | Marker-Directed Optimization of UnCAL Graph Transformations. | Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano |
| 2010 | ESOP | A Grammar-Based Approach to Invertible Programs. | Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi |
| 2010 | ICFP | Bidirectionalizing graph transformations. | Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano |
| 2010 | ICFP | Combining syntactic and semantic bidirectionalization. | Janis Voigtlnder, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang |
| 2010 | MPC | Gradual Refinement. | Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu |
| 2009 | PEPM | Type-based specialization of xml transformations. | Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi |
| 2007 | ICFP | Bidirectionalization transformation based on automatic derivation of view complement functions. | Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, Masato Takeichi |