Zhenjiang Hu

ORCID

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 89

Top Venues

CoRR

Proc. ACM Program. Lang.

Sci. China Inf. Sci.

FLOPS

Publications

Ruyi Ji, Yuwei Zhao, Nadia Polikarpova, Yingfei Xiong, Zhenjiang Hu
Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Bach Nguyen Trong, Kanae Tsushima, Zhenjiang Hu
Synthesis of Bidirectional Programs from Examples with Functional Dependencies. J. Inf. Process. 32 (2024)
Ruyi Ji, Yuwei Zhao, Yingfei Xiong, Di Wang, Lu Zhang, Zhenjiang Hu
Decomposition-based Synthesis for Applying Divide-and-Conquer-like Algorithmic Paradigms. ACM Trans. Program. Lang. Syst. 46 (2) (2024)
Zewen Du, Zhenjiang Hu, Guiyu Zhao, Ying Jin, Hongbin Ma
Cross-Layer Feature Pyramid Transformer for Small Object Detection in Aerial Images. CoRR (2024)
Xing Zhang, Ruifeng Xie, Guanchen Guo, Xiao He, Tao Zan, Zhenjiang Hu
Fusing Direct Manipulations into Functional Programs. Proc. ACM Program. Lang. 8 (POPL) (2024)
Bach Nguyen Trong, Kanae Tsushima, Zhenjiang Hu
BX: An Example-guided Synthesizer for Bidirectional Programs on Relations. J. Inf. Process. 32 (2024)
Hanliang Zhang, Wenhao Tang, Ruifeng Xie, Meng Wang, Zhenjiang Hu
Contract lenses: Reasoning about bidirectional programs via calculation. J. Funct. Program. 33 (2023)
Bach Nguyen Trong, Kanae Tsushima, Zhenjiang Hu
Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples. LOPSTR (2023)
Ruyi Ji, Chaozhe Kong, Yingfei Xiong, Zhenjiang Hu
Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
Xing Zhang, Guanchen Guo, Xiao He, Zhenjiang Hu
Bidirectional Object-Oriented Programming: Towards Programmatic and Direct Manipulation of Objects. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
Xiao He, Zhenjiang Hu, Na Meng
A theoretic framework of bidirectional transformation between systems and models. Sci. China Inf. Sci. 65 (10) (2022)
Hideya Iwasaki, Kento Emoto, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu
Fregel: a functional domain-specific language for vertex-centric large-scale graph processing. J. Funct. Program. 32 (2022)
Ruyi Ji, Tianran Zhu, Yingfei Xiong, Zhenjiang Hu
Synthesizing Efficient Dynamic Programming Algorithms. CoRR (2022)
Ruyi Ji, Yingfei Xiong, Zhenjiang Hu
Black-Box Algorithm Synthesis - Divide-and-Conquer and More. CoRR (2022)
Ziyi Yang, Yushuo Xiao, Zhichao Guan, Zhenjiang Hu
A Lazy Desugaring System for Evaluating Programs with Sugars. FLOPS (2022)
Xing Zhang, Zhenjiang Hu
Towards Bidirectional Live Programming for Incomplete Programs. ICSE (2022)
Ruifeng Xie, Zhenjiang Hu
Generic recursive lens combinators and their calculation laws. Theor. Comput. Sci. 913 (2022)
Ruyi Ji, Jingtao Xia, Yingfei Xiong, Zhenjiang Hu
Generalizable synthesis through unification. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Han Xu, Zhenjiang Hu
Analytical Differential Calculus with Integration. ICALP (2021)
Ennio Visconti, Christos Tsigkanos, Zhenjiang Hu, Carlo Ghezzi
Model-driven engineering city spaces via bidirectional model transformations. Softw. Syst. Model. 20 (6) (2021)
Ruyi Ji, Jingtao Xia, Yingfei Xiong, Zhenjiang Hu
Occam Learning Meets Synthesis Through Unification. CoRR (2021)
Yue Zhou, Wenjun Zong, Qiang Tan, Zhenjiang Hu, Tao Sun, Liyi Li
End Effect Analysis of a Slot-Less Long-Stator Permanent Magnet Linear Synchronous Motor. Symmetry 13 (10) (2021)
Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu
Toward Recursive View Update Strategies on Relations. STAF Workshops (2021)
Han Xu, Zhenjiang Hu
Analytical Differential Calculus with Integration. CoRR (2021)
Nianyu Li, Christos Tsigkanos, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi
Early Validation of Cyber-Physical Space Systems via Multi-Concerns Integration. CoRR (2020)
Xing Zhang, Van-Dang Tran, Zhenjiang Hu
A Cheap Implementation of Resugaring in BIRDS Based on Bidirectional Transformation. SFDI/LSGDA@VLDB (2020)
Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu
A Counterexample-Guided Debugger for Non-recursive Datalog. APLAS (2020)
Christos Tsigkanos, Nianyu Li, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi
Scalable Multiple-View Analysis of Reactive Systems via Bidirectional Model Transformations. ASE (2020)
Wenjie Chu, Haiyan Zhao, Zhi Jin, Zhenjiang Hu
Adaptive Data Sharing and Computation Offloading in Cloud-Edge Computing with Resource Constraints. SMC (2020)
Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu
BIRDS: Programming view update strategies in Datalog. Proc. VLDB Endow. 13 (12) (2020)
Jumpei Tanaka, Van-Dang Tran, Zhenjiang Hu
Toward Programmable Strategy for Co-existence of Relational Schemes. SFDI/LSGDA@VLDB (2020)
Ludovic Anthony Richard Capelli, Zhenjiang Hu, Timothy A. K. Zakian, Nick Brown, J. Mark Bull
iPregel: Vertex-centric programmability vs memory efficiency and performance, why choose? CoRR (2020)
Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu
Programmable View Update Strategies on Relations. Proc. VLDB Endow. 13 (5) (2020)
Ruyi Ji, Jingjing Liang, Yingfei Xiong, Lu Zhang, Zhenjiang Hu
Question selection for interactive program synthesis. PLDI (2020)
Nianyu Li, Christos Tsigkanos, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi
Early validation of cyber-physical space systems via multi-concerns integration. J. Syst. Softw. 170 (2020)
Ruyi Ji, Yican Sun, Yingfei Xiong, Zhenjiang Hu
Guiding dynamic programing via structural probability for accelerating programming by example. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Chunmiao Li, Shijie Nie, Yang Cao, Yijun Yu, Zhenjiang Hu
Dynamic Gas Estimation of Loops Using Machine Learning. BlockSys (2020)
Chunmiao Li, Shijie Nie, Yang Cao, Yijun Yu, Zhenjiang Hu
Trace-Based Dynamic Gas Estimation of Loops in Smart Contracts. IEEE Open J. Comput. Soc. 1 (2020)
Kanae Tsushima, Bach Nguyen Trong, Robert Glück, Zhenjiang Hu
An Efficient Composition of Bidirectional Programs by Memoization and Lazy Update. FLOPS (2020)
Yongzhe Zhang, Ariful Azad, Zhenjiang Hu
FastSV: A Distributed-Memory Connected Component Algorithm with Fast Convergence. PPSC (2020)
Tao Zan, Zhenjiang Hu
Blockchain-based Bidirectional Transformations for Access Control and Data Sharing in EMRs. Internetware (2020)
Zirun Zhu, Hsiang-Shang Ko, Yongzhe Zhang, Pedro Martins, João Saraiva, Zhenjiang Hu
Unifying Parsing and Reflective Printing for Fully Disambiguated Grammars. New Gener. Comput. 38 (3) (2020)
Yasuhito Asano, Zhenjiang Hu, Yasunori Ishihara, Makoto Onizuka, Masato Takeichi, Masatoshi Yoshikawa
Data Integration Models and Architectures for Service Alliances. SFDI/LSGDA@VLDB (2020)
Zirun Zhu, Zhixuan Yang, Hsiang-Shang Ko, Zhenjiang Hu
Retentive Lenses. CoRR (2020)
Ludovic Anthony Richard Capelli, Zhenjiang Hu, Timothy A. K. Zakian, Nick Brown, Jonathan Mark Bull
iPregel: Vertex-centric programmability vs memory efficiency and performance, why choose? Parallel Comput. 86 (2019)
Liye Guo, Hsiang-Shang Ko, Keigo Imai, Nobuko Yoshida, Zhenjiang Hu
Towards Bidirectional Synchronization Between Communicating Processes and Session Types. BigComp (2019)
Timothy A. K. Zakian, Ludovic Anthony Richard Capelli, Zhenjiang Hu
Incrementalization of Vertex-Centric Programs. IPDPS (2019)
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
Modelling and analysing resilient cyber-physical systems. SEAMS@ICSE (2019)
Ennio Visconti, Christos Tsigkanos, Zhenjiang Hu, Carlo Ghezzi
Model-Driven Design of City Spaces via Bidirectional Transformations. MoDELS (2019)
Hoang-Long Huynh, Van-Dang Tran, Huu-Duc Nguyen, Zhenjiang Hu, Trong-Vinh Le, Quyet-Thang Huynh
Auto-Updating Portable Application Model of Multi-Cloud Marketplace Through Bidirectional Transformations System. SoMeT (2019)
Jumpei Tanaka, Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu
Toward Co-existing Database Schemas based on Bidirectional Transformation. CoRR (2019)
Chunmiao Li, Yang Cao, Zhenjiang Hu, Masatoshi Yoshikawa
Blockchain-Based Bidirectional Updates on Fine-Grained Medical Data. ICDE Workshops (2019)
Chunmiao Li, Yang Cao, Zhenjiang Hu, Masatoshi Yoshikawa
Blockchain-based Bidirectional Updates on Fine-grained Medical Data. CoRR (2019)
Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu
Programmable View Update Strategies on Relations. CoRR (2019)
Yongzhe Zhang, Zhenjiang Hu
Composing Optimization Techniques for Vertex-Centric Graph Processing via Communication Channels. IPDPS (2019)
Nianyu Li, Christos Tsigkanos, Zhi Jin, Schahram Dustdar, Zhenjiang Hu, Carlo Ghezzi
POET: Privacy on the Edge with Bidirectional Data Transformations. PerCom (2019)
Yongzhe Zhang, Ariful Azad, Zhenjiang Hu
FastSV: A Distributed-Memory Connected Component Algorithm with Fast Convergence. CoRR (2019)
Yasuhito Asano, Zhenjiang Hu, Yasunori Ishihara, Hiroyuki Kato, Makoto Onizuka, Masatoshi Yoshikawa
Controlling and Sharing Distributed Data for Implementing Service Alliance. BigComp (2019)
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
Making View Update Strategies Programmable - Toward Controlling and Sharing Distributed Data -. CoRR (2018)
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
A View-based Programmable Architecture for Controlling and Integrating Decentralized Data. CoRR (2018)
Adrien Duchêne, Hugues Marchal, Zhenjiang Hu, Pierre-Yves Schobbens
A lightweight data sharing system based on bidirectional transformations. Programming (2018)
Akimasa Morihata, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Hideya Iwasaki
Optimizing Declarative Parallel Distributed Graph Processing by Using Constraint Solvers. FLOPS (2018)
Hsiang-Shang Ko, Zhenjiang Hu
An axiomatic basis for bidirectional programming. Proc. ACM Program. Lang. 2 (POPL) (2018)
Christos Tsigkanos, Nianyu Li, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi
On early statistical requirements validation of cyber-physical space systems. SEsCPS@ICSE (2018)
Ludovic Anthony Richard Capelli, Zhenjiang Hu, Timothy A. K. Zakian
iPregel: A Combiner-Based In-Memory Shared Memory Vertex-Centric Framework. ICPP Workshops (2018)
Xiao He, Zhenjiang Hu
Putback-based bidirectional model transformations. ESEC/SIGSOFT FSE (2018)
Yongzhe Zhang, Zhenjiang Hu
Composing Optimization Techniques for Vertex-Centric Graph Processing via Communication Channels. CoRR (2018)
Xiao He, Zhenjiang Hu, Yi Liu
Towards Variability Management in Bidirectional Model Transformation. COMPSAC (1) (2017)
Zhenjiang Hu
Bidirectional programming and software adaptation: Towards a happy marriage. KSE (2017)
Yijun Yu, Haruhiko Kaiya, Nobukazu Yoshioka, Zhenjiang Hu, Hironori Washizaki, Yingfei Xiong, Amin Hosseinian Far
Goal Modelling for Security Problem Matching and Pattern Enforcement. Int. J. Secur. Softw. Eng. 8 (3) (2017)
Yongzhe Zhang, Hsiang-Shang Ko, Zhenjiang Hu
Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access. CoRR (2017)
Le-Duc Tung, Zhenjiang Hu
Towards Systematic Parallelization of Graph Transformations Over Pregel. Int. J. Parallel Program. 45 (2) (2017)
Yongzhe Zhang, Hsiang-Shang Ko, Zhenjiang Hu
Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access. APLAS (2017)
Tao Zan, Hugo Pacheco, Hsiang-Shang Ko, Zhenjiang Hu
BiFluX: A Bidirectional Functional Update Language for XML. Inf. Media Technol. 12 (2017)
Xiao Cheng, Yuting Chen, Zhenjiang Hu, Tao Zan, Mengyu Liu, Hao Zhong, Jianjun Zhao
Supporting Selective Undo for Refactoring. SANER (2016)
Kevin Colson, Robin Dupuis, Lionel Montrieux, Zhenjiang Hu, Sebastián Uchitel, Pierre-Yves Schobbens
Reusable self-adaptation through bidirectional programming. SEAMS@ICSE (2016)
Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Akimasa Morihata, Hideya Iwasaki
Think like a vertex, behave like a function! a functional DSL for vertex-centric big graph processing. ICFP (2016)
Zhi Jin, Zhenjiang Hu, Gang Yin
Preface. Sci. China Inf. Sci. 59 (8) (2016)
Tianqi Zhao, Tao Zan, Haiyan Zhao, Zhenjiang Hu, Zhi Jin
Integrating Goal Model into Rule-Based Adaptation. APSEC (2016)
Zirun Zhu, Yongzhe Zhang, Hsiang-Shang Ko, Pedro Martins, João Saraiva, Zhenjiang Hu
Parsing and reflective printing, bidirectionally. SLE (2016)
Chong Li, Le-Duc Tung, Xiaodong Meng, Zhenjiang Hu
Let High-level Graph Queries Be Parallel Efficient: An Approach Over Structural Recursion On Pregel. J. Inf. Process. 24 (6) (2016)
Weize Zhao, Haiyan Zhao, Zhenjiang Hu
A Framework for Synchronization Between Feature Configurations and Use Cases Based on Bidirectional Programming. RE Workshops (2016)
Tao Zan, Li Liu, Hsiang-Shang Ko, Zhenjiang Hu
Brul: A Putback-Based Bidirectional Transformation Library for Updatable Views. Bx@ETAPS (2016)
Chong Li, Le-Duc Tung, Xiaodong Meng, Zhenjiang Hu
Derivation of parallel-efficient structural recursive functions from declarative graph queries. SAC (2016)
Zhenjiang Hu, Hsiang-Shang Ko
Principles and Practice of Bidirectional Programming in BiGUL. Bidirectional Transformations (2016)
Chenglong Wang, Jiajun Jiang, Jun Li, Yingfei Xiong, Xiangyu Luo, Lu Zhang, Zhenjiang Hu
Transforming Programs between APIs with Many-to-Many Mappings. ECOOP (2016)
Soichiro Hidaka, Massimo Tisi, Jordi Cabot, Zhenjiang Hu
Feature-based classification of bidirectional transformation approaches. Softw. Syst. Model. 15 (3) (2016)
Hsiang-Shang Ko, Tao Zan, Zhenjiang Hu
BiGUL: a formally verified core language for putback-based bidirectional programming. PEPM (2016)
Xiao Cheng, Hao Zhong, Yuting Chen, Zhenjiang Hu, Jianjun Zhao
Rule-directed code clone synchronization. ICPC (2016)
Zirun Zhu, Hsiang-Shang Ko, Pedro Martins, João Saraiva, Zhenjiang Hu
BiYacc: Roll Your Parser and Reflective Printer into One. Bx@STAF (2015)
Jun Li, Chenglong Wang, Yingfei Xiong, Zhenjiang Hu
SWIN: Towards Type-Safe Java Program Adaptation between APIs. PEPM (2015)
Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara
Context-preserving XQuery fusion. Math. Struct. Comput. Sci. 25 (4) (2015)
Sebastian Fischer, Zhenjiang Hu, Hugo Pacheco
A Clear Picture of Lens Laws - Functional Pearl. MPC (2015)
Lichao Wang, Guoqiang Li, Zhenjiang Hu
Constructing format-preserving printing from syntax-directed definitions. Sci. China Inf. Sci. 58 (11) (2015)
Zhenjiang Hu, Juan de Lara
Guest editorial to the special section on model transformation. Softw. Syst. Model. 14 (2) (2015)
Lionel Montrieux, Zhenjiang Hu
Towards Attribute-Based Authorisation for Bidirectional Programming. SACMAT (2015)
Sebastian Fischer, Zhenjiang Hu, Hugo Pacheco
The essence of bidirectional programming. Sci. China Inf. Sci. 58 (5) (2015)
Zhenjiang Hu, Hugo Pacheco, Sebastian Fischer
Validity Checking of Putback Transformations in Bidirectional Programming. FM (2014)
Bernhard Hoisl, Zhenjiang Hu, Soichiro Hidaka
Towards Bidirectional Higher-Order Transformation for Model-Driven Co-evolution. MODELSWARD (Revised Selected Papers) (2014)
Tao Zan, Hugo Pacheco, Zhenjiang Hu
Writing bidirectional model transformations as intentional updates. ICSE Companion (2014)

Zhenjiang Hu.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Zhenjiang Hu