Formal Derivation of Parallel Program for 2-Dimensional Maximum Segment Sum Problem. - Zhenjiang Hu; Hideya Iwasaki; Masato Takeichi (Euro-Par, Vol. I, 1996)

Deriving Structural Hylomorphisms From Recursive Definitions. - Zhenjiang Hu; Hideya Iwasaki; Masato Takeichi (ICFP, 1996)

Construction of List Homomorphisms by Tupling and Fusion. - Zhenjiang Hu; Hideya Iwasaki; Masato Takeichi (MFCS, 1996)

Cheap Tupling in Calculational Form. - Zhenjiang Hu; Hideya Iwasaki; Masato Takeichi (PLILP, 1996)

A calculational fusion system HYLO. - Yoshiyuki Onoue; Zhenjiang Hu; Hideya Iwasaki; Masato Takeichi (Algorithmic Languages and Calculi, 1997)

Tupling Calculation Eliminates Multiple Data Traversals. - Zhenjiang Hu; Hideya Iwasaki; Masato Takeichi; Akihiko Takano (ICFP, 1997)

Formal Derivation of Efficient Parallel Programs by Construction of List Homomorphisms. - Zhenjiang Hu; Hideya Iwasaki; Masato Takeichi (ACM Trans. Program. Lang. Syst., 1997)

Towards Manipulation of Mutually Recursive Functions. - Hideya Iwasaki; Zhenjiang Hu; Masato Takeichi (Fuji International Symposium on Functional and Logic Programming, 1998)

Parallelization via Context Preservation. - Wei-Ngan Chin; Akihiko Takano; Zhenjiang Hu (ICCL, 1998)

Parallelization in Calculational Forms. - Zhenjiang Hu; Masato Takeichi; Wei-Ngan Chin (POPL, 1998)

Program Transformation in Calculational Form. - Akihiko Takano; Zhenjiang Hu; Masato Takeichi (ACM Comput. Surv., 1998)

Diffusion: Calculating Efficient Parallel Programs. - Zhenjiang Hu; Masato Takeichi; Hideya Iwasaki (PEPM, 1999)

Calculating Accumulations. - Zhenjiang Hu; Hideya Iwasaki; Masato Takeichi (New Gener. Comput., 1999)

Calculating an Optimal Homomorphic Algorithm for Bracket Matching. - Zhenjiang Hu; Masato Takeichi (Parallel Process. Lett., 1999)

Mining Optimized Ranges. - Haiyan Zhao 001; Zhenjiang Hu; Masato Takeichi (APLAS, 2000)

Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems. - Isao Sasano; Zhenjiang Hu; Masato Takeichi; Mizuhito Ogawa (ICFP, 2000)

Calculating a New Data Mining Algorithm for Market Basket Analysis. - Zhenjiang Hu; Wei-Ngan Chin; Masato Takeichi (PADL, 2000)

Diff: A Powerful Parallel Skeleton. - Seiichi Adachi; Hideya Iwasaki; Zhenjiang Hu (PDPTA, 2000)

Deriving Parallel Codes via Invariants. - Wei-Ngan Chin; Siau-Cheng Khoo; Zhenjiang Hu; Masato Takeichi (SAS, 2000)

An Accumulative Parallel Skeleton for All. - Zhenjiang Hu; Hideya Iwasaki; Masato Takeichi (APLAS, 2001)

A Compositional Framework for Querying Optimized Ranges. - Haiyan Zhao 001; Zhenjiang Hu; Masato Takeichi (APLAS, 2001)

Generation of Efficient Programs for Solving Maximum Multi-marking Problems. - Isao Sasano; Zhenjiang Hu; Masato Takeichi (SAIG, 2001)

Flattening Transformation for Efficient Segmented Computation - Segmented Diffusion Theorem. - Zhenjiang Hu; Hideya Iwasaki; Masato Takeichi (APLAS, 2002)

Fusion Transformation on Functional Programs of Regular Expression Types. - Kazuhiko Kakehi 001; Zhenjiang Hu; Masato Takeichi (APLAS, 2002)

Implementation of Parallel Tree Skeletons on Distributed Systems. - Kiminori Matsuzaki; Zhenjiang Hu; Masato Takeichi (APLAS, 2002)

An Optimal Staging Algorithm. - Takuma Murakami; Zhenjiang Hu; Masato Takeichi (APLAS, 2002)

Algebraic construction of graphs with bounded tree width and its applications - Catamorphic Approach to Program Analyses. - Mizuhito Ogawa; Zhenjiang Hu; Isao Sasano; Masato Takeichi (APLAS, 2002)

A Type-Based Approach to Parallelization (preliminary report). - Dana N. Xu; Siau-Cheng Khoo; Wei-Ngan Chin; Zhenjiang Hu (APLAS, 2002)

Yicho - A System for Programming Program Calculations. - Tetsuo Yokoyama; Zhenjiang Hu; Masato Takeichi (APLAS, 2002)

A Compositional Framework for Mining Longest Ranges. - Haiyan Zhao 001; Zhenjiang Hu; Masato Takeichi (Discovery Science, 2002)

Towards a Modular Program Derivation via Fusion and Tupling. - Wei-Ngan Chin; Zhenjiang Hu (GPCE, 2002)

Parallelization with Tree Skeletons. - Kiminori Matsuzaki; Zhenjiang Hu; Masato Takeichi (Euro-Par, 2003)

Iterative-free program analysis. - Mizuhito Ogawa; Zhenjiang Hu; Isao Sasano (ICFP, 2003)

An Efficient Staging Algorithm for Binding-Time Analysis. - Takuma Murakami; Zhenjiang Hu; Kazuhiko Kakehi 001; Masato Takeichi (LOPSTR, 2003)

Deterministic Higher-Order Patterns for Program Transformation. - Tetsuo Yokoyama; Zhenjiang Hu; Masato Takeichi (LOPSTR, 2003)

List Homomorphism with Accumulation. - Kazuhiko Kakehi 001; Zhenjiang Hu; Masato Takeichi (SNPD, 2003)

Editorial: the Sixth International Symposium on Functional and Logic Programming. - Zhenjiang Hu; Mario Rodríguez-Artalejo (J. Funct. Log. Program., 2003)

An Algebraic Approach to Bi-directional Updating. - Shin-Cheng Mu; Zhenjiang Hu; Masato Takeichi (APLAS, 2004)

PType System: A Featherweight Parallelizability Detector. - Dana N. Xu; Siau-Cheng Khoo; Zhenjiang Hu (APLAS, 2004)

A Fusion-Embedded Skeleton Library. - Kiminori Matsuzaki; Kazuhiko Kakehi 001; Hideya Iwasaki; Zhenjiang Hu; Yoshiki Akashi (Euro-Par, 2004)

An Injective Language for Reversible Computation. - Shin-Cheng Mu; Zhenjiang Hu; Masato Takeichi (MPC, 2004)

A programmable editor for developing structured documents based on bidirectional transformations. - Zhenjiang Hu; Shin-Cheng Mu; Masato Takeichi (PEPM, 2004)

A New Parallel Skeleton for General Accumulative Computations. - Hideya Iwasaki; Zhenjiang Hu (Int. J. Parallel Program., 2004)

Deterministic second-order patterns. - Tetsuo Yokoyama; Zhenjiang Hu; Masato Takeichi (Inf. Process. Lett., 2004)

An environment for maintaining computation dependency in XML documents. - Dongxi Liu; Zhenjiang Hu; Masato Takeichi (ACM Symposium on Document Engineering, 2005)

Program Optimizations and Transformations in Calculation Form. - Zhenjiang Hu; Tetsuo Yokoyama; Masato Takeichi (GTTSE, 2005)

Maximum Marking Problems with Accumulative Weight Functions. - Isao Sasano; Mizuhito Ogawa; Zhenjiang Hu (ICTAC, 2005)

Gabor Features-Based Classification Using SVM for Face Recognition. - Yixiong Liang; Weiguo Gong; Yingjun Pan; Weihong Li 001; Zhenjiang Hu (ISNN (2), 2005)

Systematic Derivation of Tree Contraction Algorithms. - Kiminori Matsuzaki; Zhenjiang Hu; Kazuhiko Kakehi 001; Masato Takeichi (Parallel Process. Lett., 2005)

Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions. - Kento Emoto; Kiminori Matsuzaki; Zhenjiang Hu; Masato Takeichi (Euro-Par, 2006)

A library of constructive skeletons for sequential style of parallel programming. - Kiminori Matsuzaki; Hideya Iwasaki; Kento Emoto; Zhenjiang Hu (Infoscale, 2006)

Swapping Arguments and Results of Recursive Functions. - Akimasa Morihata; Kazuhiko Kakehi 001; Zhenjiang Hu; Masato Takeichi (MPC, 2006)

Towards automatic parallelization of tree reductions in dynamic programming. - Kiminori Matsuzaki; Zhenjiang Hu; Masato Takeichi (SPAA, 2006)

Parallel skeletons for manipulating general trees. - Kiminori Matsuzaki; Zhenjiang Hu; Masato Takeichi (Parallel Comput., 2006)

Domain-Specific Optimization Strategy for Skeleton Programs. - Kento Emoto; Kiminori Matsuzaki; Zhenjiang Hu; Masato Takeichi (Euro-Par, 2007)

Bidirectionalization transformation based on automatic derivation of view complement functions. - Kazutaka Matsuda; Zhenjiang Hu; Keisuke Nakano 001; Makoto Hamana; Masato Takeichi (ICFP, 2007)

Towards automatic model synchronization from model transformations. - Yingfei Xiong 001; Dongxi Liu; Zhenjiang Hu; Haiyan Zhao 001; Masato Takeichi; Hong Mei 001 (ASE, 2007)

Bidirectional interpretation of XQuery. - Dongxi Liu; Zhenjiang Hu; Masato Takeichi (PEPM, 2007)

Automatic inversion generates divide-and-conquer parallel programs. - Kazutaka Morita; Akimasa Morihata; Kiminori Matsuzaki; Zhenjiang Hu; Masato Takeichi (PLDI, 2007)

A Web Service Architecture for Bidirectional XML Updating. - Yasushi Hayashi; Dongxi Liu; Kento Emoto; Kazutaka Matsuda; Zhenjiang Hu; Masato Takeichi (APWeb/WAIM, 2007)

A Compositional Framework for Developing Parallel Programs on Two-Dimensional Arrays. - Kento Emoto; Zhenjiang Hu; Kazuhiko Kakehi 001; Masato Takeichi (Int. J. Parallel Program., 2007)

A Java Library for Bidirectional XML Transformation. - Dongxi Liu; Zhenjiang Hu; Masato Takeichi; Kazuhiko Kakehi 001; Hao Wang (Inf. Media Technol., 2007)

Bidirectionalizing Tree Transformation Languages: A Case Study. - Shin-Cheng Mu; Zhenjiang Hu; Masato Takeichi (Inf. Media Technol., 2007)

Enforcing a security pattern in stakeholder goal models. - Yijun Yu; Haruhiko Kaiya; Hironori Washizaki; Yingfei Xiong 001; Zhenjiang Hu; Nobukazu Yoshioka (QoP, 2008)

Consistent Web site updating based on bidirectional transformation. - Keisuke Nakano 001; Zhenjiang Hu; Masato Takeichi (WSE, 2008)

Bidirectional Transformations: A Cross-Discipline Perspective. - Krzysztof Czarnecki 001; J. Nathan Foster; Zhenjiang Hu; Ralf Lämmel; Andy Schürr; James F. Terwilliger (ICMT@TOOLS, 2009)

Supporting Parallel Updates with Bidirectional Model Transformations. - Yingfei Xiong 001; Hui Song; Zhenjiang Hu; Masato Takeichi (ICMT@TOOLS, 2009)

A compositional approach to bidirectional model transformation. - Soichiro Hidaka; Zhenjiang Hu; Hiroyuki Kato; Keisuke Nakano 001 (ICSE Companion, 2009)

Generating Synchronization Engines between Running Systems and Their Model-Based Views. - Hui Song; Yingfei Xiong 001; Franck Chauvel; Gang Huang 001; Zhenjiang Hu; Hong Mei 001 (MoDELS (Workshops), 2009)

Type-based specialization of xml transformations. - Kazutaka Matsuda; Zhenjiang Hu; Masato Takeichi (PEPM, 2009)

The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer. - Akimasa Morihata; Kiminori Matsuzaki; Zhenjiang Hu; Masato Takeichi (POPL, 2009)

Towards a compositional approach to model transformation for software development. - Soichiro Hidaka; Zhenjiang Hu; Hiroyuki Kato; Keisuke Nakano 001 (SAC, 2009)

Supporting automatic model inconsistency fixing. - Yingfei Xiong 001; Zhenjiang Hu; Haiyan Zhao 001; Hui Song; Masato Takeichi; Hong Mei 001 (ESEC/SIGSOFT FSE, 2009)

Program Calculation in Coq. - Julien Tesson; Hideki Hashimoto; Zhenjiang Hu; Frédéric Loulergue; Masato Takeichi (AMAST, 2010)

Context-Preserving XQuery Fusion. - Hiroyuki Kato; Soichiro Hidaka; Zhenjiang Hu; Keisuke Nakano 001; Yasunori Ishihara (APLAS, 2010)

A Grammar-Based Approach to Invertible Programs. - Kazutaka Matsuda; Shin-Cheng Mu; Zhenjiang Hu; Masato Takeichi (ESOP, 2010)

Generators-of-Generators Library with Optimization Capabilities in Fortress. - Kento Emoto; Zhenjiang Hu; Kazuhiko Kakehi 001; Kiminori Matsuzaki; Masato Takeichi (Euro-Par (2), 2010)

Bidirectionalizing graph transformations. - Soichiro Hidaka; Zhenjiang Hu; Kazuhiro Inaba; Hiroyuki Kato; Kazutaka Matsuda; Keisuke Nakano 001 (ICFP, 2010)

Combining syntactic and semantic bidirectionalization. - Janis Voigtländer; Zhenjiang Hu; Kazutaka Matsuda; Meng Wang 002 (ICFP, 2010)

Tolerating Inconsistency in Feature Models. - Bo Wang 050; Zhenjiang Hu; Yingfei Xiong 001; Haiyan Zhao 001; Wei Zhang 004; Hong Mei 001 (LWI@ASE, 2010)

A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models. - Bo Wang 050; Yingfei Xiong 001; Zhenjiang Hu; Haiyan Zhao 001; Wei Zhang 004; Hong Mei 001 (MoDELS (1), 2010)

Gradual Refinement. - Meng Wang 002; Jeremy Gibbons; Kazutaka Matsuda; Zhenjiang Hu (MPC, 2010)

Systematic Development of Correct Bulk Synchronous Parallel Programs. - Louis Gesbert; Zhenjiang Hu; Frédéric Loulergue; Kiminori Matsuzaki; Julien Tesson (PDCAT, 2010)

Towards Systematic Parallel Programming over MapReduce. - Yu Liu; Zhenjiang Hu; Kiminori Matsuzaki (Euro-Par (2), 2011)

Toward Bidirectionalization of ATL with GRoundTram. - Isao Sasano; Zhenjiang Hu; Soichiro Hidaka; Kazuhiro Inaba; Hiroyuki Kato; Keisuke Nakano 001 (ICMT@TOOLS, 2011)

GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations. - Soichiro Hidaka; Zhenjiang Hu; Kazuhiro Inaba; Hiroyuki Kato; Keisuke Nakano 001 (ASE, 2011)

Marker-Directed Optimization of UnCAL Graph Transformations. - Soichiro Hidaka; Zhenjiang Hu; Kazuhiro Inaba; Hiroyuki Kato; Kazutaka Matsuda; Keisuke Nakano 001; Isao Sasano (LOPSTR, 2011)

Graph-transformation verification using monadic second-order logic. - Kazuhiro Inaba; Soichiro Hidaka; Zhenjiang Hu; Hiroyuki Kato; Keisuke Nakano 001 (PPDP, 2011)

Bidirectional Transformation "bx" (Dagstuhl Seminar 11031). - Zhenjiang Hu; Andy Schürr; Perdita Stevens; James F. Terwilliger (Dagstuhl Reports, 2011)

Supporting runtime software architecture: A bidirectional-transformation-based approach. - Hui Song; Gang Huang 001; Franck Chauvel; Yingfei Xiong 001; Zhenjiang Hu; Yanchun Sun; Hong Mei 001 (J. Syst. Softw., 2011)

Special Issue on Programming Languages and Systems. - Zhenjiang Hu (New Gener. Comput., 2011)

Dagstuhl seminar on bidirectional transformations (BX). - Zhenjiang Hu; Andy Schürr; Perdita Stevens; James F. Terwilliger (SIGMOD Rec., 2011)

Generate, Test, and Aggregate - A Calculation-based Framework for Systematic Parallel Programming with MapReduce. - Kento Emoto; Sebastian Fischer; Zhenjiang Hu (ESOP, 2012)

Maintaining invariant traceability through bidirectional transformations. - Yijun Yu; Yu Lin; Zhenjiang Hu; Soichiro Hidaka; Hiroyuki Kato; Lionel Montrieux (ICSE, 2012)

Delta Lenses over Inductive Types. - Hugo Pacheco 001; Alcino Cunha; Zhenjiang Hu (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

Filter-embedding semiring fusion for programming with MapReduce. - Kento Emoto; Sebastian Fischer; Zhenjiang Hu (Formal Aspects Comput., 2012)

Manipulating accumulative functions by swapping call-time and return-time computations. - Akimasa Morihata; Kazuhiko Kakehi 001; Zhenjiang Hu; Masato Takeichi (J. Funct. Program., 2012)

Programming with BSP Homomorphisms. - Joeffrey Legaux; Zhenjiang Hu; Frédéric Loulergue; Kiminori Matsuzaki; Julien Tesson (Euro-Par, 2013)

Structural recursion for querying ordered graphs. - Soichiro Hidaka; Kazuyuki Asada; Zhenjiang Hu; Hiroyuki Kato; Keisuke Nakano 001 (ICFP, 2013)

Towards systematic parallel programming of graph problems via tree decomposition and tree parallelism. - Qi Wang 017; Meixian Chen; Yu Liu; Zhenjiang Hu (FHPC@ICFP, 2013)

Issues in representing domain-specific concerns in model-driven engineering. - Lionel Montrieux; Yijun Yu; Michel Wermelinger; Zhenjiang Hu (MiSE, 2013)

Practical aspects of bidirectional graph transformations. - Zhenjiang Hu (PEPM, 2013)

A parameterized graph transformation calculus for finite graphs with monadic branches. - Kazuyuki Asada; Soichiro Hidaka; Hiroyuki Kato; Zhenjiang Hu; Keisuke Nakano 001 (PPDP, 2013)

A generate-test-aggregate parallel programming library: systematic parallel programming for MapReduce. - Yu Liu; Kento Emoto; Zhenjiang Hu (PMAM, 2013)

Minimizing data transfers for regular reachability queries on distributed graphs. - Quyet Nguyen-Van; Le-Duc Tung; Zhenjiang Hu (SoICT, 2013)

Efficient query evaluation on distributed graphs with Hadoop environment. - Le-Duc Tung; Quyet Nguyen-Van; Zhenjiang Hu (SoICT, 2013)

Supporting feature model refinement with updatable view. - Bo Wang 050; Zhenjiang Hu; Qiang Sun; Haiyan Zhao 001; Yingfei Xiong 001; Wei Zhang 004; Hong Mei 001 (Frontiers Comput. Sci., 2013)

Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins. - Janis Voigtländer; Zhenjiang Hu; Kazutaka Matsuda; Meng Wang 002 (J. Funct. Program., 2013)

Optimization for iterative queries on MapReduce. - Makoto Onizuka; Hiroyuki Kato; Soichiro Hidaka; Keisuke Nakano 001; Zhenjiang Hu (Proc. VLDB Endow., 2013)

Refactoring pattern matching. - Meng Wang 002; Jeremy Gibbons; Kazutaka Matsuda; Zhenjiang Hu (Sci. Comput. Program., 2013)

Engineering Adaptive Software Systems (EASSy) (NII Shonan Meeting 2013-7). - Shinichi Honiden; Zhenjiang Hu; Hausi A. Müller; John Mylopoulos; Yijun Yu (NII Shonan Meet. Rep., 2013)

Synchronizing concurrent model updates based on bidirectional transformation. - Yingfei Xiong 001; Hui Song; Zhenjiang Hu; Masato Takeichi (Softw. Syst. Model., 2013)

Validity Checking of Putback Transformations in Bidirectional Programming. - Zhenjiang Hu; Hugo Pacheco 001; Sebastian Fischer 001 (FM, 2014)

Writing bidirectional model transformations as intentional updates. - Tao Zan; Hugo Pacheco 001; Zhenjiang Hu (ICSE Companion, 2014)

Towards Co-evolution in Model-Driven Development Via Bidirectional Higher-Order Transformation. - Bernhard Hoisl; Zhenjiang Hu; Soichiro Hidaka (MODELSWARD, 2014)

Towards Bidirectional Higher-Order Transformation for Model-Driven Co-evolution. - Bernhard Hoisl; Zhenjiang Hu; Soichiro Hidaka (MODELSWARD (Revised Selected Papers), 2014)

Monadic combinators for "Putback" style bidirectional programming. - Hugo Pacheco 001; Zhenjiang Hu; Sebastian Fischer 001 (PEPM, 2014)

BiFluX: A Bidirectional Functional Update Language for XML. - Hugo Pacheco 001; Tao Zan; Zhenjiang Hu (PPDP, 2014)

Formal derivation and extraction of a parallel program for the all nearest smaller values problem. - Frédéric Loulergue; Simon Robillard; Julien Tesson; Joeffrey Legaux; Zhenjiang Hu (SAC, 2014)

Accumulative Computation on MapReduce. - Yu Liu; Kento Emoto; Kiminori Matsuzaki; Zhenjiang Hu (Inf. Media Technol., 2014)

Interactive Inconsistency Fixing in Feature Modeling. - Bo Wang 050; Yingfei Xiong 001; Zhenjiang Hu; Haiyan Zhao 001; Wei Zhang 004; Hong Mei 001 (J. Comput. Sci. Technol., 2014)

A Generate-Test-Aggregate parallel programming library for systematic parallel programming. - Yu Liu; Kento Emoto; Zhenjiang Hu (Parallel Comput., 2014)

A Clear Picture of Lens Laws - Functional Pearl. - Sebastian Fischer 001; Zhenjiang Hu; Hugo Pacheco 001 (MPC, 2015)

SWIN: Towards Type-Safe Java Program Adaptation between APIs. - Jun Li; Chenglong Wang; Yingfei Xiong 001; Zhenjiang Hu (PEPM, 2015)

Towards Attribute-Based Authorisation for Bidirectional Programming. - Lionel Montrieux; Zhenjiang Hu (SACMAT, 2015)

BiYacc: Roll Your Parser and Reflective Printer into One. - Zirun Zhu; Hsiang-Shang Ko; Pedro Martins 001; João Saraiva; Zhenjiang Hu (Bx@STAF, 2015)

The essence of bidirectional programming. - Sebastian Fischer 001; Zhenjiang Hu; Hugo Pacheco 001 (Sci. China Inf. Sci., 2015)

Constructing format-preserving printing from syntax-directed definitions. - Lichao Wang; Guoqiang Li 001; Zhenjiang Hu (Sci. China Inf. Sci., 2015)

Guest editorial to the special section on model transformation. - Zhenjiang Hu; Juan de Lara (Softw. Syst. Model., 2015)

Principles and Practice of Bidirectional Programming in BiGUL. - Zhenjiang Hu; Hsiang-Shang Ko (Bidirectional Transformations, 2016)

Integrating Goal Model into Rule-Based Adaptation. - Tianqi Zhao; Tao Zan; Haiyan Zhao 001; Zhenjiang Hu; Zhi Jin 001 (APSEC, 2016)

Transforming Programs between APIs with Many-to-Many Mappings. - Chenglong Wang; Jiajun Jiang; Jun Li; Yingfei Xiong 001; Xiangyu Luo; Lu Zhang 023; Zhenjiang Hu (ECOOP, 2016)

Brul: A Putback-Based Bidirectional Transformation Library for Updatable Views. - Tao Zan; Li Liu; Hsiang-Shang Ko; Zhenjiang Hu (Bx@ETAPS, 2016)

Think like a vertex, behave like a function! a functional DSL for vertex-centric big graph processing. - Kento Emoto; Kiminori Matsuzaki; Zhenjiang Hu; Akimasa Morihata; Hideya Iwasaki (ICFP, 2016)

Reusable self-adaptation through bidirectional programming. - Kevin Colson; Robin Dupuis; Lionel Montrieux; Zhenjiang Hu; Sebastián Uchitel; Pierre-Yves Schobbens (SEAMS@ICSE, 2016)

Rule-directed code clone synchronization. - Xiao Cheng 006; Hao Zhong 001; Yuting Chen 001; Zhenjiang Hu; Jianjun Zhao 001 (ICPC, 2016)

BiGUL: a formally verified core language for putback-based bidirectional programming. - Hsiang-Shang Ko; Tao Zan; Zhenjiang Hu (PEPM, 2016)

A Framework for Synchronization Between Feature Configurations and Use Cases Based on Bidirectional Programming. - Weize Zhao; Haiyan Zhao 001; Zhenjiang Hu (RE Workshops, 2016)

Derivation of parallel-efficient structural recursive functions from declarative graph queries. - Chong Li 003; Le-Duc Tung; Xiaodong Meng; Zhenjiang Hu (SAC, 2016)

Parsing and reflective printing, bidirectionally. - Zirun Zhu; Yongzhe Zhang; Hsiang-Shang Ko; Pedro Martins 001; João Saraiva; Zhenjiang Hu (SLE, 2016)

Supporting Selective Undo for Refactoring. - Xiao Cheng 006; Yuting Chen 001; Zhenjiang Hu; Tao Zan; Mengyu Liu; Hao Zhong 001; Jianjun Zhao 001 (SANER, 2016)

Preface. - Zhi Jin; Zhenjiang Hu; Gang Yin (Sci. China Inf. Sci., 2016)

Let High-level Graph Queries Be Parallel Efficient: An Approach Over Structural Recursion On Pregel. - Chong Li 003; Le-Duc Tung; Xiaodong Meng; Zhenjiang Hu (J. Inf. Process., 2016)

Feature-based classification of bidirectional transformation approaches. - Soichiro Hidaka; Massimo Tisi; Jordi Cabot; Zhenjiang Hu (Softw. Syst. Model., 2016)

Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access. - Yongzhe Zhang; Hsiang-Shang Ko; Zhenjiang Hu (APLAS, 2017)

Towards Variability Management in Bidirectional Model Transformation. - Xiao He 005; Zhenjiang Hu; Yi Liu (COMPSAC (1), 2017)

Bidirectional programming and software adaptation: Towards a happy marriage. - Zhenjiang Hu (KSE, 2017)

Towards Systematic Parallelization of Graph Transformations Over Pregel. - Le-Duc Tung; Zhenjiang Hu (Int. J. Parallel Program., 2017)

Goal Modelling for Security Problem Matching and Pattern Enforcement. - Yijun Yu; Haruhiko Kaiya; Nobukazu Yoshioka; Zhenjiang Hu; Hironori Washizaki; Yingfei Xiong 001; Amin Hosseinian Far (Int. J. Secur. Softw. Eng., 2017)

BiFluX: A Bidirectional Functional Update Language for XML. - Tao Zan; Hugo Pacheco 001; Hsiang-Shang Ko; Zhenjiang Hu (Inf. Media Technol., 2017)

Optimizing Declarative Parallel Distributed Graph Processing by Using Constraint Solvers. - Akimasa Morihata; Kento Emoto; Kiminori Matsuzaki; Zhenjiang Hu; Hideya Iwasaki (FLOPS, 2018)

iPregel: A Combiner-Based In-Memory Shared Memory Vertex-Centric Framework. - Ludovic Anthony Richard Capelli; Zhenjiang Hu; Timothy A. K. Zakian (ICPP Workshops, 2018)

On early statistical requirements validation of cyber-physical space systems. - Christos Tsigkanos; Nianyu Li; Zhi Jin 001; Zhenjiang Hu; Carlo Ghezzi (SEsCPS@ICSE, 2018)

A lightweight data sharing system based on bidirectional transformations. - Adrien Duchêne; Hugues Marchal; Zhenjiang Hu; Pierre-Yves Schobbens (Programming, 2018)

Putback-based bidirectional model transformations. - Xiao He 005; Zhenjiang Hu (ESEC/SIGSOFT FSE, 2018)

A View-based Programmable Architecture for Controlling and Integrating Decentralized Data. - Yasuhito Asano; Soichiro Hidaka; Zhenjiang Hu; Yasunori Ishihara; Hiroyuki Kato; Hsiang-Shang Ko; Keisuke Nakano 001; Makoto Onizuka; Yuya Sasaki 001; Toshiyuki Shimizu; Kanae Tsushima; Masatoshi Yoshikawa (CoRR, 2018)

Making View Update Strategies Programmable - Toward Controlling and Sharing Distributed Data -. - Yasuhito Asano; Soichiro Hidaka; Zhenjiang Hu; Yasunori Ishihara; Hiroyuki Kato; Hsiang-Shang Ko; Keisuke Nakano 001; Makoto Onizuka; Yuya Sasaki 001; Toshiyuki Shimizu; Van-Dang Tran; Kanae Tsushima; et al. (CoRR, 2018)

An axiomatic basis for bidirectional programming. - Hsiang-Shang Ko; Zhenjiang Hu (Proc. ACM Program. Lang., 2018)

Design and Engineering of Adaptive Software Systems. - Soichiro Hidaka; Zhenjiang Hu; Marin Litoiu; Lin Liu 001; Patrick Martin 001; Xin Peng 001; Guiling Wang 002; Yijun Yu (Engineering Adaptive Software Systems, 2019)

Bidirectional Transformations for Self-Adaptive Systems. - Lionel Montrieux; Naoyasu Ubayashi; Tianqi Zhao; Zhi Jin; Zhenjiang Hu (Engineering Adaptive Software Systems, 2019)

Controlling and Sharing Distributed Data for Implementing Service Alliance. - Yasuhito Asano; Zhenjiang Hu; Yasunori Ishihara; Hiroyuki Kato; Makoto Onizuka; Masatoshi Yoshikawa (BigComp, 2019)

Towards Bidirectional Synchronization Between Communicating Processes and Session Types. - Liye Guo; Hsiang-Shang Ko; Keigo Imai; Nobuko Yoshida; Zhenjiang Hu (BigComp, 2019)

Blockchain-Based Bidirectional Updates on Fine-Grained Medical Data. - Chunmiao Li; Yang Cao 011; Zhenjiang Hu; Masatoshi Yoshikawa (ICDE Workshops, 2019)

Modelling and analysing resilient cyber-physical systems. - Amel Bennaceur; Carlo Ghezzi; Kenji Tei; Timo Kehrer; Danny Weyns; Radu Calinescu; Schahram Dustdar; Zhenjiang Hu; Shinichi Honiden; Fuyuki Ishikawa; Zhi Jin 001; Jeffrey Kramer; et al. (SEAMS@ICSE, 2019)

Incrementalization of Vertex-Centric Programs. - Timothy A. K. Zakian; Ludovic Anthony Richard Capelli; Zhenjiang Hu (IPDPS, 2019)

Composing Optimization Techniques for Vertex-Centric Graph Processing via Communication Channels. - Yongzhe Zhang; Zhenjiang Hu (IPDPS, 2019)

Model-Driven Design of City Spaces via Bidirectional Transformations. - Ennio Visconti; Christos Tsigkanos; Zhenjiang Hu; Carlo Ghezzi (MoDELS, 2019)

POET: Privacy on the Edge with Bidirectional Data Transformations. - Nianyu Li; Christos Tsigkanos; Zhi Jin 001; Schahram Dustdar; Zhenjiang Hu; Carlo Ghezzi (PerCom, 2019)

Auto-Updating Portable Application Model of Multi-Cloud Marketplace Through Bidirectional Transformations System. - Hoang-Long Huynh; Van-Dang Tran; Huu-Duc Nguyen; Zhenjiang Hu; Trong-Vinh Le; Quyet-Thang Huynh (SoMeT, 2019)

Toward Co-existing Database Schemas based on Bidirectional Transformation. - Jumpei Tanaka; Van-Dang Tran; Hiroyuki Kato; Zhenjiang Hu (CoRR, 2019)

iPregel: Vertex-centric programmability vs memory efficiency and performance, why choose? - Ludovic Anthony Richard Capelli; Zhenjiang Hu; Timothy A. K. Zakian; Nick Brown 002; Jonathan Mark Bull (Parallel Comput., 2019)

A Counterexample-Guided Debugger for Non-recursive Datalog. - Van-Dang Tran; Hiroyuki Kato; Zhenjiang Hu (APLAS, 2020)

Dynamic Gas Estimation of Loops Using Machine Learning. - Chunmiao Li; Shijie Nie; Yang Cao 011; Yijun Yu; Zhenjiang Hu (BlockSys, 2020)

An Efficient Composition of Bidirectional Programs by Memoization and Lazy Update. - Kanae Tsushima; Bach Nguyen Trong; Robert Glück; Zhenjiang Hu (FLOPS, 2020)

Blockchain-based Bidirectional Transformations for Access Control and Data Sharing in EMRs. - Tao Zan; Zhenjiang Hu (Internetware, 2020)

Scalable Multiple-View Analysis of Reactive Systems via Bidirectional Model Transformations. - Christos Tsigkanos; Nianyu Li; Zhi Jin 001; Zhenjiang Hu; Carlo Ghezzi (ASE, 2020)

Question selection for interactive program synthesis. - Ruyi Ji; Jingjing Liang; Yingfei Xiong 001; Lu Zhang 023; Zhenjiang Hu (PLDI, 2020)

FastSV: A Distributed-Memory Connected Component Algorithm with Fast Convergence. - Yongzhe Zhang; Ariful Azad; Zhenjiang Hu (PP, 2020)

Adaptive Data Sharing and Computation Offloading in Cloud-Edge Computing with Resource Constraints. - Wenjie Chu; Haiyan Zhao 001; Zhi Jin 001; Zhenjiang Hu (SMC, 2020)

Data Integration Models and Architectures for Service Alliances. - Yasuhito Asano; Zhenjiang Hu; Yasunori Ishihara; Makoto Onizuka; Masato Takeichi; Masatoshi Yoshikawa (SFDI/LSGDA@VLDB, 2020)

Toward Programmable Strategy for Co-existence of Relational Schemes. - Jumpei Tanaka; Van-Dang Tran; Zhenjiang Hu (SFDI/LSGDA@VLDB, 2020)

A Cheap Implementation of Resugaring in BIRDS Based on Bidirectional Transformation. - Xing Zhang; Van-Dang Tran; Zhenjiang Hu (SFDI/LSGDA@VLDB, 2020)

Retentive Lenses. - Zirun Zhu; Zhixuan Yang; Hsiang-Shang Ko; Zhenjiang Hu (CoRR, 2020)

Early validation of cyber-physical space systems via multi-concerns integration. - Nianyu Li; Christos Tsigkanos; Zhi Jin 001; Zhenjiang Hu; Carlo Ghezzi (J. Syst. Softw., 2020)

Unifying Parsing and Reflective Printing for Fully Disambiguated Grammars. - Zirun Zhu; Hsiang-Shang Ko; Yongzhe Zhang; Pedro Martins 001; João Saraiva; Zhenjiang Hu (New Gener. Comput., 2020)

Trace-Based Dynamic Gas Estimation of Loops in Smart Contracts. - Chunmiao Li; Shijie Nie; Yang Cao 011; Yijun Yu; Zhenjiang Hu (IEEE Open J. Comput. Soc., 2020)

Guiding dynamic programing via structural probability for accelerating programming by example. - Ruyi Ji; Yican Sun; Yingfei Xiong 001; Zhenjiang Hu (Proc. ACM Program. Lang., 2020)

Programmable View Update Strategies on Relations. - Van-Dang Tran; Hiroyuki Kato; Zhenjiang Hu (Proc. VLDB Endow., 2020)

BIRDS: Programming view update strategies in Datalog. - Van-Dang Tran; Hiroyuki Kato; Zhenjiang Hu (Proc. VLDB Endow., 2020)

Analytical Differential Calculus with Integration. - Han Xu; Zhenjiang Hu (ICALP, 2021)

Toward Recursive View Update Strategies on Relations. - Van-Dang Tran; Hiroyuki Kato; Zhenjiang Hu (STAF Workshops, 2021)

Occam Learning Meets Synthesis Through Unification. - Ruyi Ji; Jingtao Xia; Yingfei Xiong 001; Zhenjiang Hu (CoRR, 2021)

Generalizable synthesis through unification. - Ruyi Ji; Jingtao Xia; Yingfei Xiong 001; Zhenjiang Hu (Proc. ACM Program. Lang., 2021)

Model-driven engineering city spaces via bidirectional model transformations. - Ennio Visconti; Christos Tsigkanos; Zhenjiang Hu; Carlo Ghezzi (Softw. Syst. Model., 2021)

End Effect Analysis of a Slot-Less Long-Stator Permanent Magnet Linear Synchronous Motor. - Yue Zhou; Wenjun Zong; Qiang Tan; Zhenjiang Hu; Tao Sun; Liyi Li 001 (Symmetry, 2021)

A Lazy Desugaring System for Evaluating Programs with Sugars. - Ziyi Yang 004; Yushuo Xiao; Zhichao Guan; Zhenjiang Hu (FLOPS, 2022)

Towards Bidirectional Live Programming for Incomplete Programs. - Xing Zhang; Zhenjiang Hu (ICSE, 2022)

A theoretic framework of bidirectional transformation between systems and models. - Xiao He 005; Zhenjiang Hu; Na Meng 001 (Sci. China Inf. Sci., 2022)

Black-Box Algorithm Synthesis - Divide-and-Conquer and More. - Ruyi Ji; Yingfei Xiong 001; Zhenjiang Hu (CoRR, 2022)

Synthesizing Efficient Dynamic Programming Algorithms. - Ruyi Ji; Tianran Zhu; Yingfei Xiong 001; Zhenjiang Hu (CoRR, 2022)

Fregel: a functional domain-specific language for vertex-centric large-scale graph processing. - Hideya Iwasaki; Kento Emoto; Akimasa Morihata; Kiminori Matsuzaki; Zhenjiang Hu (J. Funct. Program., 2022)

Generic recursive lens combinators and their calculation laws. - Ruifeng Xie; Zhenjiang Hu (Theor. Comput. Sci., 2022)

Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples. - Bach Nguyen Trong; Kanae Tsushima; Zhenjiang Hu (LOPSTR, 2023)

Contract lenses: Reasoning about bidirectional programs via calculation. - Hanliang Zhang; Wenhao Tang; Ruifeng Xie; Meng Wang 002; Zhenjiang Hu (J. Funct. Program., 2023)

Artifact for OOPSLA'23: Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection. - Ruyi Ji; Chaozhe Kong; Yingfei Xiong 001; Zhenjiang Hu (Zenodo, 2023)

Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection. - Ruyi Ji; Chaozhe Kong; Yingfei Xiong 001; Zhenjiang Hu (Proc. ACM Program. Lang., 2023)

Bidirectional Object-Oriented Programming: Towards Programmatic and Direct Manipulation of Objects. - Xing Zhang; Guanchen Guo; Xiao He 005; Zhenjiang Hu (Proc. ACM Program. Lang., 2023)

LDA-AQU: Adaptive Query-guided Upsampling via Local Deformable Attention. - Zewen Du; Zhenjiang Hu; Guiyu Zhao; Ying Jin; Hongbin Ma (ACM Multimedia, 2024)

Synthesis of Bidirectional Programs from Examples with Functional Dependencies. - Bach Nguyen Trong; Kanae Tsushima; Zhenjiang Hu (J. Inf. Process., 2024)

SYNTHBX: An Example-guided Synthesizer for Bidirectional Programs on Relations. - Bach Nguyen Trong; Kanae Tsushima; Zhenjiang Hu (J. Inf. Process., 2024)

Semantics Lifting for Syntactic Sugar. - Zhichao Guan; Yiyuan Cao; Tailai Yu; Ziheng Wang; Di Wang 017; Zhenjiang Hu (Proc. ACM Program. Lang., 2024)

Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis. - Ruyi Ji; Yuwei Zhao; Nadia Polikarpova; Yingfei Xiong 001; Zhenjiang Hu (Proc. ACM Program. Lang., 2024)

Fusing Direct Manipulations into Functional Programs. - Xing Zhang; Ruifeng Xie; Guanchen Guo; Xiao He 005; Tao Zan; Zhenjiang Hu (Proc. ACM Program. Lang., 2024)

Artifact for PLDI'24: Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis. - Ruyi Ji; Yuwei Zhao; Nadia Polikarpova; Yingfei Xiong 001; Zhenjiang Hu (Zenodo, 2024)

Artifact for PLDI'24: Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis. - Ruyi Ji; Yuwei Zhao; Nadia Polikarpova; Yingfei Xiong 001; Zhenjiang Hu (Zenodo, 2024)

Artifact for PLDI'24: Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis. - Ruyi Ji; Yuwei Zhao; Nadia Polikarpova; Yingfei Xiong 001; Zhenjiang Hu (Zenodo, 2024)

Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigms. - Ruyi Ji; Yuwei Zhao; Yingfei Xiong 001; Di Wang 017; Lu Zhang 023; Zhenjiang Hu (ACM Trans. Program. Lang. Syst., 2024)

Artifact for OOPSLA'24: Semantics Lifting for Syntactic Sugar. - Zhichao Guan; Yiyuan Cao; Tailai Yu; Ziheng Wang; Di Wang 017; Zhenjiang Hu (Zenodo, 2024)

Artifact for OOPSLA'24: Semantics Lifting for Syntactic Sugar. - Zhichao Guan; Yiyuan Cao; Tailai Yu; Ziheng Wang; Di Wang 017; Zhenjiang Hu (Zenodo, 2024)

Artifact for POPL'25: Biparsers: Exact Printing for Data Synchronisation. - Ruifeng Xie; Tom Schrijvers; Zhenjiang Hu (Zenodo, 2024)

Biparsers: Exact Printing for Data Synchronisation. - Ruifeng Xie; Tom Schrijvers; Zhenjiang Hu (Proc. ACM Program. Lang., 2025)

Cross-Layer Feature Pyramid Transformer for Small Object Detection in Aerial Images. - Zewen Du; Zhenjiang Hu; Guiyu Zhao; Ying Jin; Hongbin Ma (IEEE Trans. Geosci. Remote. Sens., 2025)

Enhanced Head: Exploring Strong Detection Heads With Vision Transformer. - Zewen Du; Zhenjiang Hu; Guiyu Zhao; Ying Jin; Hongbin Ma (IEEE Trans. Multim., 2025)

C*: Unifying Programming and Verification in C. - Yiyuan Cao; Jiayi Zhuang; Houjin Chen; Jinkai Fan; Wenbo Xu; Zhiyi Wang; Di Wang 017; Qinxiang Cao; Yingfei Xiong 001; Haiyan Zhao 001; Zhenjiang Hu (CoRR, 2025)

NEAT: QCP: A Practical Separation Logic-based C Program Verification Tool. - Xiwei Wu; Yueyang Feng; Xiaoyang Lu; Tianchuan Lin; Kan Liu; Zhiyi Wang; Shushu Wu; Lihan Xie; Chengxi Yang; Hongyi Zhong; Naijun Zhan; Zhenjiang Hu; et al. (CoRR, 2025)

Artifact for ICFP '25: Effectful Lenses: There and Back with Different Monads. - Ruifeng Xie; Tom Schrijvers; Zhenjiang Hu (Zenodo, 2025)