| 2026 | FM | Formal Verification of Functional Correctness for the OpenHarmony LiteOS-M Kernel. | Tianqi Zhao, Qinxiang Cao, Shenghua Feng, Minghui Zhou, Naijun Zhan, Yongzhi Cao, Junfeng Zhao, Haiyan Zhao, Hao Wang, Zhenjiang Hu |
| 2026 | PEPM | Inferring Typing Rules for Contextual Sugars. | Tailai Yu, Zhichao Guan, Di Wang, Zhenjiang Hu |
| 2026 | TASE | A HOL Theorem Proving Interface for C. | Yiyuan Cao, Jiayi Zhuang, Jinkai Fan, Di Wang, Zhenjiang Hu |
| 2026 | TASE | QCP: A Practical Separation Logic-Based C Program Verification Tool. | Xiwei Wu, Yueyang Feng, Xiaoyang Lu, Tianchuan Lin, Kan Liu, Zhiyi Wang, Shushu Wu, Lihan Xie, Chengxi Yang, Hongyi Zhong, Zihan Zhang, Juanru Li, Naijun Zhan, Zhenjiang Hu, Qinxiang Cao |
| 2023 | LOPSTR | Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples. | Bach Nguyen Trong, Kanae Tsushima, Zhenjiang Hu |
| 2022 | FLOPS | A Lazy Desugaring System for Evaluating Programs with Sugars. | Ziyi Yang, Yushuo Xiao, Zhichao Guan, Zhenjiang Hu |
| 2022 | ICSE | Towards Bidirectional Live Programming for Incomplete Programs. | Xing Zhang, Zhenjiang Hu |
| 2021 | ICALP | Analytical Differential Calculus with Integration. | Han Xu, Zhenjiang Hu |
| 2020 | APLAS | A Counterexample-Guided Debugger for Non-recursive Datalog. | Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu |
| 2020 | FLOPS | An Efficient Composition of Bidirectional Programs by Memoization and Lazy Update. | Kanae Tsushima, Bach Nguyen Trong, Robert Glck, Zhenjiang Hu |
| 2020 | PLDI | Question selection for interactive program synthesis. | Ruyi Ji, Jingjing Liang, Yingfei Xiong, Lu Zhang, Zhenjiang Hu |
| 2020 | SMC | Adaptive Data Sharing and Computation Offloading in Cloud-Edge Computing with Resource Constraints. | Wenjie Chu, Haiyan Zhao, Zhi Jin, Zhenjiang Hu |
| 2020 | VLDB | Data Integration Models and Architectures for Service Alliances. | Yasuhito Asano, Zhenjiang Hu, Yasunori Ishihara, Makoto Onizuka, Masato Takeichi, Masatoshi Yoshikawa |
| 2020 | VLDB | Toward Programmable Strategy for Co-existence of Relational Schemes. | Jumpei Tanaka, Van-Dang Tran, Zhenjiang Hu |
| 2020 | VLDB | A Cheap Implementation of Resugaring in BIRDS Based on Bidirectional Transformation. | Xing Zhang, Van-Dang Tran, Zhenjiang Hu |
| 2019 | ICDE | Blockchain-Based Bidirectional Updates on Fine-Grained Medical Data. | Chunmiao Li, Yang Cao, Zhenjiang Hu, Masatoshi Yoshikawa |
| 2019 | ICSE | Modelling and analysing resilient cyber-physical systems. | Amel Bennaceur, Carlo Ghezzi, Kenji Tei, Timo Kehrer, Danny Weyns, Radu Calinescu, Schahram Dustdar, Zhenjiang Hu, Shinichi Honiden, Fuyuki Ishikawa, Zhi Jin, Jeffrey Kramer, Marin Litoiu, Michele Loreti, Gabriel A. Moreno, Hausi A. Mller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang Reisig, Heinz Schmidt, Christos Tsigkanos, Haiyan Zhao |
| 2019 | MODELS | Model-Driven Design of City Spaces via Bidirectional Transformations. | Ennio Visconti, Christos Tsigkanos, Zhenjiang Hu, Carlo Ghezzi |
| 2019 | PERCOM | POET: Privacy on the Edge with Bidirectional Data Transformations. | Nianyu Li, Christos Tsigkanos, Zhi Jin, Schahram Dustdar, Zhenjiang Hu, Carlo Ghezzi |
| 2019 | SoMeT | Auto-Updating Portable Application Model of Multi-Cloud Marketplace Through Bidirectional Transformations System. | Hoang-Long Huynh, Van-Dang Tran, Huu-Duc Nguyen, Zhenjiang Hu, Trong-Vinh Le, Quyet-Thang Huynh |
| 2018 | FLOPS | Optimizing Declarative Parallel Distributed Graph Processing by Using Constraint Solvers. | Akimasa Morihata, Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Hideya Iwasaki |
| 2018 | ICSE | On early statistical requirements validation of cyber-physical space systems. | Christos Tsigkanos, Nianyu Li, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi |
| 2017 | APLAS | Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access. | Yongzhe Zhang, Hsiang-Shang Ko, Zhenjiang Hu |
| 2017 | COMPSAC | Towards Variability Management in Bidirectional Model Transformation. | Xiao He, Zhenjiang Hu, Yi Liu |
| 2016 | APSEC | Integrating Goal Model into Rule-Based Adaptation. | Tianqi Zhao, Tao Zan, Haiyan Zhao, Zhenjiang Hu, Zhi Jin |
| 2016 | ECOOP | Transforming Programs between APIs with Many-to-Many Mappings. | Chenglong Wang, Jiajun Jiang, Jun Li, Yingfei Xiong, Xiangyu Luo, Lu Zhang, Zhenjiang Hu |
| 2016 | ICFP | Think like a vertex, behave like a function! a functional DSL for vertex-centric big graph processing. | Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Akimasa Morihata, Hideya Iwasaki |
| 2016 | ICSE | Reusable self-adaptation through bidirectional programming. | Kevin Colson, Robin Dupuis, Lionel Montrieux, Zhenjiang Hu, Sebastin Uchitel, Pierre-Yves Schobbens |
| 2016 | PEPM | BiGUL: a formally verified core language for putback-based bidirectional programming. | Hsiang-Shang Ko, Tao Zan, Zhenjiang Hu |
| 2016 | RE | A Framework for Synchronization Between Feature Configurations and Use Cases Based on Bidirectional Programming. | Weize Zhao, Haiyan Zhao, Zhenjiang Hu |
| 2016 | SAC | Derivation of parallel-efficient structural recursive functions from declarative graph queries. | Chong Li, Le-Duc Tung, Xiaodong Meng, Zhenjiang Hu |
| 2016 | SLE | Parsing and reflective printing, bidirectionally. | Zirun Zhu, Yongzhe Zhang, Hsiang-Shang Ko, Pedro Martins, Joo Saraiva, Zhenjiang Hu |
| 2015 | MPC | A Clear Picture of Lens Laws - Functional Pearl. | Sebastian Fischer, Zhenjiang Hu, Hugo Pacheco |
| 2015 | PEPM | SWIN: Towards Type-Safe Java Program Adaptation between APIs. | Jun Li, Chenglong Wang, Yingfei Xiong, Zhenjiang Hu |
| 2015 | SACMAT | Towards Attribute-Based Authorisation for Bidirectional Programming. | Lionel Montrieux, Zhenjiang Hu |
| 2014 | FM | Validity Checking of Putback Transformations in Bidirectional Programming. | Zhenjiang Hu, Hugo Pacheco, Sebastian Fischer |
| 2014 | ICSE | Writing bidirectional model transformations as intentional updates. | Tao Zan, Hugo Pacheco, Zhenjiang Hu |
| 2014 | MODELSWARD | Towards Co-evolution in Model-Driven Development Via Bidirectional Higher-Order Transformation. | Bernhard Hoisl, Zhenjiang Hu, Soichiro Hidaka |
| 2014 | MODELSWARD | Towards Bidirectional Higher-Order Transformation for Model-Driven Co-evolution. | Bernhard Hoisl, Zhenjiang Hu, Soichiro Hidaka |
| 2014 | PEPM | Monadic combinators for "Putback" style bidirectional programming. | Hugo Pacheco, Zhenjiang Hu, Sebastian Fischer |
| 2014 | PPDP | BiFluX: A Bidirectional Functional Update Language for XML. | Hugo Pacheco, Tao Zan, Zhenjiang Hu |
| 2014 | SAC | Formal derivation and extraction of a parallel program for the all nearest smaller values problem. | Frdric Loulergue, Simon Robillard, Julien Tesson, Joeffrey Legaux, Zhenjiang Hu |
| 2013 | EuroPar | Programming with BSP Homomorphisms. | Joeffrey Legaux, Zhenjiang Hu, Frdric Loulergue, Kiminori Matsuzaki, Julien Tesson |
| 2013 | ICFP | Structural recursion for querying ordered graphs. | Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano |
| 2013 | ICFP | Towards systematic parallel programming of graph problems via tree decomposition and tree parallelism. | Qi Wang, Meixian Chen, Yu Liu, Zhenjiang Hu |
| 2013 | ICSE | Issues in representing domain-specific concerns in model-driven engineering. | Lionel Montrieux, Yijun Yu, Michel Wermelinger, Zhenjiang Hu |
| 2013 | PEPM | Practical aspects of bidirectional graph transformations. | Zhenjiang Hu |
| 2013 | PPDP | A parameterized graph transformation calculus for finite graphs with monadic branches. | Kazuyuki Asada, Soichiro Hidaka, Hiroyuki Kato, Zhenjiang Hu, Keisuke Nakano |
| 2013 | PPoPP | A generate-test-aggregate parallel programming library: systematic parallel programming for MapReduce. | Yu Liu, Kento Emoto, Zhenjiang Hu |
| 2012 | ESOP | Generate, Test, and Aggregate - A Calculation-based Framework for Systematic Parallel Programming with MapReduce. | Kento Emoto, Sebastian Fischer, Zhenjiang Hu |
| 2012 | ICSE | Maintaining invariant traceability through bidirectional transformations. | Yijun Yu, Yu Lin, Zhenjiang Hu, Soichiro Hidaka, Hiroyuki Kato, Lionel Montrieux |
| 2011 | EuroPar | Towards Systematic Parallel Programming over MapReduce. | Yu Liu, Zhenjiang Hu, Kiminori Matsuzaki |
| 2011 | LOPSTR | Marker-Directed Optimization of UnCAL Graph Transformations. | Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano |
| 2011 | PPDP | Graph-transformation verification using monadic second-order logic. | Kazuhiro Inaba, Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano |
| 2010 | APLAS | Context-Preserving XQuery Fusion. | Hiroyuki Kato, Soichiro Hidaka, Zhenjiang Hu, Keisuke Nakano, Yasunori Ishihara |
| 2010 | ESOP | A Grammar-Based Approach to Invertible Programs. | Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi |
| 2010 | EuroPar | Generators-of-Generators Library with Optimization Capabilities in Fortress. | Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, Masato Takeichi |
| 2010 | ICFP | Bidirectionalizing graph transformations. | Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano |
| 2010 | ICFP | Combining syntactic and semantic bidirectionalization. | Janis Voigtlnder, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang |
| 2010 | MODELS | A Dynamic-Priority Based Approach to Fixing Inconsistent Feature Models. | Bo Wang, Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Wei Zhang, Hong Mei |
| 2010 | MPC | Gradual Refinement. | Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu |
| 2010 | PDCAT | Systematic Development of Correct Bulk Synchronous Parallel Programs. | Louis Gesbert, Zhenjiang Hu, Frdric Loulergue, Kiminori Matsuzaki, Julien Tesson |
| 2009 | ICSE | A compositional approach to bidirectional model transformation. | Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano |
| 2009 | MODELS | Generating Synchronization Engines between Running Systems and Their Model-Based Views. | Hui Song, Yingfei Xiong, Franck Chauvel, Gang Huang, Zhenjiang Hu, Hong Mei |
| 2009 | PEPM | Type-based specialization of xml transformations. | Kazutaka Matsuda, Zhenjiang Hu, Masato Takeichi |
| 2009 | POPL | The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer. | Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi |
| 2009 | SAC | Towards a compositional approach to model transformation for software development. | Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano |
| 2008 | CCS | Enforcing a security pattern in stakeholder goal models. | Yijun Yu, Haruhiko Kaiya, Hironori Washizaki, Yingfei Xiong, Zhenjiang Hu, Nobukazu Yoshioka |
| 2007 | EuroPar | Domain-Specific Optimization Strategy for Skeleton Programs. | Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi |
| 2007 | ICFP | Bidirectionalization transformation based on automatic derivation of view complement functions. | Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, Masato Takeichi |
| 2007 | PEPM | Bidirectional interpretation of XQuery. | Dongxi Liu, Zhenjiang Hu, Masato Takeichi |
| 2007 | PLDI | Automatic inversion generates divide-and-conquer parallel programs. | Kazutaka Morita, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi |
| 2006 | EuroPar | Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions. | Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi |
| 2006 | MPC | Swapping Arguments and Results of Recursive Functions. | Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi |
| 2006 | SPAA | Towards automatic parallelization of tree reductions in dynamic programming. | Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi |
| 2005 | DocEng | An environment for maintaining computation dependency in XML documents. | Dongxi Liu, Zhenjiang Hu, Masato Takeichi |
| 2005 | ICTAC | Maximum Marking Problems with Accumulative Weight Functions. | Isao Sasano, Mizuhito Ogawa, Zhenjiang Hu |
| 2005 | ISNN | Gabor Features-Based Classification Using SVM for Face Recognition. | Yixiong Liang, Weiguo Gong, Yingjun Pan, Weihong Li, Zhenjiang Hu |
| 2004 | APLAS | An Algebraic Approach to Bi-directional Updating. | Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi |
| 2004 | APLAS | PType System: A Featherweight Parallelizability Detector. | Dana N. Xu, Siau-Cheng Khoo, Zhenjiang Hu |
| 2004 | EuroPar | A Fusion-Embedded Skeleton Library. | Kiminori Matsuzaki, Kazuhiko Kakehi, Hideya Iwasaki, Zhenjiang Hu, Yoshiki Akashi |
| 2004 | MPC | An Injective Language for Reversible Computation. | Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi |
| 2004 | PEPM | A programmable editor for developing structured documents based on bidirectional transformations. | Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi |
| 2003 | EuroPar | Parallelization with Tree Skeletons. | Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi |
| 2003 | ICFP | Iterative-free program analysis. | Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano |
| 2003 | LOPSTR | An Efficient Staging Algorithm for Binding-Time Analysis. | Takuma Murakami, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi |
| 2003 | LOPSTR | Deterministic Higher-Order Patterns for Program Transformation. | Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi |
| 2003 | SNPD | List Homomorphism with Accumulation. | Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi |
| 2002 | APLAS | Flattening Transformation for Efficient Segmented Computation - Segmented Diffusion Theorem. | Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi |
| 2002 | APLAS | Fusion Transformation on Functional Programs of Regular Expression Types. | Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi |
| 2002 | APLAS | Implementation of Parallel Tree Skeletons on Distributed Systems. | Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi |
| 2002 | APLAS | An Optimal Staging Algorithm. | Takuma Murakami, Zhenjiang Hu, Masato Takeichi |
| 2002 | APLAS | Algebraic construction of graphs with bounded tree width and its applications - Catamorphic Approach to Program Analyses. | Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano, Masato Takeichi |
| 2002 | APLAS | A Type-Based Approach to Parallelization (preliminary report). | Dana N. Xu, Siau-Cheng Khoo, Wei-Ngan Chin, Zhenjiang Hu |
| 2002 | APLAS | Yicho - A System for Programming Program Calculations. | Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi |
| 2002 | DIS | A Compositional Framework for Mining Longest Ranges. | Haiyan Zhao, Zhenjiang Hu, Masato Takeichi |
| 2002 | ESOP | An Accumulative Parallel Skeleton for All. | Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi |
| 2002 | GPCE | Towards a Modular Program Derivation via Fusion and Tupling. | Wei-Ngan Chin, Zhenjiang Hu |
| 2001 | APLAS | An Accumulative Parallel Skeleton for All. | Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi |
| 2001 | APLAS | A Compositional Framework for Querying Optimized Ranges. | Haiyan Zhao, Zhenjiang Hu, Masato Takeichi |
| 2000 | APLAS | Mining Optimized Ranges. | Haiyan Zhao, Zhenjiang Hu, Masato Takeichi |
| 2000 | ICFP | Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems. | Isao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa |
| 2000 | PADL | Calculating a New Data Mining Algorithm for Market Basket Analysis. | Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi |
| 2000 | PDPTA | Diff: A Powerful Parallel Skeleton. | Seiichi Adachi, Hideya Iwasaki, Zhenjiang Hu |
| 2000 | SAS | Deriving Parallel Codes via Invariants. | Wei-Ngan Chin, Siau-Cheng Khoo, Zhenjiang Hu, Masato Takeichi |
| 1999 | PEPM | Diffusion: Calculating Efficient Parallel Programs. | Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki |
| 1998 | FLOPS | Towards Manipulation of Mutually Recursive Functions. | Hideya Iwasaki, Zhenjiang Hu, Masato Takeichi |
| 1998 | POPL | Parallelization in Calculational Forms. | Zhenjiang Hu, Masato Takeichi, Wei-Ngan Chin |
| 1997 | ICFP | Tupling Calculation Eliminates Multiple Data Traversals. | Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Akihiko Takano |
| 1996 | EuroPar | Formal Derivation of Parallel Program for 2-Dimensional Maximum Segment Sum Problem. | Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi |
| 1996 | ICFP | Deriving Structural Hylomorphisms From Recursive Definitions. | Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi |
| 1996 | MFCS | Construction of List Homomorphisms by Tupling and Fusion. | Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi |