Zhenjiang Hu Last updated: 12/04/18 16:12
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
Feb 2012
Recognition of Service Award, ACM
May 2009
高橋奨励賞, 日本ソフトウェア科学会
Mar 2008
PPL 2008 最優秀論文賞, JSSSTプログラミング論研究会
May 1997
高橋奨励賞, 日本ソフトウエア科学会
Papers
Maintaining Invariant Traceability through Bidirectional Transformations
Yijun Yu, Yu Lin, Zhenjiang Hu, Soichiro Hidaka, Hiroyuki Kato, Lionel Montrieux
34th International Conference on Software Engineering (ICSE 2012), Zurich, Switzerland, June 2-9, 2012 Jun 2012 [Refereed]
Generate, Test, and Aggregate --- A Calculation-based Framework for Systematic Parallel Programming with MapReduce
Kento Emoto, Sebastian Fischer, Zhenjiang Hu
22nd European Symposium on Programming (ESOP 2012), Tallinn, Estonia, March 24 - April 1, 2012 Apr 2012 [Refereed]
Delta Lenses over Inductive Types
Hugo Pacheco, Alcino Cunha , Zhenjiang Hu
First International Workshop on Bidirectional Transformations (BX 2012), Tallinn, Estonia, March 25, 2012 Mar 2012 [Refereed]
GRoundTram: An IntegratEd Framework for Developing Well-Behaved Bidirectional Model Transformations (short paper)
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
26th IEEE/ACM International Conference On Automated Software Engineering (ASE 2011), Oread, Lawrence, Kansas, USA, November 6-10, 2011 Nov 2011 [Refereed]
Towards Systematic Parallel Programming over MapReduce
Yu Liu, Zhenjiang Hu, Kiminori Matsuzaki
17th International European Conference on Parallel and Distributed Computing (EuroPar 2011), Bordeaux, France, August 29 - September 2, 2011 Sep 2011 [Refereed]
Conferences
Can Graph Transformation be Bidirectionalized? -- Bidirectional Semantics of Structural Recursion on Graphs -- [Invited]
Zhenjiang Hu
6th International Workshop on Higher-Order Rewriting Jun 2012
Generate, Test, and Aggregate --- A Calculation-based Framework for Systematic Parallel Programming with MapReduce
Kento Emoto, Sebastian Fischer, Zhenjiang Hu
22nd European Symposium on Programming (ESOP 2012), Tallinn, Estonia Mar 2012
Delta Lenses over Inductive Types
Hugo Pacheco, Alcino Cunha , Zhenjiang Hu
First International Workshop on Bidirectional Transformations (BX 2012), Tallinn, Estonia Mar 2012
Bidirectional Model Transformation for High-Confidence Software Evolution International Symposium on High Confidence Software [Invited]
Zhenjiang Hu
International Symposium on High Confidence Software Dec 2011
GRoundTram: An IntegratEd Framework for Developing Well-Behaved Bidirectional Model Transformations (short paper)
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
26th IEEE/ACM International Conference On Automated Software Engineering (ASE 2011), Oread, Lawrence, Kansas, USA Nov 2011
Misc
blinkit: Maintaining Invariant Traceability through Bidirectional Transformations - A Technical Report
Yijun Yu, Yu Lin, Zhenjiang Hu, Soichiro Hidaka, Hiroyuki Kato, Lionel Montrieux
Technical Report No. 2011/09, Department of Computing, The Open University, UK, September, 2012 2011(09) Sep 2012
Generate, Test, and Aggregate---A Calculation-based Framework for Systematic Parallel Programming with MapReduce---
Kento Emoto, Sebastian Fischer, Zhenjiang Hu
Technical Report METR 2011-34, Department of Mathematical Informatics, Univeristy of Tokyo, October 2011 2011(34) 1-28 Oct 2011
GRoundTram: An Integrated Framework for Developing Well-Behaved Bidirectional Model Transformations
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
Technical Report GRACE-TR-2011-05, GRACE Center, National Institute of Informatics, August 2011 2011(5) 1-10 Aug 2011
Applying Bidirectional Transformation to Feature Model Refinement - Implementation Issues
Qing sun, Bo Wang, Zhenjiang Hu
Technical Report GRACE-TR-2011-04, GRACE Center, National Institute of Informatics 2011(04) 1-10 Aug 2011
Simulation-based Graph Schema for View Updatability Checking of Graph Queries
Keisuke Nakano, Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato
Technical Report GRACE-TR-2011-01, GRACE Center, National Institute of Informatics, May 2011 2011(1) 1-10 May 2011
