
High Level Parallel Programming and Parallelization 
Selected Papers 
Software
The problems involved in developing efficient and correct parallel
programs have proved much harder than those in developing efficient
sequential ones, both for programmers and for compilers. We have made
the first attempt to construct a calculational framework for
parallelization of sequential programs, including a novel
inductive synthesis lemma and a calculation algorithm for
parallelization of general recursive functions. Being constructive,
this work has proved to be useful both in parallelizing compiler and
in parallel programming.
We are now applying the technique to design and implementation of
skeletal parallel programming environment called SkeTo,
which supports efficient parallel programming with a fixed set of
parallel skeletons. It can deal with a
large class of problems on lists, 2dimensional arrays, and irregular trees.
Here is video (in Japanese) about part of the project.
We are also collaborating
with Dr. Guy
Steele
and his
team at Sun Microsystems Laboratories to develop a library for
skeletal parallel programming in Fortress (a programming language
designed by Sun for highperformance
computing). Here
contains more information about the joint project.
Selected Papers

Makoto Onizuka,
Hiroyuki Kato,
Soichiro Hidaka,
Keisuke Nakano,
Zhenjiang Hu,
Optimization for Iterative Queries on MapReduce,
40th International Conference on Very Large Data Base
(VLDB 2014),
Hanzhou, China, September 15, 2014.
PVLDB Vol. 7, to appear.

Frederic Loulergue,
Simon Robillard,
Julien Tesson,
Joeffrey Legaux,
Zhenjiang Hu,
Formal Derivation and Extraction of a Parallel Program for the All Nearest Smaller Values Problem
,
29th ACM Symposium On Applied Computing
(SAC 2014),
Gyeongju, Korea, March 24  28, 2014.

Yu Liu,
Kento Emoto,
Zhenjiang Hu,
A GenerateTestAggregate Parallel Programming Library
for Systematic Parallel Programming
,
Parallel Computing, Elservier, to appear. (an old and short version was presented at PMAM'13).

Le Dec Tung,
NguyenVan Quyet,
Zhenjiang Hu,
Efficient Query Evaluation on Distributed Graphs with
Hadoop Environment
,
4th International Symposium on Information and Communication Technology
(SoICT 2013),
Da Nang, Vietnam, December 56, 2013.

NguyenVan Quyet,
Le Dec Tung,
Zhenjiang Hu,
Minimizing Data Transfers for Regular Reachability Queries on Distributed Graphs
,
4th International Symposium on Information and Communication Technology
(SoICT 2013),
Da Nang, Vietnam, December 56, 2013.

Qi Wang,
Meixian Chen,
Yu Liu,
Zhenjiang Hu,
Towards Systematic Parallel Programming of Graph Problems via
Tree Decomposition and Tree Parallelism,
2nd ACM SIGPLAN Workshop on
Functional HighPerformance Computing
(FHPC 2013),
Boston, Massachusetts, September 23, 2013.

Joeffrey Legaux,
Zhenjiang Hu,
Frederic Loulergue,
Kiminori Matsuzaki,
Julien Tesson,
Programming with BSP Homomorphism,
19th International European Conference on Parallel and Distributed Computing
(EuroPar 2013),
Aachen, Germany, August 2630, 2013. pp.446457.

Kento Emoto,
Sebastian Fischer,
Zhenjiang Hu,
Filterembedding Semiring Fusion for Programming with MapReduce,
Formal Aspects of Computing,
Springer, accepted, 2012.
(This is an extended version of the ESOP 2012 paper)

Kento Emoto,
Sebastian Fischer,
Zhenjiang Hu,
Generate, Test, and Aggregate A Calculationbased Framework for Systematic Parallel Programming with MapReduce,
22nd European Symposium on Programming
(ESOP 2012),
Tallinn, Estonia, March 24  April 1, 2012.

Yu Liu,
Zhenjiang Hu,
Kiminori Matsuzaki,
Towards Systematic Parallel Programming over MapReduce,
17th International
European Conference on Parallel and Distributed Computing
(EuroPar 2011), Bordeaux, France,
August 29  September 2, 2011.

Louis Gesbert,
Zhenjiang Hu,
Frederic Loulergue,
Kiminori Matsuzaki,
Julien Tesson,
Systematic Development of Correct Bulk Synchronous Parallel Programs,
11th International Conference on Parallel and Distributed Computing, Applications and Technologies
(PDCAT 2010),
Wuhan, China, 811, December 2010.

Kento Emoto,
Zhenjiang Hu,
Kazuhiko Kakehi,
Kiminori Matsuzaki,
Masato Takeichi,
Generatorsofgenerators Library with Optimization Capabilities in Fortress,
16th International
European Conference on Parallel and Distributed Computing
(EuroPar 2010), Ischia, Italy,
August 31 September 3, 2010.

Akimasa Morihata,
Kiminori Matsuzaki,
Zhenjiang Hu,
Masato Takeichi,
The Third Homomorphism Theorem on Trees: Downward & Upward
Lead to DivideandConquer,
The 36th Annual ACM SIGPLAN  SIGACT Symposium on
Principles of Programming Languages
(POPL 2009),
Savannah, Georgia, USA, January 2123, 2009.

Kiminori Matsuzaki,
Zhenjiang Hu,
Efficient Implementation of Tree Skeletons on
DistributedMemory Parallel Computers,
Scalable Computing: Practice & Experience
(SCPE), 2008. To appear.

Kento Emoto,
Kiminori Matsuzaki,
Zhenjiang Hu,
Masato Takeichi,
DomainSpecific Optimization Strategy for Skeleton Programs,
13th International
European Conference on Parallel and Distributed Computing
(EuroPar 2007), IRISA, Rennes, France,
August 2831, 2007.

Kento Emoto,
Zhenjiang Hu,
Kazuhiko Kakehi,
Masato Takeichi,
A Compositional Framework for Developing Parallel Programs on Two
Dimensional Arrays,
International Journal of Parallel Programming
(IJPP), Springer, to appear.

Kazutaka Morita,
Akimasa Morihata,
Kiminori Matsuzaki,
Zhenjiang Hu,
Masato Takeichi,
Automatic Inversion Generates DivideandConquer Parallel Programs,
ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation
(PLDI 2007),
San Diego, CA, USA, June 1013, 2007. pp.146155.

Kiminori Matsuzaki,
Zhenjiang Hu,
Masato Takeichi,
Towards Automatic Parallelization of Tree Reductions in Dynamic
Programming,
18th ACM Symposium on Parallelism in Algorithms and Architectures
(SPAA 2006),
Cambridge, MA, USA, July 30  August 2, 2006. pp.3948.

Kiminori Matsuzaki,
Zhenjiang Hu,
Masato Takeichi,
Parallel Skeletons for Manipulating General Trees,
Parallel Computing, Vol.32, No.78,
Elsevier, 2006. pp.590603.

Kento Emoto,
Kiminori Matsuzaki,
Zhenjiang Hu,
Masato Takeichi,
Surrounding Theorem: Developing Parallel Programs for MatrixConvolutions,
European Conference on Parallel Computing
(EuroPar 2006),
Dresden, Germany, August 29  September 2, 2006. LNCS 4128, Springer. pp.605614.

Kiminori Matsuzaki,
Kento Emoto,
Hideya Iwasaki,
Zhenjiang Hu,
A Library of Constructive Skeletons for Sequential Style of Parallel Programming (Invited Paper),
First International Conference on Scalable Information Systems
(InfoScale 2006),
Hong Kong, May 29  June 1, 2006.

Kiminori Matsuzaki,
Zhenjiang Hu,
Kazuhiko Kakehi,
Masato Takeichi,
Systematic Derivation of Tree Contraction Algorithms,
Parallel Processing Letters,
Vol. 15, No. 3, 2005. pp.321336.

Dana Na Xu,
SiauCheng Khoo,
Zhenjiang Hu,
PType System : A Featherweight Parallelizability Detector,
Second ASIAN Symposium on Programming Languages and Systems
(APLAS 2004),
Taipei, Taiwan, November 46, 2004. LNCS 3302, Springer Verlag. pp.197212.

Kiminori Matsuzaki,
Kazuhiko Kakehi,
Hideya Iwasaki,
Zhenjiang Hu,
Yoshiki Akashi,
A FusionEmbedded Skeleton Library,
International Conference on Parallel and Distributed Computing
(EuroPar 2004),
Pisa, Italy, 31st August  3rd September, 2004. LNCS 3149, Spinger Verlag.
pp.644653.

Hideya Iwasaki,
Zhenjiang Hu,
A New Parallel Skeleton for General Accumulative Computations,
International Journal of Parallel Programming,
32 (5): 389414, October 2004.

Kiminori Matsuzaki,
Zhenjiang Hu,
Masato Takeichi,
Parallelization with Tree Skeletons,
International Conference on Parallel and Distributed
Computing (EuroPar 2003),
Klagenfurt, Austria, 26th  29th August 2003. Lecture Notes in Computer
Science 2790, Springer Verlag. pp.789798.
An extended version
appears as Technical Report METR 200321, Department of Mathematical
Informatics, University of Tokyo, 2003.

Zhenjiang Hu,
Hideya Iwasaki,
Masato Takeichi,
An Accumulative Parallel Skeleton for All
,
11th European Symposium on Programming
(
ESOP 2002), Grenoble, France, April 8  10, 2002.
Lecture Notes in Computer Science 2305, Springer Verlag. pp.8397.

WeiNgan Chin,
SiauCheng Khoo,
Zhenjiang Hu,
Masato Takeichi,
Deriving Parallel Codes via Invariants,
International Static Analysis Symposium
(SAS2000),
University of California, Santa Barbara, 29 June1 July, 2000.
LNCS 1824, Springer Verlag. pp. 7594.

Zhenjiang Hu,
Masato Takeichi,
Hideya Iwasaki,
Diffusion: Calculating Efficient Parallel Programs,
1999 ACM SIGPLAN Workshop on Partial Evaluation and
SemanticsBased Program Manipulation
(PEPM'99).
San Antonio, Texas, January 2223, 1999, pp. 8594.

Zhenjiang Hu,
Masato Takeichi,
Calculating an Optimal Homomorphic Algorithm
for Bracket Matching,
Parallel Processing Letters. Vol. 9, No. 3, 1999. pp. 335345.

WeiNgan Chin,
Akihiko Takano,
Zhenjiang Hu ,
Parallelization via Context Preservation
,
in IEEE Computer Society
International Conference on Computer Languages
(ICCL'98),
Loyola University Chicago, Chicago, USA, May 1998. IEEE Press.

Zhenjiang Hu ,
Masato Takeichi,
WeiNgan Chin,
Parallelization in Calculational Forms
,
25th ACM SIGPLANSIGACT Symposium on
Principles of Programming Languages
(POPL'98),
San Diego, California, USA, January 1998, pp. 316328. ACM Press.

Zhenjiang Hu,
Hideya Iwasaki,
Masato Takeichi,
Formal Derivation of Efficient Parallel Programs by Construction
of List Homomorphisms,
ACM Transactions on Programming Langauges and Systems,
19(3), May 1997, pp.444461.

Zhenjiang Hu,
Hideya Iwasaki,
Masato Takeichi,
Construction of List Homomorphisms by Tupling and Fusion,
21st International Symposium on Mathematical Foundations
of Computer Science
(MFCS '96),
Cracow, September 1996, LNCS 1113, pp.407418. SpringerVerlag.

Zhenjiang Hu,
Hideya Iwasaki,
Masato Takeichi,
Formal Derivation of Parallel Program for 2Dimensional Maximum Segment Sum Problem,
The Annual European conference on Parallel Processing
(EuroPar'96),
LIP, ENS Lyon, France, August 1996, LNCS 1123, pp.553562.
SpringerVerlag.
More papers are available here.
Software
 SkeTo:
A C++ Library for Efficient Parallel Programming with Parallel Skeletons.
Maintained by Zhenjiang Hu. Last modified in 2006.