The SkeTo Project

	High Level Parallel Programming and Parallelization

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.

Selected Papers

Le Dec Tung, Zhenjiang Hu, Towards Systematic Parallelization of Graph Transformations over Pregel , International Journal of Parallel Programming (IJPP), to appear. (also appears in 8th International Symposium on High-level Parallel Programming and Applications (HLPP 2015), Pisa, Italy, July 2-3, 2015)

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 1-5, 2014. PVLDB 7(4), pp.241 - 252, 2013.
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 Generate-Test-Aggregate 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, Nguyen-Van 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 5-6, 2013.

Nguyen-Van 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 5-6, 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 High-Performance 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 (Euro-Par 2013), Aachen, Germany, August 26-30, 2013. pp.446-457.
Kento Emoto, Sebastian Fischer, Zhenjiang Hu, Filter-embedding 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 Calculation-based 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, 8-11, December 2010.
Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kiminori Matsuzaki, Masato Takeichi, Generators-of-generators 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 Divide-and-Conquer, The 36th Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages (POPL 2009), Savannah, Georgia, USA, January 21-23, 2009.
Kiminori Matsuzaki, Zhenjiang Hu, Efficient Implementation of Tree Skeletons on Distributed-Memory Parallel Computers, Scalable Computing: Practice & Experience (SCPE), 2008. To appear.
Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi, Domain-Specific Optimization Strategy for Skeleton Programs, 13th International European Conference on Parallel and Distributed Computing (EuroPar 2007), IRISA, Rennes, France, August 28-31, 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 Divide-and-Conquer Parallel Programs, ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation (PLDI 2007), San Diego, CA, USA, June 10-13, 2007. pp.146-155.
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, Vol.32, No.7-8, Elsevier, 2006. pp.590-603.
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.

High Level Parallel Programming and Parallelization

Selected Papers

Software