PType system: A featherweight parallelizability detector

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3302, Issue , 2004, Pages 197-212

  Xu, Dana N ^a   Khoo, Siau Cheng ^a   Hu, Zhenjiang ^b,c  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

^b UNIVERSITY OF TOKYO   (Japan)

^c JAPAN SCIENCE AND TECHNOLOGY AGENCY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

METADATA; PARALLEL PROGRAMMING;

ACCUMULATING PARAMETERS; DATA PARALLEL PROGRAMS; FUNCTIONAL PROGRAMS; PARALLEL CODE; PARALLEL COMPUTATION; PROGRAM ANALYSIS; SEQUENTIAL PROGRAMS; TYPE INFERENCES;

RECURSIVE FUNCTIONS;

EID: 33749577770     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30477-7_14     Document Type: Article

References (23)

1. S. Anand, W.N. Chin, and S.C. Khoo. Charting patterns on price history. In ACM SIGPLAN International Conference on Functional Programming, pages 134-145. ACM Press, June 2001.
2. S. Berardi. Pruning simply-typed lambda-terms. Journal of Logic and Computation, 6(5):663-681, 1996.
3. W. N. Chin. Synthesizing parallel lemma. In Proc of a JSPS Seminar on Parallel Programming Systems, World Scientific Publishing, pages 201-217, Tokyo, Japan, May 1992.
4. W. N. Chin. Towards an automated tupling strategy. In Proc. Conference on Partial Evaluation and Program Manipulation, pages 119-132, Copenhagen, Denmark, June 1993.
5. W.N. Chin, J. Darlington, and Y. Guo. Parallelizing conditional recurrences. In 2nd Annual EuroPar Conference, Lyon, France, (LNCS 1123) Berlin Heidelberg New York: Springer, August 1996.
6. W.N. Chin, S.C Khoo, Z. Hu, and M. Takeichi. Deriving parallel codes via invariants. In International Static Analysis Symposium (SAS2000), Santa Barbara, California, June 2000. LNCS 1824, Springer Verlag.
7. W.N. Chin, S.C. Khoo, and T.W. Lee. Synchronisation analyses to stop tupling. In European Symposium on Programming (LNCS 1381), pages 75-89, March 1998.
8. W.N. Chin, A. Takano, and Z. Hu. Parallelization via context preservation. In IEEE Intl Conference on Computer Languages, Chicago, U.S.A., May 1998. IEEE CS Press, http://www.comp.nus.edu.sg/∼chinwn/icc198.ps.
9. M. Cole. Parallel programming with list homomorphisms. Parallel Processing Letters, 5(2), 1995.
10. A.L. Fischer and A.M. Ghuloum. Parallelizing complex scans and reductions. In ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 135-136, Orlando, Florida, ACM Press, 1994.
11. A.M. Ghuloum and A.L. Fischer. Flattening and parallelizing irregular applications, recurrent loop nests. In 3rd ACM Principles and Practice of Parallel Programming, pages 58-67, Santa Barbara, California, ACM Press, 1995.
12. Z.N. Grant-Duff and P. Harrison. Parallelism via homomorphism. Parallel Processing Letters, 6(2):279-295, 1996.
13. Z. Hu, H. Iwasaki, and M. Takeichi. Tupling calculation eliminates multiple data traversais. In ACM SIGPLAN International Conference on Functional Programming, pages 164-175, Amsterdam, The Netherlands, June 1997. ACM Press.
14. Z. Hu, M. Takeichi, and W.N. Chin. Parallelization in calculational forms. In 25th Annual ACM Symposium on Principles of Programming Languages, pages 316-328, San Diego, California, January 1998. ACM Press.
15. S. P. Jones, J. Hughes, and et al. Report on the programming language Haskell 98, a non-strict, purely functional language.
16. N. Kobayashi. Type-based useless variable elimination. In ACM Workshop on Partial Evaluation and Semantics-Based Program Manipulation, pages 84-93, Boston, Massachusett, January 2000.
17. F. Nielson, H.R. Nielson, and C. Hankin. Principles of Program Analysis. Springer Verlag, 1999.
18. S.S. Pinter and R.Y. Pinter. Program optimization and parallelization using idioms. In ACM Principles of Programming Languages, pages 79-92, Orlando, Florida, ACM Press, 1991.
19. P. Roe. Parallel Programming using Functional Languages (Report CSC 91/R3). PhD thesis, University of Glasgow, 1991.
20. D. Skillicorn. Architecture-independent parallel computation. IEEE Computer, 23(12):38-50, December 1990.
21. D. Skillicorn. Foundations of parallel programming. In Cambridge International Series on Parallel Computation:6, 1994.
22. H.S. Stone. Parallel tridiagonal equation solvers. ACM Transactions on Mathematical Software, 1(4):287-307, 1975.
23. N. Xu. A type-based approach to parallelization. MSc thesis, School of Computing, National University of Singapore http://www-appn.comp.nus.edu.sg/ ∼esubmit/search/index.html, July 2003.