Zhenjiang Hu's home page

		Zhenjiang Hu Professor Programming Research Laboratory Information Systems Architecture Research Division National Institute of Informatics (NII) Professor Department of Informatics The Graduate University for Advanced Studies

I received BS and MS degrees from Department of Computer Science and Engineering of Shanghai Jiaotong Unviersity in 1988 and 1991 respectively, and Ph.D degree from Department of Information Engineering of University of Tokyo in 1996. I became a lecturer (assistant professor) in 1997 and an associate professor in 2000 in University of Tokyo. I joined National Institute of Informatics as a full professor in 2008.

Research

My main interest is in programming languages and software construction in general, and functional programming, program transformation and model driven software development in particular. I am very interested in program calculation based on programming algebras, and I am looking into how to apply this theory to automatic program optimization, systematic parallelization of sequential programs, efficient manipulation of structured documents, and bidirectional model transformation for software development.

I welcome excellent people to join my group as intern students, PhD students, or post-doc researchers (JSPS Fellowship Program and DAAD-NII Program).

Current Projects [complete list]

Selected Recent Publications [complete list | DBLP | Google Scholar]

Programming with BSP Homomorphism (Euro-Par 2013)
Maintaining Invariant Traceability through Bidirectional Transformations (ICSE 2012)
GTA: A Calculation-based Framework for Parallel Programming with MapReduce (ESOP 2012)
Marker-Directed Optimization of UnCAL Graph Transformations (LOPSTR 2011)
Graph-Transformation Verification using Monadic Second-Order Logic (PPDP 2011)
Towards Systematic Parallel Programming over MapReduce (EuroPar 2011)
Toward Bidirectionalization of ATL with GRoundTram (ICMT 2011)
Context-Preserving XQuery Fusion (APLAS 2010)
A Dynamic-Priority based Approach to Fixing Inconsistent Feature Models (MODELS 2010)
Bidirectionalizing Graph Transformations (ICFP 2010)
Combining Syntactic and Semantic Bidirectionalization (ICFP 2010)
Generators-of-generators Library with Optimization Capabilities in Fortress (EuroPar 2010)
Program Calculation in Coq (AMAST 2010)
Gradual Refinement: Blending Pattern Matching with Data Abstraction (MPC 2010)
Grammar-based Approach to Invertible Programs (ESOP 2010)

More selected publications: ESEC/FSE'09, ICMT'09, ICSE'09-NIER, POPL'09, PEPM'09, ASE'07, ICFP'07, EuroPar'07, PLDI'07, PEPM'07, SPAA'06, EuroPar'06, MPC'06, DocEng'05, APLAS'04, MPC'04, EuroPar'04, ICFP'03, ESOP'02, ICFP'00, SAS'00, PEPM'99, POPL'98 ICFP'97, ICFP'96, MFCS'96 EuroPar'96

Academic Activities

I am now involved in the following international conferences, journals, and communities. Please consider submission of your papers and participation in the related events.

Academic Committee Chair, NII Shonan Meetings (The Only Dagstuhl-like Seminars in Asia)
Editorial Board Members: Science of Computer Programming (Elsevier), Software and Systems Modeling (Springer)
Steering Committee Members: ICFP, APLAS, ICMT, BX
PC Co-Chair, 5th International Conference on Model Transformation
Workshop Chair, The Eighteenth IEEE International Conference on Engineering of Complex Computer Systems
PC Members: ESOP 2014, PEPM 2014, FHPC 2013, MODELS 2013, SLE 2013 ICMT 2013, ICTAC 2013, MODELS 2012, SLE 2012, ICTAC 2012, FPHC 2012, Haskell 2012, IFL 2012, VOLT 2012 HLPGPU 2012, Internetware 2012.

You may find more information about my activities by clicking here.

You are also welcome to attend our monthly Tokyo Programming Seminars and GRACE Seminar on Software Science and Engineering.

Teaching

I like teaching. Some materials are available online.

Mathematical Structures in Programming (Graduate, Sokendai, 2013, Lecture Notes)
Mathematical Structures in Computer Programs: Functional Programming (undergraduate, Univ. of Tokyo, 2011)
Mathematical Structures in Computation Models (undergraduate, Univ. of Tokyo, 2011)

Contact Information

Office: Rm. 1508
Tel: +81-3-4212-2530
Fax: +81-3-4212-2533
Email: hu at nii.ac.jp

Last modified on April 2011.