Implementing Regular Tree Expressions. - Alexander Aiken; Brian R. Murphy (FPCA, 1991)

Static Type Inference in a Dynamically Typed Language. - Alexander Aiken; Brian R. Murphy (POPL, 1991)

Interprocedural Analysis for Parallelization. - Mary W. Hall; Brian R. Murphy; Saman P. Amarasinghe; Shih-Wei Liao; Monica S. Lam (LCPC, 1995)

Interprocedural Parallelization Analysis: A Case Study. - Mary W. Hall; Brian R. Murphy; Saman P. Amarasinghe (PP, 1995)

Detecting Coarse - Grain Parallelism Using an Interprocedural Parallelizing Compiler. - Mary W. Hall; Saman P. Amarasinghe; Brian R. Murphy; Shih-Wei Liao; Monica S. Lam (SC, 1995)

Multiprocessors from a software perspective. - Saman P. Amarasinghe; Jennifer-Ann M. Anderson; Christopher S. Wilson; Shih-Wei Liao; Brian R. Murphy; Robert S. French; Monica S. Lam; Mary W. Hall (IEEE Micro, 1996)

Predicated Array Data-flow Analysis for Run-time Parallelization. - Sungdo Moon; Mary W. Hall; Brian R. Murphy (International Conference on Supercomputing, 1998)

A Case for Combining Compile-Time and Run-Time Parallelization. - Sungdo Moon; Byoungro So; Mary W. Hall; Brian R. Murphy (LCR, 1998)

Maximizing Multiprocessor Performance with the SUIF Compiler. - Mary W. Hall; Jennifer-Ann M. Anderson; Saman P. Amarasinghe; Brian R. Murphy; Shih-Wei Liao; Edouard Bugnion; Monica S. Lam (Digit. Tech. J., 1998)

Program Analysis with Partial Transfer Functions. - Brian R. Murphy; Monica S. Lam (PEPM, 2000)

Frameworks for precise program analysis. - Brian R. Murphy (2001)

Improving 64-Bit Java IPF Performance by Compressing Heap References. - Ali-Reza Adl-Tabatabai; Jay Bharadwaj; Michal Cierniak; Marsha Eng; Jesse Fang; Brian T. Lewis; Brian R. Murphy; James M. Stichnoth (CGO, 2004)

Interprocedural parallelization analysis in SUIF. - Mary W. Hall; Saman P. Amarasinghe; Brian R. Murphy; Shih-Wei Liao; Monica S. Lam (ACM Trans. Program. Lang. Syst., 2005)

Compiler and runtime support for efficient software transactional memory. - Ali-Reza Adl-Tabatabai; Brian T. Lewis; Vijay Menon 002; Brian R. Murphy; Bratin Saha; Tatiana Shpeisman (PLDI, 2006)

A verifiable SSA program representation for aggressive compiler optimization. - Vijay Menon 002; Neal Glew; Brian R. Murphy; Andrew McCreight; Tatiana Shpeisman; Ali-Reza Adl-Tabatabai; Leaf Petersen (POPL, 2006)

Enabling scalability and performance in a large scale CMP environment. - Bratin Saha; Ali-Reza Adl-Tabatabai; Anwar M. Ghuloum; Mohan Rajagopalan; Richard L. Hudson; Leaf Petersen; Vijay Menon 002; Brian R. Murphy; Tatiana Shpeisman; Eric Sprangle; Anwar Rohillah; Doug Carmean; et al. (EuroSys, 2007)

Fault-safe code motion for type-safe languages. - Brian R. Murphy; Vijay Menon 002; Florian T. Schneider; Tatiana Shpeisman; Ali-Reza Adl-Tabatabai (CGO, 2008)