Rchr
J-GLOBAL ID:201101066343464379   Update date: Mar. 29, 2021

Hu Zhenjiang

Hu Zhenjiang
Affiliation and department:
Job title: Professor
Homepage URL  (1): http://research.nii.ac.jp/~hu/
Research field  (1): Software
Research keywords  (6): 双方向変換 ,  プログラム変換 ,  プログラム運算 ,  プログラミングの代数 ,  関数プログラミング ,  プログラミング言語
Research theme for competitive and other funds  (21):
  • 2017 - 2022 双方向の深化による自律分散ビッグデータの相互運用基盤に関する研究
  • 2017 - 2022 しなやかなシステムを実現するマルチビュー実行時モデルフレームワーク
  • 2014 - 2018 大規模グラフ並列処理のための代数的構造に基づく理論基盤とプログラム開発基盤の構築
  • 2015 - 2017 Structural Recursion on Bulk Synchronous Parallelism for Efficient Large-Graph Querying
  • 2013 - 2017 大規模な実用に耐えうる双方向グラフ変換の統合的基盤技術の構築
Show all
Papers (299):
  • Ennio Visconti, Christos Tsigkanos, Zhenjiang Hu, Carlo Ghezzi. Model-driven engineering city spaces via bidirectional model transformations. Software and Systems Modeling. 2021
  • Chunmiao Li, Shijie Nie, Yang Cao, Yijun Yu, Zhenjiang Hu. Dynamic Gas Estimation of Loops Using Machine Learning. Communications in Computer and Information Science. 2020. 428-441
  • Nianyu Li, Christos Tsigkanos, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi. Early validation of cyber-physical space systems via multi-concerns integration. Journal of Systems and Software. 2020. 170. 110742-110742
  • Ruyi Ji, Yican Sun, Yingfei Xiong, Zhenjiang Hu. Guiding dynamic programing via structural probability for accelerating programming by example. Proceedings of the ACM on Programming Languages. 2020. 4. OOPSLA. 1-29
  • Jumpei Tanaka, Van-Dang Tran, Zhenjiang Hu. Toward Programmable Strategy for Co-existence of Relational Schemes. Communications in Computer and Information Science. 2020. 138-151
more...
MISC (76):
  • Yongzhe Zhang, Hsiang-Shang Ko, Zhenjiang Hu. Describing Pregel Algorithms with Non-adjacent Data Communication. 2016
  • Le-Duc Tung, Kento Emoto, Zhenjiang Hu. Shortest Regular Category-Path Queries. Grace-TR-2014-03, Grace Center, National Institute of Informatics. 2014. 1-10
  • Zhenjiang Hu, Shin-Cheng Mu, Stephanie Weirich. Advanced programming techniques for construction of robust, generic and evolutionary programs. Progress in Informatics. 2013. Vol.10. 10. 1-2
  • Sebastian Fischer, Zhenjiang Hu, Hugo Pacheco. "Putback" is the Essence of Bidirectional Programming. GRACE-TR 2012-08, GRACE Center, National Institute of Informatics, December 2012. 2012. 2012. 08. 1-36
  • Kazuyuki Asada, Soichiro Hidaka, Hiroyuki Kato, Zhenjiang Hu, Keisuke Nakano. Parameterized Graph Transformation Languages with Monads. Technical Report GRACE-TR-2012-07, GRACE Center, National Institute of Informatics, October 2012. 2012. 2012. 07. 1-21
more...
Lectures and oral presentations  (128):
  • On Verification of Bidirectional Transformations
    (20th International Conference on Formal Engineering Methods 2018)
  • Verification of Roundtrip Property in Bidirectional Programming
    (3rd National Symposium on Formal Method 2018)
  • Can Programming be Liberated from Unidirectional Style?Fourteenth InteCan Programming be Liberated from Unidirectional Style?
    (Fourteenth International Symposium on Functional and Logic Programming 2018)
  • Can Programming be Liberated from Unidirectional Style?
    (GRACE Symposium 2017 - Next Ten Years of Software Engineering 2017)
  • Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access
    (15th Asian Symposium on Programming Languages and Systems (APLAS 2017), Suzhou, China 2017)
more...
Professional career (1):
  • Ph.D (University of Tokyo)
Work history (8):
  • 2019/04 - 現在 Peking University Department of Computer Science and Technology Chair and Professor
  • 2019/04 - 現在 Sokendai Department of Informatics Visiting Professor
  • 2019/04 - 現在 National Institute of Informatics Information Systems Architecture Science Research Division Professor by special appointment
  • 2018/04 - 2019/03 University of Tokyo Graduation School of Information Science and Technology Professor
  • 2008/04 - 2019/03 National Institute of Informatics Information Systems Architecture Science Research Division Professor
Show all
Committee career (44):
  • 2017 - 現在 SCIENCE CHINA Information Sciences (Springer) Editorial Board Member
  • 2014 - 現在 IEEE Conference Advisory Committee Member
  • 2013 - 現在 Science of Computer Programing (Elsevier) Editorial Board Member
  • 2013 - 現在 IFIP TC2 (Software: Theory and Practice) Japan Representative
  • 2013 - 現在 National Science Review (NSR, Oxford Journals) Editorial Board Member
Show all
Awards (7):
  • 2016/06 - Japan Society for Software Science and Technology 2015年度基礎研究賞
  • 2015/10 - 8th International Conference on Software Language Engineering Distinguished Reviewer Award
  • 2012/02 - ACM Recognition of Service Award
  • 2009/05 - 日本ソフトウェア科学会 高橋奨励賞
  • 2008/03 - JSSSTプログラミング論研究会 PPL 2008 最優秀論文賞
Show all
Association Membership(s) (4):
IEEE ,  情報処理学会 ,  日本ソフトウエア科学会 ,  ACM
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page