1.
John H. Reif,
Combinatorial Aspects of Symbolic Program Analysis. Ph.D. Thesis, Harvard
University, July 1977.
2.
John H. Reif and H.R.
Lewis, Symbolic Evaluation and the Global Value Graph. 4th ACM Symposium on
Principals of Programming Languages,
Los Angeles, CA, January 1977, pp.
104-118. [PDF]
Published as Efficient Symbolic Analysis of Programs, in Journal of Computer
and System Sciences, Vol. 32, No. 3, June 1986, pp. 280-314. [PDF]
3.
John H. Reif, Code
Motion. Presented at Conference on Theoretical Computer Science, University
of Waterloo, Canada, 1977. Published in SIAM Journal on Computing, Vol. 9, No. 2, May 1980, pp. 375-395. [PDF]
4.
John H. Reif,
Symbolic Program Analysis in Almost Linear Time. 5th Annual ACM Symposium on
Principals of Programming Languages,
Tucson, AZ, January 1978, pp. 76-83. [PDF]
Published as John H. Reif and R.E. Tarjan, SIAM Journal on Computing, Vol. 11, No. 1, February 1982, pp. 81-93. [PDF]
5.
John H. Reif, Data
Flow Analysis of Communicating Processes. 6th Annual ACM Symposium on
Principals of Programming Languages,
San Antonio, TX, January 1979, pp.
257-268. [PDF]
Published as John H. Reif and S. Smolka, International Journal of Parallel
Programming, Vol. 19, No. 1,
February 1990. [PDF]
6.
P.H. Mills, L.S.
Nyland, J.F. Prins, John H. Reif and R.A. Wagner, Prototyping Parallel and
Distributed Programs in Proteus.
3rd IEEE Symposium on Parallel and Distributed Processing, Dallas, TX, pp. 10-19, IEEE, 1991.
[PostScript]
[PDF].
7.
P. Mills, L. Nyland,
J. Prins, and John H. Reif, Prototyping High-Performance Parallel Computing Applications
in Proteus. DARPA Software
Technology Conference, May, 1992.
[PostScript]
[PDF].
8.
L. S. Nyland, J. F. Prins,
and John H. Reif, A Data Parallel Implementation of the Adaptive Fast Multipole
Algorithm. Dartmouth Institute for Advanced Graduate Studies (DAGS '93), Hanover, NH, June, 1993. [PostScript] [PDF].
9.
P. Mills, J. Prins,
and John H. Reif, Rate Control as a Language Construct for Parallel and
Distributed Programming, Proc. IEEE Workshop on Parallel and Distributed Real-Time
Systems (IPPS'93), pp. 164-170, 1993. [PostScript]
[PDF].
10.
A. Goldberg, J.
Prins, R. Faith, Z. Li, pp. Mills, L. Nyland, D. Palmer, John H. Reif, J.
Riely, and S. Westfold, The Proteus System for the Development of Parallel
Applications. Prototyping and Software Development (M.C. Harrison, ed.), Lecture Notes in Computer
Science, pp. 151-190, Springer-Verlag, 1996. [PostScript]
[PDF].
11.
P.H. Mills, L.S.
Nyland, J.F. Prins, and John H. Reif, Software Issues in High-Performance
Computing and a Framework for the Development of HPC Applications,Developing
a Computer Science Agenda for High Performance Computing (U. Vishkin, ed.) pp. 110-117, ACM, 1994. [PostScript] [PDF].
12.
A. Goldberg, pp. H.
Mills, L. S. Nyland, J. F. Prins, John H. Reif, and J. Riely, Specification and
Development of Parallel Algorithms with the Proteus System, DIMACS Series in
Discrete Mathematics and Theoretical Computer Science, AMS Press, Vol. 18, 1994, pp. 383-399. [PostScript] [PDF].
13.
S. Gupta, Z. Li, and
John H. Reif, Generating Efficient Programs for Two-Level Memories from
Tensor-Products. Proceedings of the 7th IASTED/ISMM International Conference
on Parallel and Distributed Computing and Systems Washington DC, October 1995, pp. 510-513. [PostScript] [PDF].
14.
S. Gupta, Z. Li, and
John H. Reif, Synthesizing Efficient Out-of-Core Programs for Block Recursive
Algorithms using Block-Cyclic Data Distributions. Proceedings of the 1996 International
Conference on Parallel Processing,
Bloomingdale, IL, Vol. II, pp. 142-149, (August 1996). Published in IEEE
Transactions on Parallel and Distributed Systems, Vol. 10, No. 3, March 1999, pp. 297-315. [PDF] or [PDF]
15.
L. Nyland, J. Prins,
A. Goldberg, pp. Mills, John H. Reif, and R. Wagner. A Refinement Methodology
for Developing Data-Parallel Applications, Euro-Par'96, Lecture Notes in
Computer Science, Springer-Verlag, pp.145-150, 1996. [PDF]
16.
Z. Li, pp. H. Mills,
and John H. Reif, Models and Resource Metrics for Parallel and Distributed
Computation, Proc. 28th Annual Hawaii International Conference on System
Sciences (HICSS-28 Parallel
Algorithms Software Technology Track), Wailea, Maui, Hawaii, pp. 133-143, January
3-6, 1995. Published in Parallel Algorithms and Applications, Vol. 8, pp. 35-59, 1996. [PostScript]
[PDF].