publications:
- title: "An Injective Language for Reversible Computation"
  author:
  - 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: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3125&spage=289"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3125&spage=289"
  researchr: "https://researchr.org/publication/MuHT04%3A0"
  cites: 0
  citedby: 0
  pages: "289-313"
  booktitle: "mpc"
  kind: "inproceedings"
  key: "MuHT04:0"
- title: "A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models"
  author:
  - name: "Bo Wang"
    link: "https://researchr.org/alias/bo-wang"
  - name: "Yingfei Xiong"
    link: "https://researchr.org/alias/yingfei-xiong"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Haiyan Zhao"
    link: "https://researchr.org/alias/haiyan-zhao"
  - name: "Wei Zhang"
    link: "https://researchr.org/alias/wei-zhang"
  - name: "Hong Mei"
    link: "https://researchr.org/alias/hong-mei"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-16145-2_13"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-16145-2_13"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/models/WangXHZZM10"
  tags:
  - "rule-based"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/WangXHZZM10"
  cites: 0
  citedby: 0
  pages: "181-195"
  booktitle: "MoDELS"
  kind: "inproceedings"
  key: "WangXHZZM10"
- title: "Supporting Parallel Updates with Bidirectional Model Transformations"
  author:
  - name: "Yingfei Xiong"
    link: "https://researchr.org/alias/yingfei-xiong"
  - name: "Hui Song"
    link: "https://researchr.org/alias/hui-song"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-02408-5_15"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-02408-5_15"
  tags:
  - "model-to-model transformation"
  - "bidirectional model transformations"
  - "bidirectional transformation"
  - "bidirectional model transformation"
  - "meta-model"
  - "source-to-source"
  - "model transformation"
  - "Meta-Environment"
  - "transformation"
  researchr: "https://researchr.org/publication/XiongSHT09"
  cites: 0
  citedby: 0
  pages: "213-228"
  booktitle: "ICMT"
  kind: "inproceedings"
  key: "XiongSHT09"
- title: "A Compositional Framework for Developing Parallel Programs on Two-Dimensional Arrays"
  author:
  - name: "Kento Emoto"
    link: "https://researchr.org/alias/kento-emoto"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Kazuhiko Kakehi"
    link: "https://researchr.org/alias/kazuhiko-kakehi"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/s10766-007-0043-4"
  links:
    doi: "http://dx.doi.org/10.1007/s10766-007-0043-4"
  tags:
  - "composition"
  - "parallel programming"
  researchr: "https://researchr.org/publication/EmotoHKT07"
  cites: 0
  citedby: 0
  journal: "ijpp"
  volume: "35"
  number: "6"
  pages: "615-658"
  kind: "article"
  key: "EmotoHKT07"
- title: "Consistent Web site updating based on bidirectional transformation"
  author:
  - name: "Keisuke Nakano"
    link: "https://researchr.org/alias/keisuke-nakano"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/s10009-009-0124-3"
  links:
    doi: "http://dx.doi.org/10.1007/s10009-009-0124-3"
  tags:
  - "rule-based"
  - "bidirectional transformation"
  - "transformation"
  researchr: "https://researchr.org/publication/NakanoHT09"
  cites: 0
  citedby: 0
  journal: "STTT"
  volume: "11"
  number: "6"
  pages: "453-468"
  kind: "article"
  key: "NakanoHT09"
- title: "Supporting automatic model inconsistency fixing"
  author:
  - name: "Yingfei Xiong"
    link: "https://researchr.org/alias/yingfei-xiong"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Haiyan Zhao"
    link: "https://researchr.org/alias/haiyan-zhao"
  - name: "Hui Song"
    link: "https://researchr.org/alias/hui-song"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  - name: "Hong Mei"
    link: "https://researchr.org/alias/hong-mei"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1595696.1595757"
  links:
    doi: "http://doi.acm.org/10.1145/1595696.1595757"
  tags:
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/XiongHZSTM09"
  cites: 0
  citedby: 0
  pages: "315-324"
  booktitle: "FSE"
  kind: "inproceedings"
  key: "XiongHZSTM09"
- title: "Tupling Calculation Eliminates Multiple Data Traversals"
  author:
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Hideya Iwasaki"
    link: "https://researchr.org/alias/hideya-iwasaki"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  - name: "Akihiko Takano"
    link: "https://researchr.org/alias/akihiko-takano"
  year: "1997"
  tags:
  - "traversal"
  - "data-flow"
  researchr: "https://researchr.org/publication/HuITT97"
  cites: 0
  citedby: 0
  pages: "164-175"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "HuITT97"
- title: "Program Transformation in Calculational Form"
  author:
  - name: "Akihiko Takano"
    link: "https://researchr.org/alias/akihiko-takano"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "1998"
  doi: "http://doi.acm.org/10.1145/289121.289128"
  links:
    doi: "http://doi.acm.org/10.1145/289121.289128"
  tags:
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/TakanoHT98"
  cites: 0
  citedby: 0
  journal: "ACM Comput. Surv."
  volume: "30"
  number: "3es"
  pages: "7"
  kind: "article"
  key: "TakanoHT98"
- title: "Program Optimizations and Transformations in Calculation Form"
  author:
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Tetsuo Yokoyama"
    link: "https://researchr.org/alias/tetsuo-yokoyama"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11877028_5"
  links:
    doi: "http://dx.doi.org/10.1007/11877028_5"
  tags:
  - "optimization"
  - "program optimization"
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/HuYT06"
  cites: 0
  citedby: 0
  pages: "144-168"
  booktitle: "GTTSE"
  kind: "inproceedings"
  key: "HuYT06"
- title: "Parallelization via Context Preservation"
  author:
  - name: "Wei-Ngan Chin"
    link: "https://researchr.org/alias/wei-ngan-chin"
  - name: "Akihiko Takano"
    link: "https://researchr.org/alias/akihiko-takano"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  year: "1998"
  doi: "http://computer.org/proceedings/iccl/8454/84540153abs.htm"
  links:
    doi: "http://computer.org/proceedings/iccl/8454/84540153abs.htm"
  tags:
  - "context-aware"
  researchr: "https://researchr.org/publication/ChinTH98"
  cites: 0
  citedby: 0
  pages: "153"
  booktitle: "iccl"
  kind: "inproceedings"
  key: "ChinTH98"
- 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: "An Algebraic Approach to Bi-directional Updating"
  author:
  - 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: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3302&spage=2"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3302&spage=2"
  tags:
  - " algebra"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/MuHT04"
  cites: 0
  citedby: 0
  pages: "2-20"
  booktitle: "aplas"
  kind: "inproceedings"
  key: "MuHT04"
- title: "Systematic Derivation of Tree Contraction Algorithms"
  author:
  - name: "Kiminori Matsuzaki"
    link: "https://researchr.org/alias/kiminori-matsuzaki"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Kazuhiko Kakehi"
    link: "https://researchr.org/alias/kazuhiko-kakehi"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2005"
  doi: "http://dx.doi.org/10.1142/S0129626405002246"
  links:
    doi: "http://dx.doi.org/10.1142/S0129626405002246"
  tags:
  - "systematic-approach"
  researchr: "https://researchr.org/publication/MatsuzakiHKT05"
  cites: 0
  citedby: 0
  journal: "ppl"
  volume: "15"
  number: "3"
  pages: "321-336"
  kind: "article"
  key: "MatsuzakiHKT05"
- 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: "Towards a Modular Program Derivation via Fusion and Tupling"
  author:
  - name: "Wei-Ngan Chin"
    link: "https://researchr.org/alias/wei-ngan-chin"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2487/24870140.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2487/24870140.htm"
  researchr: "https://researchr.org/publication/ChinH02"
  cites: 0
  citedby: 0
  pages: "140-155"
  booktitle: "GPCE"
  kind: "inproceedings"
  key: "ChinH02"
- title: "An Accumulative Parallel Skeleton for All"
  author:
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Hideya Iwasaki"
    link: "https://researchr.org/alias/hideya-iwasaki"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2305/23050083.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2305/23050083.htm"
  researchr: "https://researchr.org/publication/HuIT02%3A0"
  cites: 0
  citedby: 0
  pages: "83-97"
  booktitle: "ESOP"
  kind: "inproceedings"
  key: "HuIT02:0"
- 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: "Towards a compositional approach to model transformation for software development"
  author:
  - name: "Soichiro Hidaka"
    link: "https://researchr.org/alias/soichiro-hidaka"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Hiroyuki Kato"
    link: "https://researchr.org/alias/hiroyuki-kato"
  - name: "Keisuke Nakano"
    link: "https://researchr.org/alias/keisuke-nakano"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1529282.1529383"
  links:
    doi: "http://doi.acm.org/10.1145/1529282.1529383"
  tags:
  - "model-to-model transformation"
  - "meta-model"
  - "composition"
  - "model-driven development"
  - "source-to-source"
  - "model transformation"
  - "Meta-Environment"
  - "systematic-approach"
  - "transformation"
  researchr: "https://researchr.org/publication/HidakaHKN09%3A0"
  cites: 0
  citedby: 0
  pages: "468-475"
  booktitle: "SAC"
  kind: "inproceedings"
  key: "HidakaHKN09:0"
- title: "Cheap Tupling in Calculational Form"
  author:
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Hideya Iwasaki"
    link: "https://researchr.org/alias/hideya-iwasaki"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "1996"
  researchr: "https://researchr.org/publication/HuIT96%3A2"
  cites: 0
  citedby: 0
  pages: "471-472"
  booktitle: "plilp"
  kind: "inproceedings"
  key: "HuIT96:2"
- title: "A programmable editor for developing structured documents based on bidirectional transformations"
  author:
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Shin-Cheng Mu"
    link: "https://researchr.org/alias/shin-cheng-mu"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/1014007.1014025"
  links:
    doi: "http://doi.acm.org/10.1145/1014007.1014025"
  tags:
  - "rule-based"
  - "bidirectional transformation"
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/HuMT04"
  cites: 0
  citedby: 0
  pages: "178-189"
  booktitle: "PEPM"
  kind: "inproceedings"
  key: "HuMT04"
- title: "Calculating an Optimal Homomorphic Algorithm for Bracket Matching"
  author:
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "1999"
  doi: "http://dx.doi.org/10.1142/S0129626499000311"
  links:
    doi: "http://dx.doi.org/10.1142/S0129626499000311"
  researchr: "https://researchr.org/publication/HuT99"
  cites: 0
  citedby: 0
  journal: "ppl"
  volume: "9"
  number: "3"
  pages: "335-345"
  kind: "article"
  key: "HuT99"
- title: "Formal Derivation of Efficient Parallel Programs by Construction of List Homomorphisms"
  author:
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Hideya Iwasaki"
    link: "https://researchr.org/alias/hideya-iwasaki"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "1997"
  doi: "http://doi.acm.org/10.1145/256167.256201"
  links:
    doi: "http://doi.acm.org/10.1145/256167.256201"
  tags:
  - "parallel programming"
  researchr: "https://researchr.org/publication/HuIT97"
  cites: 0
  citedby: 0
  journal: "TOPLAS"
  volume: "19"
  number: "3"
  pages: "444-461"
  kind: "article"
  key: "HuIT97"
- title: "A compositional approach to bidirectional model transformation"
  author:
  - name: "Soichiro Hidaka"
    link: "https://researchr.org/alias/soichiro-hidaka"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Hiroyuki Kato"
    link: "https://researchr.org/alias/hiroyuki-kato"
  - name: "Keisuke Nakano"
    link: "https://researchr.org/alias/keisuke-nakano"
  year: "2009"
  doi: "http://dx.doi.org/10.1109/ICSE-COMPANION.2009.5070990"
  links:
    doi: "http://dx.doi.org/10.1109/ICSE-COMPANION.2009.5070990"
  tags:
  - "model-to-model transformation"
  - "bidirectional model transformations"
  - "bidirectional transformation"
  - "bidirectional model transformation"
  - "meta-model"
  - "composition"
  - "source-to-source"
  - "model transformation"
  - "Meta-Environment"
  - "systematic-approach"
  - "transformation"
  researchr: "https://researchr.org/publication/HidakaHKN09"
  cites: 0
  citedby: 0
  pages: "235-238"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "HidakaHKN09"
- title: "Deriving Structural Hylomorphisms From Recursive Definitions"
  author:
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Hideya Iwasaki"
    link: "https://researchr.org/alias/hideya-iwasaki"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "1996"
  researchr: "https://researchr.org/publication/HuIT96%3A1"
  cites: 0
  citedby: 0
  pages: "73-82"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "HuIT96:1"
- 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"
- title: "Bidirectional interpretation of XQuery"
  author:
  - name: "Dongxi Liu"
    link: "https://researchr.org/alias/dongxi-liu"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1244381.1244386"
  links:
    doi: "http://doi.acm.org/10.1145/1244381.1244386"
  tags:
  - "XQuery"
  researchr: "https://researchr.org/publication/LiuHT07"
  cites: 0
  citedby: 0
  pages: "21-30"
  booktitle: "PEPM"
  kind: "inproceedings"
  key: "LiuHT07"
- title: "Yicho - A System for Programming Program Calculations"
  author:
  - name: "Tetsuo Yokoyama"
    link: "https://researchr.org/alias/tetsuo-yokoyama"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2002"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/YokoyamaHT02"
  cites: 0
  citedby: 0
  pages: "366-382"
  booktitle: "aplas"
  kind: "inproceedings"
  key: "YokoyamaHT02"
- title: "Towards Manipulation of Mutually Recursive Functions"
  author:
  - name: "Hideya Iwasaki"
    link: "https://researchr.org/alias/hideya-iwasaki"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "1998"
  researchr: "https://researchr.org/publication/IwasakiHT98"
  cites: 0
  citedby: 0
  pages: "61-79"
  booktitle: "FLOPS"
  kind: "inproceedings"
  key: "IwasakiHT98"
- title: "Generators-of-Generators Library with Optimization Capabilities in Fortress"
  author:
  - name: "Kento Emoto"
    link: "https://researchr.org/alias/kento-emoto"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Kazuhiko Kakehi"
    link: "https://researchr.org/alias/kazuhiko-kakehi"
  - name: "Kiminori Matsuzaki"
    link: "https://researchr.org/alias/kiminori-matsuzaki"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-15291-7_4"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-15291-7_4"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/europar/EmotoHKMT10"
  tags:
  - "optimization"
  researchr: "https://researchr.org/publication/EmotoHKMT10"
  cites: 0
  citedby: 0
  pages: "26-37"
  booktitle: "europar"
  kind: "inproceedings"
  key: "EmotoHKMT10"
- title: "A programmable editor for developing structured documents based on bidirectional transformations"
  author:
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Shin-Cheng Mu"
    link: "https://researchr.org/alias/shin-cheng-mu"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/s10990-008-9025-5"
  links:
    doi: "http://dx.doi.org/10.1007/s10990-008-9025-5"
  tags:
  - "rule-based"
  - "bidirectional transformation"
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/HuMT08"
  cites: 0
  citedby: 0
  journal: "lisp"
  volume: "21"
  number: "1-2"
  pages: "89-118"
  kind: "article"
  key: "HuMT08"
- title: "Deterministic second-order patterns"
  author:
  - name: "Tetsuo Yokoyama"
    link: "https://researchr.org/alias/tetsuo-yokoyama"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2004"
  doi: "http://dx.doi.org/10.1016/j.ipl.2003.12.008"
  links:
    doi: "http://dx.doi.org/10.1016/j.ipl.2003.12.008"
  researchr: "https://researchr.org/publication/YokoyamaHT04"
  cites: 0
  citedby: 0
  journal: "ipl"
  volume: "89"
  number: "6"
  pages: "309-314"
  kind: "article"
  key: "YokoyamaHT04"
- title: "Context-Preserving XQuery Fusion"
  author:
  - name: "Hiroyuki Kato"
    link: "https://researchr.org/alias/hiroyuki-kato"
  - name: "Soichiro Hidaka"
    link: "https://researchr.org/alias/soichiro-hidaka"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Keisuke Nakano"
    link: "https://researchr.org/alias/keisuke-nakano"
  - name: "Yasunori Ishihara"
    link: "https://researchr.org/alias/yasunori-ishihara"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-17164-2_18"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-17164-2_18"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/aplas/KatoHHNI10"
  tags:
  - "XQuery"
  - "context-aware"
  researchr: "https://researchr.org/publication/KatoHHNI10"
  cites: 0
  citedby: 0
  pages: "255-270"
  booktitle: "aplas"
  kind: "inproceedings"
  key: "KatoHHNI10"
- title: "Diffusion: Calculating Efficient Parallel Programs"
  author:
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  - name: "Hideya Iwasaki"
    link: "https://researchr.org/alias/hideya-iwasaki"
  year: "1999"
  tags:
  - "parallel programming"
  - "programming"
  researchr: "https://researchr.org/publication/HuTI99"
  cites: 0
  citedby: 0
  pages: "85-94"
  booktitle: "PEPM"
  kind: "inproceedings"
  key: "HuTI99"
- title: "A Dynamic-Priority based Approach to Fixing Inconsistent Feature Models"
  author:
  - name: "Wang"
    link: "https://researchr.org/alias/wang"
  - name: "Xiong"
    link: "https://researchr.org/alias/xiong"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Zhao"
    link: "https://researchr.org/alias/zhao"
  - name: "Zhang"
    link: "https://researchr.org/alias/zhang"
  - name: "Mei"
    link: "https://researchr.org/alias/mei"
  year: "2010"
  tags:
  - "rule-based"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/Wang%3AMoDELS%3A2010"
  cites: 0
  citedby: 0
  booktitle: "MoDELS"
  kind: "inproceedings"
  key: "Wang:MoDELS:2010"
- title: "Generation of Efficient Programs for Solving Maximum Multi-marking Problems"
  author:
  - name: "Isao Sasano"
    link: "https://researchr.org/alias/isao-sasano"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2196/21960072.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2196/21960072.htm"
  researchr: "https://researchr.org/publication/SasanoHT01"
  cites: 0
  citedby: 0
  pages: "72-91"
  booktitle: "saig"
  kind: "inproceedings"
  key: "SasanoHT01"
- title: "Automatic inversion generates divide-and-conquer parallel programs"
  author:
  - name: "Kazutaka Morita"
    link: "https://researchr.org/alias/kazutaka-morita"
  - name: "Akimasa Morihata"
    link: "https://researchr.org/alias/akimasa-morihata"
  - name: "Kiminori Matsuzaki"
    link: "https://researchr.org/alias/kiminori-matsuzaki"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1250734.1250752"
  links:
    doi: "http://doi.acm.org/10.1145/1250734.1250752"
  tags:
  - "parallel programming"
  - "programming"
  researchr: "https://researchr.org/publication/MoritaMMHT07"
  cites: 0
  citedby: 0
  pages: "146-155"
  booktitle: "PLDI"
  kind: "inproceedings"
  key: "MoritaMMHT07"
- title: "A library of constructive skeletons for sequential style of parallel programming"
  author:
  - name: "Kiminori Matsuzaki"
    link: "https://researchr.org/alias/kiminori-matsuzaki"
  - name: "Hideya Iwasaki"
    link: "https://researchr.org/alias/hideya-iwasaki"
  - name: "Kento Emoto"
    link: "https://researchr.org/alias/kento-emoto"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1146847.1146860"
  links:
    doi: "http://doi.acm.org/10.1145/1146847.1146860"
  tags:
  - "parallel programming"
  - "programming"
  researchr: "https://researchr.org/publication/MatsuzakiIEH06"
  cites: 0
  citedby: 0
  pages: "13"
  booktitle: "infoscale"
  kind: "inproceedings"
  key: "MatsuzakiIEH06"
- title: "Generating Synchronization Engines between Running Systems and Their Model-Based Views"
  author:
  - name: "Hui Song"
    link: "https://researchr.org/alias/hui-song"
  - name: "Yingfei Xiong"
    link: "https://researchr.org/alias/yingfei-xiong"
  - name: "Franck Chauvel"
    link: "https://researchr.org/alias/franck-chauvel"
  - name: "Gang Huang"
    link: "https://researchr.org/alias/gang-huang"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Hong Mei"
    link: "https://researchr.org/alias/hong-mei"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-12261-3_14"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-12261-3_14"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/models/SongXCHHM09"
  tags:
  - "rule-based"
  - "synchronization"
  researchr: "https://researchr.org/publication/SongXCHHM09"
  cites: 0
  citedby: 0
  pages: "140-154"
  booktitle: "MoDELS"
  kind: "inproceedings"
  key: "SongXCHHM09"
- title: "Maximum Marking Problems with Accumulative Weight Functions"
  author:
  - name: "Isao Sasano"
    link: "https://researchr.org/alias/isao-sasano"
  - name: "Mizuhito Ogawa"
    link: "https://researchr.org/alias/mizuhito-ogawa"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11560647_37"
  links:
    doi: "http://dx.doi.org/10.1007/11560647_37"
  researchr: "https://researchr.org/publication/SasanoOH05"
  cites: 0
  citedby: 0
  pages: "562-578"
  booktitle: "ictac"
  kind: "inproceedings"
  key: "SasanoOH05"
- title: "Implementation of Parallel Tree Skeletons on Distributed Systems"
  author:
  - name: "Kiminori Matsuzaki"
    link: "https://researchr.org/alias/kiminori-matsuzaki"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2002"
  researchr: "https://researchr.org/publication/MatsuzakiHT02"
  cites: 0
  citedby: 0
  pages: "258-271"
  booktitle: "aplas"
  kind: "inproceedings"
  key: "MatsuzakiHT02"
- title: "Towards automatic parallelization of tree reductions in dynamic programming"
  author:
  - name: "Kiminori Matsuzaki"
    link: "https://researchr.org/alias/kiminori-matsuzaki"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1148109.1148116"
  links:
    doi: "http://doi.acm.org/10.1145/1148109.1148116"
  tags:
  - "parallel programming"
  - "programming"
  researchr: "https://researchr.org/publication/MatsuzakiHT06"
  cites: 0
  citedby: 0
  pages: "39-48"
  booktitle: "spaa"
  kind: "inproceedings"
  key: "MatsuzakiHT06"
- title: "Construction of List Homomorphisms by Tupling and Fusion"
  author:
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Hideya Iwasaki"
    link: "https://researchr.org/alias/hideya-iwasaki"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "1996"
  researchr: "https://researchr.org/publication/HuIT96"
  cites: 0
  citedby: 0
  pages: "407-418"
  booktitle: "mfcs"
  kind: "inproceedings"
  key: "HuIT96"
- title: "A Fusion-Embedded Skeleton Library"
  author:
  - name: "Kiminori Matsuzaki"
    link: "https://researchr.org/alias/kiminori-matsuzaki"
  - name: "Kazuhiko Kakehi"
    link: "https://researchr.org/alias/kazuhiko-kakehi"
  - name: "Hideya Iwasaki"
    link: "https://researchr.org/alias/hideya-iwasaki"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Yoshiki Akashi"
    link: "https://researchr.org/alias/yoshiki-akashi"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3149&spage=644"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3149&spage=644"
  researchr: "https://researchr.org/publication/MatsuzakiKIHA04"
  cites: 0
  citedby: 0
  pages: "644-653"
  booktitle: "europar"
  kind: "inproceedings"
  key: "MatsuzakiKIHA04"
- title: "The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer"
  author:
  - name: "Akimasa Morihata"
    link: "https://researchr.org/alias/akimasa-morihata"
  - name: "Kiminori Matsuzaki"
    link: "https://researchr.org/alias/kiminori-matsuzaki"
  - 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/1480881.1480905"
  links:
    doi: "http://doi.acm.org/10.1145/1480881.1480905"
  researchr: "https://researchr.org/publication/MorihataMHT09"
  cites: 0
  citedby: 0
  pages: "177-185"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "MorihataMHT09"
- title: "Parallelization with Tree Skeletons"
  author:
  - name: "Kiminori Matsuzaki"
    link: "https://researchr.org/alias/kiminori-matsuzaki"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2003"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2790&spage=789"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2790&spage=789"
  researchr: "https://researchr.org/publication/MatsuzakiHT03"
  cites: 0
  citedby: 0
  pages: "789-798"
  booktitle: "europar"
  kind: "inproceedings"
  key: "MatsuzakiHT03"
- 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: "List Homomorphism with Accumulation"
  author:
  - name: "Kazuhiko Kakehi"
    link: "https://researchr.org/alias/kazuhiko-kakehi"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2003"
  researchr: "https://researchr.org/publication/KakehiHT03"
  cites: 0
  citedby: 0
  pages: "250-259"
  booktitle: "snpd"
  kind: "inproceedings"
  key: "KakehiHT03"
- title: "Fusion Transformation on Functional Programs of Regular Expression Types"
  author:
  - name: "Kazuhiko Kakehi"
    link: "https://researchr.org/alias/kazuhiko-kakehi"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2002"
  tags:
  - "functional programming"
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/KakehiHT02"
  cites: 0
  citedby: 0
  pages: "160-174"
  booktitle: "aplas"
  kind: "inproceedings"
  key: "KakehiHT02"
- title: "Flattening Transformation for Efficient Segmented Computation - Segmented Diffusion Theorem"
  author:
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Hideya Iwasaki"
    link: "https://researchr.org/alias/hideya-iwasaki"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2002"
  tags:
  - "transformation"
  researchr: "https://researchr.org/publication/HuIT02"
  cites: 0
  citedby: 0
  pages: "246-257"
  booktitle: "aplas"
  kind: "inproceedings"
  key: "HuIT02"
- title: "Formal Derivation of Parallel Program for 2-Dimensional Maximum Segment Sum Problem"
  author:
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Hideya Iwasaki"
    link: "https://researchr.org/alias/hideya-iwasaki"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "1996"
  tags:
  - "parallel programming"
  researchr: "https://researchr.org/publication/HuIT96%3A0"
  cites: 0
  citedby: 0
  pages: "553-562"
  booktitle: "europar"
  kind: "inproceedings"
  key: "HuIT96:0"
- title: "Parallelization in Calculational Forms"
  author:
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  - name: "Wei-Ngan Chin"
    link: "https://researchr.org/alias/wei-ngan-chin"
  year: "1998"
  doi: "http://doi.acm.org/10.1145/268946.268972"
  links:
    doi: "http://doi.acm.org/10.1145/268946.268972"
  researchr: "https://researchr.org/publication/HuTC98"
  cites: 0
  citedby: 0
  pages: "316-328"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "HuTC98"
- title: "Calculating Accumulations"
  author:
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Hideya Iwasaki"
    link: "https://researchr.org/alias/hideya-iwasaki"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "1999"
  researchr: "https://researchr.org/publication/HuIT99"
  cites: 0
  citedby: 0
  journal: "ngc"
  volume: "17"
  number: "2"
  pages: "153-173"
  kind: "article"
  key: "HuIT99"
- title: "A calculational fusion system HYLO"
  author:
  - name: "Yoshiyuki Onoue"
    link: "https://researchr.org/alias/yoshiyuki-onoue"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Hideya Iwasaki"
    link: "https://researchr.org/alias/hideya-iwasaki"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "1997"
  researchr: "https://researchr.org/publication/OnoueHIT97"
  cites: 0
  citedby: 0
  pages: "76-106"
  booktitle: "alc"
  kind: "inproceedings"
  key: "OnoueHIT97"
- title: "An Accumulative Parallel Skeleton for All"
  author:
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Hideya Iwasaki"
    link: "https://researchr.org/alias/hideya-iwasaki"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2001"
  researchr: "https://researchr.org/publication/HuIT01"
  cites: 0
  citedby: 0
  pages: "89-101"
  booktitle: "aplas"
  kind: "inproceedings"
  key: "HuIT01"
- title: "Swapping Arguments and Results of Recursive Functions"
  author:
  - name: "Akimasa Morihata"
    link: "https://researchr.org/alias/akimasa-morihata"
  - name: "Kazuhiko Kakehi"
    link: "https://researchr.org/alias/kazuhiko-kakehi"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "Masato Takeichi"
    link: "https://researchr.org/alias/masato-takeichi"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11783596_22"
  links:
    doi: "http://dx.doi.org/10.1007/11783596_22"
  researchr: "https://researchr.org/publication/MorihataKHT06"
  cites: 0
  citedby: 0
  pages: "379-396"
  booktitle: "mpc"
  kind: "inproceedings"
  key: "MorihataKHT06"
- title: "A New Parallel Skeleton for General Accumulative Computations"
  author:
  - name: "Hideya Iwasaki"
    link: "https://researchr.org/alias/hideya-iwasaki"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  year: "2004"
  doi: "http://www.springerlink.com/index/10.1023/B:IJPP.0000038069.80050.74"
  links:
    doi: "http://www.springerlink.com/index/10.1023/B:IJPP.0000038069.80050.74"
  researchr: "https://researchr.org/publication/IwasakiH04"
  cites: 0
  citedby: 0
  journal: "ijpp"
  volume: "32"
  number: "5"
  pages: "389-414"
  kind: "article"
  key: "IwasakiH04"
- title: "Domain-Specific Optimization Strategy for Skeleton Programs"
  author:
  - name: "Kento Emoto"
    link: "https://researchr.org/alias/kento-emoto"
  - name: "Kiminori Matsuzaki"
    link: "https://researchr.org/alias/kiminori-matsuzaki"
  - 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-74466-5_74"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-74466-5_74"
  tags:
  - "optimization"
  - "program optimization"
  researchr: "https://researchr.org/publication/EmotoMHT07"
  cites: 0
  citedby: 0
  pages: "705-714"
  booktitle: "europar"
  kind: "inproceedings"
  key: "EmotoMHT07"
- 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: "Bidirectional Transformations: A Cross-Discipline Perspective"
  author:
  - name: "Krzysztof Czarnecki"
    link: "http://www.swen.uwaterloo.ca/~kczarnec/"
  - name: "J. Nathan Foster"
    link: "http://www.cs.princeton.edu/~jnfoster/"
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  - name: "ralf-lämmel"
    link: "https://researchr.org/alias/ralf-l%C3%A3%C2%A4mmel"
  - name: "andy-schürr"
    link: "https://researchr.org/alias/andy-sch%C3%A3%C2%BCrr"
  - name: "James F. Terwilliger"
    link: "https://researchr.org/alias/james-f.-terwilliger"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-02408-5_19"
  abstract: " The GRACE International Meeting on Bidirectional Transformations was held in December 2008 near Tokyo, Japan. The meeting brought together researchers and practitioners from a variety of sub-disciplines of computer science to share research efforts and help create a new community. In this report, we survey the state of the art and summarize the technical presentations delivered at the meeting. We also describe some insights gathered from our discussions and introduce a new effort to establish a benchmark for bidirectional transformations. "
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-02408-5_19"
  tags:
  - "bidirectional transformation"
  - "survey"
  - "e-science"
  - "transformation"
  researchr: "https://researchr.org/publication/CzarneckiFHLST09"
  cites: 142
  citedby: 0
  pages: "260-283"
  booktitle: "ICMT"
  kind: "inproceedings"
  key: "CzarneckiFHLST09"
- title: "Programming Languages and Systems, 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-10672-9"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-10672-9"
  tags:
  - "programming languages"
  - "programming"
  researchr: "https://researchr.org/publication/aplas-2009"
  cites: 0
  citedby: 0
  booktitle: "Programming Languages and Systems, 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings"
  conference: "aplas"
  editor:
  - name: "Zhenjiang Hu"
    link: "http://research.nii.ac.jp/~hu/"
  volume: "5904"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-10671-2"
  kind: "proceedings"
  key: "aplas-2009"