Zhenjiang Hu - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Zhenjiang Hu' as author, editor, or advisor:

Derivation of parallel-efficient structural recursive functions from declarative graph queriesChong Li, Le-Duc Tung, Xiaodong Meng, Zhenjiang Hu. SAC 2016: 1922-1925 [doi]
A Lazy Desugaring System for Evaluating Programs with SugarsZiyi Yang, Yushuo Xiao, Zhichao Guan, Zhenjiang Hu. FLOPS 2022: 243-261 [doi]
An Efficient Composition of Bidirectional Programs by Memoization and Lazy UpdateKanae Tsushima, Bach Nguyen Trong, Robert Glück, Zhenjiang Hu. FLOPS 2020: 159-178 [doi]
An environment for maintaining computation dependency in XML documentsDongxi Liu, Zhenjiang Hu, Masato Takeichi. DOCENG 2005: 42-51 [doi]
Delta Lenses over Inductive TypesHugo Pacheco, Alcino Cunha, Zhenjiang Hu. eceasst, 49, 2012. [doi]
On early statistical requirements validation of cyber-physical space systemsChristos Tsigkanos, Nianyu Li, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi. ICSE 2018: 13-18 [doi]
Efficient query evaluation on distributed graphs with Hadoop environmentLe-Duc Tung, Quyet Nguyen-Van, Zhenjiang Hu. soict 2013: 311-319 [doi]
Dynamic Gas Estimation of Loops Using Machine LearningChunmiao Li, Shijie Nie, Yang Cao 0011, Yijun Yu, Zhenjiang Hu. blocksys 2020: 428-441 [doi]
Manipulating accumulative functions by swapping call-time and return-time computationsAkimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi. JFP, 22(3):275-299, 2012. [doi]
The essence of bidirectional programmingSebastian Fischer, Zhenjiang Hu, Hugo Pacheco. chinaf, 58(5):1-21, 2015. [doi]
Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular ExamplesBach Nguyen Trong, Kanae Tsushima, Zhenjiang Hu. LOPSTR 2023: 9-27 [doi]
Towards systematic parallel programming of graph problems via tree decomposition and tree parallelismQi Wang, Meixian Chen, Yu Liu, Zhenjiang Hu. ICFP 2013: 25-36 [doi]
Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, ProceedingsZhenjiang Hu, Mario Rodríguez-Artalejo, editors, Volume 2441 of Lecture Notes in Computer Science, Springer, 2002.
Supporting runtime software architecture: A bidirectional-transformation-based approachHui Song, Gang Huang, Franck Chauvel, Yingfei Xiong, Zhenjiang Hu, Yanchun Sun, Hong Mei. jss, 84(5):711-723, 2011. [doi]
Toward Recursive View Update Strategies on RelationsVan-Dang Tran, Hiroyuki Kato, Zhenjiang Hu. staf 2021: 28-33 [doi]
Writing bidirectional model transformations as intentional updatesTao Zan, Hugo Pacheco, Zhenjiang Hu. ICSE 2014: 488-491 [doi]
Interactive Inconsistency Fixing in Feature ModelingBo Wang, Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Wei Zhang, Hong Mei. jcst, 29(4):724-736, 2014. [doi]
Programmable View Update Strategies on RelationsVan-Dang Tran, Hiroyuki Kato, Zhenjiang Hu. pvldb, 13(5):726-739, 2020. [doi]
A Clear Picture of Lens Laws - Functional PearlSebastian Fischer, Zhenjiang Hu, Hugo Pacheco. mpc 2015: 215-223 [doi]
Deriving Parallel Codes via InvariantsWei-Ngan Chin, Siau-Cheng Khoo, Zhenjiang Hu, Masato Takeichi. SAS 2000: 75-94
Programming with BSP HomomorphismsJoeffrey Legaux, Zhenjiang Hu, Frédéric Loulergue, Kiminori Matsuzaki, Julien Tesson. europar 2013: 446-457 [doi]
PrefaceZhi Jin, Zhenjiang Hu, Gang Yin. chinaf, 59(8), 2016. [doi]
Blockchain-Based Bidirectional Updates on Fine-Grained Medical DataChunmiao Li, Yang Cao 0011, Zhenjiang Hu, Masatoshi Yoshikawa. icde 2019: 22-27 [doi]
Generalizable synthesis through unificationRuyi Ji, Jingtao Xia, Yingfei Xiong 0001, Zhenjiang Hu. PACMPL, 5(OOPSLA):1-28, 2021. [doi]
Towards Co-evolution in Model-Driven Development Via Bidirectional Higher-Order TransformationBernhard Hoisl, Zhenjiang Hu, Soichiro Hidaka. modelsward 2014: 466-471 [doi]
Supporting Selective Undo for RefactoringXiao Cheng, Yuting Chen, Zhenjiang Hu, Tao Zan, Mengyu Liu, Hao Zhong, Jianjun Zhao. WCRE 2016: 13-23 [doi]
Parsing and reflective printing, bidirectionallyZirun Zhu, Yongzhe Zhang, Hsiang-Shang Ko, Pedro Martins 0001, João Saraiva, Zhenjiang Hu. SLE 2016: 2-14 [doi]
Validity Checking of Putback Transformations in Bidirectional ProgrammingZhenjiang Hu, Hugo Pacheco, Sebastian Fischer. FM 2014: 1-15 [doi]
Algebraic construction of graphs with bounded tree width and its applications - Catamorphic Approach to Program AnalysesMizuhito Ogawa, Zhenjiang Hu, Isao Sasano, Masato Takeichi. aplas 2002: 58-73
Model-Driven Design of City Spaces via Bidirectional TransformationsEnnio Visconti, Christos Tsigkanos, Zhenjiang Hu, Carlo Ghezzi. MoDELS 2019: 45-55 [doi]
Proceedings of the 3rd Workshop on Living with Inconsistencies in Software Development, LWI@ASE 2010, Antwerp, Belgium, September 21st, 2010Alexander Egyed, Roberto E. Lopez-Herrejon, Bashar Nuseibeh, Goetz Botterweck, Marsha Chechik, Zhenjiang Hu, editors, Volume 661 of CEUR Workshop Proceedings, CEUR-WS.org, 2010. [doi]
Composing Optimization Techniques for Vertex-Centric Graph Processing via Communication ChannelsYongzhe Zhang, Zhenjiang Hu. ipps 2019: 428-438 [doi]
Towards Attribute-Based Authorisation for Bidirectional ProgrammingLionel Montrieux, Zhenjiang Hu. SACMAT 2015: 185-196 [doi]
A Type-Based Approach to Parallelization (preliminary report)Dana N. Xu, Siau-Cheng Khoo, Wei-Ngan Chin, Zhenjiang Hu. aplas 2002: 175-192
A Framework for Synchronization Between Feature Configurations and Use Cases Based on Bidirectional ProgrammingWeize Zhao, Haiyan Zhao, Zhenjiang Hu. RE 2016: 170-179 [doi]
Issues in representing domain-specific concerns in model-driven engineeringLionel Montrieux, Yijun Yu, Michel Wermelinger, Zhenjiang Hu. ICSE 2013: 1-6 [doi]
Fusing Direct Manipulations into Functional ProgramsXing Zhang, Ruifeng Xie, Guanchen Guo, Xiao He 0005, Tao Zan, Zhenjiang Hu. PACMPL, 8(POPL):1211-1238, January 2024. [doi]
Principles and Practice of Bidirectional Programming in BiGULZhenjiang Hu, Hsiang-Shang Ko. ac 2018: 100-150 [doi]
Tolerating Inconsistency in Feature ModelsBo Wang, Zhenjiang Hu, Yingfei Xiong, Haiyan Zhao, Wei Zhang, Hong Mei. ASE 2010: 15-20 [doi]
Integrating Goal Model into Rule-Based AdaptationTianqi Zhao, Tao Zan, Haiyan Zhao, Zhenjiang Hu, Zhi Jin. apsec 2016: 289-296 [doi]
Surrounding Theorem: Developing Parallel Programs for Matrix-ConvolutionsKento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi. europar 2006: 605-614 [doi]
iPregel: Vertex-centric programmability vs memory efficiency and performance, why choose?Ludovic A. R. Capelli, Zhenjiang Hu, Timothy A. K. Zakian, Nick Brown, J. Mark Bull. pc, 86:45-56, 2019. [doi]
A lightweight data sharing system based on bidirectional transformationsAdrien Duchêne, Hugues Marchal, Zhenjiang Hu, Pierre-Yves Schobbens. Programming 2018: 42-45 [doi]
BIRDS: Programming view update strategies in DatalogVan-Dang Tran, Hiroyuki Kato, Zhenjiang Hu. pvldb, 13(12):2897-2900, 2020. [doi]
Marker-Directed Optimization of UnCAL Graph TransformationsSoichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano. LOPSTR 2012: 123-138 [doi]
Monadic combinators for "Putback" style bidirectional programmingHugo Pacheco, Zhenjiang Hu, Sebastian Fischer. PEPM 2014: 39-50 [doi]
Practical aspects of bidirectional graph transformationsZhenjiang Hu. PEPM 2013: 1-2 [doi]
Toward bidirectionalization of ATL with GRoundTramIsao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano. ICMT 2011: 138-151
Generate, Test, and Aggregate - A Calculation-based Framework for Systematic Parallel Programming with MapReduceKento Emoto, Sebastian Fischer, Zhenjiang Hu. ESOP 2012: 254-273 [doi]
Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, ICFP 2011, Tokyo, Japan, September 19-21, 2011Manuel M. T. Chakravarty, Zhenjiang Hu, Olivier Danvy, editors, ACM, 2011.
Iterative-free program analysisMizuhito Ogawa, Zhenjiang Hu, Isao Sasano. ICFP 2003: 111-123 [doi]
Putback-based bidirectional model transformationsXiao He, Zhenjiang Hu. FSE 2018: 434-444 [doi]
Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM@POPL 2020, New Orleans, LA, USA, January 20, 2020Casper Bach Poulsen, Zhenjiang Hu, editors, ACM, 2020. [doi]
Adaptive Data Sharing and Computation Offloading in Cloud-Edge Computing with Resource ConstraintsWenjie Chu, Haiyan Zhao, Zhi Jin, Zhenjiang Hu. SMC 2020: 2842-2849 [doi]
Towards Systematic Parallelization of Graph Transformations Over PregelLe-Duc Tung, Zhenjiang Hu. ijpp, 45(2):320-339, 2017. [doi]
Mining Optimized RangesHaiyan Zhao, Zhenjiang Hu, Masato Takeichi. aplas 2000: 119-127
Bidirectional Object-Oriented Programming: Towards Programmatic and Direct Manipulation of ObjectsXing Zhang, Guanchen Guo, Xiao He, Zhenjiang Hu. PACMPL, 7(OOPSLA1):230-255, April 2023. [doi]
Filter-embedding semiring fusion for programming with MapReduceKento Emoto, Sebastian Fischer, Zhenjiang Hu. fac, 24(4-6):623-645, 2012. [doi]
Constructing format-preserving printing from syntax-directed definitionsLichao Wang, Guoqiang Li 0001, Zhenjiang Hu. chinaf, 58(11):1-14, 2015. [doi]
Auto-Updating Portable Application Model of Multi-Cloud Marketplace Through Bidirectional Transformations SystemHoang-Long Huynh, Van-Dang Tran, Huu-Duc Nguyen, Zhenjiang Hu, Trong-Vinh Le, Quyet Thang Huynh. somet 2019: 11-24 [doi]
Guest editorial to the special section on model transformationZhenjiang Hu, Juan de Lara. SoSyM, 14(2):533-535, 2015. [doi]
Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data AccessYongzhe Zhang, Hsiang-Shang Ko, Zhenjiang Hu. aplas 2017: 301-320 [doi]
BiFluX: A Bidirectional Functional Update Language for XMLHugo Pacheco, Tao Zan, Zhenjiang Hu. ppdp 2014: 147-158 [doi]
Analytical Differential Calculus with IntegrationHan Xu, Zhenjiang Hu. icalp 2021: [doi]
Engineering Adaptive Software Systems - Communications of NII Shonan MeetingsYijun Yu, Arosha K. Bandara, Shinichi Honiden, Zhenjiang Hu, Tetsuo Tamai, Hausi A. Müller, John Mylopoulos, Bashar Nuseibeh, editors, Springer, 2019. [doi]
PType System: A Featherweight Parallelizability DetectorDana N. Xu, Siau-Cheng Khoo, Zhenjiang Hu. aplas 2004: 197-212 [doi]
Brul: A Putback-Based Bidirectional Transformation Library for Updatable ViewsTao Zan, Li Liu, Hsiang-Shang Ko, Zhenjiang Hu. etaps 2016: 77-89 [doi]
An Optimal Staging AlgorithmTakuma Murakami, Zhenjiang Hu, Masato Takeichi. aplas 2002: 272-284
Supporting feature model refinement with updatable viewBo Wang, Zhenjiang Hu, Qiang Sun, Haiyan Zhao, Yingfei Xiong, Wei Zhang, Hong Mei. fcsc, 7(2):257-271, 2013. [doi]
Towards Systematic Parallel Programming over MapReduceYu Liu, Zhenjiang Hu, Kiminori Matsuzaki. europar 2011: 39-50 [doi]
A Compositional Framework for Mining Longest RangesHaiyan Zhao, Zhenjiang Hu, Masato Takeichi. dis 2002: 406-413 [doi]
A Generate-Test-Aggregate parallel programming library for systematic parallel programmingYu Liu, Kento Emoto, Zhenjiang Hu. pc, 40(2):116-135, 2014. [doi]
Editorial: the Sixth International Symposium on Functional and Logic ProgrammingZhenjiang Hu, Mario Rodríguez-Artalejo. jflp, 2003, 2003. [doi]
Trace-Based Dynamic Gas Estimation of Loops in Smart ContractsChunmiao Li, Shijie Nie, Yang Cao 0011, Yijun Yu, Zhenjiang Hu. ojcomps, 1:295-306, 2020. [doi]
Goal Modelling for Security Problem Matching and Pattern EnforcementYijun Yu, Haruhiko Kaiya, Nobukazu Yoshioka, Zhenjiang Hu, Hironori Washizaki, Yingfei Xiong, Amin Hosseinian Far. ijsse, 8(3):42-57, 2017. [doi]
Towards Bidirectional Synchronization Between Communicating Processes and Session TypesLiye Guo, Hsiang-Shang Ko, Keigo Imai, Nobuko Yoshida, Zhenjiang Hu. bigcomp 2019: 1-5 [doi]
Rule-directed code clone synchronizationXiao Cheng, Hao Zhong, Yuting Chen, Zhenjiang Hu, Jianjun Zhao. IWPC 2016: 1-10 [doi]
Incrementalization of Vertex-Centric ProgramsTimothy A. K. Zakian, Ludovic A. R. Capelli, Zhenjiang Hu. ipps 2019: 1019-1029 [doi]
Synchronizing concurrent model updates based on bidirectional transformationYingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi. SoSyM, 12(1):89-104, 2013. [doi]
Diff: A Powerful Parallel SkeletonSeiichi Adachi, Hideya Iwasaki, Zhenjiang Hu. pdpta 2000:
Special Issue on Programming Languages and SystemsZhenjiang Hu. ngc, 29(1):1-2, 2011. [doi]
Improving Oracle-Guided Inductive Synthesis by Efficient Question SelectionRuyi Ji, Chaozhe Kong, Yingfei Xiong 0001, Zhenjiang Hu. PACMPL, 7(OOPSLA1):819-847, April 2023. [doi]
Blockchain-based Bidirectional Transformations for Access Control and Data Sharing in EMRsTao Zan, Zhenjiang Hu. internetware 2020: 71-80 [doi]
An axiomatic basis for bidirectional programmingHsiang-Shang Ko, Zhenjiang Hu. PACMPL, 2(POPL), 2018. [doi]
Towards automatic model synchronization from model transformationsYingfei Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Hong Mei. ASE 2007: 164-173 [doi]
Transforming Programs between APIs with Many-to-Many MappingsChenglong Wang, Jiajun Jiang, Jun Li, Yingfei Xiong, Xiangyu Luo, Lu Zhang, Zhenjiang Hu. ECOOP 2016: [doi]
Toward Programmable Strategy for Co-existence of Relational SchemesJumpei Tanaka, Van-Dang Tran, Zhenjiang Hu. VLDB 2020: 138-151 [doi]
Model-driven engineering city spaces via bidirectional model transformationsEnnio Visconti, Christos Tsigkanos, Zhenjiang Hu, Carlo Ghezzi. SoSyM, 20(6):2003-2022, 2021. [doi]
POET: Privacy on the Edge with Bidirectional Data TransformationsNianyu Li, Christos Tsigkanos, Zhi Jin, Schahram Dustdar, Zhenjiang Hu, Carlo Ghezzi. percom 2019: 1-10 [doi]
Minimizing data transfers for regular reachability queries on distributed graphsQuyet Nguyen-Van, Le-Duc Tung, Zhenjiang Hu. soict 2013: 325-334 [doi]
GRoundTram: An integrated framework for developing well-behaved bidirectional model transformationsSoichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano. ASE 2011: 480-483 [doi]
Let High-level Graph Queries Be Parallel Efficient: An Approach Over Structural Recursion On PregelChong Li, Le-Duc Tung, Xiaodong Meng, Zhenjiang Hu. jip, 24(6):928-936, 2016. [doi]
BiGUL: a formally verified core language for putback-based bidirectional programmingHsiang-Shang Ko, Tao Zan, Zhenjiang Hu. PEPM 2016: 61-72 [doi]
Dagstuhl seminar on bidirectional transformations (BX)Zhenjiang Hu, Andy Schürr, Perdita Stevens, James F. Terwilliger. SIGMOD, 40(1):35-39, 2011. [doi]
Maintaining invariant traceability through bidirectional transformationsYijun Yu, Yu Lin, Zhenjiang Hu, Soichiro Hidaka, Hiroyuki Kato, Lionel Montrieux. ICSE 2012: 540-550 [doi]
A parameterized graph transformation calculus for finite graphs with monadic branchesKazuyuki Asada, Soichiro Hidaka, Hiroyuki Kato, Zhenjiang Hu, Keisuke Nakano. ppdp 2013: 73-84 [doi]
Feature-based classification of bidirectional transformation approachesSoichiro Hidaka, Massimo Tisi, Jordi Cabot, Zhenjiang Hu. SoSyM, 15(3):907-928, 2016. [doi]
An Efficient Staging Algorithm for Binding-Time AnalysisTakuma Murakami, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi. LOPSTR 2004: 106-107 [doi]
Bidirectional Transformation bx (Dagstuhl Seminar 11031)Zhenjiang Hu, Andy Schürr, Perdita Stevens, James F. Terwilliger. dagstuhl-reports, 1(1):42-67, 2011. [doi]
Controlling and Sharing Distributed Data for Implementing Service AllianceYasuhito Asano, Zhenjiang Hu, Yasunori Ishihara, Hiroyuki Kato, Makoto Onizuka, Masatoshi Yoshikawa. bigcomp 2019: 1-4 [doi]
Formal derivation and extraction of a parallel program for the all nearest smaller values problemFrédéric Loulergue, Simon Robillard, Julien Tesson, Joeffrey Legaux, Zhenjiang Hu. SAC 2014: 1577-1584 [doi]
SWIN: Towards Type-Safe Java Program Adaptation between APIsJun Li, Chenglong Wang, Yingfei Xiong, Zhenjiang Hu. PEPM 2015: 91-102 [doi]
Modelling and analysing resilient cyber-physical systemsAmel 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. ICSE 2019: 70-76 [doi]
End Effect Analysis of a Slot-Less Long-Stator Permanent Magnet Linear Synchronous MotorYue Zhou, Wenjun Zong, Qiang Tan, Zhenjiang Hu, Tao Sun, Liyi Li. symmetry, 13(10):1939, 2021. [doi]
Think like a vertex, behave like a function! a functional DSL for vertex-centric big graph processingKento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Akimasa Morihata, Hideya Iwasaki. ICFP 2016: 200-213 [doi]
Optimizing Declarative Parallel Distributed Graph Processing by Using Constraint SolversAkimasa Morihata, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Hideya Iwasaki. FLOPS 2018: 166-181 [doi]
iPregel: A Combiner-Based In-Memory Shared Memory Vertex-Centric FrameworkLudovic A. R. Capelli, Zhenjiang Hu, Timothy A. K. Zakian. icppw 2018: [doi]
Calculating a New Data Mining Algorithm for Market Basket AnalysisZhenjiang Hu, Wei-Ngan Chin, Masato Takeichi. PADL 2000: 169-184 [doi]
Graph-transformation verification using monadic second-order logicKazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano. ppdp 2011: 17-28 [doi]
Bidirectional programming and software adaptation: Towards a happy marriageZhenjiang Hu. kse 2017: [doi]
Scalable Multiple-View Analysis of Reactive Systems via Bidirectional Model TransformationsChristos Tsigkanos, Nianyu Li, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi. ASE 2020: 993-1003 [doi]
Generic recursive lens combinators and their calculation lawsRuifeng Xie, Zhenjiang Hu. TCS, 913:113-137, 2022. [doi]
Structural recursion for querying ordered graphsSoichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano. ICFP 2013: 305-318 [doi]
Toward Bidirectionalization of ATL with GRoundTramIsao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano. ICMT 2011: 138-151 [doi]
FastSV: A Distributed-Memory Connected Component Algorithm with Fast ConvergenceYongzhe Zhang, Ariful Azad, Zhenjiang Hu. ppsc 2020: 46-57 [doi]
Question selection for interactive program synthesisRuyi Ji, Jingjing Liang, Yingfei Xiong, Lu Zhang, Zhenjiang Hu. PLDI 2020: 1143-1158 [doi]
Gabor Features-Based Classification Using SVM for Face RecognitionYixiong Liang, Weiguo Gong, Yingjun Pan, Weihong Li, Zhenjiang Hu. isnn 2005: 118-123 [doi]
Consistent Web site updating based on bidirectional transformationKeisuke Nakano, Zhenjiang Hu, Masato Takeichi. WSE 2008: 45-54 [doi]
Theory and Practice of Model Transformations - 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. ProceedingsZhenjiang Hu, Juan de Lara, editors, Volume 7307 of Lecture Notes in Computer Science, Springer, 2012. [doi]
Unifying Parsing and Reflective Printing for Fully Disambiguated GrammarsZirun Zhu, Hsiang-Shang Ko, Yongzhe Zhang, Pedro Martins 0001, João Saraiva, Zhenjiang Hu. ngc, 38(3):423-476, 2020. [doi]
Iterative-free program analysisMizuhito Ogawa, Zhenjiang Hu, Isao Sasano. SIGPLAN, 38(9):111-123, 2003. [doi]
A Compositional Framework for Querying Optimized RangesHaiyan Zhao, Zhenjiang Hu, Masato Takeichi. aplas 2001: 363-376
Towards Bidirectional Higher-Order Transformation for Model-Driven Co-evolutionBernhard Hoisl, Zhenjiang Hu, Soichiro Hidaka. modelsward 2015: 153-167 [doi]
Refactoring pattern matchingMeng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu. SCP, 78(11):2216-2242, 2013. [doi]
Towards Variability Management in Bidirectional Model TransformationXiao He, Zhenjiang Hu, Yi Liu. compsac 2017: 224-233 [doi]
Parallel skeletons for manipulating general treesKiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi. pc, 32(7-8):590-603, 2006. [doi]
Enforcing a security pattern in stakeholder goal modelsYijun Yu, Haruhiko Kaiya, Hironori Washizaki, Yingfei Xiong, Zhenjiang Hu, Nobukazu Yoshioka. ccs 2008: 9-14 [doi]
A theoretic framework of bidirectional transformation between systems and modelsXiao He, Zhenjiang Hu, Na Meng 0001. chinaf, 65(10), 2022. [doi]
Make it practical: a generic linear-time algorithm for solving maximum-weightsum problemsIsao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa. ICFP 2000: 137-149 [doi]
Design and Engineering of Adaptive Software SystemsSoichiro Hidaka, Zhenjiang Hu, Marin Litoiu, Lin Liu, Patrick Martin, Xin Peng, Guiling Wang, Yijun Yu. In Yijun Yu, Arosha K. Bandara, Shinichi Honiden, Zhenjiang Hu, Tetsuo Tamai, Hausi A. Müller, John Mylopoulos, Bashar Nuseibeh, editors, Engineering Adaptive Software Systems - Communications of NII Shonan Meetings. pages 1-33, Springer, 2019. [doi]
Deterministic Higher-Order Patterns for Program TransformationTetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi. LOPSTR 2004: 128-142 [doi]
Program Calculation in CoqJulien Tesson, Hideki Hashimoto, Zhenjiang Hu, Frédéric Loulergue, Masato Takeichi. amast 2011: 163-179 [doi]
Optimization for iterative queries on MapReduceMakoto Onizuka, Hiroyuki Kato, Soichiro Hidaka, Keisuke Nakano, Zhenjiang Hu. pvldb, 7(4):241-252, 2013. [doi]
Data Integration Models and Architectures for Service AlliancesYasuhito Asano, Zhenjiang Hu, Yasunori Ishihara, Makoto Onizuka, Masato Takeichi, Masatoshi Yoshikawa. VLDB 2020: 152-164 [doi]
Bidirectional Transformations for Self-Adaptive SystemsLionel Montrieux, Naoyasu Ubayashi, Tianqi Zhao, Zhi Jin, Zhenjiang Hu. In Yijun Yu, Arosha K. Bandara, Shinichi Honiden, Zhenjiang Hu, Tetsuo Tamai, Hausi A. Müller, John Mylopoulos, Bashar Nuseibeh, editors, Engineering Adaptive Software Systems - Communications of NII Shonan Meetings. pages 95-114, Springer, 2019. [doi]
A Cheap Implementation of Resugaring in BIRDS Based on Bidirectional TransformationXing Zhang, Van-Dang Tran, Zhenjiang Hu. VLDB 2020: 116-130 [doi]
Guiding dynamic programing via structural probability for accelerating programming by exampleRuyi Ji, Yican Sun, Yingfei Xiong 0001, Zhenjiang Hu. PACMPL, 4(OOPSLA), 2020. [doi]
Engineering Adaptive Software Systems (EASSy) (NII Shonan Meeting 2013-7)Shinichi Honiden, Zhenjiang Hu, Hausi A. Müller, John Mylopoulos, Yijun Yu. shonan-reports, 2013, 2013. [doi]
A generate-test-aggregate parallel programming library: systematic parallel programming for MapReduceYu Liu, Kento Emoto, Zhenjiang Hu. ppopp 2013: 71-81 [doi]
Towards Bidirectional Live Programming for Incomplete ProgramsXing Zhang, Zhenjiang Hu. ICSE 2022: 2154-2164 [doi]
Contract lenses: Reasoning about bidirectional programs via calculationHanliang Zhang, Wenhao Tang, Ruifeng Xie, Meng Wang 0002, Zhenjiang Hu. JFP, 33, 2023. [doi]
Early validation of cyber-physical space systems via multi-concerns integrationNianyu Li, Christos Tsigkanos, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi. jss, 170:110742, 2020. [doi]
BiYacc: Roll Your Parser and Reflective Printer into OneZirun Zhu, Hsiang-Shang Ko, Pedro Martins 0001, João Saraiva, Zhenjiang Hu. staf 2015: 43-50 [doi]
Systematic Development of Correct Bulk Synchronous Parallel ProgramsLouis Gesbert, Zhenjiang Hu, Frédéric Loulergue, Kiminori Matsuzaki, Julien Tesson. pdcat 2010: 334-340 [doi]
Fregel: a functional domain-specific language for vertex-centric large-scale graph processingHideya Iwasaki, Kento Emoto, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu. JFP, 32, 2022. [doi]
Calculating a New Data Mining Algorithm for Market Basket AnalysisZhenjiang Hu, Wei-Ngan Chin, Masato Takeichi. jflp, 2001(8), 2001.
A Counterexample-Guided Debugger for Non-recursive DatalogVan-Dang Tran, Hiroyuki Kato, Zhenjiang Hu. aplas 2020: 323-342 [doi]
Reusable self-adaptation through bidirectional programmingKevin Colson, Robin Dupuis, Lionel Montrieux, Zhenjiang Hu, Sebastián Uchitel, Pierre-Yves Schobbens. ICSE 2016: 4-15 [doi]
Postural Ergonomic Assessment of Construction Workers Based on Human 3D Pose Estimation and Machine LearningY. Tao, H. Hu, F. Xu, Z. Zhang, Z. Hu. ieem 2023: 168-172 [doi]
On the Crosscorrelation of Sequences with the Decimation Factor d = (p:::n:::+1)/(p+1) - (p:::n:::-1)/2Z. Hu, X. Li, Donald Mills, Eva Nuria Müller, W. Sun, Wolfgang Willems, Y. Yang, Z. Zhang. aaecc, 12(3):255-263, 2001. [doi]
Application of a Fuzzy Programming Through Stochastic Particle Swarm Optimization to Assessment of Filter Management Strategies in Fluid Power System Under UncertaintyY. L. Zheng, S. L. Nie, H. Ji, Z. Hu. jota, 157(1):276-286, 2013. [doi]
Unstable Cardiac Singularities May lead to Atrial FibrillationCharles L. Webber Jr., Z. Hu, J. G. Akar. IJBC, 21(4):1141-1151, 2011. [doi]
A new signal detection scheme based on Free Probability Theory for multiple-input multiple-output cognitive radio systemsL. Jin, Z. Hu, X. Gu. iswcs 2010: 746-750 [doi]
A Cognitive-based Approach to Construction Safety ManagementZ. Hu, W. T. Chan, H. Hu, F. Xu, W. Wang. ieem 2021: 1541-1545 [doi]
100 GBaud DSP-Free PAM-4 Optical Signal Generation Using an InP-DHBT AMUX-Driver and a Thin-Film Lithium Niobate Modulator AssemblyRomain Hersent, Filipe Jorge, Fabrice Blache, Bernadette Duval, Michel Goix, Haïk Mardoyan, Sylvain Almonacil, M. Xu, Y. Zhu, L. Chen, Z. Hu, Jeremie Renaudier, Muriel Riet, Agnieszka Konczykowska, Bertrand Ardouin. bcicts 2023: 149-152 [doi]
Identification of filter management strategy in fluid power systems under uncertainty: an interval-fuzzy parameter integer nonlinear programming methodS. L. Nie, B. Hu, Y. P. Li, Z. Hu, G. H. Huang. ijsysc, 42(3):429-448, 2011. [doi]
Stable and efficient finite-difference nonlinear-multigrid schemes for the phase field crystal equationZ. Hu, S. M. Wise, C. Wang, John S. Lowengrub. jcphy, 228(15):5323-5339, 2009. [doi]
Digital Twin-based Framework for Green Building Maintenance SystemW. Wang, H. Hu, J. C. Zhang, Z. Hu. ieem 2020: 1301-1305 [doi]
Battery-powered, Wireless MEMS Sensors for High-Sensitivity Chemical and Biological SensingCharles L. Britton Jr., R. J. Warmack, S. F. Smith, A. L. Wintenberg, T. Thundat, G. M. Brown, W. L. Bryan, J. C. Depriest, M. N. Ericson, M. S. Emery, M. R. Moore, G. W. Turner, L. G. Clonts, R. L. Jones, T. D. Threatt, Z. Hu, James M. Rochelle. arvlsi 1999: 359-368 [doi]
A bit-level systolic implementation of the median filterZ. Hu, G. A. King. mam, 19(4):185-186, 1995. [doi]
Context-preserving XQuery fusionH. Kato, S. Hidaka, Z. Hu, K. Nakano, Y. Ishihara. mscs, 25(4):916-941, 2015. [doi]
An Efficient Distributed Mutual Exclusion AlgorithmNiki Pissinou, Kia Makki, E. K. Park, Z. Hu, W. Wong. icpp 1996: 196-203
On the security of HY-key authentication schemeB. Zhan, Z. Li, Y. Yang, Z. Hu. comcom, 22(8):739-741, 1999. [doi]
Low-complexity scheduling strategy for wireless multiuser multiple-input multiple-output downlink systemL. Jin, X. Gu, Z. Hu. iet-com, 5(7):990-995, 2011. [doi]
A Persuasive Approach for Urging Construction Workers to Behave SafelyZ. Hu, W. T. Chan, H. Hu, F. Xu, T. Yu, W. Wang. ieem 2023: 284-288 [doi]

All Publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

External Links

Profile Name

Statistics

Aliases

Researchr

Zhenjiang Hu's Profile

Unidentified Publications