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
Publications of Zhenjiang Hu
[go: Go Back, main page]

Selected Papers by Zhenjiang Hu

In Japanese
The documents distributed here have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
  1. Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi, A Compositional Framework for Developing Parallel Programs on Two Dimensional Arrays, submitted for publication, December 2004.

  2. Kiminori Matsuzaki, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi, Parallelizing Tree Homomorphisms, submitted for publication, December 2004.

  3. Kiminori Matsuzaki, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi, Systematic Derivation of Tree Contraction Algorithms, to appear in Parallel Processing Letters, 2004.

  4. Zhenjiang Hu, Kento Emoto, Shin-Cheng Mu, Masato Takeichi, Bidirectionalizing Tree Transformations, Workshop on New Approaches to Software Construction (WNASC 2004), The University of Tokyo, Komaba, Tokyo, Japan, September 13-14, 2004. pp.3-22.

  5. Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi, An Algebraic Approach to Bidirectional Updating, Second ASIAN Symposium on Programming Languages and Systems (APLAS 2004), Taipei, Taiwan, November 4-6, 2004. LNCS 3302, Springer Verlag. pp.2-18.

  6. 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.

  7. 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.

  8. Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi, A Programmable Editor for Developing Structured Documents based on Bidirectional Transformations, ACM SIGPLAN 2004 Symposium on Partial Evaluation and Program Manipulation (PEPM'04), Verona, Italy, August 24 - 25, 2004. ACM Press. pp.178-189.

  9. Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi, An Injective Language for Reversible Computation, Seventh International Conference on Mathematics of Program Construction (MPC 2004), Stirling, Scotland, UK, 12-14 July, 2004. LNCS 3125, Springer Verlag. pp. 289-313.

  10. Kiminori Matsuzaki, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi, Systematic Derivation of Tree Contraction Algorithms, 4th International Workshop on Constructive Methods for Parallel Programming (CMPP 2004), Stirling, Scotland, UK, 14 July, 2004. pp. 109-124.

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

  12. Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi, Deterministic Second-order Patterns, Information Processing Letters, Vol. 89, No.6, Elsevier, 2004. pp. 309-314.

  13. Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi, List Homomorphism with Accumulation, 4th International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD'03), Lubeck, Germany. October 16-18, 2003. pp. 250-259.

  14. Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano, Iterative-free Program Analysis, 8th ACM SIGPLAN International Conference on Functional Programming, (ICFP 2003), Uppsala, Sweden: 25-29 August 2003. ACM Press. pp.111-123.

  15. Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi, Deterministic Second-order Patterns and Its Application to Program Transformation, International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2003) Uppsala, Sweden: 25-27 August 2003. pp.165-178. Revised version appears in LNCS 3018, 2004. Springer Verlag. pp. 128-142.

  16. Takuma Murakami, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi, An Efficient Staging Algorithm for Binding-Time Analysis, International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2003) Uppsala, Sweden: 25-27 August 2003. Revised version appears in LNCS 3018, 2004. Springer Verlag. pp. 106-107.

  17. 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.

  18. Haiyan Zhao, Zhenjiang Hu, Masato Takeichi, A Compositional Framework for Mining Longest Ranges, 5th International Conference on Discovery Science (DS 2002), Lubeck, Germany, November 24-26, 2002. Lecture Notes in Computer Science 2534, Springer Verlag. pp.406-413.

  19. Zhenjiang Hu, Tomonari Takahashi, Hideya Iwasaki, Masato Takeichi, Segmented Diffusion Theorem (invited paper), 2002 IEEE International Conference on Systems, Man and Cybernetics (SMC 02), Hammamet, Tunisia, October 6-9, 2002. IEEE Press.

  20. Wei-Ngan Chin, Zhenjiang Hu, Towards a Modular Program Derivation via Fusion and Tupling, The First ACM SIGPLAN Conference on Generators and Components (GCSE/SAIG 2002), Pittsburgh, PA, USA, October 6-8, 2002. pp.140-155. Affiliated with (PLI 2002). Lecture Notes in Computer Science 2487, Springer Verlag. pp.140-155.

  21. Zhenjiang Hu, Optimization of Skeletal Parallel Programs (Invited Talk, OHP Slides) 3rd International Workshop on Constructive Methods for Parallel Programming ( CMPP 2002), Schloss Dagstuhl, Germany, 10. July 2002.

  22. 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.

  23. Isao Sasano, Zhenjiang Hu, Masato Takeichi, Generation of Efficient Programs for Maximum Multi-Marking Problems, ACM SIGPLAN Workshop on Semantics, Applications and Implementation of Program Generation ( SAIG'01), Firenze, Italy, September 6th, 2001. Lecture Notes in Computer Science 2196, Springer Verlag. pp.72-91.

  24. Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi, Calculating a New Data Mining Algorithm for Market Basket Analysis, (Revised version of the paper presented at PADL'00.) Journal of Functional and Logic Programming, October 2001.

  25. Raku Shirasawa, Zhenjiang Hu, Hideya Iwasaki, Diffusion after Fusion: Deriving Efficient Parallel Algorithms , The 2001 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2001), Monte Carlo Resort, Las Vegas, June 25 - 28, 2001. CSREA Press.

  26. Tomorani Takahashi, Hideya Iwasaki, Zhenjiang Hu, Efficient Parallel Skeletons for Nested Data Structures , The 2001 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2001), Monte Carlo Resort, Las Vegas, June 25 - 28, 2001. CSREA Press.

  27. Masato Takeichi, Zhenjiang Hu, Calculation Carrying Programs: How to Code Program Transformations (Invited Paper), International Sumposium on Principles of Software Evolution (ISPSE 2000), Kanazawa, Japan, 1-2 November 2000. IEEE Press.

  28. Isao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa, Make it Practical: A Generic Linear Time Algorithm for Solving Maximum Weightsum Problems , The 2000 ACM SIGPLAN International Conference on Functional Programming, (ICFP 2000), Montreal, Canada, 18-20 September 2000. ACM Press. pp. 137-149.

  29. Litong Song, Yoshihiko Futamura, Robert Glueck, Zhenjiang Hu, Loop Quasi-Invariance Code Motion, IEICE Transactions on Information and Systems, Vol. E83-D, No. 10, October 2000. pp.1841-1850.

  30. Litong Song, Yoshihiko Futamura, Robert Glueck, Zhenjiang Hu, A Loop Optimization Technique Based on Quasi-Invariance, The 2000 International Conference on Software: Theory and Practice (IFIP World Computer Congress 2000), Beijing, August 21 - 24, 2000.

  31. Seichi Adachi, Hideya Iwasaki, Zhenjiang Hu, diff: A Powerful Parallel Skeleton, The 2000 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2000), Monte Carlo Resort, Las Vegas, June 26 - 29, 2000. CSREA Press. pp.525--527.

  32. 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.

  33. Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi, Calculating a New Data Mining Algorithm for Market Basket Analysis, Second International Workshop on Practical Aspects of Declarative Languages (PADL'00), Boston, Massachusetts, January 17-18, 2000. LNCS 1753, Springer Verlag. pp. 169-184.

  34. 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.

  35. Zhenjiang Hu , Hideya Iwasaki , Masato Takeichi, Calculating Accumulations, New Generation Computing, Vol. 17, No. 2, 1999, pp.153--173.

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

  37. Akihiko Takano, Zhenjiang Hu, Masato Takeichi, Program Transformation in Calculational Form, ACM Computing Surveys, Vol. 30, No.3, 1998. A special issue for 1998 Symposium on Partial Evaluation (SOPE'98).

  38. 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.

  39. Hideya Iwasaki, Zhenjiang Hu , Masato Takeichi, Towards Manipulation of Mutually Recursive Functions , 3rd Fuji International Symposium on Functional and Logic Programming (FLOPS'98), Kyoto, Japan, April 1998, pp. 61-79. World Scientific.

  40. 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.

  41. Zhenjiang Hu , Masato Takeichi, A Calculational Framework for Parallelization of Sequential Programs, IPSJ International Symposium on Information Systems and Technologies for Network Society, Fukuoka, Japan, September 1997, pp. 102-109. World Scientific.

  42. Zhenjiang Hu , Hideya Iwasaki, Masato Takeichi, Akihiko Takano, Tupling Calculation Eliminates Multiple Data Traversals , 2nd ACM SIGPLAN International Conference on Functional Programming (ICFP'97), Amsterdam, The Netherlands, June 1997, pp.164-175. ACM Press.

  43. 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.

  44. Yoshiyuki Onoue, Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, A Calculational Fusion System HYLO , IFIP TC 2 Working Conference on Algorithmic Languages and Calculi. Le Bischenberg, France, February 1997, pp.76-106. Chapman&Hall.;

  45. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, An Extension of the Acid Rain Theorem, 2nd Fuji International Workshop on Functional and Logic Programming (Fuji'96). Shonan Village, Japan, November 1996, pp.91-105. World Scientific.

  46. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Cheap Tupling Transformation, Technical Report METR 96-08, University of Tokyo. October 1996.
    (Poster abstract appears in PLILP'96, LNCS 1140, pp.471-472, September 1996)

  47. Zhenjiang Hu, A Calculational Approach to Optimizing Functional Programs, Ph.D thesis, Department of Information Engineering, The University of Tokyo. September 1996.
    ( List of Contents)

  48. 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.

  49. 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.

  50. Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi, Deriving Structural Hylomorphisms from Recursive Definitions, ACM SIGPLAN International Conference on Functional Programming (ICFP'96), Philadelphia, May 1996, pp.73-82. ACM Press.

  51. Zhenjiang Hu , Hideya Iwasaki, Promotional Transformation of Monadic Programs, Fuji International Workshop on Functional and Logic Programming, Susono, July 1995, pp.196-210. World Scientific.

  52. Yongqiang Sun, Zhenjiang Hu, X. Yuan, FP-VLSI -- An Automatic Synthesis System, Journal of Software, Vol.5, No.1, January 1994. (in Chinese)

  53. Zhenjiang Hu, Yongqiang Sun, FP Description of Parallel Algorithms and its Decidability of Implementation of Systolic Arrays, Journal of Software, Vol.3, No.3, pp.9-16, July, 1992. (in Chinese)

  54. Xinjie Xia, Yongqiang Sun, Zhenjiang Hu, Automatic Synthesis of Systolic Arrays -- FP Approach, Journal of Software, Vol.3, No.3, pp.1-8, July, 1992. (in Chinese)

  55. Yongqiang Sun, Zhenjiang Hu, Xin Yuan, Algebraic Transformation for the Synthesis of Systolic Arrays, Journal of Shanghai Jiaotong University, 26(6), pp. 10-18, 1992.

  56. Yongqiang Sun and Zhenjiang Hu, Algebraic Approach to the Synthesis of Systolic Arrays, Proceedings of 2nd German-Chinese Electronics Congress, Germany, October, 1991. VDE Verlag.

  57. Zhenjiang Hu and Yongqiang Sun, Functional Approach to the Synthesis of Systolic Arrays, Proceedings of 2nd Int'l Conf. for Young Computer Scientists, Beijing, China, July, 1991.

  58. Zhenjiang Hu and Yongqiang Sun, Functional Approach to the Synthesis of Logic, Proceedings of 4th Int'l Symp. on IC Design, Implementation and Application, Singapore, 1991.

  59. Zhenjiang Hu, Yongqiang Sun, Optimizing Digital System Through Program Transformation, Journal of Software, Vol.1, No.2, pp.1-8, April, 1990. (in Chinese)

  60. Zhenjiang Hu, Xinjie Xia, Yongqiang Sun, Description, Synthesis and Simulation of Digital System by Functional Programming Language, Journal of Computer, Vol.13, No.6, pp.1-8, June, 1990. (in Chinese)

  61. Yincai Bai, Zhenjiang Hu, Jun Yang, Implement FP on Transputers, Microcomputer Systems, No.10, pp.1-16, October, 1990. (in Chinese)

Back to Hu's Home Page

Last modified: July 2002