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]

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)
An Environment for Maintaining Computation Dependency in XML Documents (DocEng'05)
PType System : A Featherweight Parallelizability Detector (APLAS'04)
An Algebraic Approach to Bidirectional Updating (APLAS'04)
An Injective Language for Reversible Computation (MPC'04)
A Fusion-Embedded Skeleton Library (EuroPar'04)
A Programmable Editor for Developing Structured Documents based on Bidirectional Transformations (PEPM'04)

More selected publications: ICFP'03, ESOP'02, ICFP'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 Co-Chair, Fourth International Workshop on High-level Parallel Programming and Applications
(HLPP 2007, Tokyo, July 23-24 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, 第9 回プログラミングおよびプログラミング言語ワークショップ
(PPL 2007, Ishikawa Prefecture, Japan, March 8-10, 2007)

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

Software

You may get fun to play with the following software developed by our group, and your comments are greatly appreciated.

PSD Application Package for Construction of Programmable Structured Documents.
SkeTo: A C++ Library for Deadlock-free Parallel Programming with Parallel Skeletons.
Yicho: A Combinator Library for Supporting Calculational Programming.
HYLO: An automatic fusion calculation system (implemented in the old GHC).

Teaching

I like teaching. Some materials are available online.

Mathematical Structures in Computation Models (undergraduate, 2007)
Mathematical Structures in Computer Programs (undergraduate, 2006)
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 March 2007.