default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDZhenjiang Hu
Person information
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j61]Bach Nguyen Trong, Kanae Tsushima, Zhenjiang Hu:
Synthesis of Bidirectional Programs from Examples with Functional Dependencies. J. Inf. Process. 32: 451-465 (2024)- [j60]Bach Nguyen Trong, Kanae Tsushima, Zhenjiang Hu:
SYNTHBX: An Example-guided Synthesizer for Bidirectional Programs on Relations. J. Inf. Process. 32: 471-486 (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]Makoto Onizuka, Hiroyuki Kato, Soichiro Hidaka, Keisuke Nakano, Zhenjiang Hu:
Optimization for iterative queries on MapReduce. Proc. VLDB Endow. 7(4): 241-252 (2013) - [j23]Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu:
Refactoring pattern matching. Sci. Comput. Program. 78(11): 2216-2242 (2013) - [j22]Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi:
Synchronizing concurrent model updates based on bidirectional transformation. Softw. Syst. Model. 12(1): 89-104 (2013) - [c88]Joeffrey Legaux, Zhenjiang Hu, Frédéric Loulergue, Kiminori Matsuzaki, Julien Tesson:
Programming with BSP Homomorphisms. Euro-Par 2013: 446-457 - [c87]Qi Wang, Meixian Chen, Yu Liu, Zhenjiang Hu:
Towards systematic parallel programming of graph problems via tree decomposition and tree parallelism. FHPC@ICFP 2013: 25-36 - [c86]Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano:
Structural recursion for querying ordered graphs. ICFP 2013: 305-318 - [c85]Lionel Montrieux, Yijun Yu, Michel Wermelinger, Zhenjiang Hu:
Issues in representing domain-specific concerns in model-driven engineering. MiSE 2013: 1-6 - [c84]Zhenjiang Hu:
Practical aspects of bidirectional graph transformations. PEPM 2013: 1-2 - [c83]Kazuyuki Asada, Soichiro Hidaka, Hiroyuki Kato, Zhenjiang Hu, Keisuke Nakano:
A parameterized graph transformation calculus for finite graphs with monadic branches. PPDP 2013: 73-84 - [c82]Yu Liu, Kento Emoto, Zhenjiang Hu:
A generate-test-aggregate parallel programming library: systematic parallel programming for MapReduce. PMAM 2013: 71-81 - [c81]Le-Duc Tung, Quyet Nguyen-Van, Zhenjiang Hu:
Efficient query evaluation on distributed graphs with Hadoop environment. SoICT 2013: 311-319 - [c80]Quyet Nguyen-Van, Le-Duc Tung, Zhenjiang Hu:
Minimizing data transfers for regular reachability queries on distributed graphs. SoICT 2013: 325-334 - [i2]Shinichi Honiden, Zhenjiang Hu, Hausi A. Müller, John Mylopoulos, Yijun Yu:
Engineering Adaptive Software Systems (EASSy) (NII Shonan Meeting 2013-7). NII Shonan Meet. Rep. 2013 (2013) - 2012
- [j21]Hugo Pacheco, Alcino Cunha, Zhenjiang Hu:
Delta Lenses over Inductive Types. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 49 (2012) - [j20]Kento Emoto, Sebastian Fischer, Zhenjiang Hu:
Filter-embedding semiring fusion for programming with MapReduce. Formal Aspects Comput. 24(4-6): 623-645 (2012) - [j19]Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi:
Manipulating accumulative functions by swapping call-time and return-time computations. J. Funct. Program. 22(3): 275-299 (2012) - [c79]Kento Emoto, Sebastian Fischer, Zhenjiang Hu:
Generate, Test, and Aggregate - A Calculation-based Framework for Systematic Parallel Programming with MapReduce. ESOP 2012: 254-273 - [c78]Yijun Yu, Yu Lin, Zhenjiang Hu, Soichiro Hidaka, Hiroyuki Kato, Lionel Montrieux:
Maintaining invariant traceability through bidirectional transformations. ICSE 2012: 540-550 - [e5]Zhenjiang Hu, Juan de Lara:
Theory and Practice of Model Transformations - 5th International Conference, ICMT@TOOLS 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings. Lecture Notes in Computer Science 7307, Springer 2012, ISBN 978-3-642-30475-0 [contents] - 2011
- [j18]Hui Song, Gang Huang, Franck Chauvel, Yingfei Xiong, Zhenjiang Hu, Yanchun Sun, Hong Mei:
Supporting runtime software architecture: A bidirectional-transformation-based approach. J. Syst. Softw. 84(5): 711-723 (2011) - [j17]Zhenjiang Hu:
Special Issue on Programming Languages and Systems. New Gener. Comput. 29(1): 1-2 (2011) - [j16]Zhenjiang Hu, Andy Schürr, Perdita Stevens, James F. Terwilliger:
Dagstuhl seminar on bidirectional transformations (BX). SIGMOD Rec. 40(1): 35-39 (2011) - [c77]Yu Liu, Zhenjiang Hu, Kiminori Matsuzaki:
Towards Systematic Parallel Programming over MapReduce. Euro-Par (2) 2011: 39-50 - [c76]Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano:
Toward Bidirectionalization of ATL with GRoundTram. ICMT@TOOLS 2011: 138-151 - [c75]Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano:
GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations. ASE 2011: 480-483 - [c74]Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano:
Marker-Directed Optimization of UnCAL Graph Transformations. LOPSTR 2011: 123-138 - [c73]Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano:
Graph-transformation verification using monadic second-order logic. PPDP 2011: 17-28 - [e4]Manuel M. T. Chakravarty, Zhenjiang Hu, Olivier Danvy:
Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, ICFP 2011, Tokyo, Japan, September 19-21, 2011. ACM 2011, ISBN 978-1-4503-0865-6 [contents] - [i1]Zhenjiang Hu, Andy Schürr, Perdita Stevens, James F. Terwilliger:
Bidirectional Transformation "bx" (Dagstuhl Seminar 11031). Dagstuhl Reports 1(1): 42-67 (2011) - 2010
- [c72]Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Frédéric Loulergue, Masato Takeichi:
Program Calculation in Coq. AMAST 2010: 163-179 - [c71]Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara:
Context-Preserving XQuery Fusion. APLAS 2010: 255-270 - [c70]Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi:
A Grammar-Based Approach to Invertible Programs. ESOP 2010: 448-467 - [c69]Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, Masato Takeichi:
Generators-of-Generators Library with Optimization Capabilities in Fortress. Euro-Par (2) 2010: 26-37 - [c68]Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang:
Combining syntactic and semantic bidirectionalization. ICFP 2010: 181-192 - [c67]Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano:
Bidirectionalizing graph transformations. ICFP 2010: 205-216 - [c66]Bo Wang, Zhenjiang Hu, Yingfei Xiong, Haiyan Zhao, Wei Zhang, Hong Mei:
Tolerating Inconsistency in Feature Models. LWI@ASE 2010: 15-20 - [c65]Bo Wang, Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Wei Zhang, Hong Mei:
A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models. MoDELS (1) 2010: 181-195 - [c64]Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu:
Gradual Refinement. MPC 2010: 397-425 - [c63]Louis Gesbert, Zhenjiang Hu, Frédéric Loulergue, Kiminori Matsuzaki, Julien Tesson:
Systematic Development of Correct Bulk Synchronous Parallel Programs. PDCAT 2010: 334-340 - [e3]Alexander Egyed, Roberto E. Lopez-Herrejon, Bashar Nuseibeh, Goetz Botterweck, Marsha Chechik, Zhenjiang Hu:
Proceedings of the 3rd Workshop on Living with Inconsistencies in Software Development, LWI@ASE 2010, Antwerp, Belgium, September 21st, 2010. CEUR Workshop Proceedings 661, CEUR-WS.org 2010 [contents]
2000 – 2009
- 2009
- [j15]Keisuke Nakano, Zhenjiang Hu, Masato Takeichi:
Consistent Web site updating based on bidirectional transformation. Int. J. Softw. Tools Technol. Transf. 11(6): 453-468 (2009) - [c62]Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Takeichi:
Supporting Parallel Updates with Bidirectional Model Transformations. ICMT@TOOLS 2009: 213-228 - [c61]Krzysztof Czarnecki, J. Nathan Foster, Zhenjiang Hu, Ralf Lämmel, Andy Schürr, James F. Terwilliger:
Bidirectional Transformations: A Cross-Discipline Perspective. ICMT@TOOLS 2009: 260-283 - [c60]Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano:
A compositional approach to bidirectional model transformation. ICSE Companion 2009: 235-238 - [c59]Hui Song, Yingfei Xiong, Franck Chauvel, Gang Huang, Zhenjiang Hu, Hong Mei:
Generating Synchronization Engines between Running Systems and Their Model-Based Views. MoDELS (Workshops) 2009: 140-154 - [c58]Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi:
Type-based specialization of xml transformations. PEPM 2009: 61-72 - [c57]Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi:
The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer. POPL 2009: 177-185 - [c56]Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano:
Towards a compositional approach to model transformation for software development. SAC 2009: 468-475 - [c55]Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei:
Supporting automatic model inconsistency fixing. ESEC/SIGSOFT FSE 2009: 315-324 - [e2]Zhenjiang Hu:
Programming Languages and Systems, 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings. Lecture Notes in Computer Science 5904, Springer 2009, ISBN 978-3-642-10671-2 [contents] - 2008
- [j14]Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi:
A programmable editor for developing structured documents based on bidirectional transformations. High. Order Symb. Comput. 21(1-2): 89-118 (2008) - [c54]Yijun Yu, Haruhiko Kaiya, Hironori Washizaki, Yingfei Xiong, Zhenjiang Hu, Nobukazu Yoshioka:
Enforcing a security pattern in stakeholder goal models. QoP 2008: 9-14 - [c53]Keisuke Nakano, Zhenjiang Hu, Masato Takeichi:
Consistent Web site updating based on bidirectional transformation. WSE 2008: 45-54 - 2007
- [j13]Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi:
A Compositional Framework for Developing Parallel Programs on Two-Dimensional Arrays. Int. J. Parallel Program. 35(6): 615-658 (2007) - [j12]Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi:
Bidirectionalizing Tree Transformation Languages: A Case Study. Inf. Media Technol. 2(2): 420-432 (2007) - [j11]Dongxi Liu, Zhenjiang Hu, Masato Takeichi, Kazuhiko Kakehi, Hao Wang:
A Java Library for Bidirectional XML Transformation. Inf. Media Technol. 2(3): 748-761 (2007) - [c52]Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi:
Domain-Specific Optimization Strategy for Skeleton Programs. Euro-Par 2007: 705-714 - [c51]Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, Masato Takeichi:
Bidirectionalization transformation based on automatic derivation of view complement functions. ICFP 2007: 47-58 - [c50]Yingfei Xiong, Dongxi Liu, Zhenjiang Hu, Haiyan Zhao, Masato Takeichi, Hong Mei:
Towards automatic model synchronization from model transformations. ASE 2007: 164-173 - [c49]Dongxi Liu, Zhenjiang Hu, Masato Takeichi:
Bidirectional interpretation of XQuery. PEPM 2007: 21-30 - [c48]Kazutaka Morita, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi:
Automatic inversion generates divide-and-conquer parallel programs. PLDI 2007: 146-155 - [c47]Yasushi Hayashi, Dongxi Liu, Kento Emoto, Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi:
A Web Service Architecture for Bidirectional XML Updating. APWeb/WAIM 2007: 721-732 - 2006
- [j10]Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi:
Parallel skeletons for manipulating general trees. Parallel Comput. 32(7-8): 590-603 (2006) - [c46]Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi:
Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions. Euro-Par 2006: 605-614 - [c45]Kiminori Matsuzaki, Hideya Iwasaki, Kento Emoto, Zhenjiang Hu:
A library of constructive skeletons for sequential style of parallel programming. Infoscale 2006: 13 - [c44]Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi:
Swapping Arguments and Results of Recursive Functions. MPC 2006: 379-396 - [c43]Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi:
Towards automatic parallelization of tree reductions in dynamic programming. SPAA 2006: 39-48 - 2005
- [j9]Kiminori Matsuzaki, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi:
Systematic Derivation of Tree Contraction Algorithms. Parallel Process. Lett. 15(3): 321-336 (2005) - [c42]Dongxi Liu, Zhenjiang Hu, Masato Takeichi:
An environment for maintaining computation dependency in XML documents. ACM Symposium on Document Engineering 2005: 42-51 - [c41]Zhenjiang Hu, Tetsuo Yokoyama, Masato Takeichi:
Program Optimizations and Transformations in Calculation Form. GTTSE 2005: 144-168 - [c40]Isao Sasano, Mizuhito Ogawa, Zhenjiang Hu:
Maximum Marking Problems with Accumulative Weight Functions. ICTAC 2005: 562-578 - [c39]Yixiong Liang, Weiguo Gong, Yingjun Pan, Weihong Li, Zhenjiang Hu:
Gabor Features-Based Classification Using SVM for Face Recognition. ISNN (2) 2005: 118-123 - 2004
- [j8]Hideya Iwasaki, Zhenjiang Hu:
A New Parallel Skeleton for General Accumulative Computations. Int. J. Parallel Program. 32(5): 389-414 (2004) - [j7]Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi:
Deterministic second-order patterns. Inf. Process. Lett. 89(6): 309-314 (2004) - [c38]Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi:
An Algebraic Approach to Bi-directional Updating. APLAS 2004: 2-20 - [c37]Dana N. Xu, Siau-Cheng Khoo, Zhenjiang Hu:
PType System: A Featherweight Parallelizability Detector. APLAS 2004: 197-212 - [c36]Kiminori Matsuzaki, Kazuhiko Kakehi, Hideya Iwasaki, Zhenjiang Hu, Yoshiki Akashi:
A Fusion-Embedded Skeleton Library. Euro-Par 2004: 644-653 - [c35]Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi:
An Injective Language for Reversible Computation. MPC 2004: 289-313 - [c34]Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi:
A programmable editor for developing structured documents based on bidirectional transformations. PEPM 2004: 178-189 - 2003
- [j6]Zhenjiang Hu, Mario Rodríguez-Artalejo:
Editorial: the Sixth International Symposium on Functional and Logic Programming. J. Funct. Log. Program. 2003 (2003) - [c33]Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi:
Parallelization with Tree Skeletons. Euro-Par 2003: 789-798 - [c32]Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano:
Iterative-free program analysis. ICFP 2003: 111-123 - [c31]Takuma Murakami, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi:
An Efficient Staging Algorithm for Binding-Time Analysis. LOPSTR 2003: 106-107 - [c30]Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi:
Deterministic Higher-Order Patterns for Program Transformation. LOPSTR 2003: 128-142 - [c29]Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi:
List Homomorphism with Accumulation. SNPD 2003: 250-259 - 2002
- [c28]Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano, Masato Takeichi:
Algebraic construction of graphs with bounded tree width and its applications - Catamorphic Approach to Program Analyses. APLAS 2002: 58-73 - [c27]Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi:
Fusion Transformation on Functional Programs of Regular Expression Types. APLAS 2002: 160-174 - [c26]Dana N. Xu, Siau-Cheng Khoo, Wei-Ngan Chin, Zhenjiang Hu:
A Type-Based Approach to Parallelization (preliminary report). APLAS 2002: 175-192 - [c25]Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi:
Flattening Transformation for Efficient Segmented Computation - Segmented Diffusion Theorem. APLAS 2002: 246-257 - [c24]Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi:
Implementation of Parallel Tree Skeletons on Distributed Systems. APLAS 2002: 258-271 - [c23]Takuma Murakami, Zhenjiang Hu, Masato Takeichi:
An Optimal Staging Algorithm. APLAS 2002: 272-284 - [c22]Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi:
Yicho - A System for Programming Program Calculations. APLAS 2002: 366-382 - [c21]Haiyan Zhao, Zhenjiang Hu, Masato Takeichi:
A Compositional Framework for Mining Longest Ranges. Discovery Science 2002: 406-413 - [c20]Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi:
An Accumulative Parallel Skeleton for All. ESOP 2002: 83-97 - [c19]Wei-Ngan Chin, Zhenjiang Hu:
Towards a Modular Program Derivation via Fusion and Tupling. GPCE 2002: 140-155 - [e1]Zhenjiang Hu, Mario Rodríguez-Artalejo:
Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings. Lecture Notes in Computer Science 2441, Springer 2002, ISBN 3-540-44233-2 [contents] - 2001
- [j5]Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi:
Calculating a New Data Mining Algorithm for Market Basket Analysis. J. Funct. Log. Program. 2001(8) (2001) - [c18]Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi:
An Accumulative Parallel Skeleton for All. APLAS 2001: 89-101 - [c17]Haiyan Zhao, Zhenjiang Hu, Masato Takeichi:
A Compositional Framework for Querying Optimized Ranges. APLAS 2001: 363-376 - [c16]Isao Sasano, Zhenjiang Hu, Masato Takeichi:
Generation of Efficient Programs for Solving Maximum Multi-marking Problems. SAIG 2001: 72-91 - 2000
- [c15]Haiyan Zhao, Zhenjiang Hu, Masato Takeichi:
Mining Optimized Ranges. APLAS 2000: 119-127 - [c14]Isao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa:
Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems. ICFP 2000: 137-149 - [c13]Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi:
Calculating a New Data Mining Algorithm for Market Basket Analysis. PADL 2000: 169-184 - [c12]Seiichi Adachi, Hideya Iwasaki, Zhenjiang Hu:
Diff: A Powerful Parallel Skeleton. PDPTA 2000 - [c11]Wei-Ngan Chin, Siau-Cheng Khoo, Zhenjiang Hu, Masato Takeichi:
Deriving Parallel Codes via Invariants. SAS 2000: 75-94
1990 – 1999
- 1999
- [j4]Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi:
Calculating Accumulations. New Gener. Comput. 17(2): 153-173 (1999) - [j3]Zhenjiang Hu, Masato Takeichi:
Calculating an Optimal Homomorphic Algorithm for Bracket Matching. Parallel Process. Lett. 9(3): 335-345 (1999) - [c10]Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki:
Diffusion: Calculating Efficient Parallel Programs. PEPM 1999: 85-94 - 1998
- [j2]Akihiko Takano, Zhenjiang Hu, Masato Takeichi:
Program Transformation in Calculational Form. ACM Comput. Surv. 30(3es): 7 (1998) - [c9]Hideya Iwasaki, Zhenjiang Hu, Masato Takeichi:
Towards Manipulation of Mutually Recursive Functions. Fuji International Symposium on Functional and Logic Programming 1998: 61-79 - [c8]Wei-Ngan Chin, Akihiko Takano, Zhenjiang Hu:
Parallelization via Context Preservation. ICCL 1998: 153-163 - [c7]Zhenjiang Hu, Masato Takeichi, Wei-Ngan Chin:
Parallelization in Calculational Forms. POPL 1998: 316-328 - 1997
- [j1]Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi:
Formal Derivation of Efficient Parallel Programs by Construction of List Homomorphisms. ACM Trans. Program. Lang. Syst. 19(3): 444-461 (1997) - [c6]Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi:
A calculational fusion system HYLO. Algorithmic Languages and Calculi 1997: 76-106 - [c5]Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano:
Tupling Calculation Eliminates Multiple Data Traversals. ICFP 1997: 164-175 - 1996
- [c4]Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi:
Formal Derivation of Parallel Program for 2-Dimensional Maximum Segment Sum Problem. Euro-Par, Vol. I 1996: 553-562 - [c3]Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi:
Deriving Structural Hylomorphisms From Recursive Definitions. ICFP 1996: 73-82 - [c2]Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi:
Construction of List Homomorphisms by Tupling and Fusion. MFCS 1996: 407-418 - [c1]Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi:
Cheap Tupling in Calculational Form. PLILP 1996: 471-472
Coauthor Index
[c129] [j22] [j19] [c72] [c70] [c69] [j15] [c62] [c58] [c57] [c55] [j14] [c53] [j13] [j12] [j11] [c52] [c51] [c50] [c49] [c48] [c47] [j10] [c46] [c44] [c43] [j9] [c42] [c41] [j7] [c38] [c35] [c34] [c33] [c31] [c30] [c29] [c28] [c27] [c25] [c24] [c23] [c22] [c21] [c20] [j5] [c18] [c17] [c16] [c15] [c14] [c13] [c11] [j4] [j3] [c10] [j2] [c9] [c7] [j1] [c6] [c5] [c4] [c3] [c2] [c1]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 21:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
