Publications

• M. W. Hall, S. P. Amarasinghe, B. R. Murphy, S. Liao, M. S. Lam.
  Interprocedural Parallelization Analysis in SUIF.
  ACM Transactions of Programming Language and Systems, to appear.

• B. R. Murphy
  Frameworks for Precise Program Analysis.
  Ph.D. Dissertation. Stanford University, December, 2001. (text abstract)

• B. R. Murphy, M. S. Lam.
  Program analysis with partial transfer functions.
  Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation, January, 1999, pages 94-103.

• J. Anderson, M. Hall, S. Amarasinghe, B. Murphy, S. Liao, E. Bugnion, M. Lam.
  Achieving High Performance on Digital AlphaServers with the SUIF Compiler
  Digital Technical Journal, Vol. 10 No. 1, 1998, pages 71-80.

• S. Moon, M. W. Hall, B. R. Murphy.
  Predicated Array Data-Flow Analysis for Run-Time Parallelization
  International Conference on Supercomputing, July, 1998.

• S. Moon, M. W. Hall, B. R. Murphy.
  A case for combining compile-time and run-time parallelization
  Proceedings of Fourth Workshop on Languages, Compilers, and Run-time Systems for Scalable Computers, May, 1998.

• B. R. Murphy, M. W. Hall, M. S. Lam.
  Predicated Data-Flow Analysis with Applications
  unpublished draft, December, 1996.

• M. W. Hall, J. M. Anderson, S. P. Amarasinghe, B. R. Murphy, S. Liao, E. Bugnion, M. Lam.
  Maximizing Multiprocessor Performance with the SUIF Compiler
  IEEE Computer, December, 1996 (special issue on shared-memory multiprocessors). (gzipped).

• S. P. Amarasinghe, J. M. Anderson, C. S. Wilson, S.-W. Liao, B. R. Murphy,
  R. S. French, M. W. Hall, and M. S. Lam,
  Multiprocessors from a Software Perspective
  IEEE Micro, 16(3), June 1996. (gzipped.)

• M. W. Hall, S. P. Amarasinghe, B. R. Murphy, S. Liao, and M. S. Lam,
  Detecting Coarse-Grain Parallelism Using an Interprocedural Parallelizing Compiler
  Proceedings of Supercomputing '95, December, 1995.
  (Click here for postscript, here for gzipped postscript).

• M. W. Hall, B. R. Murphy, S. P. Amarasinghe, S. Liao, and M. S. Lam,
  Interprocedural Analysis for Parallelization
  8th International Workshop on Languages and Compilers for Parallel Computing
  (LCPC95). August, 1995. (Click here for postscript, here for gzipped postscript.)

• M. W. Hall, B. R. Murphy, and S. P. Amarasinghe
  Interprocedural Parallelization Analysis: A Case Study
  Proceedings of the Seventh SIAM Conference on Parallel Processing for Scientific Computing, February, 1995. (gzipped)

• B. R. Murphy, A Type Inference System for FL. Master's thesis, MIT, 1990. (gzipped)

• A. Aiken and B. R. Murphy.
  Implementing Regular Tree Expressions.
  in 5th ACM Symposium on Functional Programming Languages and Computer Architectures,
  pages 427-447, August, 1991. (gzipped)

• A. Aiken and B. R. Murphy.
  Static Type Inference in a Dynamically Typed Language.
  in Conference Record of the Eighteenth ACM Symposium on Principles of Programming Languages,
  pages 279-290, Orlando, FL, 1991. (gzipped)