\begin{thebibliography}{10}

\bibitem{adc97}
{\sc Adcroft, A., Hill, C., and Marshall, J.}
\newblock {Representation of Topography by Shaved Cells in a Height Coordinate
  Ocean Model}.
\newblock {\em Monthly Weather Review\/} (in press 1997).

\bibitem{Alewife}
{\sc Agarwal, A., Bianchini, R., Chaiken, D., Johnson, K., Kranz, D.,
  Kubiatowicz, J., Lim, B.-H., Mackenzie, K., and Yeung, D.}
\newblock {The MIT Alewife Machine: Architecture and Performance}.
\newblock In {\em Proceedings of ISCA\/} (1995).
\newblock ftp://cag.lcs.mit.edu/pub/papers/isca95.ps.Z.

\bibitem{Tera}
{\sc Alverson, R., Callahan, D., Cummings, D., Koblenz, B., Porterfield, A.,
  and Smith, B.}
\newblock The {Tera} computer system.
\newblock In {\em 1990 International Conference on Supercomputing\/} (1990),
  pp.~1--6.
\newblock ftp://www.net-serve.com/tera/arch.ps.gz.

\bibitem{Amarasinghe}
{\sc {Amarasinghe, S.P. and Anderson, J.M. and Lam, M.S. and Tseng, C.W.}}
\newblock {The SUIF Compiler for Scalable Parallel Machines}.
\newblock In {\em {Proceedings of the Seventh SAM Conference on Parallel
  Processing for Scientific Computing}\/} (1995).

\bibitem{boon-loops}
{\sc Ang, B.~S.}
\newblock Efficient implementation of sequential loops in dataflow computation.
\newblock In {\em Proceedings of the Functional Programming Computer
  Architecture\/} (June 1993).
\newblock ftp://csg-ftp.lcs.mit.edu:8001/pub/papers/misc/seq-loop.ps.Z.

\bibitem{arvind-caro-maessen96}
{\sc Arvind, Caro, A., and Maessen, J.-W.}
\newblock {A Multithreaded Substrate and Compilation Model for the Implicitly
  Parallel Language pH}.
\newblock In {\em {Workshop on Languages and Compilers for Parallel
  Computing}\/} (Santa Clara, August 1996).
\newblock ftp://csg-ftp.lcs.mit.edu:8001/pub/papers/csgmemo/memo-382.ps.Z.

\bibitem{Arvind88}
{\sc Arvind, Culler, D.~E., and Maa, G.~K.}
\newblock Assessing the benefits of fine-grain parallelism in dataflow
  programs.
\newblock {\em {International Journal of Supercomputer Applications} 2}, 3
  (Fall 1988).

\bibitem{Arvind88a}
{\sc Arvind, and Ekanadham, K.}
\newblock Future scientific programming on parallel machines.
\newblock In {\em {Proceedings. Supercomputing '88}\/} (1988), pp.~639--86.

\bibitem{templates}
{\sc Barrett, R., Berry, M., Chan, T.~F., Demmel, J., Donato, J., Dongarra, J.,
  Eijkhout, V., Pozo, R., Romine, C., and Van~der Vorst, H.}
\newblock {\em Templates for the Solution of Linear Systems: Building Blocks
  for Iterative Methods}.
\newblock SIAM, Philadelphia, PA, 1994.
\newblock http://www.netlib.org/linalg/html\_templates/ Templates.html.

\bibitem{Cilk95}
{\sc Blumofe, R.~D., Joerg, C.~F., Kuszmaul, B.~C., Leiserson, C.~E., Randall,
  K.~H., and Zhou, Y.}
\newblock {Cilk: An Efficient Multithreaded Runtime System}.
\newblock In {\em {Proceedings of PPoPP '95}\/} (1995).
\newblock http://theory.lcs.mit.edu/~cilk/.

\bibitem{brugge}
{\sc Brugge, R., Jones, H.~L., and Marshall, J.~C.}
\newblock Non-hydrostatic ocean modelling for studies of open-ocean deep
  convection.
\newblock {\em Deep Convection and Deep Water Formation in the Oceans\/}
  (1991), 325--340.

\bibitem{Cann92}
{\sc Cann, D.}
\newblock {Retire Fortran? A debate rekindled}.
\newblock {\em {Communications of the ACM} 35}, 8 (August 1992), 81--89.

\bibitem{frame-manager}
{\sc Chiou, D.}
\newblock {Activation Frame Memory Management for the Monsoon Processor}.
\newblock Master's thesis, MIT EECS, September 1992.
\newblock http://www-csg.lcs.mit.edu:8001/~derek/MS-Thesis.ps.

\bibitem{Culler90}
{\sc Culler, D.~E.}
\newblock {\em {Managing Parallelism and Resources in Scientific Dataflow
  Programs}}.
\newblock PhD thesis, MIT EECS, 545 Technology Square, Cambridge, MA 02139,
  1990.
\newblock LCS TR-446.

\bibitem{tridiagonal-LU-decompo}
{\sc Dahlquist, G., and et. al.}
\newblock {\em Numerical Methods}.
\newblock Prentice Hall, 1974.

\bibitem{Dennis84}
{\sc Dennis, J.~B., Gao, G.~R., and Todd, K.~W.}
\newblock {Modeling the weather with a data flow supercomputer}.
\newblock {\em IEEE Transactions on Computers C-33}, 7 (July 1984), 592--603.

\bibitem{GolL89}
{\sc Golub, G.~H., and Loan, C. F.~V.}
\newblock {\em Matrix Computations}, second~ed.
\newblock North Oxford Academic, 1989.

\bibitem{Java}
{\sc Gosling, J., Joy, B., and Steele, G.}
\newblock {\em {The $\mbox{Java}^{\mbox{TM}}$ Language Specification}}.
\newblock Addison-Wesley, 1996.

\bibitem{Grant95}
{\sc Grant, P., Sharp, J., Webster, M., and Zhang, X.}
\newblock {Experiences of parallelising finite-element problems in a functional
  style}.
\newblock {\em Software -- Practice and Experience 25}, 9 (September 1995),
  947--74.

\bibitem{Gurd:1985:MPD}
{\sc Gurd, J.~R., Kirkham, C.~C., and Watson, I.}
\newblock The {Manchester} prototype dataflow computer.
\newblock {\em Communications of the ACM 28}, 1 (Jan. 1985), 34--52.

\bibitem{Hammes95}
{\sc Hammes, J., Lubeck, O., and Bohm, W.}
\newblock {Comparing Id and Haskell in a Monte Carlo photon transport code}.
\newblock {\em Journal of Functional Programming 5}, 3 (July 1995), 283--316.

\bibitem{id-performance}
{\sc Hicks, J., Chiou, D., Ang, B.~S., and Arvind}.
\newblock {Performance Studies of the Monsoon Dataflow Processor}.
\newblock {\em Journal of Parallel and Distributed Computing 18}, 3 (July
  1993), 273--300.
\newblock \\http://www-csg.lcs.mit.edu:8001/Users/
  derek/Monsoon-Performance.ps.

\bibitem{Hill95}
{\sc Hill, C., and Marshall, J.}
\newblock {Application of a parallel Navier-Stokes model to ocean circulation}.
\newblock In {\em Proceedings of Parallel CFD\/} (Caltech, 1995).

\bibitem{ECMWF}
{\sc Hill, C.~N., and Shaw, A.}
\newblock {Transitioning from MPP to SMP: Experiences with a Navier-Stokes
  Solver}.
\newblock In {\em {Seventh European Centre for Medium-Range Weather Forecasting
  (ECMWF) Workshop on the Use of Parallel Processors in Meteorology, }\/}
  (December 1996).

\bibitem{CM-5}
{\sc Hillis, W.~D., and Tucker, L.~W.}
\newblock The {CM-5} connection machine: {A} scalable supercomputer.
\newblock {\em Communications of the ACM 36}, 11 (Nov. 1993), 31--40.

\bibitem{Hiraki87b}
{\sc Hiraki, K., Nishida, K., Sekiguchi, S., Shimada, T., and Yuba, T.}
\newblock {The SIGMA-1 Dataflow Supercomputer: A Challenge for New Generation
  Supercomputing Systems}.
\newblock {\em Journal of Information Processing 10}, 4 (1987), 219--226.

\bibitem{Hiromoto84}
{\sc Hiromoto, R., Wienke, B.~R., and Brickner, R.~G.}
\newblock {Experiences with the Denelcor HEP}.
\newblock {\em Parallel Computing 1}, 3-4 (December 1984), 197--206.

\bibitem{HPF}
{\sc Koelbel, C.~H., Loveman, D.~B., Schreiber, R.~S., Steele, G.~L., and
  Zosel, M.~E.}
\newblock {\em The High Performance Fortran Handbook}.
\newblock The MIT Press, 1994.

\bibitem{Kranz89}
{\sc Kranz, D., Halstead, R.~H., and Mohr, E.}
\newblock {Mul-T: A High-Performance Parallel Lisp}.
\newblock In {\em Parallel Lisp: Languages and Systems\/} (June 1989), T.~Ito
  and R.~Halstead, Eds., Springer-Verlag, pp.~306--311.

\bibitem{ASCI}
{\sc {Los Alamos National Laboratory}}.
\newblock {ASCI Executive Summary}.
\newblock Web site.
\newblock {\footnotesize\sf http://www-c8.lanl.gov/asci/summary.html}.

\bibitem{Marshall97b}
{\sc Marshall, J., Adcroft, A., Hill, C., and Perelman, L.}
\newblock {A finite-volume, incompressible Navier-Stokes model for studies of
  the ocean on parallel computers}.
\newblock {\em Journal of Geophysical Research 102}, C3 (1997), 5753--5766.

\bibitem{Marshall97a}
{\sc Marshall, J., Hill, C., Perelman, L., and Adcroft, A.}
\newblock {Hydrostatic, quasi-hydrostatic and non-hydrostatic ocean modeling}.
\newblock {\em Journal of Geophysical Research 102}, C3 (1997), 5733--5752.

\bibitem{miller-pearce}
{\sc Miller, M.~J., and Pearce, R.~P.}
\newblock A three-dimensional primitive equation model of cumulonimbus
  convection.
\newblock {\em Quart. J. R. Meteorol. Soc.\/} (1974), 133--154.

\bibitem{id}
{\sc Nikhil, R.~S.}
\newblock {Id Language Reference Manual, Version 90.1}.
\newblock Tech. Rep. CSG Memo 284-2, Laboratory for Computer Science, MIT, July
  1991.

\bibitem{Cid94}
{\sc Nikhil, R.~S.}
\newblock {Cid: A Parallel "Shared-memory" C for Distributed Memory Machines}.
\newblock In {\em {Proceedings of the 17th Annual Workshop on Languages and
  Compilers for Parallel Computing}\/} (Ithaca, NY, August 1994),
  Springer-Verlag.
\newblock http://www.research.digital.com/CRL/ personal/nikhil/cid/home.html.

\bibitem{Oldehoeft86}
{\sc Oldehoeft, R., Cann, D., and Allan, S.}
\newblock {SISAL: initial MIMD performance results}.
\newblock In {\em {Proceedings of the Workshop on Future Directions in Computer
  Architecture and Software}\/} (May 1986), pp.~139--45.

\bibitem{Amoco93}
{\sc Page, R.~L., and Moe, B.}
\newblock {Experience with a large scientific application in a functional
  language}.
\newblock In {\em {Proceedings of FPCA '93}\/} (June 1993), ACM, pp.~3--11.

\bibitem{monsoon}
{\sc Papadopoulos, G.~M.}
\newblock {\em {Implementation of a General-Purpose Dataflow Multiprocessor}}.
\newblock Research Monograph in Parallel and Distributed Computing. MIT Press,
  1992.

\bibitem{Plevyak96}
{\sc Plevyak, J.~B.}
\newblock {\em {Optimization of Object-Oriented and Concurrent Programs}}.
\newblock PhD thesis, University of Illinois, 1988.

\bibitem{EM4a}
{\sc Sakai, S., Yamaguchi, Y., Hiraki, K., Kodama, Y., and Yuba, T.}
\newblock {An Architecture of a Dataflow Single Chip Processor}.
\newblock In {\em Proceedings of ISCA\/} (1989), pp.~46--53.

\bibitem{shaw97}
{\sc Shaw, A.}
\newblock {\em {Compiling an Implicitly Parallel Language for Multithreaded
  Execution on Symmetric Multiprocessors}}.
\newblock PhD thesis, MIT, 1997.
\newblock {\it In preparation}.

\bibitem{Conjugate-Gradient}
{\sc Shewchuk, J.~R.}
\newblock An introduction to the conjugate gradient method without the
  agonizing pain.
\newblock Technical Report CMU//CS-94-125, Carnegie Mellon University, School
  of Computer Science, Mar. 1994.
\newblock \\ftp://reports.adm.cs.cmu.edu/1994/CMU-CS-94-125.ps.

\bibitem{HEP}
{\sc Smith, B.~J.}
\newblock {Architecture and applications of the {HEP} multiprocessor computer}.
\newblock In {\em Real-Time signal processing IV\/} (1981), vol.~298,
  pp.~241--248.

\bibitem{Sohn94}
{\sc Sohn, A., Kong, L., and Sato, M.}
\newblock {Progress report on porting Sisal to the EM-4 multiprocessor}.
\newblock In {\em Parallel Architectures and Compilation Techniques\/} (August
  1994), pp.~351--4.

\bibitem{SurBohm94}
{\sc Sur, S., and Bohm, A.}
\newblock {Analysis of Non-Strict Functional Implementations of the
  Dongarra-Sorensen Eigensolver}.
\newblock In {\em Proceedings of the International Conference on
  Supercomputing\/} (1994), pp.~412--418.

\bibitem{Sur94}
{\sc Sur, S.;~Bohm, W.}
\newblock {Functional, I-structure, and M-structure implementations of NAS
  benchmark FT}.
\newblock In {\em Parallel Architectures and Compilation Techniques\/} (August
  1994), pp.~47--56.

\bibitem{CMF}
{\sc Thinking Machine Corporation}.
\newblock {\em CM Fortran Language Reference Manual, V2.1}, January 1994.

\bibitem{Yeung93}
{\sc Yeung, D., and Agarwal, A.}
\newblock {Experience with Fine-Grain Synchronization in MIMD Machines for
  Preconditioned Conjugate Gradient}.
\newblock In {\em {Proceedings of the Fourth Symposium on Principles and
  Practices of Parallel Programming}\/} ({May} 1993), pp.~{187--197}.
\newblock ftp://cag.lcs.mit.edu/pub/papers/fine-grain.ps.Z.

\end{thebibliography}
