Bibliography

1

Mark B. Abbott and Larry L. Peterson.
Increasing network throughput by integrating protocol layers.
IEEE/ACM Transactions on Networking, 1(5):600-610, October 1993.

2

E. Anderson, Z. Bai, C. Bischof, J. Demmel, J. Dongarra, J. Du Croz, A. Greenbaum, S. Hammarling, A. McKenney, S. Ostrouchov, and D. Sorensen.
LAPACK Users' Guide.
SIAM, Philadelphia, second edition, 1995.

3

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.

4

P. Benner and E.S. Quintana-Orti.
Parallel distributed solvers for large stable generalized Lyapunov equations.
In Parallel Processing Letters, 1998 (to appear).

5

A. Berlin.
Partial evaluation applied to numerical computation.
In Proceedings of the 1990 ACM Conference on Lisp and Functional Programming, Nice, France, 1990.

6

A. Berlin and D. Weise.
Compiling scientific programs using partial evaluation.
IEEE Computer, 23(12):23-37, December 1990.

7

David R. Chase, Mark Wegman, and F. Kenneth Zadeck.
Analysis of pointers and structures.
ACM SIGPLAN Notices, 25(6):296-310, June 1990.

8

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.

9

Patrick Cousot and Radhia Cousot.
Abstract interpretation frameworks.
Journal of Logic and Computation, 2(4):511-547, August 1992.

10

Crispin Cowan, Tito Autrey, Charles Krasic, Calton Pu, and Jonathan Walpole.
Fast concurrent dynamic linking for an adaptive operating system.
In Proceedings of the International Conference on Configurable Distributed Systems, May 1996.

11

J.J. Dongarra, I. Duff, J. DuCroz, and S. Hammarling.
A set of level 3 basic linear algebra subprograms.
ACM Transactions on Mathematical Software, 16(1):1-28, 1990.

12

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.

13

B. Grant, M. Mock, M. Philipose, C. Chambers, and S.J. Eggers.
DyC: An expressive annotation-directed dynamic compiler for c.
Theoretical Computer Science, to appear.

14

B. Grant, M. Philipose, M. Mock, C. Chambers, and S.J. Eggers.
An evaluation of staged run-time optimizations in DyC.
In SIGPLAN Conference on Programming Language Design and Implementation, pages 223-233, 1999.

15

William Gropp, Ewing Lusk, Nathan Doss, and Anthony Skjellum.
A high performance, portable implementation of the MPI message passing interface standard.
Parallel Computing, 22(6):789-828, 1996.

16

M. W. Hall, J. M. Anderson, S. P. Amarasinghe, B. R. Murphy, S.-W. Liao, E. Bugnion, and M. S. Lam.
Maximizing multiprocessor performance with the SUIF compiler.
IEEE Computer, December 1996.

17

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.

18

Gregor Kiczales, John Lamping, Anurag Mendhekar, Chris Maeda, Cristina Videira Lopes, Jean-Marc Loingtier, and John Irwin.
Aspect-oriented programming.
In European Conference on Object-Oriented Programming (ECOOP), June 1999.
Finland, Springer-Verlag LNCS 1241.

19

John Lamping, Gregor Kiczales, Luis H. Rodriguez Jr., and Erik Ruf.
An architecture for an open compiler.
In Proceedings of the IMSA'92 Workshop on Reflection and Meta-level Architectures, 1992.

20

Steven S. Muchnick.
Advanced Compiler Design and Implementation.
Morgan Kauffman, San Francico, CA, 1997.

21

Jackie Neider, Tom Davies, and Mason Woo.
Open GL Programming Guide.
Addison-Wesley, 1996.

22

J. N. Neighbors.
Draco: A Method for Engineering Reusable Software Systems.
In T. J. Biggerstaff and C. Richter, editors, Software Reusability, volume I -- Concepts and Models, chapter 12, pages 295-319. ACM press, 1989.

23

Y. Smaragdakis and D. Batory.
Application generators.
Encyclopedia of Electrical and Electronics Engineering, to appear.

24

Yannis Smaragdakis and Don Batory.
DiSTiL: a transformation library for data structures.
In USENIX Conference on Domain-Specific Languages (DSL-97), October 1997.

25

Robert van de Geijn.
Using PLAPACK - Parallel Linear Algebra Package.
The MIT Press, 1997.

26

Mark T. Vandevoorde.
Exploiting Specifications to Improve Program Performance.
PhD thesis, MIT, Department of Electrical Engineering and Computer Science (also MIT/LCS/TR-598), 1994.

27

Eugen N. Volanschi, Charles Consel, and Crispin Cowan.
Declarative specialization of object-oriented programs.
SIGPLAN Notices, Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA-97), 39(1):286-300, October 1997.

28

Robert P. Wilson and Monica S. Lam.
Efficient context-sensitive pointer analysis for C programs.
In Proceedings of the ACM SIGPLAN'95 Conference on Programming Language Design and Implementation (PLDI), pages 1-12, La Jolla, California, 18-21 June 1995.