Zhenjiang Hu - RankMe

239 papers A* 11A 19B 29C 25Misc 8Journal 85Unranked 56

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Enabling direct manipulation of plain-text output for template programs. J. Syst. Softw. Tao Zan, Xiao He, Zhenjiang Hu
2026	C	`conf`	Inferring Typing Rules for Contextual Sugars. PEPM Tailai Yu, Zhichao Guan, Di Wang, Zhenjiang Hu
2025	J	`jnl`	Biparsers: Exact Printing for Data Synchronisation. Proc. ACM Program. Lang. Ruifeng Xie, Tom Schrijvers, Zhenjiang Hu
2025	J	`jnl`	C*: Unifying Programming and Verification in C. CoRR Yiyuan Cao, Jiayi Zhuang, Houjin Chen, Jinkai Fan, Wenbo Xu, Zhiyi Wang, Di Wang, Qinxiang Cao, Yingfei Xiong, Haiyan Zhao, Zhenjiang Hu
2025	J	`jnl`	Effectful Lenses: There and Back with Different Monads. Proc. ACM Program. Lang. Ruifeng Xie, Tom Schrijvers, Zhenjiang Hu
2025	J	`jnl`	Intentionally Fusing Direct Manipulations into SVG Programs. Inf. Tao Zan, Xing Zhang, Xiao He, Zhenjiang Hu
2025	J	`jnl`	NEAT: QCP: A Practical Separation Logic-based C Program Verification Tool. CoRR Xiwei Wu, Yueyang Feng, Xiaoyang Lu, Tianchuan Lin, Kan Liu, Zhiyi Wang, Shushu Wu, Lihan Xie, Chengxi Yang, Hongyi Zhong, Naijun Zhan, Zhenjiang Hu, Qinxiang Cao
2025	J	`jnl`	Stellis: A Strategy Language for Purifying Separation Logic Entailments. CoRR Zhiyi Wang, Xiwei Wu, Yi Fang, Chengtao Li, Hongyi Zhong, Lihan Xie, Qinxiang Cao, Zhenjiang Hu
2024	J	`jnl`	Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigms. ACM Trans. Program. Lang. Syst. Ruyi Ji, Yuwei Zhao, Yingfei Xiong, Di Wang, Lu Zhang, Zhenjiang Hu
2024	J	`jnl`	Fusing Direct Manipulations into Functional Programs. Proc. ACM Program. Lang. Xing Zhang, Ruifeng Xie, Guanchen Guo, Xiao He, Tao Zan, Zhenjiang Hu
2024	J	`jnl`	S J. Inf. Process. Bach Nguyen Trong, Kanae Tsushima, Zhenjiang Hu
2024	J	`jnl`	Semantics Lifting for Syntactic Sugar. Proc. ACM Program. Lang. Zhichao Guan, Yiyuan Cao, Tailai Yu, Ziheng Wang, Di Wang, Zhenjiang Hu
2024	J	`jnl`	Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis. Proc. ACM Program. Lang. Ruyi Ji, Yuwei Zhao, Nadia Polikarpova, Yingfei Xiong, Zhenjiang Hu
2024	J	`jnl`	Synthesis of Bidirectional Programs from Examples with Functional Dependencies. J. Inf. Process. Bach Nguyen Trong, Kanae Tsushima, Zhenjiang Hu
2023	J	`jnl`	Bidirectional Object-Oriented Programming: Towards Programmatic and Direct Manipulation of Objects. Proc. ACM Program. Lang. Xing Zhang, Guanchen Guo, Xiao He, Zhenjiang Hu
2023	J	`jnl`	Contract lenses: Reasoning about bidirectional programs via calculation. J. Funct. Program. Hanliang Zhang, Wenhao Tang, Ruifeng Xie, Meng Wang, Zhenjiang Hu
2023	C	`conf`	Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples. LOPSTR Bach Nguyen Trong, Kanae Tsushima, Zhenjiang Hu
2023	J	`jnl`	Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection. Proc. ACM Program. Lang. Ruyi Ji, Chaozhe Kong, Yingfei Xiong, Zhenjiang Hu
2022	Misc	`conf`	A Lazy Desugaring System for Evaluating Programs with Sugars. FLOPS Ziyi Yang, Yushuo Xiao, Zhichao Guan, Zhenjiang Hu
2022	J	`jnl`	A theoretic framework of bidirectional transformation between systems and models. Sci. China Inf. Sci. Xiao He, Zhenjiang Hu, Na Meng
2022	J	`jnl`	Black-Box Algorithm Synthesis - Divide-and-Conquer and More. CoRR Ruyi Ji, Yingfei Xiong, Zhenjiang Hu
2022	J	`jnl`	Fregel: a functional domain-specific language for vertex-centric large-scale graph processing. J. Funct. Program. Hideya Iwasaki, Kento Emoto, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu
2022	J	`jnl`	Generic recursive lens combinators and their calculation laws. Theor. Comput. Sci. Ruifeng Xie, Zhenjiang Hu
2022	J	`jnl`	Synthesizing Efficient Dynamic Programming Algorithms. CoRR Ruyi Ji, Tianran Zhu, Yingfei Xiong, Zhenjiang Hu
2022	A*	`conf`	Towards Bidirectional Live Programming for Incomplete Programs. ICSE Xing Zhang, Zhenjiang Hu
2021	A*	`conf`	Analytical Differential Calculus with Integration. ICALP Han Xu, Zhenjiang Hu
2021	J	`jnl`	Analytical Differential Calculus with Integration. CoRR Han Xu, Zhenjiang Hu
2021	J	`jnl`	Generalizable synthesis through unification. Proc. ACM Program. Lang. Ruyi Ji, Jingtao Xia, Yingfei Xiong, Zhenjiang Hu
2021	J	`jnl`	Model-driven engineering city spaces via bidirectional model transformations. Softw. Syst. Model. Ennio Visconti, Christos Tsigkanos, Zhenjiang Hu, Carlo Ghezzi
2021	J	`jnl`	Occam Learning Meets Synthesis Through Unification. CoRR Ruyi Ji, Jingtao Xia, Yingfei Xiong, Zhenjiang Hu
2021	—	`conf`	Toward Recursive View Update Strategies on Relations. STAF Workshops Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu
2020	—	`conf`	A Cheap Implementation of Resugaring in BIRDS Based on Bidirectional Transformation. SFDI/LSGDA@VLDB Xing Zhang, Van-Dang Tran, Zhenjiang Hu
2020	B	`conf`	A Counterexample-Guided Debugger for Non-recursive Datalog. APLAS Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu
2020	B	`conf`	Adaptive Data Sharing and Computation Offloading in Cloud-Edge Computing with Resource Constraints. SMC Wenjie Chu, Haiyan Zhao, Zhi Jin, Zhenjiang Hu
2020	Misc	`conf`	An Efficient Composition of Bidirectional Programs by Memoization and Lazy Update. FLOPS Kanae Tsushima, Bach Nguyen Trong, Robert Glück, Zhenjiang Hu
2020	J	`jnl`	BIRDS: Programming view update strategies in Datalog. Proc. VLDB Endow. Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu
2020	—	`conf`	Blockchain-based Bidirectional Transformations for Access Control and Data Sharing in EMRs. Internetware Tao Zan, Zhenjiang Hu
2020	—	`conf`	Data Integration Models and Architectures for Service Alliances. SFDI/LSGDA@VLDB Yasuhito Asano, Zhenjiang Hu, Yasunori Ishihara, Makoto Onizuka, Masato Takeichi, Masatoshi Yoshikawa
2020	—	`conf`	Dynamic Gas Estimation of Loops Using Machine Learning. BlockSys Chunmiao Li, Shijie Nie, Yang Cao, Yijun Yu, Zhenjiang Hu
2020	J	`jnl`	Early Validation of Cyber-Physical Space Systems via Multi-Concerns Integration. CoRR Nianyu Li, Christos Tsigkanos, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi
2020	J	`jnl`	Early validation of cyber-physical space systems via multi-concerns integration. J. Syst. Softw. Nianyu Li, Christos Tsigkanos, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi
2020	—	`conf`	FastSV: A Distributed-Memory Connected Component Algorithm with Fast Convergence. PP Yongzhe Zhang, Ariful Azad, Zhenjiang Hu
2020	J	`jnl`	Guiding dynamic programing via structural probability for accelerating programming by example. Proc. ACM Program. Lang. Ruyi Ji, Yican Sun, Yingfei Xiong, Zhenjiang Hu
2020	—	`ed.`	Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM@POPL 2020, New Orleans, LA, USA, January 20, 2020 PEPM@POPL Casper Bach Poulsen, Zhenjiang Hu
2020	J	`jnl`	Programmable View Update Strategies on Relations. Proc. VLDB Endow. Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu
2020	A*	`conf`	Question selection for interactive program synthesis. PLDI Ruyi Ji, Jingjing Liang, Yingfei Xiong, Lu Zhang, Zhenjiang Hu
2020	J	`jnl`	Retentive Lenses. CoRR Zirun Zhu, Zhixuan Yang, Hsiang-Shang Ko, Zhenjiang Hu
2020	A*	`conf`	Scalable Multiple-View Analysis of Reactive Systems via Bidirectional Model Transformations. ASE Christos Tsigkanos, Nianyu Li, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi
2020	—	`conf`	Toward Programmable Strategy for Co-existence of Relational Schemes. SFDI/LSGDA@VLDB Jumpei Tanaka, Van-Dang Tran, Zhenjiang Hu
2020	J	`jnl`	Trace-Based Dynamic Gas Estimation of Loops in Smart Contracts. IEEE Open J. Comput. Soc. Chunmiao Li, Shijie Nie, Yang Cao, Yijun Yu, Zhenjiang Hu
2020	J	`jnl`	Unifying Parsing and Reflective Printing for Fully Disambiguated Grammars. New Gener. Comput. Zirun Zhu, Hsiang-Shang Ko, Yongzhe Zhang, Pedro Martins, João Saraiva, Zhenjiang Hu
2020	J	`jnl`	iPregel: Vertex-centric programmability vs memory efficiency and performance, why choose? CoRR Ludovic Anthony Richard Capelli, Zhenjiang Hu, Timothy A. K. Zakian, Nick Brown, J. Mark Bull
2019	C	`conf`	Auto-Updating Portable Application Model of Multi-Cloud Marketplace Through Bidirectional Transformations System. SoMeT Hoang-Long Huynh, Van-Dang Tran, Huu-Duc Nguyen, Zhenjiang Hu, Trong-Vinh Le, Quyet-Thang Huynh
2019	—	`ch.`	Bidirectional Transformations for Self-Adaptive Systems. Engineering Adaptive Software Systems Lionel Montrieux, Naoyasu Ubayashi, Tianqi Zhao, Zhi Jin, Zhenjiang Hu
2019	—	`conf`	Blockchain-Based Bidirectional Updates on Fine-Grained Medical Data. ICDE Workshops Chunmiao Li, Yang Cao, Zhenjiang Hu, Masatoshi Yoshikawa
2019	J	`jnl`	Blockchain-based Bidirectional Updates on Fine-grained Medical Data. CoRR Chunmiao Li, Yang Cao, Zhenjiang Hu, Masatoshi Yoshikawa
2019	A	`conf`	Composing Optimization Techniques for Vertex-Centric Graph Processing via Communication Channels. IPDPS Yongzhe Zhang, Zhenjiang Hu
2019	—	`conf`	Controlling and Sharing Distributed Data for Implementing Service Alliance. BigComp Yasuhito Asano, Zhenjiang Hu, Yasunori Ishihara, Hiroyuki Kato, Makoto Onizuka, Masatoshi Yoshikawa
2019	—	`ch.`	Design and Engineering of Adaptive Software Systems. Engineering Adaptive Software Systems Soichiro Hidaka, Zhenjiang Hu, Marin Litoiu, Lin Liu, Patrick Martin, Xin Peng, Guiling Wang, Yijun Yu
2019	—	`book`	Engineering Adaptive Software Systems - Communications of NII Shonan Meetings Engineering Adaptive Software Systems Yijun Yu, Arosha K. Bandara, Shinichi Honiden, Zhenjiang Hu, Tetsuo Tamai, Hausi A. Müller, John Mylopoulos, Bashar Nuseibeh
2019	J	`jnl`	FastSV: A Distributed-Memory Connected Component Algorithm with Fast Convergence. CoRR Yongzhe Zhang, Ariful Azad, Zhenjiang Hu
2019	A	`conf`	Incrementalization of Vertex-Centric Programs. IPDPS Timothy A. K. Zakian, Ludovic Anthony Richard Capelli, Zhenjiang Hu
2019	A	`conf`	Model-Driven Design of City Spaces via Bidirectional Transformations. MoDELS Ennio Visconti, Christos Tsigkanos, Zhenjiang Hu, Carlo Ghezzi
2019	—	`conf`	Modelling and analysing resilient cyber-physical systems. SEAMS@ICSE Amel Bennaceur, Carlo Ghezzi, Kenji Tei, Timo Kehrer, Danny Weyns, Radu Calinescu, Schahram Dustdar, Zhenjiang Hu, Shinichi Honiden, Fuyuki Ishikawa, Zhi Jin, Jeffrey Kramer, Marin Litoiu, Michele Loreti, Gabriel A. Moreno, Hausi A. Müller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang Reisig, Heinz Schmidt, Christos Tsigkanos, Haiyan Zhao
2019	A*	`conf`	POET: Privacy on the Edge with Bidirectional Data Transformations. PerCom Nianyu Li, Christos Tsigkanos, Zhi Jin, Schahram Dustdar, Zhenjiang Hu, Carlo Ghezzi
2019	J	`jnl`	Programmable View Update Strategies on Relations. CoRR Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu
2019	J	`jnl`	Toward Co-existing Database Schemas based on Bidirectional Transformation. CoRR Jumpei Tanaka, Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu
2019	—	`conf`	Towards Bidirectional Synchronization Between Communicating Processes and Session Types. BigComp Liye Guo, Hsiang-Shang Ko, Keigo Imai, Nobuko Yoshida, Zhenjiang Hu
2019	J	`jnl`	iPregel: Vertex-centric programmability vs memory efficiency and performance, why choose? Parallel Comput. Ludovic Anthony Richard Capelli, Zhenjiang Hu, Timothy A. K. Zakian, Nick Brown, Jonathan Mark Bull
2018	J	`jnl`	A View-based Programmable Architecture for Controlling and Integrating Decentralized Data. CoRR Yasuhito Asano, Soichiro Hidaka, Zhenjiang Hu, Yasunori Ishihara, Hiroyuki Kato, Hsiang-Shang Ko, Keisuke Nakano, Makoto Onizuka, Yuya Sasaki, Toshiyuki Shimizu, Kanae Tsushima, Masatoshi Yoshikawa
2018	—	`conf`	A lightweight data sharing system based on bidirectional transformations. Programming Adrien Duchêne, Hugues Marchal, Zhenjiang Hu, Pierre-Yves Schobbens
2018	J	`jnl`	An axiomatic basis for bidirectional programming. Proc. ACM Program. Lang. Hsiang-Shang Ko, Zhenjiang Hu
2018	J	`jnl`	Composing Optimization Techniques for Vertex-Centric Graph Processing via Communication Channels. CoRR Yongzhe Zhang, Zhenjiang Hu
2018	J	`jnl`	Making View Update Strategies Programmable - Toward Controlling and Sharing Distributed Data -. CoRR Yasuhito Asano, Soichiro Hidaka, Zhenjiang Hu, Yasunori Ishihara, Hiroyuki Kato, Hsiang-Shang Ko, Keisuke Nakano, Makoto Onizuka, Yuya Sasaki, Toshiyuki Shimizu, Van-Dang Tran, Kanae Tsushima, Masatoshi Yoshikawa
2018	—	`conf`	On early statistical requirements validation of cyber-physical space systems. SEsCPS@ICSE Christos Tsigkanos, Nianyu Li, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi
2018	Misc	`conf`	Optimizing Declarative Parallel Distributed Graph Processing by Using Constraint Solvers. FLOPS Akimasa Morihata, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Hideya Iwasaki
2018	—	`conf`	Putback-based bidirectional model transformations. ESEC/SIGSOFT FSE Xiao He, Zhenjiang Hu
2018	—	`conf`	iPregel: A Combiner-Based In-Memory Shared Memory Vertex-Centric Framework. ICPP Workshops Ludovic Anthony Richard Capelli, Zhenjiang Hu, Timothy A. K. Zakian
2017	J	`jnl`	BiFluX: A Bidirectional Functional Update Language for XML. Inf. Media Technol. Tao Zan, Hugo Pacheco, Hsiang-Shang Ko, Zhenjiang Hu
2017	—	`conf`	Bidirectional programming and software adaptation: Towards a happy marriage. KSE Zhenjiang Hu
2017	J	`jnl`	Goal Modelling for Security Problem Matching and Pattern Enforcement. Int. J. Secur. Softw. Eng. Yijun Yu, Haruhiko Kaiya, Nobukazu Yoshioka, Zhenjiang Hu, Hironori Washizaki, Yingfei Xiong, Amin Hosseinian Far
2017	B	`conf`	Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access. APLAS Yongzhe Zhang, Hsiang-Shang Ko, Zhenjiang Hu
2017	J	`jnl`	Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access. CoRR Yongzhe Zhang, Hsiang-Shang Ko, Zhenjiang Hu
2017	J	`jnl`	Towards Systematic Parallelization of Graph Transformations Over Pregel. Int. J. Parallel Program. Le-Duc Tung, Zhenjiang Hu
2017	—	`conf`	Towards Variability Management in Bidirectional Model Transformation. COMPSAC (1) Xiao He, Zhenjiang Hu, Yi Liu
2016	—	`conf`	A Framework for Synchronization Between Feature Configurations and Use Cases Based on Bidirectional Programming. RE Workshops Weize Zhao, Haiyan Zhao, Zhenjiang Hu
2016	C	`conf`	BiGUL: a formally verified core language for putback-based bidirectional programming. PEPM Hsiang-Shang Ko, Tao Zan, Zhenjiang Hu
2016	—	`conf`	Brul: A Putback-Based Bidirectional Transformation Library for Updatable Views. Bx@ETAPS Tao Zan, Li Liu, Hsiang-Shang Ko, Zhenjiang Hu
2016	Misc	`conf`	Derivation of parallel-efficient structural recursive functions from declarative graph queries. SAC Chong Li, Le-Duc Tung, Xiaodong Meng, Zhenjiang Hu
2016	J	`jnl`	Feature-based classification of bidirectional transformation approaches. Softw. Syst. Model. Soichiro Hidaka, Massimo Tisi, Jordi Cabot, Zhenjiang Hu
2016	C	`conf`	Integrating Goal Model into Rule-Based Adaptation. APSEC Tianqi Zhao, Tao Zan, Haiyan Zhao, Zhenjiang Hu, Zhi Jin
2016	J	`jnl`	Let High-level Graph Queries Be Parallel Efficient: An Approach Over Structural Recursion On Pregel. J. Inf. Process. Chong Li, Le-Duc Tung, Xiaodong Meng, Zhenjiang Hu
2016	B	`conf`	Parsing and reflective printing, bidirectionally. SLE Zirun Zhu, Yongzhe Zhang, Hsiang-Shang Ko, Pedro Martins, João Saraiva, Zhenjiang Hu
2016	J	`jnl`	Preface. Sci. China Inf. Sci. Zhi Jin, Zhenjiang Hu, Gang Yin
2016	—	`conf`	Principles and Practice of Bidirectional Programming in BiGUL. Bidirectional Transformations Zhenjiang Hu, Hsiang-Shang Ko
2016	—	`conf`	Reusable self-adaptation through bidirectional programming. SEAMS@ICSE Kevin Colson, Robin Dupuis, Lionel Montrieux, Zhenjiang Hu, Sebastián Uchitel, Pierre-Yves Schobbens
2016	A	`conf`	Rule-directed code clone synchronization. ICPC Xiao Cheng, Hao Zhong, Yuting Chen, Zhenjiang Hu, Jianjun Zhao
2016	A	`conf`	Supporting Selective Undo for Refactoring. SANER Xiao Cheng, Yuting Chen, Zhenjiang Hu, Tao Zan, Mengyu Liu, Hao Zhong, Jianjun Zhao
2016	A	`conf`	Think like a vertex, behave like a function! a functional DSL for vertex-centric big graph processing. ICFP Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Akimasa Morihata, Hideya Iwasaki
2016	A	`conf`	Transforming Programs between APIs with Many-to-Many Mappings. ECOOP Chenglong Wang, Jiajun Jiang, Jun Li, Yingfei Xiong, Xiangyu Luo, Lu Zhang, Zhenjiang Hu
2015	B	`conf`	A Clear Picture of Lens Laws - Functional Pearl. MPC Sebastian Fischer, Zhenjiang Hu, Hugo Pacheco
2015	—	`conf`	BiYacc: Roll Your Parser and Reflective Printer into One. Bx@STAF Zirun Zhu, Hsiang-Shang Ko, Pedro Martins, João Saraiva, Zhenjiang Hu
2015	J	`jnl`	Constructing format-preserving printing from syntax-directed definitions. Sci. China Inf. Sci. Lichao Wang, Guoqiang Li, Zhenjiang Hu
2015	J	`jnl`	Context-preserving XQuery fusion. Math. Struct. Comput. Sci. Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
2015	J	`jnl`	Guest editorial to the special section on model transformation. Softw. Syst. Model. Zhenjiang Hu, Juan de Lara
2015	C	`conf`	SWIN: Towards Type-Safe Java Program Adaptation between APIs. PEPM Jun Li, Chenglong Wang, Yingfei Xiong, Zhenjiang Hu
2015	J	`jnl`	The essence of bidirectional programming. Sci. China Inf. Sci. Sebastian Fischer, Zhenjiang Hu, Hugo Pacheco
2015	C	`conf`	Towards Attribute-Based Authorisation for Bidirectional Programming. SACMAT Lionel Montrieux, Zhenjiang Hu
2014	J	`jnl`	A Generate-Test-Aggregate parallel programming library for systematic parallel programming. Parallel Comput. Yu Liu, Kento Emoto, Zhenjiang Hu
2014	J	`jnl`	Accumulative Computation on MapReduce. Inf. Media Technol. Yu Liu, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu
2014	C	`conf`	BiFluX: A Bidirectional Functional Update Language for XML. PPDP Hugo Pacheco, Tao Zan, Zhenjiang Hu
2014	Misc	`conf`	Formal derivation and extraction of a parallel program for the all nearest smaller values problem. SAC Frédéric Loulergue, Simon Robillard, Julien Tesson, Joeffrey Legaux, Zhenjiang Hu
2014	J	`jnl`	Interactive Inconsistency Fixing in Feature Modeling. J. Comput. Sci. Technol. Bo Wang, Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Wei Zhang, Hong Mei
2014	C	`conf`	Monadic combinators for "Putback" style bidirectional programming. PEPM Hugo Pacheco, Zhenjiang Hu, Sebastian Fischer
2014	—	`conf`	Towards Bidirectional Higher-Order Transformation for Model-Driven Co-evolution. MODELSWARD (Revised Selected Papers) Bernhard Hoisl, Zhenjiang Hu, Soichiro Hidaka
2014	C	`conf`	Towards Co-evolution in Model-Driven Development Via Bidirectional Higher-Order Transformation. MODELSWARD Bernhard Hoisl, Zhenjiang Hu, Soichiro Hidaka
2014	B	`conf`	Validity Checking of Putback Transformations in Bidirectional Programming. FM Zhenjiang Hu, Hugo Pacheco, Sebastian Fischer
2014	—	`conf`	Writing bidirectional model transformations as intentional updates. ICSE Companion Tao Zan, Hugo Pacheco, Zhenjiang Hu
2013	—	`conf`	A generate-test-aggregate parallel programming library: systematic parallel programming for MapReduce. PMAM Yu Liu, Kento Emoto, Zhenjiang Hu
2013	C	`conf`	A parameterized graph transformation calculus for finite graphs with monadic branches. PPDP Kazuyuki Asada, Soichiro Hidaka, Hiroyuki Kato, Zhenjiang Hu, Keisuke Nakano
2013	—	`conf`	Efficient query evaluation on distributed graphs with Hadoop environment. SoICT Le-Duc Tung, Quyet Nguyen-Van, Zhenjiang Hu
2013	J	`jnl`	Engineering Adaptive Software Systems (EASSy) (NII Shonan Meeting 2013-7). NII Shonan Meet. Rep. Shinichi Honiden, Zhenjiang Hu, Hausi A. Müller, John Mylopoulos, Yijun Yu
2013	J	`jnl`	Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins. J. Funct. Program. Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang
2013	C	`conf`	Issues in representing domain-specific concerns in model-driven engineering. MiSE Lionel Montrieux, Yijun Yu, Michel Wermelinger, Zhenjiang Hu
2013	—	`conf`	Minimizing data transfers for regular reachability queries on distributed graphs. SoICT Quyet Nguyen-Van, Le-Duc Tung, Zhenjiang Hu
2013	J	`jnl`	Optimization for iterative queries on MapReduce. Proc. VLDB Endow. Makoto Onizuka, Hiroyuki Kato, Soichiro Hidaka, Keisuke Nakano, Zhenjiang Hu
2013	C	`conf`	Practical aspects of bidirectional graph transformations. PEPM Zhenjiang Hu
2013	—	`conf`	Programming with BSP Homomorphisms. Euro-Par Joeffrey Legaux, Zhenjiang Hu, Frédéric Loulergue, Kiminori Matsuzaki, Julien Tesson
2013	J	`jnl`	Refactoring pattern matching. Sci. Comput. Program. Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu
2013	A	`conf`	Structural recursion for querying ordered graphs. ICFP Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
2013	J	`jnl`	Supporting feature model refinement with updatable view. Frontiers Comput. Sci. Bo Wang, Zhenjiang Hu, Qiang Sun, Haiyan Zhao, Yingfei Xiong, Wei Zhang, Hong Mei
2013	J	`jnl`	Synchronizing concurrent model updates based on bidirectional transformation. Softw. Syst. Model. Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi
2013	—	`conf`	Towards systematic parallel programming of graph problems via tree decomposition and tree parallelism. FHPC@ICFP Qi Wang, Meixian Chen, Yu Liu, Zhenjiang Hu
2012	J	`jnl`	Delta Lenses over Inductive Types. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Hugo Pacheco, Alcino Cunha, Zhenjiang Hu
2012	J	`jnl`	Filter-embedding semiring fusion for programming with MapReduce. Formal Aspects Comput. Kento Emoto, Sebastian Fischer, Zhenjiang Hu
2012	A	`conf`	Generate, Test, and Aggregate - A Calculation-based Framework for Systematic Parallel Programming with MapReduce. ESOP Kento Emoto, Sebastian Fischer, Zhenjiang Hu
2012	A*	`conf`	Maintaining invariant traceability through bidirectional transformations. ICSE Yijun Yu, Yu Lin, Zhenjiang Hu, Soichiro Hidaka, Hiroyuki Kato, Lionel Montrieux
2012	J	`jnl`	Manipulating accumulative functions by swapping call-time and return-time computations. J. Funct. Program. Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi
2012	—	`ed.`	Theory and Practice of Model Transformations - 5th International Conference, ICMT@TOOLS 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings ICMT@TOOLS Zhenjiang Hu, Juan de Lara
2011	J	`jnl`	Bidirectional Transformation "bx" (Dagstuhl Seminar 11031). Dagstuhl Reports Zhenjiang Hu, Andy Schürr, Perdita Stevens, James F. Terwilliger
2011	J	`jnl`	Dagstuhl seminar on bidirectional transformations (BX). SIGMOD Rec. Zhenjiang Hu, Andy Schürr, Perdita Stevens, James F. Terwilliger
2011	A*	`conf`	GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations. ASE Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
2011	C	`conf`	Graph-transformation verification using monadic second-order logic. PPDP Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
2011	C	`conf`	Marker-Directed Optimization of UnCAL Graph Transformations. LOPSTR Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano
2011	A	`ed.`	Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, ICFP 2011, Tokyo, Japan, September 19-21, 2011 ICFP Manuel M. T. Chakravarty, Zhenjiang Hu, Olivier Danvy
2011	J	`jnl`	Special Issue on Programming Languages and Systems. New Gener. Comput. Zhenjiang Hu
2011	J	`jnl`	Supporting runtime software architecture: A bidirectional-transformation-based approach. J. Syst. Softw. Hui Song, Gang Huang, Franck Chauvel, Yingfei Xiong, Zhenjiang Hu, Yanchun Sun, Hong Mei
2011	—	`conf`	Toward Bidirectionalization of ATL with GRoundTram. ICMT@TOOLS Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
2011	—	`conf`	Towards Systematic Parallel Programming over MapReduce. Euro-Par (2) Yu Liu, Zhenjiang Hu, Kiminori Matsuzaki
2010	—	`conf`	A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models. MoDELS (1) Bo Wang, Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Wei Zhang, Hong Mei
2010	A	`conf`	A Grammar-Based Approach to Invertible Programs. ESOP Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
2010	A	`conf`	Bidirectionalizing graph transformations. ICFP Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano
2010	A	`conf`	Combining syntactic and semantic bidirectionalization. ICFP Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang
2010	B	`conf`	Context-Preserving XQuery Fusion. APLAS Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
2010	—	`conf`	Generators-of-Generators Library with Optimization Capabilities in Fortress. Euro-Par (2) Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, Masato Takeichi
2010	B	`conf`	Gradual Refinement. MPC Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu
2010	—	`ed.`	Proceedings of the 3rd Workshop on Living with Inconsistencies in Software Development, LWI@ASE 2010, Antwerp, Belgium, September 21st, 2010 LWI@ASE Alexander Egyed, Roberto E. Lopez-Herrejon, Bashar Nuseibeh, Goetz Botterweck, Marsha Chechik, Zhenjiang Hu
2010	—	`conf`	Program Calculation in Coq. AMAST Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Frédéric Loulergue, Masato Takeichi
2010	C	`conf`	Systematic Development of Correct Bulk Synchronous Parallel Programs. PDCAT Louis Gesbert, Zhenjiang Hu, Frédéric Loulergue, Kiminori Matsuzaki, Julien Tesson
2010	—	`conf`	Tolerating Inconsistency in Feature Models. LWI@ASE Bo Wang, Zhenjiang Hu, Yingfei Xiong, Haiyan Zhao, Wei Zhang, Hong Mei
2009	—	`conf`	A compositional approach to bidirectional model transformation. ICSE Companion Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
2009	—	`conf`	Bidirectional Transformations: A Cross-Discipline Perspective. ICMT@TOOLS Krzysztof Czarnecki, J. Nathan Foster, Zhenjiang Hu, Ralf Lämmel, Andy Schürr, James F. Terwilliger
2009	J	`jnl`	Consistent Web site updating based on bidirectional transformation. Int. J. Softw. Tools Technol. Transf. Keisuke Nakano, Zhenjiang Hu, Masato Takeichi
2009	—	`conf`	Generating Synchronization Engines between Running Systems and Their Model-Based Views. MoDELS (Workshops) Hui Song, Yingfei Xiong, Franck Chauvel, Gang Huang, Zhenjiang Hu, Hong Mei
2009	B	`ed.`	Programming Languages and Systems, 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings APLAS Zhenjiang Hu
2009	—	`conf`	Supporting Parallel Updates with Bidirectional Model Transformations. ICMT@TOOLS Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi
2009	—	`conf`	Supporting automatic model inconsistency fixing. ESEC/SIGSOFT FSE Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei
2009	A*	`conf`	The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer. POPL Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
2009	Misc	`conf`	Towards a compositional approach to model transformation for software development. SAC Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
2009	C	`conf`	Type-based specialization of xml transformations. PEPM Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi
2008	J	`jnl`	A programmable editor for developing structured documents based on bidirectional transformations. High. Order Symb. Comput. Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi
2008	—	`conf`	Consistent Web site updating based on bidirectional transformation. WSE Keisuke Nakano, Zhenjiang Hu, Masato Takeichi
2008	—	`conf`	Enforcing a security pattern in stakeholder goal models. QoP Yijun Yu, Haruhiko Kaiya, Hironori Washizaki, Yingfei Xiong, Zhenjiang Hu, Nobukazu Yoshioka
2007	J	`jnl`	A Compositional Framework for Developing Parallel Programs on Two-Dimensional Arrays. Int. J. Parallel Program. Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi
2007	J	`jnl`	A Java Library for Bidirectional XML Transformation. Inf. Media Technol. Dongxi Liu, Zhenjiang Hu, Masato Takeichi, Kazuhiko Kakehi, Hao Wang
2007	—	`conf`	A Web Service Architecture for Bidirectional XML Updating. APWeb/WAIM Yasushi Hayashi, Dongxi Liu, Kento Emoto, Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi
2007	A*	`conf`	Automatic inversion generates divide-and-conquer parallel programs. PLDI Kazutaka Morita, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
2007	C	`conf`	Bidirectional interpretation of XQuery. PEPM Dongxi Liu, Zhenjiang Hu, Masato Takeichi
2007	A	`conf`	Bidirectionalization transformation based on automatic derivation of view complement functions. ICFP Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, Masato Takeichi
2007	J	`jnl`	Bidirectionalizing Tree Transformation Languages: A Case Study. Inf. Media Technol. Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
2007	—	`conf`	Domain-Specific Optimization Strategy for Skeleton Programs. Euro-Par Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
2007	A*	`conf`	Towards automatic model synchronization from model transformations. ASE Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Hong Mei
2006	—	`conf`	A library of constructive skeletons for sequential style of parallel programming. Infoscale Kiminori Matsuzaki, Hideya Iwasaki, Kento Emoto, Zhenjiang Hu
2006	J	`jnl`	Parallel skeletons for manipulating general trees. Parallel Comput. Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
2006	—	`conf`	Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions. Euro-Par Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
2006	B	`conf`	Swapping Arguments and Results of Recursive Functions. MPC Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi
2006	B	`conf`	Towards automatic parallelization of tree reductions in dynamic programming. SPAA Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
2005	B	`conf`	An environment for maintaining computation dependency in XML documents. ACM Symposium on Document Engineering Dongxi Liu, Zhenjiang Hu, Masato Takeichi
2005	—	`conf`	Gabor Features-Based Classification Using SVM for Face Recognition. ISNN (2) Yixiong Liang, Weiguo Gong, Yingjun Pan, Weihong Li, Zhenjiang Hu
2005	C	`conf`	Maximum Marking Problems with Accumulative Weight Functions. ICTAC Isao Sasano, Mizuhito Ogawa, Zhenjiang Hu
2005	—	`conf`	Program Optimizations and Transformations in Calculation Form. GTTSE Zhenjiang Hu, Tetsuo Yokoyama, Masato Takeichi
2005	J	`jnl`	Systematic Derivation of Tree Contraction Algorithms. Parallel Process. Lett. Kiminori Matsuzaki, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi
2004	—	`conf`	A Fusion-Embedded Skeleton Library. Euro-Par Kiminori Matsuzaki, Kazuhiko Kakehi, Hideya Iwasaki, Zhenjiang Hu, Yoshiki Akashi
2004	J	`jnl`	A New Parallel Skeleton for General Accumulative Computations. Int. J. Parallel Program. Hideya Iwasaki, Zhenjiang Hu
2004	C	`conf`	A programmable editor for developing structured documents based on bidirectional transformations. PEPM Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi
2004	B	`conf`	An Algebraic Approach to Bi-directional Updating. APLAS Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
2004	B	`conf`	An Injective Language for Reversible Computation. MPC Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
2004	J	`jnl`	Deterministic second-order patterns. Inf. Process. Lett. Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi
2004	B	`conf`	PType System: A Featherweight Parallelizability Detector. APLAS Dana N. Xu, Siau-Cheng Khoo, Zhenjiang Hu
2003	C	`conf`	An Efficient Staging Algorithm for Binding-Time Analysis. LOPSTR Takuma Murakami, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi
2003	C	`conf`	Deterministic Higher-Order Patterns for Program Transformation. LOPSTR Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi
2003	J	`jnl`	Editorial: the Sixth International Symposium on Functional and Logic Programming. J. Funct. Log. Program. Zhenjiang Hu, Mario Rodríguez-Artalejo
2003	A	`conf`	Iterative-free program analysis. ICFP Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano
2003	C	`conf`	List Homomorphism with Accumulation. SNPD Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi
2003	—	`conf`	Parallelization with Tree Skeletons. Euro-Par Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
2002	B	`conf`	A Compositional Framework for Mining Longest Ranges. Discovery Science Haiyan Zhao, Zhenjiang Hu, Masato Takeichi
2002	B	`conf`	A Type-Based Approach to Parallelization (preliminary report). APLAS Dana N. Xu, Siau-Cheng Khoo, Wei-Ngan Chin, Zhenjiang Hu
2002	B	`conf`	Algebraic construction of graphs with bounded tree width and its applications - Catamorphic Approach to Program Analyses. APLAS Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano, Masato Takeichi
2002	A	`conf`	An Accumulative Parallel Skeleton for All. ESOP Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
2002	B	`conf`	An Optimal Staging Algorithm. APLAS Takuma Murakami, Zhenjiang Hu, Masato Takeichi
2002	B	`conf`	Flattening Transformation for Efficient Segmented Computation - Segmented Diffusion Theorem. APLAS Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
2002	Misc	`ed.`	Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings FLOPS Zhenjiang Hu, Mario Rodríguez-Artalejo
2002	B	`conf`	Fusion Transformation on Functional Programs of Regular Expression Types. APLAS Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi
2002	B	`conf`	Implementation of Parallel Tree Skeletons on Distributed Systems. APLAS Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
2002	B	`conf`	Towards a Modular Program Derivation via Fusion and Tupling. GPCE Wei-Ngan Chin, Zhenjiang Hu
2002	B	`conf`	Yicho - A System for Programming Program Calculations. APLAS Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi
2001	B	`conf`	A Compositional Framework for Querying Optimized Ranges. APLAS Haiyan Zhao, Zhenjiang Hu, Masato Takeichi
2001	B	`conf`	An Accumulative Parallel Skeleton for All. APLAS Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
2001	J	`jnl`	Calculating a New Data Mining Algorithm for Market Basket Analysis. J. Funct. Log. Program. Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi
2001	—	`conf`	Generation of Efficient Programs for Solving Maximum Multi-marking Problems. SAIG Isao Sasano, Zhenjiang Hu, Masato Takeichi
2000	C	`conf`	Calculating a New Data Mining Algorithm for Market Basket Analysis. PADL Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi
2000	B	`conf`	Deriving Parallel Codes via Invariants. SAS Wei-Ngan Chin, Siau-Cheng Khoo, Zhenjiang Hu, Masato Takeichi
2000	Misc	`conf`	Diff: A Powerful Parallel Skeleton. PDPTA Seiichi Adachi, Hideya Iwasaki, Zhenjiang Hu
2000	A	`conf`	Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems. ICFP Isao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa
2000	B	`conf`	Mining Optimized Ranges. APLAS Haiyan Zhao, Zhenjiang Hu, Masato Takeichi
1999	J	`jnl`	Calculating Accumulations. New Gener. Comput. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
1999	J	`jnl`	Calculating an Optimal Homomorphic Algorithm for Bracket Matching. Parallel Process. Lett. Zhenjiang Hu, Masato Takeichi
1999	C	`conf`	Diffusion: Calculating Efficient Parallel Programs. PEPM Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki
1998	A*	`conf`	Parallelization in Calculational Forms. POPL Zhenjiang Hu, Masato Takeichi, Wei-Ngan Chin
1998	—	`conf`	Parallelization via Context Preservation. ICCL Wei-Ngan Chin, Akihiko Takano, Zhenjiang Hu
1998	J	`jnl`	Program Transformation in Calculational Form. ACM Comput. Surv. Akihiko Takano, Zhenjiang Hu, Masato Takeichi
1998	—	`conf`	Towards Manipulation of Mutually Recursive Functions. Fuji International Symposium on Functional and Logic Programming Hideya Iwasaki, Zhenjiang Hu, Masato Takeichi
1997	—	`conf`	A calculational fusion system HYLO. Algorithmic Languages and Calculi Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
1997	J	`jnl`	Formal Derivation of Efficient Parallel Programs by Construction of List Homomorphisms. ACM Trans. Program. Lang. Syst. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
1997	A	`conf`	Tupling Calculation Eliminates Multiple Data Traversals. ICFP Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano
1996	—	`conf`	Cheap Tupling in Calculational Form. PLILP Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
1996	B	`conf`	Construction of List Homomorphisms by Tupling and Fusion. MFCS Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
1996	A	`conf`	Deriving Structural Hylomorphisms From Recursive Definitions. ICFP Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
1996	—	`conf`	Formal Derivation of Parallel Program for 2-Dimensional Maximum Segment Sum Problem. Euro-Par, Vol. I Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi