Monica S. Lam

Computer Science Department
Stanford University

Address:  Room 307, Gates Computer Science Building
                Stanford, CA 94305-3070
Tel:          (650) 725-3714
Fax:         (650) 725-6949
Email:      lam at cs.stanford.edu
WWW:   http://cs.stanford.edu/~lam

Education

Professional Experience

Honors and Awards

Public Service

Invited Talks

  1. Keynote Address, "Thingtalk: a Distributed and Synthesizable Programming Language for Virtual Assistants",
    30th International Workshop on Languages and Compilers for Parallel Computing,
    College Station, Texas, October 2017.
  2. Keynote Address, "Keeping the Internet Open with an Open-Source Virtual Assistant",
    8th IEEE Annual Information Tecnology, Electronics and Mobile Communication Conference,
    Vancouver, B. C., October 2017.
  3. Keynote Address, "A Distributed Open Social Platform for Mobile Devices",
    IEEE/ACM International Conference on Mobile Software Engineering and Systems, Austin TX, May 2016.
  4. Sir Run Run Shaw Distinguished Visiting Scholar Lecture, "Why We Need an Open-Source Virtual Assistant and How We're Building it",
    Chinese University, Hong Kong, March 2017.
  5. Keynote Address, "An Open Social Mobile Ecosystem",
    Mobile Developer Conference China, Beijing, China, October 2015.
  6. Keynote Address, "A Revolution Against Big-Brother Social Networks",
    Microsoft Faculty Summit, Seattle CA, July 2015.
  7. Distinguished Lecture, "Omlet: A Revolution Against Big-Brother Social Networks",
    University of California, Irvine CA, April 2015.
  8. Keynote Address, "Omlet: A Foundation for a Paradigm Shift from Centralized to Distributed Computing",
    International Conference on Computing, Networking and Communication, Anaheim CA, February 2015.
  9. Keynote Address, "Omlet: A Revolution Against Big-Brother Social Networks",
    The 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE), Hong Kong, November 2014.
  10. Invited Talk, "Programmable Open Mobile Internet (POMI) 2020", 5G North American Workshop, Monterey CA, November 2014.
  11. Invited talk, "Programmable Open Mobile Internet", GSMA Chief Strategy Officers Group workshop, Stanford, September 2014.
  12. Keynote Address, "Omlet: Open Messaging for Collaboration in MOOCs",
    The 1st Greater China MOOC Symposium, Jiayuguan, August 2014.
  13. Keynote Adress, "An Open and Distributed Internet of Things and People",
    Tizen Developer Conference, San Francisco, June 2014.
  14. Distinguished Lecture, "How Mobile Can Disrupt Social",
    University of British Columbia, Vancouver, BC, April 2014.
  15. Entrepreneurship Thought Leadership Lecture, "How Mobile Disrupts Social As We Know It ",
    Stanford University, April 2013.
  16. Keynote Address, "How Mobile Disrupts Social As We Know It ",
    International Conference on Intelligent User Interfaces (IUI), Santa Monica, March 2013.
  17. Invited Talk, "Ubiquitous Mobility - What Does the Future Hold?"
    Corning Advancing the Vision 2 Conference, Stanford, October 2012.
  18. Invited Talk, "Musubi: a Distributed Mobile App Platform",
    The 25th International Workshop on Languages and Compilers for Parallel Computing, Tokyo, Japan, September 2012.
  19. Keynote Address, "Musubi: A Decentralized Mobile Social Web",
    Extended Semantic Web Conference (ESWC), Crete, Greece, May 2012.
  20. IAS Distinguished Lecture, "Musubi, an Open Mobile Social Network",
    Hong Kong University of Science and Technology, December 2011.
  21. Invited talk, "A Non-Proprietary Social Internet",
    14th International Workshop on High Performance Transaction Systems (HPTS) Pacific Grove, CA, October 2011
  22. Distinguished Lecture, "Open Social Networking",
    Wayne State University, February 2011.
  23. Keynote Address, "Building a Social Networking Future Without Big Brother",
    IBM Almaden Computer Science Department Annual Workshop, December 2009.
  24. Salton Lecture, "Building a Social Networking Future Without Big Brother",
    Cornell University, October 2009.
  25. Distinguished Lecture, "Personal Cloud Computing",
    University of California at Santa Barbara, January 2009.
  26. Cray Distinguished Lecture, "Desktop Virtualization: From Research to Product",
    University of Minnesota, February 2008.
  27. Keynote Address, "Securing Web Applications Using Static and Dynamic Information Flow Tracking",
    ACM Sigplan 2008 Workshop on Partial Evaluation and Program Manipulation, January 2008.
  28. William Mong Distinguished Lecture, "LivePCs: Consumerizing PCs, from Research to Product",
    Hong Kong University, December 2007.
  29. Distinguished Lecture, "Consumerizing PCs: from Research to Product",
    North Carolina State University, April 2007.
  30. Distinguished Lecture, "Consumerizing PCs: from Research to Product",
    Northwestern University, April 2007.
  31. Invited Talk, "Why Use Datalog to Analyze Program?",
    Twenty Second International Conference on Logic Programming, Seattle, August 17-20, 2006.
  32. Tutorial, "Context-Sensitive Program Analysis as Database Queries",
    The 24th SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, June, 2005.
  33. Bruce Nelson Distinguished Lecture, "Software Design Rules",
    Harvey Mudd College, December 2004.
  34. Keynote Address, "PCs for Mere Mortals",
    The 13th High-Performance Distributed Computing Computing, June 2004.
  35. Keynote Address, "Challenges and New Approaches to Program Analysis",
    International Conference on Parallel Architectures and Compilation Techniques (PACT), October, 2003.
  36. Dertouzos Lecture, "Converting Cycles into Ease-of-Use and Robustness",
    MIT, February 2003.
  37. Distinguished Lecture, "Converting Cycles into Reliability",
    University of Illinois at Urbana-Champaign, December 2002.
  38. Distinguished Lecture, "Converting Cycles into Reliability",
    Santa Clara University, December 2002.
  39. Distinguished Lecture, "The Architecture of a Compute Utility",
    University of California at Davis, May 2001.
  40. Invited Talk, "Compiler Technology for Configurable Processors",
    Enabling Technologies for System-on-Chip Development, Tampere, Finland, November 2000.
  41. Invited Talk, "Infrastructure for Compilers",
    The University of Washington/Microsoft Research Summer Institute on Accelerating the Pace of Software Tools Research: Sharing Infrastructure, Seattle, WA, August 2000.
  42. Keynote Address, "Beyond PCs and Workstations",
    Australasian Computer Science Week '99, Auckland, New Zealand, January 1999.
  43. Invited Talk, "Compiler Technology for Application-Specific Processors/Systems on Chips",
    11th International Symposium on System Synthesis, Hsinchu, Taiwan, December 1998.
  44. Keynote Address, "Maximizing Performance on Parallel Machines",
    Second International Symposium on Parallel Symbolic Computation, Maui, HI, July 1997.
  45. Invited Speaker, 1997 SIAM Conference on Parallel Processing, Minneapolis, MN, March 1997.
  46. Cray Distinguished Lecture, "The Stanford SUIF Parallelizing Compiler", University of Minnesota, March 1997.
  47. Distinguished Lecture, "The Stanford SUIF Parallelizing Compiler", University of Utah, December 1996.
  48. Invited Speaker, "RISC in 1995", IBM T. J. Watson's 50th Anniversary Research Symposium, White Plains, N. Y., November 1995.
  49. Invited Speaker, "The Stanford SUIF Parallelizing Compiler",
    The Triangle Computer Science Distinguished Lecturer Series, Duke University, North Carolina, October 1995.
  50. Invited Speaker, "The Stanford SUIF Parallelizing Compiler",
    1995 International Conference on Supercomputing, Barcelona, Spain, July 1995.
  51. Keynote Address, CONPAR 94/VAPP VI International Conference on Parallel and Vector Processing, Linz, Austria, September 1994.
  52. Invited Speaker, Scalable High Performance Computing Conference, Knoxville, TN, May 1994.
  53. Invited Speaker, POPL '94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Portland, OR, January 1994.
  54. Keynote Address, Workshop on Languages and Compiler Issues for Distributed Memory Machines, IBM CASCON '93, Toronto, Ontario, Canada, October 1993.
  55. Tutorial Speaker, SIGPLAN '93 Conference on Programming Language Design and Implementation, Albuquerque, NM, June 1993.
  56. Panel Speaker, Fourth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, San Diego, CA, May 1993.
  57. Invited Speaker, IFIP Working Conference on Architectures and Compilation Techniques for Fine and Medium Grain Parallelism, Orlando, FL, January 1993.
  58. Invited Speaker, DARPA Fellows Workshop, Minneapolis, MN, November 1992.
  59. Tutorial Speaker, SIGPLAN '92 Conference on Programming Language Design and Implementation, San Francisco, CA, June 1992.
  60. Panel Speaker, IBM CASCON '91, Toronto, Ontario, Canada, October 1991.
  61. Invited Speaker, Argonne National Laboratory Summer Institute in Parallel Computing, Argonne, IL, September 1991.
  62. Panel Speaker, Hot Chips Symposium, Palo Alto, CA, August 1991.
  63. Invited Speaker, IBM Europe Institute on RISC Architectures in Scientific Computing, Austria, July 1991.
  64. Invited Speaker, Microprocessor Forum Annual Meeting, San Francisco, CA, October 1990.
  65. Invited Speaker, Ninth International Conference on Computing Methods in Applied Sciences and Engineering, Paris, France, January 1990, SIAM.

Ph.D. Graduates

  1. Michael Wolf, CS, August 1992.
    Thesis: "Improving Parallelism and Locality in Nested Loops".
    Nominated by Stanford for the ACM Thesis Award.
     
  2. Michael Smith, EE, November 1992.
    Current Position: Dean of Faculty of Arts and Science at Harvard University.
    Thesis: "Support for Speculative Execution in High-Performance Processors".
     
  3. Todd Mowry, EE, March 1994.
    Current Position: Associate Professor of Computer Science at Carnegie Mellon University.
    Thesis: "Tolerating Latency Through Software-Controlled Data Prefetching".
    Arthur Samuel Thesis Award, 1994.
    Nominated by Stanford for the ACM Thesis Award.
     
  4. Martin Rinard, CS, August 1994.
    Current Position: Professor of Electrical Engineering and Computer Science at MIT.
    Thesis: "The Design, Implementation, and Evaluation of Jade, a Portable, Implicitly Parallel Programming Language".
     
  5. Daniel Scales, CS, December 1995.
    Current Position: Member of Technical Staff, VMWare, Inc., Palo Alto.
    Thesis: "Efficient Shared Objects for Distributed Address Space Machines".
     
  6. Saman Amarasinghe, EE, January 1997.
    Current Position: Associate Professor of Electrical Engineering and Computer Science at MIT.
    Thesis: "Parallelizing Compiler Techniques Based on Linear Inequalities".
    Arthur Samuel Thesis Award, 1997.
    Nominated by Stanford for the ACM Thesis Award.
     
  7. Jennifer Anderson, CS, March 1997.
    Current Position: Member of Technical Staff, VMWare, Inc., Palo Alto.
    Thesis: "Automatic Computation and Data Decomposition for Multiprocessors".
     
  8. Robert Wilson, EE, December 1997.
    Current Position: Apple.
    Thesis: "Efficient Context-Sensitive Pointer Analysis for C Programs".
     
  9. Jason Nieh, EE, December 1998.
    Current Position: Associate Professor of Computer Science at Columbia University.
    Thesis: "The Design Implementation and Evaluation of SMART: A Scheduler for Multimedia Applications".
     
  10. Shih-wei Liao, EE, August 2000.
    Current Position: Professor, National Taiwan University
    Thesis: "SUIF Explorer: an Interactive and Interprocedural Parallelizer".
     
  11. Brian Schmidt, CS, August 2000.
    Current Position: Member of Technical Staff, Google.
    Thesis: "Supporting Ubiquitous Computing with Stateless Consoles and Computation Caches".
     
  12. Patrick Sathyanathan, CS, June 2001.
    Thesis: "Interprocedural Data Flow Analysis--Alias Analysis".
     
  13. Amy Lim, CS, September 2001.
    Current Position: Member of Technical Staff, Cadence.
    Thesis: "Improving Parallelism And Data Locality With Affine Partitioning".
     
  14. Brian Murphy, CS, December 2001.
    Current Position: Amazon.
    Thesis: "Frameworks for Precise Program Analysis".
     
  15. Jeffrey Oplinger, EE, September 2004.
    Current Position: Member of Technical Staff, Oracle.
    Thesis: "Enhancing Software Reliability with Speculative Threads".
     
  16. David Heine, EE, December 2004.
    Current Position: Member of Technical Staff, Tensilica/Cadence,
    Thesis: "Static Memory Leak Detection".
     
  17. Constantine Sapuntzakis, CS, December 2006.
    Current Position: Pure Systems
    Thesis: "The Collective: Simplifying the Management and Mobility of Today's Computers"
     
  18. Benjamin Livshits, CS, December 2006.
    Current Position: Researcher, Microsoft Research.
    Thesis: "Improving Software security with Precise Static and Runtime Analysis"
     
  19. John Whaley, CS, March 2007.
    Current Position: Founder, UnifyID.
    Thesis: "Context-Sensitive Pointer Analysis Using Binary Decision Diagrams"
    Arthur Samuel Thesis Award, 2007.
    Nominated by Stanford for the ACM Thesis Award.
     
  20. Michael Martin, CS, December 2008.
    Current Position: Omlet.
    Thesis: "PQL: A Program Query Language"
     
  21. Chris Unkel, EE, December 2009.
    Current Position: DriveScale.
    Thesis: "Stationary Fields in Object-Oriented Programs"
     
  22. Sudheendra Hangal, CS, December 2012.
    Thesis: "Reshaping reminiscence, web browsing and web seach using personal digital archives"

  23. Jiwon Seo, EE, 2015.
    Current Position: UNIST.
    Thesis: "The Design and Impleemntation of Large-Scale Graph Analysis Language".

Released Software Systems

(Available at http://suif.stanford.edu)

Publications

(Most of the papers are available at http://suif.stanford.edu/papers)

Refereed Journal Articles

  1. Seo, J., Guo, S., and Lam, M. S., SociaLite: An Efficient Graph Query Language Based on Datalog IEEE Transactions on Knowledge and Data Engineering, Feb 2015, 99.
  2. Hall, M. W., Amarasinghe, S. P., Murphy, B. R., Liao, S.-W. and Lam, M. S., Interprocedural Parallelization Analysis in SUIF, ACM Transactions on Programming Languages and Systems, July 2005, 27(4), pp. 662-731.
  3. Nieh, J. and Lam, M. S. A SMART scheduler for multimedia applications. ACM Transactions on Computer Systems, May 2003, 21(2), pp. 117-163.
  4. Rinard, M. C. and Lam, M. S. The Design, Implementation and Evaluation of Jade. ACM Transactions on Programming Languages and Systems, May 1998, 20(3), pp. 483-545.
  5. Lim, A. and Lam, M. S., Maximizing Parallelism and Minimizing Synchronization with Affine Partitions. Parallel Computing, May 1998, 24(3-4): pp. 445-476.
  6. Hall, M. W., Anderson, J. M., Amarasinghe, S. P., Murphy, B. R., Liao, S.-W., Bugnion, E. and Lam, M. S., Maximizing Multiprocessor Performance with the SUIF Compiler, IEEE Computer, December 1996, 29, 12. (A special issue on multiprocessors).
  7. Amarasinghe, S.P., Anderson, J. M., Wilson, C. S. , Liao, S.-W., Murphy, B. R., French, R. S., Lam, M. S. and Hall, M. W., Multiprocessors from a Software Perspective, IEEE Micro, June 1996. (A special issue on the Hot Chips VII Conference, Stanford, CA, 13-15 August 1995).
  8. Torrellas, J. and Lam, M. S. and Hennessy, J. L., False Sharing and Spatial Locality in Multiprocessor Caches, IEEE Transactions on Computers, June 1994, 43, 6, pp. 651-663.
  9. Rinard, M. C., Scales, D. J., and Lam, M. S., Jade: A High-Level, Machine-Independent Language for Parallel Programming, IEEE Computer, June 1993, 26, 6, pp. 28 - 38.
  10. Lenoski, D., Laudon, J., Gharachorloo, K., Weber, W. D., Gupta, A., Hennessy, J., Horowitz, M., and Lam, M. The Stanford DASH Multiprocessor. IEEE Computer, March 1992, 25, 3, pp. 63-79.
  11. Wolf, M. E., and Lam, M. S., A Loop Transformation Theory and Algorithm to Maximize Parallelism, IEEE Transactions on Parallel and Distributed Systems, October 1991, 2, 4, pp. 452-471.
  12. Lam, M. Instruction Scheduling for Superscalar Architectures. Annual Review of Computer Science, 4. Annual Reviews, 1990, pp. 173-201.
  13. Annaratone, M., Arnould, E., Gross, T., Kung, H. T., Lam, M., and Menzilcioglu, O. The Warp Computer: Architecture, Implementation and Performance. IEEE Transactions on Computers, December 1987, C-36, 12, pp. 1523-1538.
  14. Kung, H. T., and Lam, M. Wafer-Scale Integration and Two-Level Pipelined Implementations of Systolic Arrays. Journal of Parallel and Distributed Computing, 1984, 1, 1, pp. 32-63.
  15. Lam, M., and Mostow, J. A Transformational Model of VLSI Systolic Design. IEEE Computer, May 1985, 18, 2, pp. 45-52. An earlier version appears in the Proceedings of the 6th International Symposium on Computer Hardware and Description Languages and their Applications, (Pittsburgh, PA, 23-25 May 1983). North Holland, 1983, pp. 65-78.

    16. Refereed Conference Proceedings

  16. Almond: The Architecture of an Open, Crowdsourced, Privacy-Preserving, Programmable Virtual Assistant
    Giovanni Campagna, Rakesh Ramesh, Silei Xu, Michael Fischer, and Monica S. Lam.
    In Proceedings of the 26th World Wide Web Conference,
    Perth, Australia, April 2017.
  17. Historical Research Using Email Archives
    Sudheendra Hangal, Vihari Piratla, Chaiyasit Manovit, Peter Chan, Glynn Edwards, Monica S. Lam
    In CHI-2015 Case Studies: ACM Computer Human Interaction
    Seoul, Korea, April 2015.
  18. Improving Communication in a Dorm with Interactive Public Displays
    Michael H. Fischer and Monica S. Lam
    In Information Technology and City Life Workshop,
    In conjunction with the 18th ACM CSCW, Vancouver, March 2015.
  19. Effect Of Phonemic Cuing On Recall Of Personally Relevant Names Derived From Email
    Allyson C. Rosen, Ankit Mathur, Monica S. Lam, Sudheendra Hangal
    Poster at the 2015 International Neuropsychological Society Annual Meeting
    Denver, CO, February 2015.
  20. SociaLite: An Efficient Graph Query Language Based on Datalog
    Jiwon Seo, Stephen Guo, and Monica S. Lam
    In IEEE Transactions on Knowledge and Data Engineering, 99, February 2015.
  21. Personalized Memory Testing for Names Using Email Archives
    Sudheendra Hangal, Allyson C. Rosen, Ankit Mathur, Monica S. Lam
    In BrainKDD: International Workhop on Data Mining for Brain Science, in conjunction with ACM SIGKDD'14, New York City, August 2014.
  22. Distributed SociaLite: A Datalog-Based Language for Large-Scale Graph Analysis
    Jiwon Seo, Jongsoo Park, Jaeho Shin, and Monica S. Lam
    In Proceedings of 40th International Conference on Very Large Data Bases (VLDB), Hangzhou, China, August 2013.
  23. Dispatch: Secure, Resilient Mobile Reporting,
    Kanak Biscuitwala, Willem Bult, Mathias Lecuyer, T.J. Purtell, Madeline K. B. Ross, Augustin Chaintreau, Chris Haseman, Monica S. Lam, Susan E. McGregor,
    In Proceedings of the ACM SIGCOMM 2013 Conference, Hong Kong, China, August 2013.
  24. Weaving a Safe Web of News,
    Kanak Biscuitwala, Willem Bult, Mathias Lecuyer, T.J. Purtell, Madeline K. B. Ross, Augustin Chaintreau, Chris Haseman, Monica S. Lam, Susan E. McGregor,
    In Proceedings of the First Workshop on Social News on the Web
    Held in conjunction with the 22nd International WWW Conference (WWW2013), Rio de Janeiro, Brazil, May 2013.
  25. Jiwon Seo, Stephen Guo, and Monica S. Lam, SociaLite: Datalog Extensions for Efficient Social Network Analysis In Proceedings of the 29th IEEE International Conference on Data Engineering, Brisbane, Australia, April 2013.
  26. Sudheendra Hangal, Peter Chan, Monica S. Lam, and Jeffrey Heer, Processing Email Archives in Special Collections In Proceedings of the Digital Humanities Conference (DH2012), Hamburg, Germany, July 2012.
  27. Ben Dodson, Ian Vo, T. J. Purtell, Aemon Cannon, and Monica S. Lam, Musubi: Disintermediated Interactive Social Feeds for Mobile Devices In Proceedings of the 21st International WWW Conference (WWW2012) Lyon, France, April 2012. (Finalist of Best Student Paper).
  28. Sudheendra Hangal, Abhinay Nagpal, and Monica S. Lam, Effective Browsing and Serendipitous Discovery with an Experience-Infused Browser, In Proceedings of the 2012 International Conference on Intelligent User Interfaces (IUI) Lisbon, Portugal, February 2012.
  29. Abhinay Nagpal, Sudheendra Hangal, Rifat Reza Joyee, and Monica S. Lam, Friends, Romans, Countrymen: Lend me your URLs, Using Social Chatter to Personalize Web Search. In Proceedings of the ACM Conference on Computer Supported Cooperative Work (CSCW), Seattle WA, February 2012.
  30. Sudheendra Hangal, Monica S. Lam, and Jeffrey Heer, MUSE: Reviving Memories Using Email Archives, In Proceedings of the 24th ACM Symposium on User Interface Software and Technology (UIST), Santa Barbara CA, October 2011.
  31. Ben Dodson and Monica S. Lam, Micro-Interactions with NFC-Enabled Mobile Phones, In Proceedings of the Third International Conference on Mobile Computing, Applications, and Services (MobiCASE) , Los Angeles, CA, October 2011.
  32. T. J. Purtell, Diana MacLean, Seng Keat Teh, Sudheendra Hangal, Monica S. Lam, and Jeffrey Heer, An Algorithm and Analysis of Social Topologies from Email and Photo Tags, In Proceedings of the Fifth ACM Workshop on Social Network Mining and Analysis, Held in conjunction with the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD) San Diego, CA, August 2011.
  33. Michael Fischer, T. J. Purtell, and Monica S. Lam, Email Clients as Decentralized Social Apps in Mr. Privacy, In Proceedings of the 4th Hot Topics in Privacy Enhancing Technologies (HotPETs 2011), Waterloo ON, Canada, July 2011.
  34. Sudheendra Hangal and Monica S. Lam, Sentiment Analysis on Personal Email Archives , In Proceedings of the CHI 2011 Workshop--Personal Informatics & HCI: Design, Theory, & Social Implications. Held in conjunction with CHI 2011. Vancouver B. C., Canada May 2011.
  35. Diana MacLean, Sudheendra Hangal, Seng Keat Teh, Monica S. Lam, and Jeffrey Heer, Groups Without Tears: Mining Social Topologies from Email. In Proceedings of the 2011 International Conference on Intelligent User Interfaces (IUI) Palo Alto, CA, February 2011.
  36. Ben Dodson, Debangsu Sengupta, Dan Boneh, and Monica S. Lam Secure, Consumer-Friendly Web Authentication and Payments with a Phone. In Proceedings of the Second International Conference on Mobile Computing, Applications, and Services (MobiCASE) Santa Clara, CA, October 2010.
  37. Te-Yuan Huang, Kok-Kiong Yap, Ben Dodson, Monica S. Lam, and Nick McKeown, PhoneNet: a Phone-to-Phone Network for Group Communication in a LAN. In Proceedings of the Second ACM SIGCOMM Workshop on Networking, Systems, and Applications on Mobile Handhelds. Held in conjunction with SIGCOMM 2010, New Delhi, India, August 2010.
  38. Kok-Kiong Yap, Te-Yuan Huang, Ben Dodson, Monica S. Lam, and Nick McKeown, Towards Software-Friendly Networks In Proceedings of the 1st ACM Asia-Pacific Workshop on Systems (APSys 2010) Held in conjunction with SIGCOMM 2010, New Delhi, India, August 2010.
  39. Sudheendra Hangal, Diana MacLean, Monica S. Lam, and Jeffrey Heer, All Friends are Not Equal: Using Weights in Social Graphs to Improve Search In Proceedings of the Fourth ACM Workshop on Social Network Mining and Analysis. Held in conjunction with ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD) Washington DC, July 2010.
  40. Sudheendra Hangal and Monica S. Lam, Life-Browsing with a Lifetime of Email. In Proceedings of the CHI 2010 Workshop--Know Thyself: Monitoring and Reflecting on Facets of One's Life. Held in conjunction with CHI 2010, Atlanta GA, April 2010.
  41. Jiwon Seo and Monica S. Lam, InvisiType: Object-Oriented Security Policies. In Proceedings of the 17th Annual Network and Distributed System Security Symposium, (San Diego, 28 February-3 March, 2010).
  42. S. Hangal and M. S. Lam, Automatic Dimension Inference and Checking for Object-Oriented Programs, In Proceedings of the 31st International Conference on Software Engineering, (Vancouver, Canada, 16-24 May, 2009).
  43. Martin, M. C. and Lam, M. S. Automatic Generation of XSS and SQL Injection Attacks with Goal-Directed Model Checking. In Proceedings of the 17th USENIX Security Symposium, (San Jose, CA, 30 July-1 August, 2008), pages 31-43.
  44. Unkel, C. and Lam, M. S. Automatic Inference of Stationary Fields: a Generalization of Java's Final Fields. In Proceedings of the 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, (San Francisco, CA, 10-12 January, 2008). ACM, 2008.
  45. Heine, D. and Lam, M. S. Static Detection of Leaks in Polymorphic Containers. In Proceeding of the 28th International Conference on Software Engineering, (Shanghai, China, 20-28 May, 2006), pages 252-261.
  46. Whaley, J., Avots, D., Carbin, M., Lam, M. S. Using Datalog with Binary Decision Diagrams for Program Analysis. In Proceedings of Programming Languages and Systems: Third Asian Symposium, (APLAS '05), (Tsukuba, Japan, 3-5 November, 2005), pages 97-118.
  47. Livshits, B., Whaley, J. and Lam, M. S. Reflection Analysis for Java. In Proceedings of the Third Asian Symposium on Programming Languages and Systems (APLAS '05), (Tsukuba, Japan, 3-5 November, 2005), pages 139-160.
  48. Martin, M., Livshits, V. B., and Lam, M. S. Finding Application Errors using PQL: a Program Query Language. In Proceedings of the Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA '05), (San Diego, CA, 16-20 October, 2005), pages 365-383.
  49. Livshits, V. B., and Lam, M. S. Finding Security Vulnerabilities in Java Applications Using Static Analysis. In Proceedings of the 14th USENIX Security Symposium, (Baltimore, MD, 3-5 August, 2005), pages 271-286.
  50. Avots, D., Dalton, M., Livshits, V. B., and Lam, M. S. Improving Software Security with A C Pointer Alias Analysis. In Proceedings of the 27th International Conference on Software Engineering, (St. Louis, Missouri, 18-20 May, 2005), pages 332-341.
  51. Chandra, R., Zeldovich, N., Sapuntzakis, C. P., and Lam, M. S. The Collective: A Cache-Based System Management Architecture. In Proceedings of the Second Symposium on Networked Systems Design and Implementation, (Boston, MA, 2-4 May, 2005).
  52. Whaley, J. and Lam, M. S. Cloning-Based Context-Sensitive Pointer Alias Analysis Using Binary Decision Diagrams. In Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation, (Washington, D. C., 9-11 June, 2004), pages 131-144. Best paper award.
  53. Ruwase, O. and Lam, M. S. A Practical Dynamic Buffer Overflow Detector. In Proceedings of the 11th Annual Network and Distributed System Security Symposium, (San Diego, CA, 5-6 February, 2004), pages 159-169.
  54. Sapuntzakis, C., Brumley, D., Chandra, R., Zeldovich, N. and Chow, J., Lam, M. S. and Rosenblum, M. Virtual Appliances for Deploying and Maintaining Software In Proceedings of the 17th Large Installation Systems Administration Conference (LISA '03), (San Diego, CA, 26-31 October, 2003), pages 181-194.
  55. Livshits, V. B. and Lam, M. S., Tracking Pointers with Path and Context Sensitivity for Bug Detection in C Programs, In Proceedings of the 11th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE-11), (Helsinki, Finland, 3-5 September, 2003), pages 317-326.
  56. Heine, D. L. and Lam, M. S., A Practical Flow-Sensitive and Context-Sensitive C and C++ Memory Leak Detector In Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (San Diego, CA, 9-11 June, 2003), pages 168-181.
  57. Sapuntzakis, C. P. and Lam, M. S., Virtual Appliances in the Collective: A Road to Hassle-free Computing In Proceedings of the Ninth Workshop on Hot Topics in Operating Systems (Lihue, HI, 18-21 May, 2003), Pages 55-60.
  58. Sapuntzakis, C. P., Chandra, R., Pfaff, B., Chow, J., Lam, M. S. and Rosenblum, M. Optimizing the Migration of Virtual Computers, In Proceedings of the Fifth Symposium on Operating Systems Design and Implementation (Boston, MA, 9-11 December, 2002), Pages 377-390.
  59. Oplinger, J. and Lam, M. S., Enhancing Software Reliability using Speculative Threads, In Proceedings of the Tenth International Conference on Architectural Support for Programming Languages and Operating Systems, (San Jose, CA, 7-9 October, 2002), Pages 218-228.
  60. Whaley, J. and Lam, M. S., An Efficient Inclusion-Based Points-To Analysis for Strictly-Typed Languages, In Proceedings of the 9th International Static Analysis Symposium, (Madrid, Spain, 17-20 September, 2002), Pages 180-195.
  61. Whaley, J., Martin, M. C. and Lam, M. S., Automatic Extraction of Object-Oriented Component Interfaces, In Proceedings of the International Symposium on Software Testing and Analysis, (Rome, Italy, 22-24 July, 2002), Pages 218-228. ACM SIGSOFT distinguished paper award.
  62. Hangal, S. and Lam, M. S., Tracking Down Software Bugs Using Automatic Anomaly Detection, In Proceedings of the International Conference on Software Engineering, (Orlando, Florida, 22-24 May, 2002), Pages 291-301.
  63. Lim, A. W., Liao, S.-W. and Lam, M. S., Blocking and Array Contraction Across Arbitrarily Nested Loops Using Affine Partitioning, In Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, (Salt Lake City, UT, 18-19 June, 2001). ACM, 2001.
  64. Murphy B. R. and Lam, M. S., Program Analysis with Partial Transfer Functions, In Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, (Boston, MA, 22-23 January, 2000). Pages 94-103. ACM, 2000.
  65. Schmidt, B., Lam, M. S. and Northcutt, J. D., The Interactive Performance of SLIM: a Stateless, Thin-Client Architecture, In Proceedings of the 17th Annual ACM Symposium on Operating Systems Principles, (Kiawah Island Resort, SC, 12-15 December 1999). ACM, 1999.
  66. Oplinger, J. T., Heine, D. L. and Lam, M. S., In Search of Speculative Thread-Level Parallelism, In Proceedings of the International Conference on Parallel Architectures and Compilation Techniques, (Newport Beach, CA, 12-16 October 1999). IEEE, 1999.
  67. Lim, A. W. , Cheong G. I. and Lam, M. S. An Affine Partitioning Algorithm to Maximize Parallelism and Minimize Communication, In Proceedings of the 13th ACM SIGARCH International Conference on Supercomputing, (Rhodes, Greece, 20-25 June, 1999). ACM, 1999.
  68. Liao S.-W, Diwan A., Bosch, R. P. Jr., Ghuloum, A. and Lam, M. S. SUIF Explorer: An Interactive and Interprocedural Parallelizer, In Proceedings of the 7th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, (Atlanta GA, 4-6 May, 1999). ACM, 1999.
  69. Nieh, J. and Lam, M. S., Multimedia on Multiprocessors: Where's the OS When You Really Need it, In Proceedings of the Eighth International Workshop on Network and Operating System Support for Digital Audio and Video,(Cambridge, U.K., July 1998).
  70. Nieh, J. and Lam, M. S., The Design, Implementation and Evaluation of SMART: a Scheduler for Multimedia Applications, In Proceedings of the 16th Annual ACM Symposium on Operating Systems Principles, (St. Malo, France, 6-8 October 1997). ACM, 1997.
  71. Nieh, J. and Lam M. S., SMART UNIX SV4 Support for Multimedia Applications, in Proceedings of IEEE International Conference on Multimedia Computing and Systems, (Ottawa, Ontario, Canada, June 1997). IEEE, 1997.
  72. Lim, A. W. and Lam, M. S., Maximizing Parallelism and Minimizing Synchronization with Affine Transforms, In Proceedings of the 24th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, (Paris, France, 15-17 January 1997). ACM, 1997.
  73. Bugnion, E., Anderson, J. M., Mowry, T. C., Rosenblum, M. and Lam, M. S., Compiler-Directed Page Coloring for Multiprocessors, In Proceedings of the Seventh International Conference on Architectural Support for Programming Languages and Operating Systems, (Boston, MA, 2-4 October 1996).
  74. Scales, D. J. and Lam, M. S., Transparent Fault Tolerance for Parallel Applications on Networks of Workstations, In Proceedings of the USENIX 1996 Technical Conference on UNIX and Advanced Computing Systems, (San Diego, CA, 22-26 January 1996). USENIX, 1996.
  75. Hall, M. W., Amarasinghe, S. P., Murphy, B. R., Liao, S.-W. and Lam, M. S., Detecting Coarse-Grain Parallelism Using an Interprocedural Parallelizing Compiler, In Proceedings of Supercomputing '95, (San Diego, CA, 4-8 December 1995). ACM, 1995.
  76. Anderson, J. M., Amarasinghe, S. P. and Lam, M. S., Data and Computation Transformations for Multiprocessors, In Proceedings of the Fifth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, [Santa Barbara, CA, 19-21 July 1995]. ACM, 1995, pp. 166-178.
  77. Tseng, C. W., Anderson, J. M., Amarasinghe, S. P. and Lam, M. S., Unified Compilation Techniques for Shared and Distributed Address Space Machines, In Proceedings of the 1995 International Conference on Supercomputing, [Barcelona, Spain, 3-7 July 1995]. ACM, 1995, pp. 67-76.
  78. Wilson, R. P. and Lam, M. S., Efficient Context-Sensitive Pointer Analysis for C Programs, In Proceedings of the ACM SIGPLAN '95 Conference on Programming Language Design and Implementation, [La Jolla, CA, 19-21 June 1995]. ACM, 1995, pp. 1-12.
  79. French, R. S., Lam, M. S., Levitt, J. R. and Olukotun, K., A General Method for Compiling Event-Driven Simulations, In Proceedings of the 32nd ACM/IEEE Design Automation Conference, [San Francisco, CA, 12-16 June 1995].
  80. Schmidt, B. K., Northcutt, J. D. and Lam, M. S., A Method and Apparatus for Measuring Media Synchronization, In Proceedings of the 5th International Workshop on Network and Operating System Support for Digital Audio and Video, [Durham, NH, 19-21 April 1995].
  81. Nieh, J. and Lam, M. S., Integrated Processor Scheduling for Multimedia, In Proceedings of the 5th International Workshop on Network and Operating System Support for Digital Audio and Video, [Durham, NH, 19-21 April 1995].
  82. Scales, D. J. and Lam, M. S., The Design and Evaluation of a Shared Object System for Distributed Memory Machines, In Proceedings of the First Symposium on Operating Systems Design and Implementation, (Monterey, CA, 14-17 November 1994).
  83. Anderson, J. M. and Lam, M. S., Global Optimizations for Parallelism and Locality on Scalable Parallel Machines, In Proceedings of the SIGPLAN '93 Conference on Programming Language Design and Implementation, (Albuquerque, NM, 23-25 June 1993). SIGPLAN Notices, June 1993, 28, 6, pp. 112-125.
  84. Amarasinghe, S. P. and Lam, M. S., Communication Optimization and Code Generation for Distributed Memory Machines, In Proceedings of the SIGPLAN '93 Conference on Programming Language Design and Implementation, (Albuquerque, NM, 23-25 June 1993). SIGPLAN Notices, June 1993, 28, 6, pp. 126-138.
  85. Maydan, D. R., Amarasinghe, S. P., and Lam, M. S., Array Data Flow Analysis and its Use in Array Privatization, In Proceedings of the 20th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, (Charleston, SC, 10-13 January 1993). ACM, 1993, pp. 1-14.
  86. Rinard, M. C., Scales, D. J., and Lam, M. S., Heterogeneous Parallel Programming in Jade, In Proceedings of Supercomputing '92, (Minneapolis, MN, 16-20 November 1992). IEEE Computer Society Press, 1992, pp. 245-256.
  87. Smith, M. D., Horowitz, M. A. and Lam, M. S., Efficient Superscalar Performance Through Boosting, In Proceedings of the Fifth International Conference on Architectural Support for Programming Languages and Operating Systems, (Boston, MA, 12-15 October 1992). SIGPLAN Notices, October 1992, 27, 9, pp. 62-75.
  88. Mowry, T. C., Lam, M. S. and Gupta, A., Design and Evaluation of a Compiler Algorithm for Prefetching, In Proceedings of the Fifth International Conference on Architectural Support for Programming Languages and Operating Systems, (Boston, MA, 12-15 October 1992). SIGPLAN Notices, October 1992, 27, 9, pp. 248-261.
  89. Lam, M. S. and Wilson, R. P., Limits of Control Flow on Parallelism, In Proceedings of the 19th Annual ACM Symposium on Computer Architecture, (Gold Coast, Queensland, Australia, 19-21 May 1992). Computer Architecture News, May 1992, 20, 2, pp. 46-57.
  90. Rinard, M. C., and Lam, M. S. Semantic Foundations of Jade, In Proceedings of the 19th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, (Albuquerque NM, 19-22 January 1992). ACM, 1992, pp. 105-118.
  91. Maydan, D. E., Hennessy, J. L., and Lam, M. S. Efficient and Exact Data Dependence Analysis. In Proceedings of the SIGPLAN '91 Conference on Programming Language Design and Implementation, (Toronto Ontario, Canada, 26-28 June 1991). SIGPLAN Notices, June 1991, 26, 6, pp. 1-14.
  92. Wolf, M. E., and Lam, M. S. A Data Locality Optimizing Algorithm. In Proceedings of the SIGPLAN '91 Conference on Programming Language Design and Implementation, (Toronto Ontario, Canada, 26-28 June 1991). SIGPLAN Notices, June 1991, 26, 6, pp. 30-44. ACM Most Influential PLDI Paper Award, 2001. Included in the 20 Years of PLDI 20 Years of PLDI (1979-1999): A Selection, 2004.
  93. Lam, M. S., and Rinard, M. C. Coarse-Grain Parallel Programming in Jade. In Proceedings of the ACM SIGPLAN 3rd Symposium on Principles and Practice of Parallel Programming (PPoPP '91), (Williamsburg, VA, 21-24 April 1991). ACM 1991, pp. 94-105.
  94. Lam, M. S., Rothberg, E. E., and Wolf, M. E. The Cache Performance and Optimizations of Blocked Algorithms. In Proceedings of the 4th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS IV), (Santa Clara, CA, 8-11 April 1991). SIGPLAN Notices, April 1991, 26, 1, pp. 63-74.
  95. Lam, M. S., and Wolf, M. E. Automatic Blocking by a Compiler. In Proceedings of the 5th SIAM Conference on Parallel Processing for Scientific Computing, (Houston, TX, 25-27 March 1991). SIAM, 1992, pp. 537-542.
  96. Torrellas, J., Lam, M., and Hennessy, J. L. Simple Data Placement Optimizations to Reduce Multiprocessor Cache Miss Rates. In Proceedings of the International Conference on Parallel Processing, (Pennsylvania State University, August 1990), Vol. 2, pp. 266-270.
  97. Borkar, S., Cohn, R., Cox, G., Gross, T., Kung, H. T., Lam, M., Levine, M., Moore, B., Moore, W., Peterson, C., Susman, J., Sutton, J., Urbanski, J., and Webb, J. Supporting Systolic and Memory Communication in iWarp. In Proceedings of the 17th Annual International Symposium on Computer Architecture, (Seattle, WA, 28-31 May 1990). Computer Architecture News, May 1990, 18, 2, pp. 70-81.
  98. Smith, M. D., Lam, M. S., and Horowitz, M. A. Boosting Beyond Static Scheduling in a Superscalar Processor. In Proceedings of the 17th Annual International Symposium on Computer Architecture, (Seattle, WA, 28-31 May 1990). Computer Architecture News, May 1990, 18, 2, pp. 344-354.
  99. Lenoski, D., Gharachorloo, K., Laudon, J., Gupta, A., Hennessy, J., Horowitz, M., and Lam, M. Design of Scalable Shared-Memory Multiprocessors: The DASH Approach. In Proceedings of the Compcon Spring '90: 35th IEEE Computer Society International Conference, (San Francisco, CA, 26 February - 2 March 1990). IEEE Computer Society, 1990, pp. 62-67.
  100. Cohn, R., Gross, T., Lam, M., and Tseng, P. S. Architecture and Compiler Tradeoffs for a Long Instruction Word Microprocessor. In Proceedings of the 3rd International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS III), (Boston, MA, 3-6 April 1989). ACM, 1989, pp. 2-14.
  101. Borkar, S., Cohn, R., Cox, G., Gleason, S., Gross, T., Kung, H. T., Lam, M., Moore, B., Peterson, C., Pieper, J., Rankin, L., Tseng, P. S., Sutton, J., Urbanski, J., and Webb, J. iWarp: An Integrated Solution to High-Speed Parallel Computing. In Proceedings of Supercomputing '88, (Orlando, FL, 14-18 November 1988). IEEE Computer Society Press, 1988, pp. 330-339.
  102. Lam, M. Software Pipelining: An Effective Scheduling Technique for VLIW Machines, In Proceedings of the SIGPLAN '88 Conference on Programming Language Design and Implementation, (Atlanta, GA, 22 24 June 1988). SIGPLAN Notices, June 1988, 23, 7, pp. 318-328. Included in the 20 Years of PLDI 20 Years of PLDI (1979-1999): A Selection, 2004.
  103. Lam, M. Compiler Optimizations for Asynchronous Systolic Array Programs. In Proceedings of the 15th Annual ACM Symposium on Principles of Programming Languages, (San Diego, CA, 13-15 January 1988). ACM, 1988, pp. 309-318.
  104. Kung, H. T., and Lam, M. An Approach to Automatic Generation of Linear Systolic Array Programs. In Proceedings of the International Conference and Exhibition on Parallel Processing for Computer Vision and Display, (Leeds, UK, 12-15 January 1988). Addison-Wesley, 1989, pp. 3-15.
  105. Annaratone, M., Arnould, E., Cohn, R., Gross, T., Kung, H. T., Lam, M., Menzilcioglu, O, Sarocky, K., Senko, J., and Webb, J. Warp Architecture: From Prototype to Production. In Proceedings of the 1987 National Computer Conference, (Chicago, IL, 15-18 June 1987). AFIPS Press, 1987, pp. 133-140.
  106. Bruegge, B., Chang, C., Cohn, R., Gross, T., Lam, M., Lieu, P., Noaman, A., and Yam, D. The Warp Programming Environment. In Proceedings of the AFIPS 1987 National Computer Conference, (Chicago, IL, 15-18 June 1987). AFIPS Press, 1987, pp. 141-148.
  107. Bruegge, B., Chang, C., Cohn, R., Gross, T., Lam, M., Lieu, P., Noaman, A., and Yam, D. Programming Warp. In Proceedings of the IEEE Compcon Spring '87, (San Francisco, CA, February 1987). IEEE, 1987, pp. 268-271.
  108. Annaratone, M., Arnould, E., Cohn, R., Gross, T., Lam, M., Lieu, P., Noaman, A., and Yam, D. Architecture of Warp. In Proceedings of the IEEE Compcon Spring '87, (San Francisco, CA, February 1987). IEEE, 1987, pp. 264-267.
  109. Gross, T, and Lam, M. Compilation for a High-Performance Systolic Array. In Proceedings of the SIGPLAN '86 Symposium on Compiler Construction, (Palo Alto, CA, 25-27 June 1986). SIGPLAN Notices, June 1986, 21, 7, pp. 27-38.
  110. Annaratone, M., Arnould, E., Gross, T., Kung, H. T., Lam, M., and Menzilcioglu, O. Warp Architecture and Implementation. In Proceedings of the 13th Annual Symposium on Computer Architecture, (Tokyo, Japan, 2-5 June 1986). Computer Architecture News, June 1986, 14, 2, pp. 346-356.
    111. Included in 25 Years of the International Symposia on Computer Architecture, 1998.
  111. Gross, T., Kung, H. T., Lam, M., and Webb, J. Warp as a Machine for Low-Level Vision. In Proceedings of the IEEE International Conference on Robotics and Automation, (St. Louis, MO, March 1985). IEEE Computer Society Press, 1985, pp. 790-800.
  112. Kung, H. T., and Lam, M. S. Fault-Tolerance and Two-Level Pipelining in VLSI Systolic Arrays. In Proceedings of the Conference on Advanced Research in VLSI, (Cambridge, MA, 23-25 January 1984), Artech, 1984, pp. 74-83.

    113. Refereed Presentations at Meetings and Symposia

  113. Amarasinghe, S.P., Anderson, J. M., French, R. S., Hall, M. W., Lam, M. S., Liao, S.-W., Murphy, B. R., Tseng, C.-W., Wilson, C. S. and Wilson, R. P., Hot Compilers for Future Hot Chips, In Hot Chips VII , (Stanford, CA, 13-15 August 1995).

    114. Non-Refereed Books & Book Chapters

  114. Aho, Alfred V., Lam, Monica S., Sethi, Ravi, and Ullman, Jeffrey D., Compilers: Principles, Techniques and Tools (2nd Ed), 2006.
  115. Lam, M. S., A Retrospective: A Data Locality Optimizing Algorithm
    In 20 Years of PLDI (1979-1999): A Selection, 2004.
  116. Lam, M. S., A Retrospective: Software Pipelining: An Effective Scheduling Technique for VLIW Machines.
    In 20 Years of PLDI (1979-1999): A Selection, 2004.
  117. Lam, M. S., Current Status of the SUIF Research Project, In The Data Parallel Programming Model: Foundations, HPF Realization, and Scientific Applications Ed. G.-R. Perrin and A. Darte, Springer, 1996, pages 65-75. (Lecture notes Computer Science vol. 1132).
  118. Wolf, M. E., and Lam, M. S. An Algorithmic Approach to Compound Loop Transformations. In Advances in Languages and Compilers for Parallel Processing. Ed. A. Nicolau, et al., MIT Press, 1991, pp. 243-259.
  119. Lam, M. A Systolic Array Optimizing Compiler. Kluwer Academic Publishers, 1988.

    120. Non-Refereed Conference Proceedings

  120. Seok-Won Seong, Jiwon Seo, Matthew Nasielski, Debangsu Sengupta, Sudheendra Hangal, Seng Keat Teh, Ruven Chu, Ben Dodson, and Monica S. Lam, PrPl: a Decentralized Social Networking Infrastructure. In Proceedings of the 1st International Workshop on Mobile Cloud Computing & Services: Social Networks and Beyond (Invited Paper). Held in conjunction with Mobisys 2010 San Francisco, June 2010.
  121. Lam, M. S., Martin, M. C., Livshits, V. B., and Whaley J., Securing Web Applications Using Static and Dynamic Information Flow Tracking, In ACM Sigplan 2008 Workshop on Partial Evaluation and Program Manipulation, (Keynote address), January 2008.
  122. Lam, M. S., Whaley J., Livshits, V. B., Martin, M. C., Avots, D., Carbin, M, and Unkel, C. Context-Sensitive Program Analysis as Database Queries. In Proceedings of the 24th SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, (Maryland, Baltimore, June 13-15, 2005) (Invited Tutorial).
  123. Lim, A. W. and Lam, M. S.  Cache Optimizations With Affine Partitioning, In Proceedings of the Tenth SIAM Conference on Parallel Processing for Scientific Computing, (Portsmouth, Virginia, March, 2001).
  124. Sathyanathan, P. W. and Lam, M. S., Context-Sensitive Interprocedural Analysis in the Presence of Dynamic Aliasing, In Proceedings of Ninth Workshop on Languages and Compilers for Parallel Computing, (Santa Clara, CA, 8-10 August 1996).
  125. Hall, M. W., Amarasinghe, S. P., Murphy, B. R., Liao, S.-W. and Lam, M. S., A Fully Interprocedural System for Automatic Parallelization, In Proceedings of Eighth Workshop on Languages and Compilers for Parallel Computing, (Columbus, Ohio, 10-12 August 1995).
  126. Amarasinghe, S.P., Anderson, J. M., Lam, M. S., and Tseng, C.-W., An Overview of the SUIF Compiler for Scalable Parallel Machines. In Proceedings of the Seventh SIAM Conference on Parallel Processing for Scientific Computing, (San Francisco, CA, 15-17 February 1995), (Invited Paper).
  127. Lam, M. S., Locality Optimizations for Parallel Machines, In Proceedings of the Third Joint International Conference on Vector and Parallel Processing, (Linz, Austria, 6-8 September 1994). Springer Verlag, 1994, pp. 17-28, (Keynote Address).
  128. Lim, A. W., and Lam, M. S., Communication-Free Parallelization via Affine Transformations, In Proceedings of Seventh Workshop on Languages and Compilers for Parallel Computing, (Ithaca, NY, 8-10 August 1994).
  129. Amarasinghe, S.P., Anderson, J. M., Lam, M. S. and Lim, A. W., An Overview of a Compiler for Scalable Parallel Machines, In Proceedings of the Sixth Workshop on Languages and Compilers for Parallel Computing, (Portland, OR, 12-14 August 1993). Springer-Verlag, 1994, pp. 253-272.
  130. Maydan, D. E., Amarasinghe, S. and Lam, M. S., Data Dependence and Data-Flow Analysis of Arrays, In Proceedings of the Fifth Workshop on Languages and Compilers for Parallel Computing, (New Haven, CT, 3-5 August 1992.), Springer-Verlag, 1993, pp. 282-292.
  131. Tjiang, S. W. K., Wolf, M. E., Lam, M. S., Pieper, K., Hennessy, J. L. Integrating Scalar Optimizations and Parallelization. In Proceedings of the Fourth Workshop on Languages and Compilers for Parallel Computing, (Santa Clara, CA, 7-9 August 1991), Springer-Verlag, 1992, pp. 137-151.
  132. Scales, D. J., Rinard, M. C., Lam, M. S., Anderson, J. M. Hierarchical Concurrency in Jade. In Proceedings of the Fourth Workshop on Languages and Compilers for Parallel Computing, (Santa Clara, CA, 7-9 August 1991), Springer-Verlag, 1992, pp. 50-64.
  133. Maydan, D. E., Hennessy, J. L. and Lam, M. S., "Effectiveness of Data Dependence Analysis", In Proceedings of the NSF-NCRD Workshop on Advanced Compilation Techniques for Novel Architectures" , (Israel, May 1991).
  134. Lam, M. S., Compiler Optimizations for Superscalar Computers, In Proceedings of the Ninth International Conference on Computing Methods in Applied Sciences and Engineering, (Paris, France, 29 January - 2 February, 1990), SIAM., 1990, pp. 360-377, (Invited Paper).
  135. Tseng, P. S., Lam, M., and Kung, H. T. The Domain Parallel Computation Model on Warp. In Proceedings of the SPIE-The International Society for Optical Engineering, (San Diego, CA, August 1988). Vol. 977, pp. 130-137.

    136. Technical Reports

  136. Schmidt, B. K. and Lam, M. S., A Compiler for Creating Evolutionary Software and Application Experience, Technical Report CSL-TR-99-782, Stanford University, April 1999.
  137. Nieh, J. and Lam, M. S., The Design, Implementation and Evaluation of SMART: a Scheduler for Multimedia Applications, Technical Report CSL-TR-97-721, Stanford University, April 1997.
  138. Oplinger, J., Heine, D., Liao, S.-W., Nayfeh, B. A., Lam, M. S. and Olukotun, K., Software and Hardware for Exploiting Speculative Parallelism with a Multiprocessor, Technical Report CSL-TR-97-715, Stanford University, February 1997.
  139. Wilson, R. P., French, R. S., Wilson, C. S., Amarasinghe, S. P., Anderson, J. M., Tjiang, S. W. K., Liao, S. W., Tseng, C. W., Hall, M. W., Lam, M. S. and Hennessy, J. L., SUIF: A Parallelizing and Optimizing Research Compiler, Technical Report CSL-TR-94-620, Stanford University, May 1994. ACM SIGPLAN Notices, 29 (1994) 31-37.
  140. Scales, D. J. and Lam, M. S., An Efficient Shared Memory System for Distributed Memory Machines, Technical Report CSL-TR-94-627, Stanford University, July 1994.
  141. Lenoski, D., Gharachorloo, K., Laudon, J., Gupta, A., Hennessy, J., Horowitz, M. and Lam, M., Design of the Stanford DASH Multiprocessor. Technical Report CSL-TR-89-403, Stanford University, December 1989.
  142. Lam, M. A Systolic Array Optimizing Compiler. Ph.D. Thesis, Carnegie-Mellon University, May 1987, 138 pages.

Patents

  1. Lam, M. S., Berkheimer, A. D., Sapuntzakis, C. P., Whaley, J. C. Chandra, R. U. V., Chen, M. K., Chun, W., Yue, K. K., Sharing Live Appliances. U. S. Patent 8,266,576
  2. Lam, M. S., Sapuntzakis, C. P., Chandra, R. U. V., Zeldovich, N. B., Rosenblum, M., Chow, J. E., Brumley, D., Cache-based system management architecture with virtual appliances, network repositories, and virtual appliance transceivers. U. S. Patent 7,373,451.
  3. Killian, E. A., Gonzalez, R. E., Dixit, A. B., Lam, M., Lichtenstein, W. D., Rowen, C., Ruttenberg, J. C., Wilson, R. P., Wang, A. R.-R., Maydan, D. E., Automated Processor Generation System for Designing a Configurable Processor and Method for the Same, U. S. Patent 6,760,882.
  4. Killian, E. A., Gonzalez, R. E., Dixit, A. B., Lam, M., Lichtenstein, W. D., Rowen, C., Ruttenberg, J. C., Wilson, R. P., High Data Density RISC Processor, U. S. Patent 6,282,633.