Zhenjiang Hu

	2012
97		Kento Emoto, Sebastian Fischer, Zhenjiang Hu: Generate, Test, and Aggregate - A Calculation-based Framework for Systematic Parallel Programming with MapReduce. ESOP 2012: 254-273
	2011
96		Manuel M. T. Chakravarty, Zhenjiang Hu, Olivier Danvy: Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, ICFP 2011, Tokyo, Japan, September 19-21, 2011 ACM 2011
95		Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano: GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations. ASE 2011: 480-483
94		Yu Liu, Zhenjiang Hu, Kiminori Matsuzaki: Towards Systematic Parallel Programming over MapReduce. Euro-Par (2) 2011: 39-50
93		Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano: Toward Bidirectionalization of ATL with GRoundTram. ICMT 2011: 138-151
92		Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano: Graph-transformation verification using monadic second-order logic. PPDP 2011: 17-28
91		Zhenjiang Hu, Andy Schürr, Perdita Stevens, James F. Terwilliger: Bidirectional Transformation "bx" (Dagstuhl Seminar 11031). Dagstuhl Reports 1(1): 42-67 (2011)
90		Hui Song, Gang Huang, Franck Chauvel, Yingfei Xiong, Zhenjiang Hu, Yanchun Sun, Hong Mei: Supporting runtime software architecture: A bidirectional-transformation-based approach. Journal of Systems and Software 84(5): 711-723 (2011)
89		Zhenjiang Hu: Special Issue on Programming Languages and Systems. New Generation Comput. 29(1): 1-2 (2011)
88		Zhenjiang Hu, Andy Schürr, Perdita Stevens, James F. Terwilliger: Dagstuhl seminar on bidirectional transformations (BX). SIGMOD Record 40(1): 35-39 (2011)
	2010
87		Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Frédéric Loulergue, Masato Takeichi: Program Calculation in Coq. AMAST 2010: 163-179
86		Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara: Context-Preserving XQuery Fusion. APLAS 2010: 255-270
85		Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi: A Grammar-Based Approach to Invertible Programs. ESOP 2010: 448-467
84		Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, Masato Takeichi: Generators-of-Generators Library with Optimization Capabilities in Fortress. Euro-Par (2) 2010: 26-37
83		Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang: Combining syntactic and semantic bidirectionalization. ICFP 2010: 181-192
82		Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano: Bidirectionalizing graph transformations. ICFP 2010: 205-216
81		Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu: Gradual Refinement. MPC 2010: 397-425
80		Bo Wang, Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Wei Zhang, Hong Mei: A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models. MoDELS (1) 2010: 181-195
79		Louis Gesbert, Zhenjiang Hu, Frédéric Loulergue, Kiminori Matsuzaki, Julien Tesson: Systematic Development of Correct Bulk Synchronous Parallel Programs. PDCAT 2010: 334-340
	2009
78		Zhenjiang Hu: Programming Languages and Systems, 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings Springer 2009
77		Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei: Supporting automatic model inconsistency fixing. ESEC/SIGSOFT FSE 2009: 315-324
76		Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi: Supporting Parallel Updates with Bidirectional Model Transformations. ICMT 2009: 213-228
75		Krzysztof Czarnecki, J. Nathan Foster, Zhenjiang Hu, Ralf Lämmel, Andy Schürr, James F. Terwilliger: Bidirectional Transformations: A Cross-Discipline Perspective. ICMT 2009: 260-283
74		Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano: A compositional approach to bidirectional model transformation. ICSE Companion 2009: 235-238
73		Hui Song, Yingfei Xiong, Franck Chauvel, Gang Huang, Zhenjiang Hu, Hong Mei: Generating Synchronization Engines between Running Systems and Their Model-Based Views. MoDELS Workshops 2009: 140-154
72		Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi: Type-based specialization of xml transformations. PEPM 2009: 61-72
71		Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi: The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer. POPL 2009: 177-185
70		Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano: Towards a compositional approach to model transformation for software development. SAC 2009: 468-475
69		Keisuke Nakano, Zhenjiang Hu, Masato Takeichi: Consistent Web site updating based on bidirectional transformation. STTT 11(6): 453-468 (2009)
	2008
68		Yijun Yu, Haruhiko Kaiya, Hironori Washizaki, Yingfei Xiong, Zhenjiang Hu, Nobukazu Yoshioka: Enforcing a security pattern in stakeholder goal models. QoP 2008: 9-14
67		Keisuke Nakano, Zhenjiang Hu, Masato Takeichi: Consistent Web site updating based on bidirectional transformation. WSE 2008: 45-54
66		Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi: A programmable editor for developing structured documents based on bidirectional transformations. Higher-Order and Symbolic Computation 21(1-2): 89-118 (2008)
	2007
65		Yasushi Hayashi, Dongxi Liu, Kento Emoto, Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi: A Web Service Architecture for Bidirectional XML Updating. APWeb/WAIM 2007: 721-732
64		Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Hong Mei: Towards automatic model synchronization from model transformations. ASE 2007: 164-173
63		Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi: Domain-Specific Optimization Strategy for Skeleton Programs. Euro-Par 2007: 705-714
62		Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, Masato Takeichi: Bidirectionalization transformation based on automatic derivation of view complement functions. ICFP 2007: 47-58
61		Dongxi Liu, Zhenjiang Hu, Masato Takeichi: Bidirectional interpretation of XQuery. PEPM 2007: 21-30
60		Kazutaka Morita, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi: Automatic inversion generates divide-and-conquer parallel programs. PLDI 2007: 146-155
59		Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi: A Compositional Framework for Developing Parallel Programs on Two-Dimensional Arrays. International Journal of Parallel Programming 35(6): 615-658 (2007)
	2006
58		Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi: Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions. Euro-Par 2006: 605-614
57		Kiminori Matsuzaki, Hideya Iwasaki, Kento Emoto, Zhenjiang Hu: A library of constructive skeletons for sequential style of parallel programming. Infoscale 2006: 13
56		Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi: Swapping Arguments and Results of Recursive Functions. MPC 2006: 379-396
55		Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi: Towards automatic parallelization of tree reductions in dynamic programming. SPAA 2006: 39-48
54		Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi: Parallel skeletons for manipulating general trees. Parallel Computing 32(7-8): 590-603 (2006)
	2005
53		Dongxi Liu, Zhenjiang Hu, Masato Takeichi: An environment for maintaining computation dependency in XML documents. ACM Symposium on Document Engineering 2005: 42-51
52		Zhenjiang Hu, Tetsuo Yokoyama, Masato Takeichi: Program Optimizations and Transformations in Calculation Form. GTTSE 2005: 144-168
51		Isao Sasano, Mizuhito Ogawa, Zhenjiang Hu: Maximum Marking Problems with Accumulative Weight Functions. ICTAC 2005: 562-578
50		Yixiong Liang, Weiguo Gong, Yingjun Pan, Weihong Li, Zhenjiang Hu: Gabor Features-Based Classification Using SVM for Face Recognition. ISNN (2) 2005: 118-123
49		Kiminori Matsuzaki, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi: Systematic Derivation of Tree Contraction Algorithms. Parallel Processing Letters 15(3): 321-336 (2005)
	2004
48		Dana N. Xu, Siau-Cheng Khoo, Zhenjiang Hu: PType System: A Featherweight Parallelizability Detector. APLAS 2004: 197-212
47		Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi: An Algebraic Approach to Bi-directional Updating. APLAS 2004: 2-20
46		Kiminori Matsuzaki, Kazuhiko Kakehi, Hideya Iwasaki, Zhenjiang Hu, Yoshiki Akashi: A Fusion-Embedded Skeleton Library. Euro-Par 2004: 644-653
45		Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi: An Injective Language for Reversible Computation. MPC 2004: 289-313
44		Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi: A programmable editor for developing structured documents based on bidirectional transformations. PEPM 2004: 178-189
43		Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi: Deterministic second-order patterns. Inf. Process. Lett. 89(6): 309-314 (2004)
42		Hideya Iwasaki, Zhenjiang Hu: A New Parallel Skeleton for General Accumulative Computations. International Journal of Parallel Programming 32(5): 389-414 (2004)
	2003
41		Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi: Parallelization with Tree Skeletons. Euro-Par 2003: 789-798
40		Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano: Iterative-free program analysis. ICFP 2003: 111-123
39		Takuma Murakami, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi: An Efficient Staging Algorithm for Binding-Time Analysis. LOPSTR 2003: 106-107
38		Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi: Deterministic Higher-Order Patterns for Program Transformation. LOPSTR 2003: 128-142
37		Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi: List Homomorphism with Accumulation. SNPD 2003: 250-259
36		Zhenjiang Hu, Mario Rodríguez-Artalejo: Editorial: the Sixth International Symposium on Functional and Logic Programming. Journal of Functional and Logic Programming 2003: (2003)
35		Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano: Iterative-free program analysis. SIGPLAN Notices 38(9): 111-123 (2003)
	2002
34		Zhenjiang Hu, Mario Rodríguez-Artalejo: Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings Springer 2002
33		Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi: Fusion Transformation on Functional Programs of Regular Expression Types. APLAS 2002: 160-174
32		Dana N. Xu, Siau-Cheng Khoo, Wei-Ngan Chin, Zhenjiang Hu: A Type-Based Approach to Parallelization (preliminary report). APLAS 2002: 175-192
31		Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi: Flattening Transformation for Efficient Segmented Computation - Segmented Diffusion Theorem. APLAS 2002: 246-257
30		Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi: Implementation of Parallel Tree Skeletons on Distributed Systems. APLAS 2002: 258-271
29		Takuma Murakami, Zhenjiang Hu, Masato Takeichi: An Optimal Staging Algorithm. APLAS 2002: 272-284
28		Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi: Yicho - A System for Programming Program Calculations. APLAS 2002: 366-382
27		Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano, Masato Takeichi: Algebraic construction of graphs with bounded tree width and its applications - Catamorphic Approach to Program Analyses. APLAS 2002: 58-73
26		Haiyan Zhao, Zhenjiang Hu, Masato Takeichi: A Compositional Framework for Mining Longest Ranges. Discovery Science 2002: 406-413
25		Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi: An Accumulative Parallel Skeleton for All. ESOP 2002: 83-97
24		Wei-Ngan Chin, Zhenjiang Hu: Towards a Modular Program Derivation via Fusion and Tupling. GPCE 2002: 140-155
	2001
23		Haiyan Zhao, Zhenjiang Hu, Masato Takeichi: A Compositional Framework for Querying Optimized Ranges. APLAS 2001: 363-376
22		Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi: An Accumulative Parallel Skeleton for All. APLAS 2001: 89-101
21		Isao Sasano, Zhenjiang Hu, Masato Takeichi: Generation of Efficient Programs for Solving Maximum Multi-marking Problems. SAIG 2001: 72-91
20		Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi: Calculating a New Data Mining Algorithm for Market Basket Analysis. Journal of Functional and Logic Programming 2001(8): (2001)
	2000
19		Haiyan Zhao, Zhenjiang Hu, Masato Takeichi: Mining Optimized Ranges. APLAS 2000: 119-127
18		Isao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa: Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems. ICFP 2000: 137-149
17		Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi: Calculating a New Data Mining Algorithm for Market Basket Analysis. PADL 2000: 169-184
16		Seiichi Adachi, Hideya Iwasaki, Zhenjiang Hu: Diff: A Powerful Parallel Skeleton. PDPTA 2000
15		Wei-Ngan Chin, Siau-Cheng Khoo, Zhenjiang Hu, Masato Takeichi: Deriving Parallel Codes via Invariants. SAS 2000: 75-94
	1999
14		Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki: Diffusion: Calculating Efficient Parallel Programs. PEPM 1999: 85-94
13		Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi: Calculating Accumulations. New Generation Comput. 17(2): 153-173 (1999)
12		Zhenjiang Hu, Masato Takeichi: Calculating an Optimal Homomorphic Algorithm for Bracket Matching. Parallel Processing Letters 9(3): 335-345 (1999)
	1998
11		Hideya Iwasaki, Zhenjiang Hu, Masato Takeichi: Towards Manipulation of Mutually Recursive Functions. Fuji International Symposium on Functional and Logic Programming 1998: 61-79
10		Wei-Ngan Chin, Akihiko Takano, Zhenjiang Hu: Parallelization via Context Preservation. ICCL 1998: 153-
9		Zhenjiang Hu, Masato Takeichi, Wei-Ngan Chin: Parallelization in Calculational Forms. POPL 1998: 316-328
8		Akihiko Takano, Zhenjiang Hu, Masato Takeichi: Program Transformation in Calculational Form. ACM Comput. Surv. 30(3es): 7 (1998)
	1997
7		Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi: A calculational fusion system HYLO. Algorithmic Languages and Calculi 1997: 76-106
6		Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano: Tupling Calculation Eliminates Multiple Data Traversals. ICFP 1997: 164-175
5		Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi: Formal Derivation of Efficient Parallel Programs by Construction of List Homomorphisms. ACM Trans. Program. Lang. Syst. 19(3): 444-461 (1997)
	1996
4		Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi: Formal Derivation of Parallel Program for 2-Dimensional Maximum Segment Sum Problem. Euro-Par, Vol. I 1996: 553-562
3		Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi: Deriving Structural Hylomorphisms From Recursive Definitions. ICFP 1996: 73-82
2		Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi: Construction of List Homomorphisms by Tupling and Fusion. MFCS 1996: 407-418
1		Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi: Cheap Tupling in Calculational Form. PLILP 1996: 471-472

Coauthor Index

1	Seiichi Adachi	[16]
2	Yoshiki Akashi	[46]
3	Manuel M. T. Chakravarty	[96]
4	Franck Chauvel	[73] [90]
5	Wei-Ngan Chin	[9] [10] [15] [17] [20] [24] [32]
6	Krzysztof Czarnecki	[75]
7	Olivier Danvy	[96]
8	Kento Emoto	[57] [58] [59] [63] [65] [84] [97]
9	Sebastian Fischer	[97]
10	Nate Foster (J. Nathan Foster)	[75]
11	Louis Gesbert	[79]
12	Jeremy Gibbons	[81]
13	Weiguo Gong	[50]
14	Makoto Hamana	[62]
15	Hideki Hashimoto	[87]
16	Yasushi Hayashi	[65]
17	Soichiro Hidaka	[70] [74] [82] [86] [92] [93] [95]
18	Gang Huang	[73] [90]
19	Kazuhiro Inaba	[82] [92] [93] [95]
20	Yasunori Ishihara	[86]
21	Hideya Iwasaki	[1] [2] [3] [4] [5] [6] [7] [11] [13] [14] [16] [22] [25] [31] [42] [46] [57]
22	Haruhiko Kaiya	[68]
23	Kazuhiko Kakehi	[33] [37] [39] [46] [49] [56] [59] [84]
24	Hiroyuki Kato	[70] [74] [82] [86] [92] [93] [95]
25	Siau-Cheng Khoo	[15] [32] [48]
26	Ralf Lämmel (Ralf Laemmel, Ralf Lammel)	[75]
27	Weihong Li	[50]
28	Yixiong Liang	[50]
29	Dongxi Liu	[53] [61] [64] [65]
30	Yu Liu	[94]
31	Frédéric Loulergue	[79] [87]
32	Kazutaka Matsuda	[62] [65] [72] [81] [82] [83] [85]
33	Kiminori Matsuzaki	[30] [41] [46] [49] [54] [55] [57] [58] [60] [63] [71] [79] [84] [94]
34	Hong Mei	[64] [73] [77] [80] [90]
35	Akimasa Morihata	[56] [60] [71]
36	Kazutaka Morita	[60]
37	Shin-Cheng Mu	[44] [45] [47] [66] [85]
38	Takuma Murakami	[29] [39]
39	Keisuke Nakano	[62] [67] [69] [70] [74] [82] [86] [92] [93] [95]
40	Mizuhito Ogawa	[18] [27] [35] [40] [51]
41	Yoshiyuki Onoue	[7]
42	Yingjun Pan	[50]
43	Mario Rodríguez-Artalejo	[34] [36]
44	Isao Sasano	[18] [21] [27] [35] [40] [51] [93]
45	Andy Schürr	[75] [88] [91]
46	Hui Song	[73] [76] [77] [90]
47	Perdita Stevens	[88] [91]
48	Yanchun Sun	[90]
49	Akihiko Takano	[6] [8] [10]
50	Masato Takeichi	[1] [2] [3] [4] [5] [6] [7] [8] [9] [11] [12] [13] [14] [15] [17] [18] [19] [20] [21] [22] [23] [25] [26] [27] [28] [29] [30] [31] [33] [37] [38] [39] [41] [43] [44] [45] [47] [49] [52] [53] [54] [55] [56] [58] [59] [60] [61] [62] [63] [64] [65] [66] [67] [69] [71] [72] [76] [77] [84] [85] [87]
51	James F. Terwilliger	[75] [88] [91]
52	Julien Tesson	[79] [87]
53	Janis Voigtländer	[83]
54	Bo Wang	[80]
55	Meng Wang	[81] [83]
56	Hironori Washizaki	[68]
57	Yingfei Xiong	[64] [68] [73] [76] [77] [80] [90]
58	Dana N. Xu	[32] [48]
59	Tetsuo Yokoyama	[28] [38] [43] [52]
60	Nobukazu Yoshioka	[68]
61	Yijun Yu	[68]
62	Wei Zhang	[80]
63	Haiyan Zhao	[19] [23] [26] [64] [77] [80]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page