1.
J.H. Reif,
Combinatorial Aspects of Symbolic Program Analysis. Ph.D. Thesis, Harvard
University, July 1977.
2.
J.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.
J.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.
J.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 J.H. Reif and R.E. Tarjan, SIAM Journal on Computing, Vol. 11, No. 1, February 1982, pp. 81-93. [PDF]
5.
J.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 J.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, J.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 J.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 J.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 J.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.
Goldberg, J. Prins,
R. Faith, Z. Li, P. Mills, L. Nyland, D. Palmer, J.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 J.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, P. H.
Mills, L. S. Nyland, J. F. Prins, J.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
J.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
J.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, Proc. Int'l Conf. Parallel
Processing, vol. II, pp 142-149, 1996. August 1996. Published inIEEE
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, P. Mills, J.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, P. H. Mills,
and J.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, January 3-6, 1995.
Published in Parallel Algorithms and Applications, Vol.
8, pp. 35-59, 1996. [PostScript]
[PDF].