Publications

Intel Labs

• B. R. Murphy, V. Menon, F. T. Schneider, T. Shpeisman, A.-R. Adl-Tabatabai.
  Fault-safe code motion for type-safe languages.
  CGO 2008, 144-154. (In postscript.)
• B. Saha, A.-R. Adl-Tabatabai, A. M. Ghuloum, M. Rajagopalan, R. L. Hudson, L. Petersen, V. Menon, B. R. Murphy, T. Shpeisman, E. Sprangle, A. Rohillah, D. Carmean, J. Fang.
  Enabling scalability and performance in a large scale CMP environment.
  EuroSys 2007, 2007, pages 73-86.
• A.-R. Adl-Tabatabai, B. T. Lewis, V. Menon, B. R. Murphy, B. Saha, T. Shpeisman.
  Compiler and runtime support for efficient software transactional memory.
  PLDI 2006,, pages 26-37.
• V. Menon, N. Glew, B. R. Murphy, A. McCreight, T. Shpeisman, A.-R. Adl-Tabatabai, L. Petersen.
  A verifiable SSA program representation for aggressive compiler optimization.
  POPL 2006, pages 397-408.
• A.-R. Adl-Tabatabai, J. Bharadwaj, M. Cierniak, M. Eng, J. Fang, B. T. Lewis, B. R. Murphy, J. M. Stichnoth.
  Improving 64-Bit Java IPF Performance by Compressing Heap References.
  CGO 2004, 2004, pages 100-110.

Stanford University

• M. W. Hall, S. P. Amarasinghe, B. R. Murphy, S.-W. Liao, M. S. Lam.
  Interprocedural parallelization analysis in SUIF.
  ACM Trans. Program. Lang. Syst. 27(4), 662-731 (2005).
• 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)

M.I.T./I.B.M. Almaden Research Center

• 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)