Kazutaka Matsuda

40 papers A 8B 2C 6Journal 18Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
Lenses for Partially-Specified States (Extended Version).
CoRR
Kazutaka Matsuda, Minh Nguyen, Meng Wang
2026 — conf
Lenses for Partially-Specified States.
ESOP (2)
Kazutaka Matsuda, Minh Nguyen, Meng Wang
2024 — conf
Reconciling Partial and Local Invertibility.
ESOP (2)
Anders Ågren Thuné, Kazutaka Matsuda, Meng Wang
2024 J jnl
Sparcl: A language for partially invertible computation.
J. Funct. Program.
Kazutaka Matsuda, Meng Wang
2023 J jnl
Embedding by Unembedding.
Proc. ACM Program. Lang.
Kazutaka Matsuda, Samantha Frohlich, Meng Wang, Nicolas Wu
2022 J jnl
Synbit: synthesizing bidirectional programs using unidirectional sketches.
Formal Methods Syst. Des.
Masaomi Yamaguchi, Kazutaka Matsuda, Cristina David, Meng Wang
2021 J jnl
Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches.
CoRR
Masaomi Yamaguchi, Kazutaka Matsuda, Cristina David, Meng Wang
2021 J jnl
Synbit: synthesizing bidirectional programs using unidirectional sketches.
Proc. ACM Program. Lang.
Masaomi Yamaguchi, Kazutaka Matsuda, Cristina David, Meng Wang
2020 A conf
Modular Inference of Linear Types for Multiplicity-Annotated Arrows.
ESOP
Kazutaka Matsuda
2020 J jnl
Sparcl: a language for partially-invertible computation.
Proc. ACM Program. Lang.
Kazutaka Matsuda, Meng Wang
2019 J jnl
A Modular Inference of Linear Types for Multiplicity-Annotated Arrows.
CoRR
Kazutaka Matsuda
2018 J jnl
Applicative bidirectional programming: Mixing lenses and semantic bidirectionalization.
J. Funct. Program.
Kazutaka Matsuda, Meng Wang
2018 — conf
Embedding invertible languages with binders: a case of the FliPpr language.
Haskell@ICFP
Kazutaka Matsuda, Meng Wang
2018 J jnl
FliPpr: A System for Deriving Parsers from Pretty-Printers.
New Gener. Comput.
Kazutaka Matsuda, Meng Wang
2018 A conf
HOBiT: Programming Lenses Without Using Lens Combinators.
ESOP
Kazutaka Matsuda, Meng Wang
2018 J jnl
The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics.
Math. Struct. Comput. Sci.
Makoto Hamana, Kazutaka Matsuda, Kazuyuki Asada
2017 C conf
A functional reformulation of UnCAL graph-transformations: or, graph transformation as graph reduction.
PEPM
Kazutaka Matsuda, Kazuyuki Asada
2017 J jnl
Reverse Execution in Testing – Improving Security and Reliability (NII Shonan Meeting 2017-9).
NII Shonan Meet. Rep.
Michael Kirkedal Thomsen, Kazutaka Matsuda, Mohammad Reza Mousavi
2015 J jnl
"Bidirectionalization for free" for monomorphic transformations.
Sci. Comput. Program.
Kazutaka Matsuda, Meng Wang
2015 A conf
Applicative bidirectional programming with lenses.
ICFP
Kazutaka Matsuda, Meng Wang
2015 J jnl
The Algebra of Recursive Graph Transformation Language UnCAL: Complete Axiomatisation and Iteration Categorical Semantics.
CoRR
Makoto Hamana, Kazutaka Matsuda, Kazuyuki Asada
2015 — conf
Trace-based Approach to Editability and Correspondence Analysis for Bidirectional Graph Transformations.
Bx@STAF
Soichiro Hidaka, Martin Billes, Quang Minh Tran, Kazutaka Matsuda
2014 B conf
Pairwise Reachability Analysis for Higher Order Concurrent Programs by Higher-Order Model Checking.
CONCUR
Kazuhide Yasukata, Naoki Kobayashi, Kazutaka Matsuda
2013 C conf
Bidirectionalization for free with runtime recording: or, a light-weight approach to the view-update problem.
PPDP
Kazutaka Matsuda, Meng Wang
2013 J jnl
Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins.
J. Funct. Program.
Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang
2013 A conf
FliPpr: A Prettier Invertible Printing System.
ESOP
Kazutaka Matsuda, Meng Wang
2013 J jnl
Refactoring pattern matching.
Sci. Comput. Program.
Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu
2012 C conf
Functional programs as compressed data.
PEPM
Naoki Kobayashi, Kazutaka Matsuda, Ayumi Shinohara
2012 J jnl
Functional programs as compressed data.
High. Order Symb. Comput.
Naoki Kobayashi, Kazutaka Matsuda, Ayumi Shinohara, Kazuya Yaguchi
2012 C conf
Polynomial-time inverse computation for accumulative functions with multiple data traversals.
PEPM
Kazutaka Matsuda, Kazuhiro Inaba, Keisuke Nakano
2012 J jnl
Polynomial-time inverse computation for accumulative functions with multiple data traversals.
High. Order Symb. Comput.
Kazutaka Matsuda, Kazuhiro Inaba, Keisuke Nakano
2011 C conf
Marker-Directed Optimization of UnCAL Graph Transformations.
LOPSTR
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano
2010 A conf
A Grammar-Based Approach to Invertible Programs.
ESOP
Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
2010 A conf
Bidirectionalizing graph transformations.
ICFP
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano
2010 A conf
Combining syntactic and semantic bidirectionalization.
ICFP
Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang
2010 B conf
Gradual Refinement.
MPC
Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu
2010 — conf
Three Complementary Approaches to Bidirectional Programming.
SSGIP
Nate Foster, Kazutaka Matsuda, Janis Voigtländer
2009 C conf
Type-based specialization of xml transformations.
PEPM
Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi
2007 — conf
A Web Service Architecture for Bidirectional XML Updating.
APWeb/WAIM
Yasushi Hayashi, Dongxi Liu, Kento Emoto, Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi
2007 A conf
Bidirectionalization transformation based on automatic derivation of view complement functions.
ICFP
Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, Masato Takeichi