Zhenjiang Hu's home page

Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Zhenjiang Hu's home page

		Zhenjiang Hu Associate Professor Information Processing Laboratory Department of Mathematical Informatics Department of Mathematical Engineering and Information Physics The University of Tokyo

Research

My main interest is in programming languages and systems in general, and functional programming and program transformation 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, and efficient manipulation of structured documents.

Current Projects [complete list]

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

Towards Automatic Model Synchronization from Model Transformations (ASE'07)
Bidirectionalization Transformation based on Automatic Derivation of View Complement Functions (ICFP'07)
Domain-Specific Optimization Strategy for Skeleton Programs (EuroPar'07)
Automatic Inversion Generates Divide-and-Conquer Parallel Programs (PLDI'07)
Bidirectional Interpretation of XQuery (PEPM'07)
Towards Automatic Parallelization of Tree Reductions in Dynamic Programming (SPAA'06)
Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions (EuroPar'06)
Swapping Arguments and Results of Recursive Functions (MPC'06)

More selected publications: 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 conferences. Please consider submission of your papers and participation in the conferences.

PC member, 13th ACM SIGPLAN International Conference on Functional Programming
(ICFP 2008, Victoria, British Columbia, Canada, September 22-24, 2008)
PC member, 9th International Symposium on Functional and Logic Programming
(FLOPS 2008, Ise, Japan, April 14-16, 2008)
PC member, Third DIKU-IST Joint Workshop on Foundations of Software
(DIKU-IST 2007, Comwell Hotel, Denmark, October 5-6, 2007)
Scientific Committee member, 2nd Summer School on Generative and Transformational Techniques in Software Engineering
(GTTSE 2007, Braga, Portugal, July 2-7 2007)
PC member, 12th IEEE International Conference on Engineering of Complex Computer
(ICECCS'07, Auckland, NZ, July 11-14 2007)
PC member, Fourth International Workshop on Practical Aspects of High-level Parallel Programming
(PAPP 2007, University of Beijing, China, May 27-30, 2007)
PC member, $BBh(B9 $B2s%W%m%0%i%_%s%0$*$h$S%W%m%0%i%_%s%08@8l%o!<%/%7%g%C%W(B
(PPL 2007, Ishikawa Prefecture, Japan, March 8-10, 2007)

You are also welcome to attend our monthly Tokyo Programming Seminar.

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

Teaching

I like teaching. Some materials are available online.

Mathematical Structures in Computer Programs (undergraduate, 2007)
Mathematical Structures in Computation Models (undergraduate, 2007)
Mathematical Structures in Programs (graduate, 2006)

Contact Information

Office: Rm. 350, Eng. Dept. Bldg. 6
Tel: +81-3-5841-7411
Fax: +81-3-5841-8597
Email: hu at mist.i.u-tokyo.ac.jp

Last modified on October 2007.