Theses, Publications (to 1999)

Theses

Projection-Based Program Analysis, Ph.D. thesis, Computing Science Department, Glasgow University, 1994 (thesis.ps,thesis.pdf).

Deforestation: Transformation of Functional Programs to Eliminate Intermediate Trees, M.Sc. thesis, Programming Research Group, Oxford University, 1987. (Unfortunately this no longer exists in electronic form, but Google seems to know about it, and I've found citations to it here (.pdf) and here (.ps).)

Publications

Proceedings of the Workshop on Parallel/High-Performance Object-Oriented Scientific Computing (POOSC'99). F. Bassetti, K. Davis, and B. Mohr (Eds.) Forschungszentrum Jülich Gmbh, Zentralinstitut für Angewandte Mathematik, FZJ-ZAM-IB-9906, June 1999.

Loop Transformations for Performance and Message Latency Hiding in Parallel Object-Oriented Frameworks. F. Bassetti, K. Davis, and D. Quinlan. 1999 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'99), 1999.

TecScript: A Scripting Language Design for Large-scale Object-oriented Component-based Application Frameworks. Kei Davis. Fifth International Conference on Information Systems Analysis and Synthesis (ISAS'99), Orlando, FL, USA, July 31--Aug 4, 1999.

ROSE II: An Optimizing Code Transformer for C++ Object-Oriented Array Class Libraries. Kei Davis and Dan Quinlan. Fifth International Conference on Information Systems Analysis and Synthesis (ISAS'99), Orlando, FL, USA, July 31--Aug 4, 1999.

Exploiting Temporal Locality in Stencil Based Applications. Kei Davis and Federico Bassetti. Fifth International Conference on Information Systems Analysis and Synthesis (ISAS'99), Orlando, FL, USA, July 31--Aug 4, 1999.

A Study on the Impact of Memory Hierarchy on Stencil Operations for Modern Architectures. F. Bassetti, K. Davis, O. Lubeck, F. Petrini. Workshop on Scalable Shared Memory Multiprocessors, International Symposium on Computer Architecture (ISCA'99), Apr 30--May 4, 1999, Atlanta, GA.

Optimization and Performance of Object-Oriented Frameworks. F. Bassetti, K. Davis, and D. Quinlan. SIAM Workshop on Object Oriented Methods for Inter-operable Scientific and Engineering Computing, IBM TJ Watson Research Center, Yorktown Heights, NY, October 21-23, 1998.

Optimizing Transformations of Stencil Operations for Parallel Object-Oriented Scientific Frameworks on Cache-Based Architectures F. Bassetti, K. Davis, and D. Quinlan. International Symposium on Computing in Object-Oriented Parallel Environments (ISCOPE'98), D. Caromel et al., eds. LNCS 1505, Springer-Verlag, 1998.

Temporal Locality Optimizations for Stencil Operations for Parallel Object-Oriented Scientific Frameworks on Cache-Based Architectures. F. Bassetti, K. Davis, and D. Quinlan. International Conference on Parallel and Distributed Computing and Systems (PDCS '98), 1998.

OVERTURE: An Object-Oriented Framework for High Performance Scientific Computing. F. Bassetti, D. Brown, K. Davis, W. Henshaw, and D. Quinlan. High Performance Networking and Computing (SC'98), Orlando, FL, November 1998.

Introduction to Parallel Object-Oriented Scientific Computing. K. Davis. Object-Oriented Technology: ECOOP'98 Workshop Reader LNCS 1543, Springer Berlin/Heidelberg, 1998, ISBN 978-3-540-65460-5, ISSN 0302-9743 (Print) 1611-3349 (Online), DOI 10.1007/3-540-49255.

The Parallel Asynchronous Data Routing Environment PADRE. K. Davis and D. Quinlan. Object-Oriented Technology: ECOOP'98 Workshop Reader LNCS 1543, Springer Berlin/Heidelberg, 1998, ISBN 978-3-540-65460-5, ISSN 0302-9743 (Print) 1611-3349 (Online), DOI 10.1007/3-540-49255.

ROSE: An Optimizing Code Transformer for C++ Object-Oriented Array Class Libraries. K. Davis and D. Quinlan. Object-Oriented Technology: ECOOP'98 Workshop Reader LNCS 1543, Springer Berlin/Heidelberg, 1998, ISBN 978-3-540-65460-5, ISSN 0302-9743 (Print) 1611-3349 (Online), DOI 10.1007/3-540-49255.

``OVERTURE: Object-Oriented Parallel Adaptive Mesh Refinement for Serial and Parallel Environments. D.L. Brown, K. Davis, W.D. Henshaw, D.J. Quinlan, K. Brislawn. Object-Oriented Technology: ECOOP'98 Workshop Reader LNCS 1543, Springer Berlin/Heidelberg, 1998, ISBN 978-3-540-65460-5, ISSN 0302-9743 (Print) 1611-3349 (Online), DOI 10.1007/3-540-49255.

Loop Transformations for Performance and Message Latency Hiding in Parallel Object-Oriented Frameworks. F. Bassetti, K. Davis, and D. Quinlan. 1998 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'98).

Improving Scalability with Loop Transformations and Message Aggregation in Parallel Object-Oriented Frameworks for Scientific Computing. F. Bassetti, K. Davis, and D. Quinlan. Fourth USENIX Conference on Object-Oriented Technologies and Systems (COOTS'98), April 1998, Santa Fe, NM.

C++ Expression Templates Performance Issues in Scientific Computing. F. Bassetti, K. Davis, and D. Quinlan. 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing (IPPS/SPDP '98).

Toward FORTRAN 77 Performance from Object-Oriented C++ Scientific Frameworks. Federico Bassetti, Kei Davis, and Dan Quinlan. High Performance Computing '98--Grand Challenges in Computer Simulation.

C++ Expression Templates Performance Issues in Scientific Computing. Federico Bassetti, Kei Davis, and Dan Quinlan. 11/97. Technical report CRPC-TR97705-S, Center for Research on Parallel Computation (CRPC) at Rice University.

A Comparison of Performance-Enhancing Strategies for Parallel Numerical Object-Oriented Frameworks. Federico Bassetti, Kei Davis, and Dan Quinlan. International Scientific Computing in Object-Oriented Parallel Environments Conference (ISCOPE 97) (ISCOPE'97), W. Ishikawa et al., eds. LNCS 1343, Springer-Verlag, 1997.

MPP Parallel Haskell. K. Davis. Draft Proceedings Implementation of Functional Languages 1996 (IFL '96) LNCS 1268, pp49-54, Bonn/Bad-Godesberg, Germany, LNCS 1268, Springer-Verlag. (ifl96.ps--116K)

HEAT on the DEC AlphaServer 8400. K. Davis. Technical brief for the Web, LA-UR-96-4800, Los Alamos National Laboratory, Los Alamos, NM 87545.

PERs from Projections for Binding-time Analysis. K. Davis. Journal of Lisp and Symbolic Computation (LASC), Vol. 8, No. 3, Kluwer, October 1995 (revised and expanded form of the PEPM '94 paper). (jlsc.ps--150K)

PERs from Projections for Binding-time Analysis. K. Davis. Proceedings of the 1994 ACM Conference on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '94). (no longer exists--see previous)

Projection-based Termination Analysis. K. Davis. Functional Programming: Proceedings of the 1993 Glasgow Workshop, 5-7 July 1993, Ayr, Scotland. Springer Workshops in Computing, Springer-Verlag, 1994. (gfp93.ps--145K)

Higher-order Binding-time Analysis. K. Davis. Proceedings of the 1993 ACM Conference on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '93).

Analysing Functions by Projection-based Backward Abstraction. K. Davis. Functional Programming: Proceedings of the 1992 Glasgow Workshop, 6-8 July 1992, Ayr, Scotland. Springer Workshops in Computing, Springer-Verlag, 1993.

A Note on the Choice of Domains for Projection-Based Program Analysis. K. Davis. Functional Programming: Proceedings of the 1991 Glasgow Workshop, 13-15 August 1991, Isle of Skye, Scotland. P.Wadler et al., eds. Springer Workshops in Computing, Springer-Verlag, 1992.

Strictness Analysis in 4D. K. Davis. Functional Programming, Glasgow 1990: Proceedings of the 1990 Glasgow Workshop on Functional Programming, 13-15 August 1990, Ullapool, Scotland. Simon L. Peyton Jones et al., eds. Springer Workshops in Computing, Springer-Verlag, 1991.

Strictness Analysis: Proved and Improved. K. Davis and P. Wadler. Functional Programming, Glasgow 1989: Proceedings of the 1989 Glasgow Workshop on Functional Programming, 21-23 August 1989, Fraserburgh, Scotland. K. Davis and J. Hughes, eds. Springer Workshops in Computing, Springer-Verlag, 1990.