| Bidirectionalization transformation based on automatic derivation of view complement functions K Matsuda, Z Hu, K Nakano, M Hamana, M Takeichi ACM SIGPLAN Notices 42 (9), 47-58, 2007 | 154 | 2007 |
| Bidirectionalizing graph transformations S Hidaka, Z Hu, K Inaba, H Kato, K Matsuda, K Nakano Proceedings of the 15th ACM SIGPLAN international conference on Functional …, 2010 | 130 | 2010 |
| Three complementary approaches to bidirectional programming N Foster, K Matsuda, J Voigtländer Generic and indexed programming, 1-46, 2012 | 48 | 2012 |
| Combining syntactic and semantic bidirectionalization J Voigtländer, Z Hu, K Matsuda, M Wang ACM Sigplan Notices 45 (9), 181-192, 2010 | 45 | 2010 |
| Functional programs as compressed data N Kobayashi, K Matsuda, A Shinohara, K Yaguchi Higher-Order and Symbolic Computation 25 (1), 39-84, 2012 | 37 | 2012 |
| Applicative bidirectional programming with lenses K Matsuda, M Wang Proceedings of the 20th ACM SIGPLAN International Conference on Functional …, 2015 | 27 | 2015 |
| FliPpr: A prettier invertible printing system K Matsuda, M Wang European Symposium on Programming, 101-120, 2013 | 25 | 2013 |
| A grammar-based approach to invertible programs K Matsuda, SC Mu, Z Hu, M Takeichi European Symposium on Programming, 448-467, 2010 | 24 | 2010 |
| Gradual refinement M Wang, J Gibbons, K Matsuda, Z Hu International Conference on Mathematics of Program Construction, 397-425, 2010 | 23 | 2010 |
| Refactoring pattern matching M Wang, J Gibbons, K Matsuda, Z Hu Science of Computer Programming 78 (11), 2216-2242, 2013 | 19 | 2013 |
| Bidirectionalization for free with runtime recording: or, a light-weight approach to the view-update problem K Matsuda, M Wang Proceedings of the 15th Symposium on Principles and Practice of Declarative …, 2013 | 19 | 2013 |
| Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins J Voigtländer, Z Hu, K Matsuda, M Wang Journal of Functional Programming 23 (5), 515-551, 2013 | 18 | 2013 |
| Hobit: Programming lenses without using lens combinators K Matsuda, M Wang European Symposium on Programming, 31-59, 2018 | 17 | 2018 |
| Marker-directed optimization of uncal graph transformations S Hidaka, Z Hu, K Inaba, H Kato, K Matsuda, K Nakano, I Sasano International Symposium on Logic-Based Program Synthesis and Transformation …, 2011 | 17 | 2011 |
| “Bidirectionalization for free” for monomorphic transformations K Matsuda, M Wang Science of computer programming 111, 79-109, 2015 | 14 | 2015 |
| Polynomial-time inverse computation for accumulative functions with multiple data traversals K Matsuda, K Inaba, K Nakano Higher-Order and Symbolic Computation 25 (1), 3-38, 2012 | 14 | 2012 |
| Pairwise reachability analysis for higher order concurrent programs by higher-order model checking K Yasukata, N Kobayashi, K Matsuda International Conference on Concurrency Theory, 312-326, 2014 | 9 | 2014 |
| Bidirectionalizing programs with duplication through complementary function derivation K Matsuda, Z Hu, K Nakano, M Hamana, M Takeichi Computer Software 26 (2), 56-75, 2009 | 9 | 2009 |
| A web service architecture for bidirectional XML updating Y Hayashi, D Liu, K Emoto, K Matsuda, Z Hu, M Takeichi Advances in Data and Web Management, 721-732, 2007 | 7 | 2007 |
| The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics M Hamana, K Matsuda, K Asada Mathematical Structures in Computer Science 28 (2), 287-337, 2018 | 6 | 2018 |
