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)

C*: Unifying Programming and Verification in C - Yiyuan Cao; Jiayi Zhuang; Houjin Chen; Jinkai Fan; Wenbo Xu; Zhiyi Wang; Di Wang; Qinxiang Cao; Yingfei Xiong; Haiyan Zhao; 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)

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

S\(_YNTH\)BX: 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; Zhenjiang Hu (Proc. ACM Program. Lang., 2024)

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

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

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

LDA-AQU: Adaptive Query-guided Upsampling via Local Deformable Attention - Zewen Du; Zhenjiang Hu; Guiyu Zhao; Ying Jin; Hongbin Ma (Proceedings of the 32nd ACM International Conference on Multimedia, MM 2024, Melbourne, VIC, Australia, 28 October 2024 - 1 November 2024, 2024)

Artifact for OOPSLA'24: Semantics Lifting for Syntactic Sugar (Version v1) - Zhichao Guan; Yiyuan Cao; Tailai Yu; Ziheng Wang; Di Wang; Zhenjiang Hu (Zenodo, 2024)
Accessed on YYYY-MM-DD.

Artifact for OOPSLA'24: Semantics Lifting for Syntactic Sugar (Version v2) - Zhichao Guan; Yiyuan Cao; Tailai Yu; Ziheng Wang; Di Wang; Zhenjiang Hu (Zenodo, 2024)
Accessed on YYYY-MM-DD.

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

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

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

Artifact for POPL'25: Biparsers: Exact Printing for Data Synchronisation (Version 1) - Ruifeng Xie; Tom Schrijvers; Zhenjiang Hu (Zenodo, 2024)
Accessed on YYYY-MM-DD.

Cross-Layer Feature Pyramid Transformer for Small Object Detection in Aerial Images - Zewen Du; Zhenjiang Hu; Guiyu Zhao; Ying Jin; Hongbin Ma (CoRR, 2024)

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

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

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

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

Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples - Bach Nguyen Trong; Kanae Tsushima; Zhenjiang Hu (Logic-Based Program Synthesis and Transformation - 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings, 2023)

Artifact for OOPSLA'23: Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection (Version 1) - Ruyi Ji; Chaozhe Kong; Yingfei Xiong; Zhenjiang Hu (Zenodo, 2023)
Accessed on YYYY-MM-DD.

A theoretic framework of bidirectional transformation between systems and models - Xiao He; Zhenjiang Hu; Na Meng (Sci. China Inf. Sci., 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)

A Lazy Desugaring System for Evaluating Programs with Sugars - Ziyi Yang; Yushuo Xiao; Zhichao Guan; Zhenjiang Hu (Functional and Logic Programming - 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings, 2022)

Towards Bidirectional Live Programming for Incomplete Programs - Xing Zhang; Zhenjiang Hu (44th IEEE/ACM 44th International Conference on Software Engineering, ICSE 2022, Pittsburgh, PA, USA, May 25-27, 2022, 2022)

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

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

Generalizable synthesis through unification - Ruyi Ji; Jingtao Xia; Yingfei Xiong; 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 (Symmetry, 2021)

Analytical Differential Calculus with Integration - Han Xu; Zhenjiang Hu (48th International Colloquium on Automata, Languages, and Programming, ICALP 2021, July 12-16, 2021, Glasgow, Scotland (Virtual Conference), 2021)

Toward Recursive View Update Strategies on Relations - Van-Dang Tran; Hiroyuki Kato; Zhenjiang Hu (STAF 2021 Workshop Proceedings: 9th International Workshop on Bidirectional Transformations, Joint Workshop on Foundations and Practice of Visual Modeling and Data for Model-Driven Engineering, International workshop on MDE for Smart IoT Systems, 4th International Workshop on (Meta)Modeling for Healthcare Systems, and 20th International Workshop on OCL and Textual Modeling co-located with Software Technologies: Applications and Foundations, Federation of Conferences (STAF 2021), Virtual Event / Bergen, Norway, June 21-25, 2021, 2021)

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

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

Early validation of cyber-physical space systems via multi-concerns integration - Nianyu Li; Christos Tsigkanos; Zhi Jin; 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; 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; 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; 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)

A Counterexample-Guided Debugger for Non-recursive Datalog - Van-Dang Tran; Hiroyuki Kato; Zhenjiang Hu (Programming Languages and Systems - 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020, Proceedings, 2020)

Dynamic Gas Estimation of Loops Using Machine Learning - Chunmiao Li; Shijie Nie; Yang Cao; Yijun Yu; Zhenjiang Hu (Blockchain and Trustworthy Systems - Second International Conference, BlockSys 2020, Dali, China, August 6-7, 2020, Revised Selected Papers, 2020)

An Efficient Composition of Bidirectional Programs by Memoization and Lazy Update - Kanae Tsushima; Bach Nguyen Trong; Robert Glück; Zhenjiang Hu (Functional and Logic Programming - 15th International Symposium, FLOPS 2020, Akita, Japan, September 14-16, 2020, Proceedings, 2020)

Blockchain-based Bidirectional Transformations for Access Control and Data Sharing in EMRs - Tao Zan; Zhenjiang Hu (Internetware'20: 12th Asia-Pacific Symposium on Internetware, Singapore, November 1-3, 2020, 2020)

Scalable Multiple-View Analysis of Reactive Systems via Bidirectional Model Transformations - Christos Tsigkanos; Nianyu Li; Zhi Jin; Zhenjiang Hu; Carlo Ghezzi (35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, 2020)

Question selection for interactive program synthesis - Ruyi Ji; Jingjing Liang; Yingfei Xiong; Lu Zhang; Zhenjiang Hu (Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2020, London, UK, June 15-20, 2020, 2020)

FastSV: A Distributed-Memory Connected Component Algorithm with Fast Convergence - Yongzhe Zhang; Ariful Azad; Zhenjiang Hu (Proceedings of the 2020 SIAM Conference on Parallel Processing for Scientific Computing, PP 2020, Seattle, WA, USA, February 12-15, 2020, 2020)

Adaptive Data Sharing and Computation Offloading in Cloud-Edge Computing with Resource Constraints - Wenjie Chu; Haiyan Zhao; Zhi Jin; Zhenjiang Hu (2020 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2020, Toronto, ON, Canada, October 11-14, 2020, 2020)

A Cheap Implementation of Resugaring in BIRDS Based on Bidirectional Transformation - Xing Zhang; Van-Dang Tran; Zhenjiang Hu (Software Foundations for Data Interoperability and Large Scale Graph Data Analytics - 4th International Workshop, SFDI 2020, and 2nd International Workshop, LSGDA 2020, held in Conjunction with VLDB 2020, Tokyo, Japan, September 4, 2020, Proceedings, 2020)

Toward Programmable Strategy for Co-existence of Relational Schemes - Jumpei Tanaka; Van-Dang Tran; Zhenjiang Hu (Software Foundations for Data Interoperability and Large Scale Graph Data Analytics - 4th International Workshop, SFDI 2020, and 2nd International Workshop, LSGDA 2020, held in Conjunction with VLDB 2020, Tokyo, Japan, September 4, 2020, Proceedings, 2020)

Data Integration Models and Architectures for Service Alliances - Yasuhito Asano; Zhenjiang Hu; Yasunori Ishihara; Makoto Onizuka; Masato Takeichi; Masatoshi Yoshikawa (Software Foundations for Data Interoperability and Large Scale Graph Data Analytics - 4th International Workshop, SFDI 2020, and 2nd International Workshop, LSGDA 2020, held in Conjunction with VLDB 2020, Tokyo, Japan, September 4, 2020, Proceedings, 2020)

Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM@POPL 2020, New Orleans, LA, USA, January 20, 2020 - Casper Bach Poulsen; Zhenjiang Hu (ACM, 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; Zhenjiang Hu; Carlo Ghezzi (CoRR, 2020)

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

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

Controlling and Sharing Distributed Data for Implementing Service Alliance - Yasuhito Asano; Zhenjiang Hu; Yasunori Ishihara; Hiroyuki Kato; Makoto Onizuka; Masatoshi Yoshikawa (IEEE International Conference on Big Data and Smart Computing, BigComp 2019, Kyoto, Japan, February 27 - March 2, 2019, 2019)

Towards Bidirectional Synchronization Between Communicating Processes and Session Types - Liye Guo; Hsiang-Shang Ko; Keigo Imai; Nobuko Yoshida; Zhenjiang Hu (IEEE International Conference on Big Data and Smart Computing, BigComp 2019, Kyoto, Japan, February 27 - March 2, 2019, 2019)

Blockchain-Based Bidirectional Updates on Fine-Grained Medical Data - Chunmiao Li; Yang Cao; Zhenjiang Hu; Masatoshi Yoshikawa (35th IEEE International Conference on Data Engineering Workshops, ICDE Workshops 2019, Macao, China, April 8-12, 2019, 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; Jeffrey Kramer; et al. (Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS@ICSE 2019, Montreal, QC, Canada, May 25-31, 2019, 2019)

Composing Optimization Techniques for Vertex-Centric Graph Processing via Communication Channels - Yongzhe Zhang; Zhenjiang Hu (2019 IEEE International Parallel and Distributed Processing Symposium, IPDPS 2019, Rio de Janeiro, Brazil, May 20-24, 2019, 2019)

Incrementalization of Vertex-Centric Programs - Timothy A. K. Zakian; Ludovic Anthony Richard Capelli; Zhenjiang Hu (2019 IEEE International Parallel and Distributed Processing Symposium, IPDPS 2019, Rio de Janeiro, Brazil, May 20-24, 2019, 2019)

Model-Driven Design of City Spaces via Bidirectional Transformations - Ennio Visconti; Christos Tsigkanos; Zhenjiang Hu; Carlo Ghezzi (22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019, Munich, Germany, September 15-20, 2019, 2019)

POET: Privacy on the Edge with Bidirectional Data Transformations - Nianyu Li; Christos Tsigkanos; Zhi Jin; Schahram Dustdar; Zhenjiang Hu; Carlo Ghezzi (2019 IEEE International Conference on Pervasive Computing and Communications, PerCom, Kyoto, Japan, March 11-15, 2019, 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 (Advancing Technology Industrialization Through Intelligent Software Methodologies, Tools and Techniques - Proceedings of the 18th International Conference on New Trends in Intelligent Software Methodologies, Tools and Techniques (SoMeT_19), Kuching, Malaysia, 23-25 September 2019, 2019)

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

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

Engineering Adaptive Software Systems - Communications of NII Shonan Meetings - Yijun Yu; Arosha K. Bandara; Shinichi Honiden; Zhenjiang Hu; Tetsuo Tamai; Hausi A. Müller; John Mylopoulos; Bashar Nuseibeh (Springer, 2019)

Blockchain-based Bidirectional Updates on Fine-grained Medical Data - Chunmiao Li; Yang Cao; Zhenjiang Hu; Masatoshi Yoshikawa (CoRR, 2019)

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

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

Programmable View Update Strategies on Relations - Van-Dang Tran; Hiroyuki Kato; Zhenjiang Hu (CoRR, 2019)

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

Optimizing Declarative Parallel Distributed Graph Processing by Using Constraint Solvers - Akimasa Morihata; Kento Emoto; Kiminori Matsuzaki; Zhenjiang Hu; Hideya Iwasaki (Functional and Logic Programming - 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, Proceedings, 2018)

iPregel: A Combiner-Based In-Memory Shared Memory Vertex-Centric Framework - Ludovic Anthony Richard Capelli; Zhenjiang Hu; Timothy A. K. Zakian (The 47th International Conference on Parallel Processing, ICPP 2018, Workshop Proceedings, Eugene, OR, USA, August 13-16, 2018, 2018)

On early statistical requirements validation of cyber-physical space systems - Christos Tsigkanos; Nianyu Li; Zhi Jin; Zhenjiang Hu; Carlo Ghezzi (Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems, ICSE 2018, Gothenburg, Sweden, May 27, 2018, 2018)

A lightweight data sharing system based on bidirectional transformations - Adrien Duchêne; Hugues Marchal; Zhenjiang Hu; Pierre-Yves Schobbens (Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming, Nice, France, April 09-12, 2018, 2018)

Putback-based bidirectional model transformations - Xiao He; Zhenjiang Hu (Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2018, Lake Buena Vista, FL, USA, November 04-09, 2018, 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; Makoto Onizuka; Yuya Sasaki; 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; Makoto Onizuka; Yuya Sasaki; Toshiyuki Shimizu; Van-Dang Tran; Kanae Tsushima; et al. (CoRR, 2018)

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

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; Amin Hosseinian Far (Int. J. Secur. Softw. Eng., 2017)

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

Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access - Yongzhe Zhang; Hsiang-Shang Ko; Zhenjiang Hu (Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings, 2017)

Towards Variability Management in Bidirectional Model Transformation - Xiao He; Zhenjiang Hu; Yi Liu (41st IEEE Annual Computer Software and Applications Conference, COMPSAC 2017, Turin, Italy, July 4-8, 2017. Volume 1, 2017)

Bidirectional programming and software adaptation: Towards a happy marriage - Zhenjiang Hu (9th International Conference on Knowledge and Systems Engineering, KSE 2017, Hue, Vietnam, October 19-21, 2017, 2017)

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

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; 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)

Principles and Practice of Bidirectional Programming in BiGUL - Zhenjiang Hu; Hsiang-Shang Ko (Bidirectional Transformations - International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures, 2016)

Integrating Goal Model into Rule-Based Adaptation - Tianqi Zhao; Tao Zan; Haiyan Zhao; Zhenjiang Hu; Zhi Jin (23rd Asia-Pacific Software Engineering Conference, APSEC 2016, Hamilton, New Zealand, December 6-9, 2016, 2016)

Transforming Programs between APIs with Many-to-Many Mappings - Chenglong Wang; Jiajun Jiang; Jun Li; Yingfei Xiong; Xiangyu Luo; Lu Zhang; Zhenjiang Hu (30th European Conference on Object-Oriented Programming, ECOOP 2016, July 18-22, 2016, Rome, Italy, 2016)

Brul: A Putback-Based Bidirectional Transformation Library for Updatable Views - Tao Zan; Li Liu; Hsiang-Shang Ko; Zhenjiang Hu (Proceedings of the 5th International Workshop on Bidirectional Transformations, Bx 2016, co-located with The European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 8, 2016, 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 (Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, September 18-22, 2016, 2016)

Reusable self-adaptation through bidirectional programming - Kevin Colson; Robin Dupuis; Lionel Montrieux; Zhenjiang Hu; Sebastián Uchitel; Pierre-Yves Schobbens (Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS@ICSE 2016, Austin, Texas, USA, May 14-22, 2016, 2016)

Rule-directed code clone synchronization - Xiao Cheng; Hao Zhong; Yuting Chen; Zhenjiang Hu; Jianjun Zhao (24th IEEE International Conference on Program Comprehension, ICPC 2016, Austin, TX, USA, May 16-17, 2016, 2016)

BiGUL: a formally verified core language for putback-based bidirectional programming - Hsiang-Shang Ko; Tao Zan; Zhenjiang Hu (Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2016, St. Petersburg, FL, USA, January 20 - 22, 2016, 2016)

A Framework for Synchronization Between Feature Configurations and Use Cases Based on Bidirectional Programming - Weize Zhao; Haiyan Zhao; Zhenjiang Hu (24th IEEE International Requirements Engineering Conference, RE 2016, Beijing, China, September 12-16, 2016, 2016)

Derivation of parallel-efficient structural recursive functions from declarative graph queries - Chong Li; Le-Duc Tung; Xiaodong Meng; Zhenjiang Hu (Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016, 2016)

Parsing and reflective printing, bidirectionally - Zirun Zhu; Yongzhe Zhang; Hsiang-Shang Ko; Pedro Martins; João Saraiva; Zhenjiang Hu (Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Amsterdam, The Netherlands, October 31 - November 1, 2016, 2016)

Supporting Selective Undo for Refactoring - Xiao Cheng; Yuting Chen; Zhenjiang Hu; Tao Zan; Mengyu Liu; Hao Zhong; Jianjun Zhao (IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering, SANER 2016, Suita, Osaka, Japan, March 14-18, 2016 - Volume 1, 2016)

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

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

Context-preserving XQuery fusion - Hiroyuki Kato; Soichiro Hidaka; Zhenjiang Hu; Keisuke Nakano; Yasunori Ishihara (Math. Struct. Comput. Sci., 2015)

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

A Clear Picture of Lens Laws - Functional Pearl - Sebastian Fischer; Zhenjiang Hu; Hugo Pacheco (Mathematics of Program Construction - 12th International Conference, MPC 2015, Königswinter, Germany, June 29 - July 1, 2015. Proceedings, 2015)

SWIN: Towards Type-Safe Java Program Adaptation between APIs - Jun Li; Chenglong Wang; Yingfei Xiong; Zhenjiang Hu (Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM, Mumbai, India, January 15-17, 2015, 2015)

Towards Attribute-Based Authorisation for Bidirectional Programming - Lionel Montrieux; Zhenjiang Hu (Proceedings of the 20th ACM Symposium on Access Control Models and Technologies, Vienna, Austria, June 1-3, 2015, 2015)

BiYacc: Roll Your Parser and Reflective Printer into One - Zirun Zhu; Hsiang-Shang Ko; Pedro Martins; João Saraiva; Zhenjiang Hu (Proceedings of the 4th International Workshop on Bidirectional Transformations co-located with Software Technologies: Applications and Foundations, STAF 2015, L'Aquila, Italy, July 24, 2015, 2015)

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

Interactive Inconsistency Fixing in Feature Modeling - Bo Wang; Yingfei Xiong; Zhenjiang Hu; Haiyan Zhao; Wei Zhang; Hong Mei (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)

Validity Checking of Putback Transformations in Bidirectional Programming - Zhenjiang Hu; Hugo Pacheco; Sebastian Fischer (FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, 2014)

Writing bidirectional model transformations as intentional updates - Tao Zan; Hugo Pacheco; Zhenjiang Hu (36th International Conference on Software Engineering, ICSE '14, Companion Proceedings, Hyderabad, India, May 31 - June 07, 2014, 2014)

Towards Bidirectional Higher-Order Transformation for Model-Driven Co-evolution - Bernhard Hoisl; Zhenjiang Hu; Soichiro Hidaka (Model-Driven Engineering and Software Development - Second International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014, Revised Selected Papers, 2014)

Towards Co-evolution in Model-Driven Development Via Bidirectional Higher-Order Transformation - Bernhard Hoisl; Zhenjiang Hu; Soichiro Hidaka (MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7 - 9 January, 2014, 2014)

Monadic combinators for "Putback" style bidirectional programming - Hugo Pacheco; Zhenjiang Hu; Sebastian Fischer (Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA, 2014)

BiFluX: A Bidirectional Functional Update Language for XML - Hugo Pacheco; Tao Zan; Zhenjiang Hu (Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014, 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 (Symposium on Applied Computing, SAC 2014, Gyeongju, Republic of Korea - March 24 - 28, 2014, 2014)

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

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

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

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

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

Programming with BSP Homomorphisms - Joeffrey Legaux; Zhenjiang Hu; Frédéric Loulergue; Kiminori Matsuzaki; Julien Tesson (Euro-Par 2013 Parallel Processing - 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings, 2013)

Towards systematic parallel programming of graph problems via tree decomposition and tree parallelism - Qi Wang; Meixian Chen; Yu Liu; Zhenjiang Hu (Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing, Boston, MA, USA, FHPC@ICFP 2013, September 25-27, 2013, 2013)

Structural recursion for querying ordered graphs - Soichiro Hidaka; Kazuyuki Asada; Zhenjiang Hu; Hiroyuki Kato; Keisuke Nakano (ACM SIGPLAN International Conference on Functional Programming, ICFP'13, Boston, MA, USA - September 25 - 27, 2013, 2013)

Issues in representing domain-specific concerns in model-driven engineering - Lionel Montrieux; Yijun Yu; Michel Wermelinger; Zhenjiang Hu (Proceedings of the 5th International Workshop on Modeling in Software Engineering, MiSE 2013, San Francisco, California, USA, May 18-19, 2013, 2013)

Practical aspects of bidirectional graph transformations - Zhenjiang Hu (Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013, Rome, Italy, January 21-22, 2013, 2013)

A parameterized graph transformation calculus for finite graphs with monadic branches - Kazuyuki Asada; Soichiro Hidaka; Hiroyuki Kato; Zhenjiang Hu; Keisuke Nakano (15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Madrid, Spain, September 16-18, 2013, 2013)

A generate-test-aggregate parallel programming library: systematic parallel programming for MapReduce - Yu Liu; Kento Emoto; Zhenjiang Hu (Proceedings of the 2013 PPOPP International Workshop on Programming Models and Applications for Multicores and Manycores, PMAM 2013, Shenzhen, China, February 23, 2013, 2013)

Efficient query evaluation on distributed graphs with Hadoop environment - Le-Duc Tung; Quyet Nguyen-Van; Zhenjiang Hu (4th International Symposium on Information and Communication Technology, SoICT '13, Danang, Viet Nam - December 05 - 06, 2013, 2013)

Minimizing data transfers for regular reachability queries on distributed graphs - Quyet Nguyen-Van; Le-Duc Tung; Zhenjiang Hu (4th International Symposium on Information and Communication Technology, SoICT '13, Danang, Viet Nam - December 05 - 06, 2013, 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)

Delta Lenses over Inductive Types - Hugo Pacheco; 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; Zhenjiang Hu; Masato Takeichi (J. Funct. Program., 2012)

Generate, Test, and Aggregate - A Calculation-based Framework for Systematic Parallel Programming with MapReduce - Kento Emoto; Sebastian Fischer; Zhenjiang Hu (Programming Languages and Systems - 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings, 2012)

Maintaining invariant traceability through bidirectional transformations - Yijun Yu; Yu Lin; Zhenjiang Hu; Soichiro Hidaka; Hiroyuki Kato; Lionel Montrieux (34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich, Switzerland, 2012)

Theory and Practice of Model Transformations - 5th International Conference, ICMT@TOOLS 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings - Zhenjiang Hu; Juan de Lara (Springer, 2012)

Supporting runtime software architecture: A bidirectional-transformation-based approach - Hui Song; Gang Huang; Franck Chauvel; Yingfei Xiong; Zhenjiang Hu; Yanchun Sun; Hong Mei (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)

Towards Systematic Parallel Programming over MapReduce - Yu Liu; Zhenjiang Hu; Kiminori Matsuzaki (Euro-Par 2011 Parallel Processing - 17th International Conference, Euro-Par 2011, Bordeaux, France, August 29 - September 2, 2011, Proceedings, Part II, 2011)

Toward Bidirectionalization of ATL with GRoundTram - Isao Sasano; Zhenjiang Hu; Soichiro Hidaka; Kazuhiro Inaba; Hiroyuki Kato; Keisuke Nakano (Theory and Practice of Model Transformations - 4th International Conference, ICMT@TOOLS 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings, 2011)

GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations - Soichiro Hidaka; Zhenjiang Hu; Kazuhiro Inaba; Hiroyuki Kato; Keisuke Nakano (26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, KS, USA, November 6-10, 2011, 2011)

Marker-Directed Optimization of UnCAL Graph Transformations - Soichiro Hidaka; Zhenjiang Hu; Kazuhiro Inaba; Hiroyuki Kato; Kazutaka Matsuda; Keisuke Nakano; Isao Sasano (Logic-Based Program Synthesis and Transformation - 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers, 2011)

Graph-transformation verification using monadic second-order logic - Kazuhiro Inaba; Soichiro Hidaka; Zhenjiang Hu; Hiroyuki Kato; Keisuke Nakano (Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark, 2011)

Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, ICFP 2011, Tokyo, Japan, September 19-21, 2011 - Manuel M. T. Chakravarty; Zhenjiang Hu; Olivier Danvy (ACM, 2011)

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

Program Calculation in Coq - Julien Tesson; Hideki Hashimoto; Zhenjiang Hu; Frédéric Loulergue; Masato Takeichi (Algebraic Methodology and Software Technology - 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers, 2010)

Context-Preserving XQuery Fusion - Hiroyuki Kato; Soichiro Hidaka; Zhenjiang Hu; Keisuke Nakano; Yasunori Ishihara (Programming Languages and Systems - 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings, 2010)

A Grammar-Based Approach to Invertible Programs - Kazutaka Matsuda; Shin-Cheng Mu; Zhenjiang Hu; Masato Takeichi (Programming Languages and Systems, 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings, 2010)

Generators-of-Generators Library with Optimization Capabilities in Fortress - Kento Emoto; Zhenjiang Hu; Kazuhiko Kakehi; Kiminori Matsuzaki; Masato Takeichi (Euro-Par 2010 - Parallel Processing, 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part II, 2010)

Combining syntactic and semantic bidirectionalization - Janis Voigtländer; Zhenjiang Hu; Kazutaka Matsuda; Meng Wang (Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010, 2010)

Bidirectionalizing graph transformations - Soichiro Hidaka; Zhenjiang Hu; Kazuhiro Inaba; Hiroyuki Kato; Kazutaka Matsuda; Keisuke Nakano (Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010, 2010)

Tolerating Inconsistency in Feature Models - Bo Wang; Zhenjiang Hu; Yingfei Xiong; Haiyan Zhao; Wei Zhang; Hong Mei (Proceedings of the 3rd Workshop on Living with Inconsistencies in Software Development, LWI@ASE 2010, Antwerp, Belgium, September 21st, 2010, 2010)

A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models - Bo Wang; Yingfei Xiong; Zhenjiang Hu; Haiyan Zhao; Wei Zhang; Hong Mei (Model Driven Engineering Languages and Systems - 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I, 2010)

Gradual Refinement - Meng Wang; Jeremy Gibbons; Kazutaka Matsuda; Zhenjiang Hu (Mathematics of Program Construction, 10th International Conference, MPC 2010, Québec City, Canada, June 21-23, 2010. Proceedings, 2010)

Systematic Development of Correct Bulk Synchronous Parallel Programs - Louis Gesbert; Zhenjiang Hu; Frédéric Loulergue; Kiminori Matsuzaki; Julien Tesson (2010 International Conference on Parallel and Distributed Computing, Applications and Technologies, PDCAT 2010, Wuhan, China, 8-11 December, 2010, 2010)

Proceedings of the 3rd Workshop on Living with Inconsistencies in Software Development, LWI@ASE 2010, Antwerp, Belgium, September 21st, 2010 - Alexander Egyed; Roberto E. Lopez-Herrejon; Bashar Nuseibeh; Goetz Botterweck; Marsha Chechik; Zhenjiang Hu (CEUR-WS.org, 2010)

Consistent Web site updating based on bidirectional transformation - Keisuke Nakano; Zhenjiang Hu; Masato Takeichi (Int. J. Softw. Tools Technol. Transf., 2009)

Supporting Parallel Updates with Bidirectional Model Transformations - Yingfei Xiong; Hui Song; Zhenjiang Hu; Masato Takeichi (Theory and Practice of Model Transformations - 2nd International Conference, ICMT@TOOLS 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings, 2009)

Bidirectional Transformations: A Cross-Discipline Perspective - Krzysztof Czarnecki; J. Nathan Foster; Zhenjiang Hu; Ralf Lämmel; Andy Schürr; James F. Terwilliger (Theory and Practice of Model Transformations - 2nd International Conference, ICMT@TOOLS 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings, 2009)

A compositional approach to bidirectional model transformation - Soichiro Hidaka; Zhenjiang Hu; Hiroyuki Kato; Keisuke Nakano (31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Companion Volume, 2009)

Generating Synchronization Engines between Running Systems and Their Model-Based Views - Hui Song; Yingfei Xiong; Franck Chauvel; Gang Huang; Zhenjiang Hu; Hong Mei (Models in Software Engineering, Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers, 2009)

Type-based specialization of xml transformations - Kazutaka Matsuda; Zhenjiang Hu; Masato Takeichi (Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2009, Savannah, GA, USA, January 19-20, 2009, 2009)

The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer - Akimasa Morihata; Kiminori Matsuzaki; Zhenjiang Hu; Masato Takeichi (Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009, 2009)

Towards a compositional approach to model transformation for software development - Soichiro Hidaka; Zhenjiang Hu; Hiroyuki Kato; Keisuke Nakano (Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, 2009)

Supporting automatic model inconsistency fixing - Yingfei Xiong; Zhenjiang Hu; Haiyan Zhao; Hui Song; Masato Takeichi; Hong Mei (Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009, Amsterdam, The Netherlands, August 24-28, 2009, 2009)

Programming Languages and Systems, 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings - Zhenjiang Hu (Springer, 2009)

A programmable editor for developing structured documents based on bidirectional transformations - Zhenjiang Hu; Shin-Cheng Mu; Masato Takeichi (High. Order Symb. Comput., 2008)

Enforcing a security pattern in stakeholder goal models - Yijun Yu; Haruhiko Kaiya; Hironori Washizaki; Yingfei Xiong; Zhenjiang Hu; Nobukazu Yoshioka (Proceedings of the 4th ACM Workshop on Quality of Protection, QoP 2008, Alexandria, VA, USA, October 27, 2008, 2008)

Consistent Web site updating based on bidirectional transformation - Keisuke Nakano; Zhenjiang Hu; Masato Takeichi (Proceedings of the 10th IEEE International Symposium on Web Systems Evolution, WSE 2010, 3-4 October 2008, Beijing, China, 2008)

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

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

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

Domain-Specific Optimization Strategy for Skeleton Programs - Kento Emoto; Kiminori Matsuzaki; Zhenjiang Hu; Masato Takeichi (Euro-Par 2007, Parallel Processing, 13th International Euro-Par Conference, Rennes, France, August 28-31, 2007, Proceedings, 2007)

Bidirectionalization transformation based on automatic derivation of view complement functions - Kazutaka Matsuda; Zhenjiang Hu; Keisuke Nakano; Makoto Hamana; Masato Takeichi (Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007, 2007)

Towards automatic model synchronization from model transformations - Yingfei Xiong; Dongxi Liu; Zhenjiang Hu; Haiyan Zhao; Masato Takeichi; Hong Mei (22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA, 2007)

Bidirectional interpretation of XQuery - Dongxi Liu; Zhenjiang Hu; Masato Takeichi (Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007, Nice, France, January 15-16, 2007, 2007)

Automatic inversion generates divide-and-conquer parallel programs - Kazutaka Morita; Akimasa Morihata; Kiminori Matsuzaki; Zhenjiang Hu; Masato Takeichi (Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007, 2007)

A Web Service Architecture for Bidirectional XML Updating - Yasushi Hayashi; Dongxi Liu; Kento Emoto; Kazutaka Matsuda; Zhenjiang Hu; Masato Takeichi (Advances in Data and Web Management, Joint 9th Asia-Pacific Web Conference, APWeb 2007, and 8th International Conference, on Web-Age Information Management, WAIM 2007, Huang Shan, China, June 16-18, 2007, Proceedings, 2007)

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

Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions - Kento Emoto; Kiminori Matsuzaki; Zhenjiang Hu; Masato Takeichi (Euro-Par 2006, Parallel Processing, 12th International Euro-Par Conference, Dresden, Germany, August 28 - September 1, 2006, Proceedings, 2006)

A library of constructive skeletons for sequential style of parallel programming - Kiminori Matsuzaki; Hideya Iwasaki; Kento Emoto; Zhenjiang Hu (Proceedings of the 1st International Conference on Scalable Information Systems, Infoscale 2006, Hong Kong, May 30-June 1, 2006, 2006)

Swapping Arguments and Results of Recursive Functions - Akimasa Morihata; Kazuhiko Kakehi; Zhenjiang Hu; Masato Takeichi (Mathematics of Program Construction, 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings, 2006)

Towards automatic parallelization of tree reductions in dynamic programming - Kiminori Matsuzaki; Zhenjiang Hu; Masato Takeichi (SPAA 2006: Proceedings of the 18th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Cambridge, Massachusetts, USA, July 30 - August 2, 2006, 2006)

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

An environment for maintaining computation dependency in XML documents - Dongxi Liu; Zhenjiang Hu; Masato Takeichi (Proceedings of the 2005 ACM Symposium on Document Engineering, Bristol, UK, November 2-4, 2005, 2005)

Program Optimizations and Transformations in Calculation Form - Zhenjiang Hu; Tetsuo Yokoyama; Masato Takeichi (Generative and Transformational Techniques in Software Engineering, International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers, 2005)

Maximum Marking Problems with Accumulative Weight Functions - Isao Sasano; Mizuhito Ogawa; Zhenjiang Hu (Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings, 2005)

Gabor Features-Based Classification Using SVM for Face Recognition - Yixiong Liang; Weiguo Gong; Yingjun Pan; Weihong Li; Zhenjiang Hu (Advances in Neural Networks - ISNN 2005, Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings, Part II, 2005)

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 Algebraic Approach to Bi-directional Updating - Shin-Cheng Mu; Zhenjiang Hu; Masato Takeichi (Programming Languages and Systems: Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings, 2004)

PType System: A Featherweight Parallelizability Detector - Dana N. Xu; Siau-Cheng Khoo; Zhenjiang Hu (Programming Languages and Systems: Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings, 2004)

A Fusion-Embedded Skeleton Library - Kiminori Matsuzaki; Kazuhiko Kakehi; Hideya Iwasaki; Zhenjiang Hu; Yoshiki Akashi (Euro-Par 2004 Parallel Processing, 10th International Euro-Par Conference, Pisa, Italy, August 31-September 3, 2004, Proceedings, 2004)

An Injective Language for Reversible Computation - Shin-Cheng Mu; Zhenjiang Hu; Masato Takeichi (Mathematics of Program Construction, 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings, 2004)

A programmable editor for developing structured documents based on bidirectional transformations - Zhenjiang Hu; Shin-Cheng Mu; Masato Takeichi (Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004, Verona, Italy, August 24-25, 2004, 2004)

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

Parallelization with Tree Skeletons - Kiminori Matsuzaki; Zhenjiang Hu; Masato Takeichi (Euro-Par 2003. Parallel Processing, 9th International Euro-Par Conference, Klagenfurt, Austria, August 26-29, 2003. Proceedings, 2003)

Iterative-free program analysis - Mizuhito Ogawa; Zhenjiang Hu; Isao Sasano (Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, Uppsala, Sweden, August 25-29, 2003, 2003)

An Efficient Staging Algorithm for Binding-Time Analysis - Takuma Murakami; Zhenjiang Hu; Kazuhiko Kakehi; Masato Takeichi (Logic Based Program Synthesis and Transformation, 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers, 2003)

Deterministic Higher-Order Patterns for Program Transformation - Tetsuo Yokoyama; Zhenjiang Hu; Masato Takeichi (Logic Based Program Synthesis and Transformation, 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers, 2003)

List Homomorphism with Accumulation - Kazuhiko Kakehi; Zhenjiang Hu; Masato Takeichi (Proceedings of the ACIS Fourth International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD'03), October 16-18, 2003, Lübeck, Germany, 2003)

Algebraic construction of graphs with bounded tree width and its applications - Catamorphic Approach to Program Analyses - Mizuhito Ogawa; Zhenjiang Hu; Isao Sasano; Masato Takeichi (The Third Asian Workshop on Programming Languages and Systems, APLAS'02, Shanghai Jiao Tong University, Shanghai, China, November 29 - December 1, 2002, Proceedings, 2002)

Fusion Transformation on Functional Programs of Regular Expression Types - Kazuhiko Kakehi; Zhenjiang Hu; Masato Takeichi (The Third Asian Workshop on Programming Languages and Systems, APLAS'02, Shanghai Jiao Tong University, Shanghai, China, November 29 - December 1, 2002, Proceedings, 2002)

A Type-Based Approach to Parallelization (preliminary report) - Dana N. Xu; Siau-Cheng Khoo; Wei-Ngan Chin; Zhenjiang Hu (The Third Asian Workshop on Programming Languages and Systems, APLAS'02, Shanghai Jiao Tong University, Shanghai, China, November 29 - December 1, 2002, Proceedings, 2002)

Flattening Transformation for Efficient Segmented Computation - Segmented Diffusion Theorem - Zhenjiang Hu; Hideya Iwasaki; Masato Takeichi (The Third Asian Workshop on Programming Languages and Systems, APLAS'02, Shanghai Jiao Tong University, Shanghai, China, November 29 - December 1, 2002, Proceedings, 2002)

Implementation of Parallel Tree Skeletons on Distributed Systems - Kiminori Matsuzaki; Zhenjiang Hu; Masato Takeichi (The Third Asian Workshop on Programming Languages and Systems, APLAS'02, Shanghai Jiao Tong University, Shanghai, China, November 29 - December 1, 2002, Proceedings, 2002)

An Optimal Staging Algorithm - Takuma Murakami; Zhenjiang Hu; Masato Takeichi (The Third Asian Workshop on Programming Languages and Systems, APLAS'02, Shanghai Jiao Tong University, Shanghai, China, November 29 - December 1, 2002, Proceedings, 2002)

Yicho - A System for Programming Program Calculations - Tetsuo Yokoyama; Zhenjiang Hu; Masato Takeichi (The Third Asian Workshop on Programming Languages and Systems, APLAS'02, Shanghai Jiao Tong University, Shanghai, China, November 29 - December 1, 2002, Proceedings, 2002)

A Compositional Framework for Mining Longest Ranges - Haiyan Zhao; Zhenjiang Hu; Masato Takeichi (Discovery Science, 5th International Conference, DS 2002, Lübeck, Germany, November 24-26, 2002, Proceedings, 2002)

An Accumulative Parallel Skeleton for All - Zhenjiang Hu; Hideya Iwasaki; Masato Takeichi (Programming Languages and Systems, 11th European Symposium on Programming, ESOP 2002, held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, 2002)

Towards a Modular Program Derivation via Fusion and Tupling - Wei-Ngan Chin; Zhenjiang Hu (Generative Programming and Component Engineering, ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002, Proceedings, 2002)

Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings - Zhenjiang Hu; Mario Rodríguez-Artalejo (Springer, 2002)

Calculating a New Data Mining Algorithm for Market Basket Analysis - Zhenjiang Hu; Wei-Ngan Chin; Masato Takeichi (J. Funct. Log. Program., 2001)

An Accumulative Parallel Skeleton for All - Zhenjiang Hu; Hideya Iwasaki; Masato Takeichi (The Second Asian Workshop on Programming Languages and Systems, APLAS'01, Korea Advanced Institute of Science and Technology, Daejeon, Korea, December 17-18, 2001, Proceedings, 2001)

A Compositional Framework for Querying Optimized Ranges - Haiyan Zhao; Zhenjiang Hu; Masato Takeichi (The Second Asian Workshop on Programming Languages and Systems, APLAS'01, Korea Advanced Institute of Science and Technology, Daejeon, Korea, December 17-18, 2001, Proceedings, 2001)

Generation of Efficient Programs for Solving Maximum Multi-marking Problems - Isao Sasano; Zhenjiang Hu; Masato Takeichi (Semantics, Applications, and Implementation of Program Generation, Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001, Proceedings, 2001)

Mining Optimized Ranges - Haiyan Zhao; Zhenjiang Hu; Masato Takeichi (The First Asian Workshop on Programming Languages and Systems, APLAS 2000, National University of Singapore, Singapore, December 18-20, 2000, Proceedings, 2000)

Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems - Isao Sasano; Zhenjiang Hu; Masato Takeichi; Mizuhito Ogawa (Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), Montreal, Canada, September 18-21, 2000, 2000)

Calculating a New Data Mining Algorithm for Market Basket Analysis - Zhenjiang Hu; Wei-Ngan Chin; Masato Takeichi (Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000, Boston, MA, USA, January 2000, Proceedings, 2000)

Diff: A Powerful Parallel Skeleton - Seiichi Adachi; Hideya Iwasaki; Zhenjiang Hu (Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 2000, June 24-29, 2000, Las Vegas, Nevada, USA, 2000)

Deriving Parallel Codes via Invariants - Wei-Ngan Chin; Siau-Cheng Khoo; Zhenjiang Hu; Masato Takeichi (Static Analysis, 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000, Proceedings, 2000)

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)

Diffusion: Calculating Efficient Parallel Programs - Zhenjiang Hu; Masato Takeichi; Hideya Iwasaki (Proceedings of the 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, San Antonio, Texas, USA, January 22-23, 1999. Technical report BRICS-NS-99-1, 1999)

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

Towards Manipulation of Mutually Recursive Functions - Hideya Iwasaki; Zhenjiang Hu; Masato Takeichi (Third Fuji International Symposium on Functional and Logic Programming, FLOPS 1998, Kyoto, Japan, Apil 2-4, 1998, 1998)

Parallelization via Context Preservation - Wei-Ngan Chin; Akihiko Takano; Zhenjiang Hu (Proceedings of the 1998 International Conference on Computer Languages, ICCL 1998, Chicago, IL, USA, May 14-16, 1998, 1998)

Parallelization in Calculational Forms - Zhenjiang Hu; Masato Takeichi; Wei-Ngan Chin (POPL '98, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 19-21, 1998, 1998)

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

A calculational fusion system HYLO - Yoshiyuki Onoue; Zhenjiang Hu; Hideya Iwasaki; Masato Takeichi (Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France, 1997)

Tupling Calculation Eliminates Multiple Data Traversals - Zhenjiang Hu; Hideya Iwasaki; Masato Takeichi; Akihiko Takano (Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), Amsterdam, The Netherlands, June 9-11, 1997, 1997)

Formal Derivation of Parallel Program for 2-Dimensional Maximum Segment Sum Problem - Zhenjiang Hu; Hideya Iwasaki; Masato Takeichi (Euro-Par '96 Parallel Processing, Second International Euro-Par Conference, Lyon, France, August 26-29, 1996, Proceedings, Volume I, 1996)

Deriving Structural Hylomorphisms From Recursive Definitions - Zhenjiang Hu; Hideya Iwasaki; Masato Takeichi (Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, ICFP 1996, Philadelphia, Pennsylvania, USA, May 24-26, 1996, 1996)

Construction of List Homomorphisms by Tupling and Fusion - Zhenjiang Hu; Hideya Iwasaki; Masato Takeichi (Mathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS'96, Cracow, Poland, September 2-6, 1996, Proceedings, 1996)

Cheap Tupling in Calculational Form - Zhenjiang Hu; Hideya Iwasaki; Masato Takeichi (Programming Languages: Implementations, Logics, and Programs, 8th International Symposium, PLILP'96, Aachen, Germany, September 24-27, 1996, Proceedings, 1996)