Kazutaka Matsuda

According to our database, Kazutaka Matsuda authored at least 32 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Reconciling Partial and Local Invertibility.

Anders Ågren Thuné, Kazutaka Matsuda, Meng Wang

Proceedings of the Programming Languages and Systems, 2024

2023

Embedding by Unembedding.

Kazutaka Matsuda, Samantha Frohlich, Meng Wang, Nicolas Wu

Proc. ACM Program. Lang., August, 2023

2021

Synbit: synthesizing bidirectional programs using unidirectional sketches.

Masaomi Yamaguchi, Kazutaka Matsuda, Cristina David, Meng Wang

Proc. ACM Program. Lang., 2021

2020

Sparcl: a language for partially-invertible computation.

Kazutaka Matsuda, Meng Wang

Proc. ACM Program. Lang., 2020

Modular Inference of Linear Types for Multiplicity-Annotated Arrows.

Kazutaka Matsuda

Proceedings of the Programming Languages and Systems, 2020

2018

FliPpr: A System for Deriving Parsers from Pretty-Printers.

Kazutaka Matsuda, Meng Wang

New Gener. Comput., 2018

The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics.

Makoto Hamana, Kazutaka Matsuda, Kazuyuki Asada

Math. Struct. Comput. Sci., 2018

Applicative bidirectional programming: Mixing lenses and semantic bidirectionalization.

Kazutaka Matsuda, Meng Wang

J. Funct. Program., 2018

Embedding invertible languages with binders: a case of the FliPpr language.

Kazutaka Matsuda, Meng Wang

Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, 2018

HOBiT: Programming Lenses Without Using Lens Combinators.

Kazutaka Matsuda, Meng Wang

Proceedings of the Programming Languages and Systems, 2018

2017

Reverse Execution in Testing – Improving Security and Reliability (NII Shonan Meeting 2017-9).

Michael Kirkedal Thomsen, Kazutaka Matsuda, Mohammad Reza Mousavi

NII Shonan Meet. Rep., 2017

A functional reformulation of UnCAL graph-transformations: or, graph transformation as graph reduction.

Kazutaka Matsuda, Kazuyuki Asada

Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2017

2015

"Bidirectionalization for free" for monomorphic transformations.

Kazutaka Matsuda, Meng Wang

Sci. Comput. Program., 2015

Trace-based Approach to Editability and Correspondence Analysis for Bidirectional Graph Transformations.

Soichiro Hidaka, Martin Billes, Quang Minh Tran, Kazutaka Matsuda

Proceedings of the 4th International Workshop on Bidirectional Transformations co-located with Software Technologies: Applications and Foundations, 2015

Applicative bidirectional programming with lenses.

Kazutaka Matsuda, Meng Wang

Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, 2015

2014

Pairwise Reachability Analysis for Higher Order Concurrent Programs by Higher-Order Model Checking.

Kazuhide Yasukata, Naoki Kobayashi, Kazutaka Matsuda

Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

2013

Refactoring pattern matching.

Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu

Sci. Comput. Program., 2013

Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins.

Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang

J. Funct. Program., 2013

Bidirectionalization for free with runtime recording: or, a light-weight approach to the view-update problem.

Kazutaka Matsuda, Meng Wang

Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013

FliPpr: A Prettier Invertible Printing System.

Kazutaka Matsuda, Meng Wang

Proceedings of the Programming Languages and Systems, 2013

2012

Polynomial-time inverse computation for accumulative functions with multiple data traversals.

Kazutaka Matsuda, Kazuhiro Inaba, Keisuke Nakano

High. Order Symb. Comput., 2012

Functional programs as compressed data.

Naoki Kobayashi, Kazutaka Matsuda, Ayumi Shinohara, Kazuya Yaguchi

High. Order Symb. Comput., 2012

Functional programs as compressed data.

Naoki Kobayashi, Kazutaka Matsuda, Ayumi Shinohara

Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, 2012

2011

Marker-Directed Optimization of UnCAL Graph Transformations.

Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano

Proceedings of the Logic-Based Program Synthesis and Transformation, 2011

2010

Three Complementary Approaches to Bidirectional Programming.

Nate Foster, Kazutaka Matsuda, Janis Voigtländer

Proceedings of the Generic and Indexed Programming - International Spring School, 2010

Gradual Refinement.

Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu

Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010

Combining syntactic and semantic bidirectionalization.

Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang

Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

Bidirectionalizing graph transformations.

Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano

Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

A Grammar-Based Approach to Invertible Programs.

Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi

Proceedings of the Programming Languages and Systems, 2010

2009

Type-based specialization of xml transformations.

Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi

Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2009

2007

A Web Service Architecture for Bidirectional XML Updating.

Yasushi Hayashi, Dongxi Liu, Kento Emoto, Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi

Proceedings of the Advances in Data and Web Management, 2007

Bidirectionalization transformation based on automatic derivation of view complement functions.

Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, Masato Takeichi

Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007