default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDZhenjiang Hu
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j62]Bach Nguyen Trong, Kanae Tsushima, Zhenjiang Hu:
Synthesis of Bidirectional Programs from Examples with Functional Dependencies. J. Inf. Process. 32: 451-465 (2024)- [j61]Bach Nguyen Trong, Kanae Tsushima, Zhenjiang Hu:
SYNTHBX: An Example-guided Synthesizer for Bidirectional Programs on Relations. J. Inf. Process. 32: 471-486 (2024) - [j60]Zhichao Guan
, Yiyuan Cao, Tailai Yu, Ziheng Wang, Di Wang, Zhenjiang Hu:
Semantics Lifting for Syntactic Sugar. Proc. ACM Program. Lang. 8(OOPSLA2): 1336-1361 (2024) - [j59]Ruyi Ji, Yuwei Zhao, Nadia Polikarpova, Yingfei Xiong, Zhenjiang Hu:
Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis. Proc. ACM Program. Lang. 8(PLDI): 939-964 (2024) - [j58]Xing Zhang, Ruifeng Xie, Guanchen Guo, Xiao He, Tao Zan, Zhenjiang Hu:
Fusing Direct Manipulations into Functional Programs. Proc. ACM Program. Lang. 8(POPL): 1211-1238 (2024) - [j57]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): 8 (2024) - [c145]Zewen Du, Zhenjiang Hu, Guiyu Zhao, Ying Jin, Hongbin Ma:
LDA-AQU: Adaptive Query-guided Upsampling via Local Deformable Attention. ACM Multimedia 2024: 4919-4927 - [i18]Zewen Du, Zhenjiang Hu, Guiyu Zhao, Ying Jin, Hongbin Ma:
Cross-Layer Feature Pyramid Transformer for Small Object Detection in Aerial Images. CoRR abs/2407.19696 (2024) - 2023
- [j56]Hanliang Zhang, Wenhao Tang, Ruifeng Xie, Meng Wang, Zhenjiang Hu:
Contract lenses: Reasoning about bidirectional programs via calculation. J. Funct. Program. 33 (2023) - [j55]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): 230-255 (2023) - [j54]Ruyi Ji, Chaozhe Kong, Yingfei Xiong, Zhenjiang Hu:
Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection. Proc. ACM Program. Lang. 7(OOPSLA1): 819-847 (2023) - [c144]Bach Nguyen Trong, Kanae Tsushima, Zhenjiang Hu:
Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples. LOPSTR 2023: 9-27 - 2022
- [j53]Xiao He, Zhenjiang Hu, Na Meng:
A theoretic framework of bidirectional transformation between systems and models. Sci. China Inf. Sci. 65(10) (2022) - [j52]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: e4 (2022) - [j51]Ruifeng Xie, Zhenjiang Hu:
Generic recursive lens combinators and their calculation laws. Theor. Comput. Sci. 913: 113-137 (2022) - [c143]Ziyi Yang, Yushuo Xiao, Zhichao Guan, Zhenjiang Hu:
A Lazy Desugaring System for Evaluating Programs with Sugars. FLOPS 2022: 243-261 - [c142]Xing Zhang, Zhenjiang Hu:
Towards Bidirectional Live Programming for Incomplete Programs. ICSE 2022: 2154-2164 - [i17]Ruyi Ji, Yingfei Xiong, Zhenjiang Hu:
Black-Box Algorithm Synthesis - Divide-and-Conquer and More. CoRR abs/2202.12193 (2022) - [i16]Ruyi Ji, Tianran Zhu, Yingfei Xiong, Zhenjiang Hu:
Synthesizing Efficient Dynamic Programming Algorithms. CoRR abs/2202.12208 (2022) - 2021
- [j50]Ruyi Ji, Jingtao Xia, Yingfei Xiong, Zhenjiang Hu:
Generalizable synthesis through unification. Proc. ACM Program. Lang. 5(OOPSLA): 1-28 (2021) - [j49]Ennio Visconti, Christos Tsigkanos, Zhenjiang Hu, Carlo Ghezzi:
Model-driven engineering city spaces via bidirectional model transformations. Softw. Syst. Model. 20(6): 2003-2022 (2021) - [j48]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): 1939 (2021) - [c141]Han Xu, Zhenjiang Hu:
Analytical Differential Calculus with Integration. ICALP 2021: 143:1-143:20 - [c140]Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu:
Toward Recursive View Update Strategies on Relations. STAF Workshops 2021: 28-33 - [i15]Han Xu, Zhenjiang Hu:
Analytical Differential Calculus with Integration. CoRR abs/2105.02632 (2021) - [i14]Ruyi Ji, Jingtao Xia, Yingfei Xiong, Zhenjiang Hu:
Occam Learning Meets Synthesis Through Unification. CoRR abs/2105.14467 (2021) - 2020
- [j47]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: 110742 (2020) - [j46]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): 423-476 (2020) - [j45]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: 295-306 (2020) - [j44]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): 224:1-224:29 (2020) - [j43]Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu:
Programmable View Update Strategies on Relations. Proc. VLDB Endow. 13(5): 726-739 (2020) - [j42]Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu:
BIRDS: Programming view update strategies in Datalog. Proc. VLDB Endow. 13(12): 2897-2900 (2020) - [c139]Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu:
A Counterexample-Guided Debugger for Non-recursive Datalog. APLAS 2020: 323-342 - [c138]Chunmiao Li, Shijie Nie, Yang Cao, Yijun Yu, Zhenjiang Hu:
Dynamic Gas Estimation of Loops Using Machine Learning. BlockSys 2020: 428-441 - [c137]Kanae Tsushima, Bach Nguyen Trong, Robert Glück, Zhenjiang Hu:
An Efficient Composition of Bidirectional Programs by Memoization and Lazy Update. FLOPS 2020: 159-178 - [c136]Tao Zan, Zhenjiang Hu:
Blockchain-based Bidirectional Transformations for Access Control and Data Sharing in EMRs. Internetware 2020: 71-80 - [c135]Christos Tsigkanos, Nianyu Li, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi:
Scalable Multiple-View Analysis of Reactive Systems via Bidirectional Model Transformations. ASE 2020: 993-1003 - [c134]Ruyi Ji, Jingjing Liang, Yingfei Xiong, Lu Zhang, Zhenjiang Hu:
Question selection for interactive program synthesis. PLDI 2020: 1143-1158 - [c133]Yongzhe Zhang, Ariful Azad, Zhenjiang Hu:
FastSV: A Distributed-Memory Connected Component Algorithm with Fast Convergence. PP 2020: 46-57 - [c132]Wenjie Chu, Haiyan Zhao, Zhi Jin, Zhenjiang Hu:
Adaptive Data Sharing and Computation Offloading in Cloud-Edge Computing with Resource Constraints. SMC 2020: 2842-2849 - [c131]Xing Zhang, Van-Dang Tran, Zhenjiang Hu:
A Cheap Implementation of Resugaring in BIRDS Based on Bidirectional Transformation. SFDI/LSGDA@VLDB 2020: 116-130 - [c130]Jumpei Tanaka, Van-Dang Tran, Zhenjiang Hu:
Toward Programmable Strategy for Co-existence of Relational Schemes. SFDI/LSGDA@VLDB 2020: 138-151 - [c129]Yasuhito Asano, Zhenjiang Hu, Yasunori Ishihara, Makoto Onizuka, Masato Takeichi, Masatoshi Yoshikawa:
Data Integration Models and Architectures for Service Alliances. SFDI/LSGDA@VLDB 2020: 152-164 - [e7]Casper Bach Poulsen, Zhenjiang Hu:
Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM@POPL 2020, New Orleans, LA, USA, January 20, 2020. ACM 2020, ISBN 978-1-4503-7096-7 [contents] - [i13]Zirun Zhu, Zhixuan Yang, Hsiang-Shang Ko, Zhenjiang Hu:
Retentive Lenses. CoRR abs/2001.02031 (2020) - [i12]Nianyu Li, Christos Tsigkanos, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi:
Early Validation of Cyber-Physical Space Systems via Multi-Concerns Integration. CoRR abs/2007.06719 (2020) - [i11]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 abs/2010.08781 (2020)
2010 – 2019
- 2019
- [j41]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: 45-56 (2019) - [c128]Yasuhito Asano, Zhenjiang Hu, Yasunori Ishihara, Hiroyuki Kato, Makoto Onizuka, Masatoshi Yoshikawa:
Controlling and Sharing Distributed Data for Implementing Service Alliance. BigComp 2019: 1-4 - [c127]Liye Guo, Hsiang-Shang Ko, Keigo Imai, Nobuko Yoshida, Zhenjiang Hu:
Towards Bidirectional Synchronization Between Communicating Processes and Session Types. BigComp 2019: 1-5 - [c126]Chunmiao Li, Yang Cao, Zhenjiang Hu, Masatoshi Yoshikawa:
Blockchain-Based Bidirectional Updates on Fine-Grained Medical Data. ICDE Workshops 2019: 22-27 - [c125]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: 70-76 - [c124]Yongzhe Zhang, Zhenjiang Hu:
Composing Optimization Techniques for Vertex-Centric Graph Processing via Communication Channels. IPDPS 2019: 428-438 - [c123]Timothy A. K. Zakian, Ludovic Anthony Richard Capelli, Zhenjiang Hu:
Incrementalization of Vertex-Centric Programs. IPDPS 2019: 1019-1029 - [c122]Ennio Visconti, Christos Tsigkanos, Zhenjiang Hu, Carlo Ghezzi:
Model-Driven Design of City Spaces via Bidirectional Transformations. MoDELS 2019: 45-55 - [c121]Nianyu Li, Christos Tsigkanos, Zhi Jin, Schahram Dustdar, Zhenjiang Hu, Carlo Ghezzi:
POET: Privacy on the Edge with Bidirectional Data Transformations. PerCom 2019: 1-10 - [c120]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: 11-24 - [p2]Soichiro Hidaka, Zhenjiang Hu, Marin Litoiu, Lin Liu, Patrick Martin, Xin Peng, Guiling Wang, Yijun Yu:
Design and Engineering of Adaptive Software Systems. Engineering Adaptive Software Systems 2019: 1-33 - [p1]Lionel Montrieux, Naoyasu Ubayashi, Tianqi Zhao, Zhi Jin, Zhenjiang Hu:
Bidirectional Transformations for Self-Adaptive Systems. Engineering Adaptive Software Systems 2019: 95-114 - [e6]Yijun Yu, Arosha K. Bandara, Shinichi Honiden, Zhenjiang Hu, Tetsuo Tamai, Hausi A. Müller, John Mylopoulos, Bashar Nuseibeh:
Engineering Adaptive Software Systems - Communications of NII Shonan Meetings. Springer 2019, ISBN 978-981-13-2184-9 [contents] - [i10]Chunmiao Li, Yang Cao, Zhenjiang Hu, Masatoshi Yoshikawa:
Blockchain-based Bidirectional Updates on Fine-grained Medical Data. CoRR abs/1904.10606 (2019) - [i9]Yongzhe Zhang, Ariful Azad, Zhenjiang Hu:
FastSV: A Distributed-Memory Connected Component Algorithm with Fast Convergence. CoRR abs/1910.05971 (2019) - [i8]Jumpei Tanaka, Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu:
Toward Co-existing Database Schemas based on Bidirectional Transformation. CoRR abs/1910.10959 (2019) - [i7]Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu:
Programmable View Update Strategies on Relations. CoRR abs/1911.05921 (2019) - 2018
- [j40]Hsiang-Shang Ko, Zhenjiang Hu:
An axiomatic basis for bidirectional programming. Proc. ACM Program. Lang. 2(POPL): 41:1-41:29 (2018) - [c119]Akimasa Morihata, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Hideya Iwasaki:
Optimizing Declarative Parallel Distributed Graph Processing by Using Constraint Solvers. FLOPS 2018: 166-181 - [c118]Ludovic Anthony Richard Capelli, Zhenjiang Hu, Timothy A. K. Zakian:
iPregel: A Combiner-Based In-Memory Shared Memory Vertex-Centric Framework. ICPP Workshops 2018: 33:1-33:10 - [c117]Christos Tsigkanos, Nianyu Li, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi:
On early statistical requirements validation of cyber-physical space systems. SEsCPS@ICSE 2018: 13-18 - [c116]Adrien Duchêne, Hugues Marchal, Zhenjiang Hu, Pierre-Yves Schobbens:
A lightweight data sharing system based on bidirectional transformations. Programming 2018: 42-45 - [c115]Xiao He, Zhenjiang Hu:
Putback-based bidirectional model transformations. ESEC/SIGSOFT FSE 2018: 434-444 - [i6]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 abs/1803.06674 (2018) - [i5]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 abs/1809.10357 (2018) - [i4]Yongzhe Zhang, Zhenjiang Hu:
Composing Optimization Techniques for Vertex-Centric Graph Processing via Communication Channels. CoRR abs/1811.01669 (2018) - 2017
- [j39]Le-Duc Tung, Zhenjiang Hu:
Towards Systematic Parallelization of Graph Transformations Over Pregel. Int. J. Parallel Program. 45(2): 320-339 (2017) - [j38]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): 42-57 (2017) - [j37]Tao Zan, Hugo Pacheco, Hsiang-Shang Ko, Zhenjiang Hu:
BiFluX: A Bidirectional Functional Update Language for XML. Inf. Media Technol. 12: 1-23 (2017) - [c114]Yongzhe Zhang, Hsiang-Shang Ko, Zhenjiang Hu:
Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access. APLAS 2017: 301-320 - [c113]Xiao He, Zhenjiang Hu, Yi Liu:
Towards Variability Management in Bidirectional Model Transformation. COMPSAC (1) 2017: 224-233 - [c112]Zhenjiang Hu:
Bidirectional programming and software adaptation: Towards a happy marriage. KSE 2017: x-xii - [i3]Yongzhe Zhang, Hsiang-Shang Ko, Zhenjiang Hu:
Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access. CoRR abs/1703.09542 (2017) - 2016
- [j36]Zhi Jin, Zhenjiang Hu, Gang Yin:
Preface. Sci. China Inf. Sci. 59(8): 080100:1-080100:2 (2016) - [j35]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): 928-936 (2016) - [j34]Soichiro Hidaka, Massimo Tisi, Jordi Cabot, Zhenjiang Hu:
Feature-based classification of bidirectional transformation approaches. Softw. Syst. Model. 15(3): 907-928 (2016) - [c111]Zhenjiang Hu, Hsiang-Shang Ko:
Principles and Practice of Bidirectional Programming in BiGUL. Bidirectional Transformations 2016: 100-150 - [c110]Tianqi Zhao, Tao Zan, Haiyan Zhao, Zhenjiang Hu, Zhi Jin:
Integrating Goal Model into Rule-Based Adaptation. APSEC 2016: 289-296 - [c109]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: 25:1-25:26 - [c108]Tao Zan, Li Liu, Hsiang-Shang Ko, Zhenjiang Hu:
Brul: A Putback-Based Bidirectional Transformation Library for Updatable Views. Bx@ETAPS 2016: 77-89 - [c107]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: 200-213 - [c106]Kevin Colson, Robin Dupuis, Lionel Montrieux, Zhenjiang Hu, Sebastián Uchitel, Pierre-Yves Schobbens:
Reusable self-adaptation through bidirectional programming. SEAMS@ICSE 2016: 4-15 - [c105]Xiao Cheng, Hao Zhong, Yuting Chen, Zhenjiang Hu, Jianjun Zhao:
Rule-directed code clone synchronization. ICPC 2016: 1-10 - [c104]Hsiang-Shang Ko, Tao Zan, Zhenjiang Hu:
BiGUL: a formally verified core language for putback-based bidirectional programming. PEPM 2016: 61-72 - [c103]Weize Zhao, Haiyan Zhao, Zhenjiang Hu:
A Framework for Synchronization Between Feature Configurations and Use Cases Based on Bidirectional Programming. RE Workshops 2016: 170-179 - [c102]Chong Li, Le-Duc Tung, Xiaodong Meng, Zhenjiang Hu:
Derivation of parallel-efficient structural recursive functions from declarative graph queries. SAC 2016: 1922-1925 - [c101]Zirun Zhu, Yongzhe Zhang, Hsiang-Shang Ko, Pedro Martins, João Saraiva, Zhenjiang Hu:
Parsing and reflective printing, bidirectionally. SLE 2016: 2-14 - [c100]Xiao Cheng, Yuting Chen, Zhenjiang Hu, Tao Zan, Mengyu Liu, Hao Zhong, Jianjun Zhao:
Supporting Selective Undo for Refactoring. SANER 2016: 13-23 - 2015
- [j33]Sebastian Fischer, Zhenjiang Hu, Hugo Pacheco:
The essence of bidirectional programming. Sci. China Inf. Sci. 58(5): 1-21 (2015) - [j32]Lichao Wang, Guoqiang Li, Zhenjiang Hu:
Constructing format-preserving printing from syntax-directed definitions. Sci. China Inf. Sci. 58(11): 1-14 (2015) - [j31]Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara:
Context-preserving XQuery fusion. Math. Struct. Comput. Sci. 25(4): 916-941 (2015) - [j30]Zhenjiang Hu, Juan de Lara:
Guest editorial to the special section on model transformation. Softw. Syst. Model. 14(2): 533-535 (2015) - [c99]Sebastian Fischer, Zhenjiang Hu, Hugo Pacheco:
A Clear Picture of Lens Laws - Functional Pearl. MPC 2015: 215-223 - [c98]Jun Li, Chenglong Wang, Yingfei Xiong, Zhenjiang Hu:
SWIN: Towards Type-Safe Java Program Adaptation between APIs. PEPM 2015: 91-102 - [c97]Lionel Montrieux, Zhenjiang Hu:
Towards Attribute-Based Authorisation for Bidirectional Programming. SACMAT 2015: 185-196 - [c96]Zirun Zhu, Hsiang-Shang Ko, Pedro Martins, João Saraiva, Zhenjiang Hu:
BiYacc: Roll Your Parser and Reflective Printer into One. Bx@STAF 2015: 43-50 - 2014
- [j29]Yu Liu, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu:
Accumulative Computation on MapReduce. Inf. Media Technol. 9(1): 73-82 (2014) - [j28]Bo Wang, Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Wei Zhang, Hong Mei:
Interactive Inconsistency Fixing in Feature Modeling. J. Comput. Sci. Technol. 29(4): 724-736 (2014) - [j27]Yu Liu, Kento Emoto, Zhenjiang Hu:
A Generate-Test-Aggregate parallel programming library for systematic parallel programming. Parallel Comput. 40(2): 116-135 (2014) - [c95]Zhenjiang Hu, Hugo Pacheco, Sebastian Fischer:
Validity Checking of Putback Transformations in Bidirectional Programming. FM 2014: 1-15 - [c94]Tao Zan, Hugo Pacheco, Zhenjiang Hu:
Writing bidirectional model transformations as intentional updates. ICSE Companion 2014: 488-491 - [c93]Bernhard Hoisl, Zhenjiang Hu, Soichiro Hidaka:
Towards Bidirectional Higher-Order Transformation for Model-Driven Co-evolution. MODELSWARD (Revised Selected Papers) 2014: 153-167 - [c92]Bernhard Hoisl, Zhenjiang Hu, Soichiro Hidaka:
Towards Co-evolution in Model-Driven Development Via Bidirectional Higher-Order Transformation. MODELSWARD 2014: 466-471 - [c91]Hugo Pacheco, Zhenjiang Hu, Sebastian Fischer:
Monadic combinators for "Putback" style bidirectional programming. PEPM 2014: 39-50 - [c90]Hugo Pacheco, Tao Zan, Zhenjiang Hu:
BiFluX: A Bidirectional Functional Update Language for XML. PPDP 2014: 147-158 - [c89]Frédéric Loulergue, Simon Robillard, Julien Tesson, Joeffrey Legaux, Zhenjiang Hu:
Formal derivation and extraction of a parallel program for the all nearest smaller values problem. SAC 2014: 1577-1584 - 2013
- [j26]Bo Wang, Zhenjiang Hu, Qiang Sun, Haiyan Zhao, Yingfei Xiong, Wei Zhang, Hong Mei:
Supporting feature model refinement with updatable view. Frontiers Comput. Sci. 7(2): 257-271 (2013) - [j25]Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang:
Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins. J. Funct. Program. 23(5): 515-551 (2013) - [j24]