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 [POPL98], 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, 2-dimensional arrays, and irregular trees.
Selected Papers
-
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.39-48.
-
Kiminori Matsuzaki,
Zhenjiang Hu,
Masato Takeichi,
Parallel Skeletons for Manipulating General Trees,
Parallel Computing,
Elsevier, 2006. in press.
-
Kento Emoto,
Kiminori Matsuzaki,
Zhenjiang Hu,
Masato Takeichi,
Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions,
European Conference on Parallel Computing
(EuroPar 2006),
Dresden, Germany, August 29 - September 2, 2006. LNCS 4128, Springer. pp.605-614.
-
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.321-336.
-
Dana Na Xu,
Siau-Cheng Khoo,
Zhenjiang Hu,
PType System : A Featherweight Parallelizability Detector,
Second ASIAN Symposium on Programming Languages and Systems
(APLAS 2004),
Taipei, Taiwan, November 4-6, 2004. LNCS 3302, Springer Verlag. pp.197-212.
-
Kiminori Matsuzaki,
Kazuhiko Kakehi,
Hideya Iwasaki,
Zhenjiang Hu,
Yoshiki Akashi,
A Fusion-Embedded Skeleton Library,
International Conference on Parallel and Distributed Computing
(EuroPar 2004),
Pisa, Italy, 31st August - 3rd September, 2004. LNCS 3149, Spinger Verlag.
pp.644-653.
-
Hideya Iwasaki,
Zhenjiang Hu,
A New Parallel Skeleton for General Accumulative Computations,
International Journal of Parallel Programming,
32 (5): 389-414, October 2004.
-
Kiminori Matsuzaki,
Zhenjiang Hu,
Masato Takeichi,
Parallelization with Tree Skeletons,
International Conference on Parallel and Distributed
Computing (Euro-Par 2003),
Klagenfurt, Austria, 26th - 29th August 2003. Lecture Notes in Computer
Science 2790, Springer Verlag. pp.789-798.
An extended version
appears as Technical Report METR 2003-21, 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.83-97.
-
Wei-Ngan Chin,
Siau-Cheng Khoo,
Zhenjiang Hu,
Masato Takeichi,
Deriving Parallel Codes via Invariants,
International Static Analysis Symposium
(SAS2000),
University of California, Santa Barbara, 29 June-1 July, 2000.
LNCS 1824, Springer Verlag. pp. 75--94.
-
Zhenjiang Hu,
Masato Takeichi,
Hideya Iwasaki,
Diffusion: Calculating Efficient Parallel Programs,
1999 ACM SIGPLAN Workshop on Partial Evaluation and
Semantics-Based Program Manipulation
(PEPM'99).
San Antonio, Texas, January 22-23, 1999, pp. 85-94.
-
Zhenjiang Hu,
Masato Takeichi,
Calculating an Optimal Homomorphic Algorithm
for Bracket Matching,
Parallel Processing Letters. Vol. 9, No. 3, 1999. pp. 335-345.
-
Wei-Ngan 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,
Wei-Ngan Chin,
Parallelization in Calculational Forms
,
25th ACM SIGPLAN-SIGACT Symposium on
Principles of Programming Languages
(POPL'98),
San Diego, California, USA, January 1998, pp. 316-328. 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.444-461.
-
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.407-418. Springer-Verlag.
-
Zhenjiang Hu,
Hideya Iwasaki,
Masato Takeichi,
Formal Derivation of Parallel Program for 2-Dimensional Maximum Segment Sum Problem,
The Annual European conference on Parallel Processing
(Euro-Par'96),
LIP, ENS Lyon, France, August 1996, LNCS 1123, pp.553-562.
Springer-Verlag.
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.