Zhenjiang Hu - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

2010

Generators-of-Generators Library with Optimization Capabilities in FortressKento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, Masato Takeichi. europar 2010: 26-37 [doi]

Bidirectionalizing graph transformationsSoichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano. ICFP 2010: 205-216 [doi]

Context-Preserving XQuery FusionHiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara. aplas 2010: 255-270 [doi]

A Grammar-Based Approach to Invertible ProgramsKazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi. ESOP 2010: 448-467 [doi]

Combining syntactic and semantic bidirectionalizationJanis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang. ICFP 2010: 181-192 [doi]

Gradual RefinementMeng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu. mpc 2010: 397-425 [doi]

A Dynamic-Priority based Approach to Fixing Inconsistent Feature ModelsWang, Xiong, Zhenjiang Hu, Zhao, Zhang, Mei. MoDELS 2010:

A Dynamic-Priority Based Approach to Fixing Inconsistent Feature ModelsBo Wang, Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Wei Zhang, Hong Mei. MoDELS 2010: 181-195 [doi]

2009

Bidirectional Transformations: A Cross-Discipline PerspectiveKrzysztof Czarnecki, J. Nathan Foster, Zhenjiang Hu, ralf-lÃ¤mmel, andy-schÃ¼rr, James F. Terwilliger. ICMT 2009: 260-283 [doi]

Towards a compositional approach to model transformation for software developmentSoichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano. SAC 2009: 468-475 [doi]

A compositional approach to bidirectional model transformationSoichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano. ICSE 2009: 235-238 [doi]

Programming Languages and Systems, 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. ProceedingsZhenjiang Hu, editor, Volume 5904 of Lecture Notes in Computer Science, Springer, 2009. [doi]

Type-based specialization of xml transformationsKazutaka Matsuda, Zhenjiang Hu, Masato Takeichi. PEPM 2009: 61-72 [doi]

The third homomorphism theorem on trees: downward & upward lead to divide-and-conquerAkimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi. POPL 2009: 177-185 [doi]

Consistent Web site updating based on bidirectional transformationKeisuke Nakano, Zhenjiang Hu, Masato Takeichi. STTT, 11(6):453-468, 2009. [doi]

Generating Synchronization Engines between Running Systems and Their Model-Based ViewsHui Song, Yingfei Xiong, Franck Chauvel, Gang Huang, Zhenjiang Hu, Hong Mei. MoDELS 2010: 140-154 [doi]

Supporting Parallel Updates with Bidirectional Model TransformationsYingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi. ICMT 2009: 213-228 [doi]

Supporting automatic model inconsistency fixingYingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei. FSE 2009: 315-324 [doi]

2008

A programmable editor for developing structured documents based on bidirectional transformationsZhenjiang Hu, Shin-Cheng Mu, Masato Takeichi. lisp, 21(1-2):89-118, 2008. [doi]

2007

Domain-Specific Optimization Strategy for Skeleton ProgramsKento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi. europar 2007: 705-714 [doi]

A Compositional Framework for Developing Parallel Programs on Two-Dimensional ArraysKento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi. ijpp, 35(6):615-658, 2007. [doi]

A Web Service Architecture for Bidirectional XML UpdatingYasushi Hayashi, Dongxi Liu, Kento Emoto, Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi. waim 2007: 721-732 [doi]

Bidirectional interpretation of XQueryDongxi Liu, Zhenjiang Hu, Masato Takeichi. PEPM 2007: 21-30 [doi]

Bidirectionalization transformation based on automatic derivation of view complement functionsKazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, Masato Takeichi. ICFP 2007: 47-58 [doi]

Automatic inversion generates divide-and-conquer parallel programsKazutaka Morita, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi. PLDI 2007: 146-155 [doi]

2006

2005

Systematic Derivation of Tree Contraction AlgorithmsKiminori Matsuzaki, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi. ppl, 15(3):321-336, 2005. [doi]

Maximum Marking Problems with Accumulative Weight FunctionsIsao Sasano, Mizuhito Ogawa, Zhenjiang Hu. ictac 2005: 562-578 [doi]

2004

2003

List Homomorphism with AccumulationKazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi. snpd 2003: 250-259

Parallelization with Tree SkeletonsKiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi. europar 2003: 789-798 [doi]

2002

2001

An Accumulative Parallel Skeleton for AllZhenjiang Hu, Hideya Iwasaki, Masato Takeichi. aplas 2001: 89-101

Generation of Efficient Programs for Solving Maximum Multi-marking ProblemsIsao Sasano, Zhenjiang Hu, Masato Takeichi. saig 2001: 72-91 [doi]

1999

Calculating an Optimal Homomorphic Algorithm for Bracket MatchingZhenjiang Hu, Masato Takeichi. ppl, 9(3):335-345, 1999. [doi]

Calculating AccumulationsZhenjiang Hu, Hideya Iwasaki, Masato Takeichi. ngc, 17(2):153-173, 1999.

Diffusion: Calculating Efficient Parallel ProgramsZhenjiang Hu, Masato Takeichi, Hideya Iwasaki. PEPM 1999: 85-94

1998

1997

Formal Derivation of Efficient Parallel Programs by Construction of List HomomorphismsZhenjiang Hu, Hideya Iwasaki, Masato Takeichi. TOPLAS, 19(3):444-461, 1997. [doi]

Tupling Calculation Eliminates Multiple Data TraversalsZhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano. ICFP 1997: 164-175

A calculational fusion system HYLOYoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi. alc 1997: 76-106

1996