Optimizing the use of high performance software libraries

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

Volumn 2017, Issue , 2001, Pages 227-243

  Guyer, Samuel Z ^a   Lin, Calvin ^a  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; DATA FLOW ANALYSIS; PATTERN MATCHING; SEMANTICS;

COMPILER OPTIMIZATIONS; DOMAIN-SPECIFIC INFORMATION; HIGH PERFORMANCE COMPUTING; POINTER ANALYSIS; SOFTWARE LIBRARIES;

PROGRAM COMPILERS;

EID: 56349157267     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45574-4_15     Document Type: Conference Paper

References (22)

1. P.V. Artigas, M. Gupta, S.P. Midkiff, and J.E. Moreira. High performance numerical computing in Java: language and compiler issues. In Workshop on Languages and Compilers for Parallel Computing, 1999.
2. G. Baker, J. Gunnels, G. Morrow, B. Riviere, and R. van de Geijn. PLAPACK: high performance through high level abstractions. In Proceedings of the International Conference on Parallel Processing, 1998.
3. A. Berlin and D. Weise. Compiling scientific programs using partial evaluation. IEEE Computer, 23(12):23–37, December 1990.
4. David R. Chase, Mark Wegman, and F. Kenneth Zadeck. Analysis of pointers and structures. ACM SIGPLAN Notices, 25(6):296–310, June 1990.
5. S. Chiba. A metaobject protocol for C++. In Proceedings of the Conference on Object Oriented Programming Systems, Languages and Applications, pages 285–299, October 1995.
6. Jong-Deok Choi, Michael Burke, and Paul Carini. Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects. In ACM Symposium on Principles of Programming Languages, pages 232–245, 1993.
7. Charles Consel and Olivier Danvy. Tutorial notes on partial evaluation. In ACM Symposium on Principles of Programming Languages, pages 493–501, 1993.
8. Patrick Cousot and Radhia Cousot. Abstract interpretation frameworks. Journal of Logic and Computation, 2(4):511–547, August 1992.
9. Maryam Emami, Rakesh Ghiya, and Laurie J. Hendren. Context-sensitive interprocedural points-to analysis in the presence of function pointers. In ACMConference on Programming Language Design and Implementation, pages 242–256, June 20–24, 1994.
10. Dawson R. Engler. Incorporating application semantics and control into compilation. In Proceedings of the Conference on Domain-Specific Languages (DSL-97), pages 103–118, Berkeley, October15–17 1997. USENIX Association.
11. Message Passing Interface Forum. MPI: A message passing interface standard. International Journal of Supercomputing Applications, 8(3/4), 1994.
12. Rakesh Ghiya and Laurie J. Hendren. Connection analysis: A practical interprocedural heap analysis for C. International Journal of Parallel Programming, 24(6):547–578, December 1996.
13. Samuel Z. Guyer and Calvin Lin. An annotation language for optimizing software libraries. In Second Conference on Domain Specific Languages, pages 39–52, October 1999.
14. Samuel Z. Guyer and Calvin Lin. Broadway: A software architecture for scientific computing. In IFIPS Working Group 2.5: Software Architectures for Scientific Computing Applications, (to appear) October 2000.
15. Neil D. Jones and Flemming Nielson. Abstract interpretation: a semantics-based tool for program analysis. In Handbook of Logic in Computer Science. Oxford University Press, 1994. 527–629.
16. Florian Martin. PAG–an efficient program analyzer generator. International Journal on Software Tools for Technology Transfer, 2(1):46–67, 1998.
17. Steven S. Muchnick. Advanced Compiler Design and Implementation. Morgan Kauffman, San Francico, CA, 1997.
18. M. Shapiro and S. Horwitz. The effects of the precision of pointer analysis. In 4th International Static Analysis Symposium, Lecture Notes in Computer Science, Vol. 1302, 1997.
19. Robert van de Geijn. Using PLAPACK–Parallel Linear Algebra Package. The MIT Press, 1997.
20. Daniel Weise and Roger Crew. Programmable syntax macros. In Proceedings of the Conference on Programming Language Design and Implementation, pages 156–165, June 1993.
21. Deborah Whitfield and Mary Lou Soffa. Automatic generation of global optimizers. ACM SIGPLAN Notices, 26(6):120–129, June 1991.
22. Robert P. Wilson. Efficient, Context-sensitive Pointer Analysis for C Programs. PhD thesis, Stanford University, Department of Electrical Engineering, 1997.