Zhenjiang Hu

J-GLOBAL         Last updated: Feb 7, 2019 at 18:09
 
Avatar
Name
Zhenjiang Hu
Affiliation
National Institute of Informatics
Section
Information Systems Architecture Research Division
Job title
Professor
Degree
Ph.D (University of Tokyo)

Academic & Professional Experience

 
Apr 2018
 - 
Today
Professor, Graduation School of Information Science and Technology, University of Tokyo
 
Apr 2008
 - 
Today
Professor, Department of Informatics, Sokendai
 
Apr 2016
 - 
Mar 2018
Chair, Department of Informatics, Sokendai
 
Apr 2008
 - 
Today
Professor, Information Systems Architecture Science Research Diviison, National Institute of Informatics
 
Jul 2000
 - 
Mar 2008
Associate Professor, The University of Tokyo
 

Awards & Honors

 
Jun 2016
2015年度基礎研究賞, Japan Society for Software Science and Technology
 
Oct 2015
Distinguished Reviewer Award, 8th International Conference on Software Language Engineering
 
Feb 2012
Recognition of Service Award, ACM
 
May 2009
高橋奨励賞, 日本ソフトウェア科学会
 
Mar 2008
PPL 2008 最優秀論文賞, JSSSTプログラミング論研究会
 

Published Papers

 
Incrementalization of Vertex-Centric Programs
Timothy A. K. Zakian, Ludovic A. R. Capelli, Zhenjiang Hu
33rd IEEE International Parallel and Distributed Processing Symposium (IPDPS 2019), Rio de Janeiro, Brizil, May 20-24, 2019.      May 2019   [Refereed]
POET: Privacy on the Edge with Bidirectional Data Transformations
Zhenjiang Hu
Nianyu Li, Christos Tsigkanos, Zhi Jin, Schahram Dustdar, Zhenjiang Hu, Carlo Ghezzi      Mar 2019   [Refereed]
Towards Bidirectional Synchronization between Communicating Processes and Session Types
Liye Guo, Hsiang-Shang Ko, Keigo Imai, Nobuko Yoshida Zhenjiang Hu
Second Workshop on Software Foundations for Data Interoperability (SFDI 2019), February 27, 2019, Kyoto University, Japan.      Feb 2019   [Refereed]
Controlling and Sharing Distributed Data for Implementing Service Alliance Transformations
Yasuhito Asano, Zhenjiang Hu, Yasunori Ishihara, Hiroyuki Kato, Makoto Onizuka, Masatoshi Yoshikawa
Second Workshop on Software Foundations for Data Interoperability (SFDI 2019), February 27, 2019, Kyoto University, Japan.      Feb 2019   [Refereed]
Design and Engineering of Adaptive Software Systems
Soichiro Hidaka, Zhenjiang Hu, Marin Litoiu, Lin Liu, Patrick Martin, Xin Peng, Guiling Wang, Yijun Yu
Engineering Adaptive Software Systems, Communications of NII Shonan Meetings, Springer   1-33   Feb 2019   [Refereed]

Conference Activities & Talks

 
On Verification of Bidirectional Transformations [Invited]
Zhenjiang Hu
20th International Conference on Formal Engineering Methods   15 Nov 2018   
Verification of Roundtrip Property in Bidirectional Programming [Invited]
Zhenjiang Hu
3rd National Symposium on Formal Method   3 Nov 2018   
Can Programming be Liberated from Unidirectional Style?Fourteenth InteCan Programming be Liberated from Unidirectional Style? [Invited]
Zhenjiang Hu
Fourteenth International Symposium on Functional and Logic Programming   10 May 2018   
Can Programming be Liberated from Unidirectional Style? [Invited]
Zhenjiang Hu
GRACE Symposium 2017 – Next Ten Years of Software Engineering   20 Dec 2017   
Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access
Yongzhe Zhang, Hsiang-Shang Ko, Zhenjiang Hu
15th Asian Symposium on Programming Languages and Systems (APLAS 2017), Suzhou, China   27 Nov 2017   

Committee Memberships

 
2013
 - 
Today
IEEE Transactions on Software Engineering  Associate Editor
 
2013
 - 
Today
Science of Computer Programming (Elsevier)  Editorial Board Member
 
2013
 - 
Today
Software and Systems Modeling (Springer)  Editorial Board Member
 
2013
 - 
Today
National Science Review (NSR, Oxford Journals)  Editorial Board Member
 
2013
 - 
Today
IFIP TC2 (Software: Theory and Practice)  Japan Representative
 

Misc

 
Describing Pregel Algorithms with Non-adjacent Data Communication
Yongzhe Zhang, Hsiang-Shang Ko, Zhenjiang Hu
   Sep 2016
Le-Duc Tung, Kento Emoto, Zhenjiang Hu
Grace-TR-2014-03, Grace Center, National Institute of Informatics   1-10   Aug 2014
Zhenjiang Hu, Juan de Lara
Software Modeling and Systems   533-535   Dec 2013
Efficient Query Evaluation on Distributed Graph with Hadoop Environment
Le Dec Tung, Quyet Nguyen-Van, Zhenjiang Hu
日本ソフトウェア科学会第30回大会, 東京大学本郷キャンパス, 2013年9月10日~13日.      Sep 2013
An Experimental Implementation of Self-adjusting Bidirectional Transformations,
Vo Huu Phuc, 加藤弘之, 日高宗一郎, 胡振江
日本ソフトウェア科学会第30回大会, 東京大学本郷キャンパス, 2013年9月10日~13日.      Sep 2013