Zhenjiang Hu

Last updated: 10/04/09 11:14

Avatar
Name
Zhenjiang Hu
Affiliation
National Institute of Informatics
Section
Information Systems Architecture Research Division
Job title
Professor
Degree
Ph.D (University of Tokyo)
 

Career


Apr 2008
   
 
Professor, National Institute of Informatics

Jul 2000
 - 
Mar 2008
Associate Professor , The University of Tokyo

Oct 1997
 - 
Jun 2000
Lecturer , The University of Tokyo

Jan 1997
 - 
Sep 1997
Research Associate, The University of Tokyo

Apr 1996
 - 
Dec 1996
Research Fellow, JSPS

Prizes


May 2009
日本ソフトウェア科学会 高橋奨励賞

Mar 2008
JSSSTプログラミング論研究会 PPL 2008 最優秀論文賞

Jun 1997
井上科学振興財団 井上奨励賞

May 1997
日本ソフトウエア科学会 高橋奨励賞

Papers


Gradual Refinement: Blending Pattern Matching with Data Abstraction
Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu
9th International Conference on Mathematics of Program Construction (MPC 2010), Quebec City, Canada, 21-23 June 2010.      Jun 2010   [Refereed]
Grammar-based Approach to Invertible Programs
Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
Grammar-based Approach to Invertible Programs,19th European Symposium on Programming (ESOP 2010), Paphos, Cyprus, March 22-26, 2010      Mar 2010   [Refereed]
Generating Synchronization Engines between Running Systems and their Model-Based Views
Hui Song, Yingfei Xiong, Franck Chauvel, Gang Huang, Zhenjiang Hu, Hong Mei
Proceedings of the 4th Workshop on Models@run.time, held at the ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MoDELS'09) , Denver, USA, October 5th, 2009   11-20   Oct 2009   [Refereed]
Supporting Automatic Model Inconsistency Fixing
Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei
The 7th joint meeting of the European Software Engineering Conference (ESEC) and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE) (ESEC/FSE 2009), Amsterdam, The Netherlands, August 24-28 2009   315-324   Aug 2009   [Refereed]
Bidirectional Transformations: A Cross-Discipline Perspective
Krzysztof Czarnecki, J. Nathan Foster, Zhenjiang Hu, Ralf Lammel, Andy Schurr, James F. Terwilliger
International Conference on Model Transformation (ICMT 2009), ETH Zurich, Switzerland, June 29-July 3 2009   260-283   Jun 2009   [Refereed]

Conference


Blending Pattern Matching with Data Abstraction
Meng Wang, Jeremy Gibbons, Kazutaka Matsuda, Zhenjiang Hu, Gradual Refinement
9th International Conference on Mathematics of Program Construction (MPC 2010), Quebec City, Canada   Jun 2010   
Grammar-based Approach to Invertible Programs
Kazutaka Matsuda, Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
9th European Symposium on Programming (ESOP 2010), Paphos, Cyprus   Mar 2010   
Generating Synchronization Engines between Running Systems and their Model-Based Views
Hui Song, Yingfei Xiong, Franck Chauvel, Gang Huang, Zhenjiang Hu, Hong Mei
the 4th Workshop on Models@run.time, held at the ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MoDELS'09) , Denver, USA,   Oct 2009   
AO Software Behavior Model Evolution and Synchronization: A Bidirectional Graph Transformation Approach
Yuting Chen, Zhenjiang Hu
Technical Report GRACE-TR-2009-06, GRACE Center, National Institute of Informatics   Sep 2009   
Beanbag: A Language for Automatic Model Inconsistency Fixing
Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei
PSJ/SIGSE Software Engineering Symposium 2009 (SES'09)   Sep 2009