publications:
- title: "A Web Service Architecture for Bidirectional XML Updating"
  author:
  - name: "Yasushi Hayashi"
    link: "https://researchr.org/alias/yasushi-hayashi"
  - name: "Dongxi Liu"
    link: "https://researchr.org/alias/dongxi-liu"
  - name: "Kento Emoto"
    link: "https://researchr.org/alias/kento-emoto"
  - name: "Kazutaka Matsuda"
    link: "http://www.kb.ecei.tohoku.ac.jp/~kztk/"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-72524-4_74"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-72524-4_74"
  tags:
  - "XML"
  - "XML Schema"
  - "web service"
  - "architecture"
  researchr: "https://researchr.org/publication/HayashiLEMHT07"
  cites: 0
  citedby: 0
  pages: "721-732"
  booktitle: "waim"
  kind: "inproceedings"
  key: "HayashiLEMHT07"
- title: "Combining syntactic and semantic bidirectionalization"
  author:
  - name: "Janis Voigtländer"
    link: "http://www.iai.uni-bonn.de/~jv/"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Kazutaka Matsuda"
    link: "http://www.kb.ecei.tohoku.ac.jp/~kztk/"
  - name: "Meng Wang"
    link: "http://www.comlab.ox.ac.uk/people/meng.wang/"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1863543.1863571"
  abstract: "Matsuda et al. [2007, ICFP] and Voigtländer [2009, POPL] introduced two techniques that given a source-to-view function provide an update propagation function mapping an original source and an updated view back to an updated source, subject to standard consistency conditions. Being fundamentally different in approach, both techniques have their respective strengths and weaknesses. Here we develop a synthesis of the two techniques to good effect. On the intersection of their applicability domains we achieve more than what a simple union of applying the techniques side by side delivers."
  links:
    doi: "http://doi.acm.org/10.1145/1863543.1863571"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/VoigtlanderHMW10"
  tags:
  - "source-to-source"
  - "consistency"
  - "systematic-approach"
  - "open-source"
  researchr: "https://researchr.org/publication/VoigtlanderHMW10"
  cites: 0
  citedby: 0
  pages: "181-192"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "VoigtlanderHMW10"
- title: "Bidirectionalizing graph transformations"
  author:
  - name: "Soichiro Hidaka"
    link: "https://researchr.org/alias/soichiro-hidaka"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Kazuhiro Inaba"
    link: "https://researchr.org/alias/kazuhiro-inaba"
  - name: "Hiroyuki Kato"
    link: "https://researchr.org/alias/hiroyuki-kato"
  - name: "Kazutaka Matsuda"
    link: "http://www.kb.ecei.tohoku.ac.jp/~kztk/"
  - name: "Keisuke Nakano"
    link: "https://researchr.org/alias/keisuke-nakano"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1863543.1863573"
  links:
    doi: "http://doi.acm.org/10.1145/1863543.1863573"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfp/HidakaHIKMN10"
  tags:
  - "graph transformation"
  - "graph-rewriting"
  - "rewriting"
  - "transformation"
  researchr: "https://researchr.org/publication/HidakaHIKMN10"
  cites: 0
  citedby: 0
  pages: "205-216"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "HidakaHIKMN10"
- title: "Three Complementary Approaches to Bidirectional Programming"
  author:
  - name: "J. Nathan Foster"
    link: "http://www.cs.princeton.edu/~jnfoster/"
  - name: "Kazutaka Matsuda"
    link: "http://www.kb.ecei.tohoku.ac.jp/~kztk/"
  - name: "Janis Voigtländer"
    link: "http://www.iai.uni-bonn.de/~jv/"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-32202-0_1"
  abstract: "This paper surveys three distinct approaches to bidirectional programming. The first approach, syntactic bidirectionalization, takes a program describing the forward transformation as input and calculates a well-behaved reverse transformation. The second approach, semantic bidirectionalization, is similar, but takes the forward transformation itself as input rather than a program describing it. It requires the transformation to be a polymorphic function and uses parametricity and free theorems in the proof of well-behavedness. The third approach, based on bidirectional combinators, focuses on the use of types to ensure well-behavedness and special constructs for dealing with alignment problems. In presenting these approaches, we pay particular attention to use of complements, which are structures that represent the information discarded by the transformation in the forward direction. "
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-32202-0_1"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ssgip/FosterMV10"
  researchr: "https://researchr.org/publication/FosterMV10"
  cites: 0
  citedby: 0
  pages: "1-46"
  booktitle: "ssgip"
  kind: "inproceedings"
  key: "FosterMV10"
- title: "Type-based specialization of xml transformations"
  author:
  - name: "Kazutaka Matsuda"
    link: "http://www.kb.ecei.tohoku.ac.jp/~kztk/"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1480945.1480955"
  links:
    doi: "http://doi.acm.org/10.1145/1480945.1480955"
  tags:
  - "rule-based"
  - "XML"
  - "XML Schema"
  - "transformation"
  researchr: "https://researchr.org/publication/MatsudaHT09"
  cites: 0
  citedby: 0
  pages: "61-72"
  booktitle: "PEPM"
  kind: "inproceedings"
  key: "MatsudaHT09"
- title: "Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins"
  author:
  - name: "Janis Voigtländer"
    link: "http://www.iai.uni-bonn.de/~jv/"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Kazutaka Matsuda"
    link: "http://www.kb.ecei.tohoku.ac.jp/~kztk/"
  - name: "Meng Wang"
    link: "http://www.comlab.ox.ac.uk/people/meng.wang/"
  year: "2013"
  doi: "http://dx.doi.org/10.1017/S0956796813000130"
  abstract: "Matsuda et al. (ICFP 2007) and Voigtländer (POPL 2009) have introduced two techniques that given a source-to-view function provide an update propagation function mapping an original source and an updated view back to an updated source, subject to standard consistency conditions. Previously, we developed a synthesis of the two techniques, based on a separation of shape and content aspects (Voigtländer et al., ICFP 2010). Here, we carry that idea further, reworking the technique of Voigtländer such that any shape bidirectionalizer (based on the work of Matsuda et al. or not) can be used as a plug-in, to good effect. We also provide a data-type-generic account, enabling wider reuse, including the use of pluggable bidirectionalization itself as a plug-in. "
  links:
    doi: "http://dx.doi.org/10.1017/S0956796813000130"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jfp/VoigtlanderHMW13"
  researchr: "https://researchr.org/publication/VoigtlanderHMW13"
  cites: 0
  citedby: 0
  journal: "JFP"
  volume: "23"
  number: "5"
  pages: "515-551"
  kind: "article"
  key: "VoigtlanderHMW13"
- title: "Bidirectionalization transformation based on automatic derivation of view complement functions"
  author:
  - name: "Kazutaka Matsuda"
    link: "http://www.kb.ecei.tohoku.ac.jp/~kztk/"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Keisuke Nakano"
    link: "https://researchr.org/alias/keisuke-nakano"
  - name: "Makoto Hamana"
    link: "https://researchr.org/alias/makoto-hamana"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1291151.1291162"
  links:
    doi: "http://doi.acm.org/10.1145/1291151.1291162"
  tags:
  - "rule-based"
  - "transformation"
  researchr: "https://researchr.org/publication/MatsudaHNHT07"
  cites: 0
  citedby: 0
  pages: "47-58"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "MatsudaHNHT07"
- title: "A Grammar-Based Approach to Invertible Programs"
  author:
  - name: "Kazutaka Matsuda"
    link: "http://www.kb.ecei.tohoku.ac.jp/~kztk/"
  - name: "Shin-Cheng Mu"
    link: "https://researchr.org/alias/shin-cheng-mu"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-11957-6_24"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-11957-6_24"
  tags:
  - "rule-based"
  - "systematic-approach"
  - "grammar"
  researchr: "https://researchr.org/publication/MatsudaMHT10"
  cites: 0
  citedby: 0
  pages: "448-467"
  booktitle: "ESOP"
  kind: "inproceedings"
  key: "MatsudaMHT10"
- title: "Gradual Refinement"
  author:
  - name: "Meng Wang"
    link: "http://www.comlab.ox.ac.uk/people/meng.wang/"
  - name: "Jeremy Gibbons"
    link: "http://www.comlab.ox.ac.uk/jeremy.gibbons/"
  - name: "Kazutaka Matsuda"
    link: "http://www.kb.ecei.tohoku.ac.jp/~kztk/"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-13321-3_22"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-13321-3_22"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/mpc/WangGMH10"
  tags:
  - "refinement"
  researchr: "https://researchr.org/publication/WangGMH10"
  cites: 0
  citedby: 0
  pages: "397-425"
  booktitle: "mpc"
  kind: "inproceedings"
  key: "WangGMH10"