Bio


Lam is the Faculty Director of the Stanford MobiSocial Laboratory, whose goal is to create disruptive mobile and social computing technology that serves consumers' interests and benefits the economy in the long term. Our current focus is to let everyone interact socially with each other, without having to join the same proprietary social network. The success of the project lies in making it FUN for the users and EASY for software developers. Released software prototypes and further information can be found on http://mobisocial.stanford.edu.

Academic Appointments


Honors & Awards


  • Programming Language Design and Implementation Best Paper Award, ACM (2013)
  • Young Investigator Award, National Science Foundation (2008)

Professional Education


  • PhD, Carnegie Mellon (1987)

2015-16 Courses


Stanford Advisees


All Publications


  • SociaLite: Datalog Extensions for Efficient Social Network Analysis Seo, J., Guo, S., Lam, Monica, S. 2013
  • Processing Email Archives in Special Collections Hangal, S., Chan, P., Lam, Monica, S., Heer, J. 2012
  • Effective Browsing and Serendipitous Discovery with an Experience-Infused Browser Hangal, S., Nagpal, A., Lam, Monica, S. 2012
  • Musubi: Disintermediated Interactive Social Feeds for Mobile Devices Dodson, B., Vo, I., Purtell, T., J., Cannon, A., Lam, Monica, S. 2012
  • Friends, Romans, Countrymen: Lend me your URLs, Using Social Chatter to Personalize Web Search. Nagpal, A., Hangal, S., Joyee, R. R., Lam, Monica, S. 2012
  • An Algorithm and Analysis of Social Topologies from Email and Photo Tags Purtell, T., J., MacLean, D., Teh, S. K., Hangal, S., Lam, Monica, S., Heer, J. 2011
  • Sentiment Analysis on Personal Email Archives Hangal, S., Lam, Monica, S. 2011
  • Micro-Interactions with NFC-Enabled Mobile Phones Dodson, B., Lam, Monica, S. 2011
  • Groups Without Tears: Mining Social Topologies from Email. MacLean, D., Hangal, S., Teh, S. K., Lam, Monica, S., Heer, J. 2011
  • Email Clients as Decentralized Social Apps in Mr. Privacy Fischer, M., Purtell, T., J., Lam, Monica, S. 2011
  • MUSE: Reviving Memories Using Email Archives Hangal, S., Lam, Monica, S., Heer, J. 2011
  • Secure, Consumer-Friendly Web Authentication and Payments with a Phone. Dodson, B., Sengupta, D., Boneh, D., Lam, Monica, S. 2010
  • PrPl: a Decentralized Social Networking Infrastructure. Seong, S., Jiwon, S., Nasielski, M., Sengupta, D., Hangal, S., Teh, S. K., Lam, M. S. 2010
  • InvisiType: Object-Oriented Security Policies. Seo, J., Lam, Monica, S. 2010
  • Life-Browsing with a Lifetime of Email. Hangal, S., Lam, Monica, S. 2010
  • All Friends are Not Equal: Using Weights in Social Graphs to Improve Search Hangal, S., MacLean, D., Lam, Monica, S., Heer, J. 2010
  • Towards Software-Friendly Networks Yap, K., Huang, T., Dodson, B., Lam, Monica, S., McKeown, N. 2010
  • PhoneNet: a Phone-to-Phone Network for Group Communication in a LAN. Huang, T., Yap, K., Dodson, B., Lam, Monica, S., McKeown, N. 2010
  • Automatic Dimension Inference and Checking for Object-Oriented Programs 2009 31ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS Hangal, S., Lam, M. S. 2009: 155-165
  • Automatic inference of stationary fields: a generalization of java's final fields ACM SIGPLAN NOTICES Unkel, C., Lam, M. S. 2008; 43 (1): 183-195
  • Automatic Generation of XSS and SQL Injection Attacks with Goal-Directed Model Checking. Martin, M., C., Lam, M., S. 2008
  • Securing Web Applications Using Static and Dynamic Information Flow Tracking Lam, M., S., Martin, M., C., Livshits, V., B., Whaley, J. 2008
  • Securing Web Applications with Static and Dynamic Information Flow Tracking PEPM'08: PROCEEDINGS OF THE 2008 ACM SIGPLAN SYMPOSIUM ON PARTIAL EVALUATION AND SEMANTICS-BASED PROGRAM MANIPULATION Lam, M. S., Martin, M., Livshits, B., Whaley, J. 2008: 3-12
  • Compilers: Principles, Techniques and Tools. Aho, Alfred, V., Lam, Monica, S., Sethi, R., Ullman, Jeffrey, D. 2006
  • Static Detection of Leaks in Polymorphic Containers. Heine, D., Lam, M., S. 2006
  • Interprocedural parallelization analysis in SUIF ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS Hall, M. W., Amarasinghe, S. P., Murphy, B. R., Liao, S. W., Lam, M. S. 2005; 27 (4): 662-731
  • Using datalog with binary decision diagrams for program analysis PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS Whaley, J., Avots, D., Carbin, M., Lam, M. S. 2005; 3780: 97-118
  • Context-Sensitive Program Analysis as Database Queries. Lam, M., S., Whaley, J., Livshits, V., B., Martin, M., C., Avots, D., Carbin, M. 2005
  • Improving Software Security with A C Pointer Alias Analysis. Avots, D., Dalton, M., Livshits, V., B., Lam, M., S. 2005
  • Finding Security Vulnerabilities in Java Applications Using Static Analysis. Livshits, V., B., Lam, M., S. 2005
  • Finding Application Errors using PQL: a Program Query Language. Martin, M., Livshits, V., B., Lam, M., S. 2005
  • Improving software security with a C pointer analysis ICSE 05: 27TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS Avots, D., Dalton, M., Livshits, V. B., Lam, M. S. 2005: 332-341
  • Finding security vulnerabilities in Java applications with static analysis USENIX ASSOCIATION PROCEEDINGS OF THE 14TH USENIX SECURITY SYMPOSIUM Livshits, V. B., Lam, M. S. 2005: 271-286
  • Reflection analysis for Java PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS Livshits, B., Whaley, J., Lam, M. S. 2005; 3780: 139-160
  • The collective: A cache-based system management architecture USENIX ASSOCIATION PROCEEDINGS OF THE 2ND SYMPOSIUM ON NETWORKED SYSTEMS DESIGN & IMPLEMENTATION (NSDI '05) Chandra, R., Zeldovich, N., Sapuntzakis, C., Lam, M. S. 2005: 259-272
  • Cloning-based context-sensitive pointer alias analysis using binary decision diagrams Whaley, J., Lam, M. S. ASSOC COMPUTING MACHINERY. 2004: 131-144
  • A data locality optimizing algorithm ACM SIGPLAN NOTICES Lam, M. S. 2004; 39 (4): 442-444
  • Software pipelining: An effective scheduling technique for VLIW machines ACM SIGPLAN NOTICES Lam, M. S. 2004; 39 (4): 244-245
  • A Retrospective: Software Pipelining: An Effective Scheduling Technique for VLIW Machines. In 20 Years of PLDI (1979-1999): A Selection. Lam, M., S. 2004: 1
  • A Practical Dynamic Buffer Overflow Detector. Ruwase, O., Lam, M., S. 2004
  • A Retrospective: A Data Locality Optimizing Algorithm In 20 Years of PLDI (1979-1999): A Selection. Lam, M., S. 2004: 1
  • A practical flow-sensitive and context-sensitive C and C++ memory leak detector Heine, D. L., Lam, M. S. ASSOC COMPUTING MACHINERY. 2003: 168-181
  • A SMART scheduler for multimedia applications ACM TRANSACTIONS ON COMPUTER SYSTEMS Nieh, J., Lam, M. S. 2003; 21 (2): 117-163
  • Virtual appliances for deploying and maintaining software USENIX ASSOCIATION PROCEEDINGS OF THE SEVENTEENTH LARGE INSTALLATION SYSTEMS ADMINISTRATION CONFERENCE Sapuntzakis, C., Brumley, D., Chandra, R., Zeldovich, N., Chow, J., Lam, M. S., Rosenblum, M. 2003: 181-194
  • Virtual Appliances in the Collective: A Road to Hassle-free Computing Sapuntzakis, C., P., Lam, M., S. 2003
  • Tracking Pointers with Path and Context Sensitivity for Bug Detection in C Programs Livshits, V., B., Lam, M., S. 2003
  • Enhancing software reliability with speculative threads ACM SIGPLAN NOTICES Oplinger, J., Lam, M. S. 2002; 37 (10): 184-196
  • An efficient inclusion-based points-to analysis for strictly-typed languages STATIC ANALYSIS, PROCEEDINGS Whaley, J., Lam, M. S. 2002; 2477: 180-195
  • Tracking Down Software Bugs Using Automatic Anomaly Detection Hangal, S., Lam, M., S. 2002
  • Automatic Extraction of Object-Oriented Component Interfaces Whaley, J., Martin, M., C., Lam, M., S. 2002
  • Enhancing Software Reliability using Speculative Threads Oplinger, J., Lam, M., S. 2002
  • Optimizing the migration of virtual computers USENIX ASSOCIATION PROCEEDINGS OF THE FIFTH SYMPOSIUM ON OPERATING SYSTEMS DESIGN AND IMPLEMENTATION Sapuntzakis, C. P., Chandra, R., Pfaff, B., Chow, J., Lam, M. S., Rosenblum, M. 2002: 377-390
  • Blocking and array contraction across arbitrarily nested loops using affine partitioning Lim, A. W., Liao, S. W., Lam, M. S. ASSOC COMPUTING MACHINERY. 2001: 103-112
  • Cache Optimizations With Affine Partitioning Lim, A., W., Lam, M., S. 2001
  • Program analysis with partial transfer functions ACM SIGPLAN NOTICES Murphy, B. R., Lam, M. S. 1999; 34 (11): 94-103
  • SUIF explorer: An interactive and interprocedural parallelizer ACM SIGPLAN NOTICES Liao, S. W., Diwan, A., Bosch, R. P., Ghuloum, A., Lam, M. S. 1999; 34 (8): 37-48
  • A Compiler for Creating Evolutionary Software and Application Experience Technical Report CSL-TR-99-782, Stanford University Schmidt, B., K., Lam, M., S. 1999
  • An Affine Partitioning Algorithm to Maximize Parallelism and Minimize Communication Lim, A., W., Cheong, G., I., Lam, M., S. 1999
  • In Search of Speculative Thread-Level Parallelism Oplinger, J., T., Heine, D., L., Lam, M., S. 1999
  • The Interactive Performance of SLIM: a Stateless, Thin-Client Architecture Schmidt, B., Lam, M., S., Northcutt, J., D. 1999
  • Maximizing parallelism and minimizing synchronization with affine partitions Lim, A. W., Lam, M. S. ELSEVIER SCIENCE BV. 1998: 445-475
  • The design, implementation, and evaluation of Jade ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS Rinard, M. C., Lam, M. S. 1998; 20 (3): 483-545
  • The Design, Implementation and Evaluation of Jade ACM Transactions on Programming Languages and Systems Rinard, M., C., Lam, M., S. 1998; 3 (20): 483-545
  • The Domain Parallel Computation Model on Warp. Tseng, P., S., Lam, M., Kung, H., T. 1998
  • Multimedia on Multiprocessors: Where's the OS When You Really Need it Nieh, J., Lam, M., S. 1998
  • SMART UNIX SVR4 support for multimedia applications Nieh, J., Lam, M. S. IEEE COMPUTER SOC. 1997: 404-414
  • SMART UNIX SV4 Support for Multimedia Applications Nieh, J., Lam, M., S. 1997
  • Maximizing Parallelism and Minimizing Synchronization with Affine Transforms Lim, A., W., Lam, M., S. 1997
  • The Design, Implementation and Evaluation of SMART: a Scheduler for Multimedia Applications Nieh, J., Lam, M., S. 1997
  • Software and Hardware for Exploiting Speculative Parallelism with a Multiprocessor Technical Report CSL-TR-97-715, Stanford University Oplinger, J., Heine, D., Liao, S., W., Nayfeh, B., A., Lam, M., S., Olukotun, K. 1997
  • The Design, Implementation and Evaluation of SMART: a Scheduler for Multimedia Applications Technical Report CSL-TR-97-721, Stanford University Nieh, J., Lam, M., S. 1997
  • Maximizing multiprocessor performance with the SUIF compiler COMPUTER Hall, M. W., Anderson, J. M., AMARASINGHE, S. P., Murphy, B. R., Liao, S. W., Bugnion, E., Lam, M. S. 1996; 29 (12): 84-?
  • Compiler-directed page coloring for multiprocessors Bugnion, E., Anderson, J. M., Mowry, T. C., Rosenblum, M., Lam, M. S. ASSOC COMPUTING MACHINERY. 1996: 244-255
  • Multiprocessors from a software perspective IEEE MICRO AMARASINGHE, S. P., Anderson, J. M., Wilson, C. S., Liao, S. W., Murphy, B. R., French, R. S., Lam, M. S., Hall, M. W. 1996; 16 (3): 52-61
  • Transparent fault tolerance for parallel applications on networks of workstations Scales, D. J., Lam, M. S. USENIX ASSOC. 1996: 329-341
  • Context-Sensitive Interprocedural Analysis in the Presence of Dynamic Aliasing Sathyanathan, P., W., Lam, M., S. 1996
  • Current Status of the SUIF Research Project The Data Parallel Programming Model: Foundations, HPF Realization, and Scientific Applications Lam, M., S. edited by Perrin, G., R., Darte, A. Springer. 1996: 65-75
  • DATA AND COMPUTATION TRANSFORMATIONS FOR MULTIPROCESSORS Anderson, J. M., AMARASINGHE, S. P., Lam, M. S. ASSOC COMPUTING MACHINERY. 1995: 166-178
  • EFFICIENT CONTEXT-SENSITIVE POINTER ANALYSIS FOR C PROGRAMS Wilson, R. P., Lam, M. S. ASSOC COMPUTING MACHINERY. 1995: 1-12
  • EFFECTIVENESS OF DATA DEPENDENCE ANALYSIS INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING Maydan, D. E., HENNESSY, J. L., Lam, M. S. 1995; 23 (1): 63-81
  • A general method for compiling event driven simulations French, R. S., Lam, M. S., LEVITT, J. R., Olukotun, K. ASSOC COMPUTING MACHINERY. 1995: 151-156
  • Hot Compilers for Future Hot Chips In Hot Chips VII Amarasinghe, S., P., Anderson, J., M., French, R., S., Hall, M., W., Lam, M., S., Liao, S.-W. 1995
  • Integrated Processor Scheduling for Multimedia Nieh, J., Lam, M., S. 1995
  • A Method and Apparatus for Measuring Media Synchronization Schmidt, B., K., Northcutt, J., D., Lam, M., S. 1995
  • A General Method for Compiling Event-Driven Simulations French, R., S., Lam, M., S., Levitt, J., R., Olukotun, K. 1995
  • A Fully Interprocedural System for Automatic Parallelization Hall, M., W., Amarasinghe, S., P., Murphy, B., R., Liao, S., W., Lam, M., S. 1995
  • Unified Compilation Techniques for Shared and Distributed Address Space Machines Tseng, C., W., Anderson, J., M., Amarasinghe, S., P., Lam, M., S. 1995
  • Detecting Coarse-Grain Parallelism Using an Interprocedural Parallelizing Compiler Hall, M., W., Amarasinghe, S., P., Murphy, B., R., Liao, S., W., Lam, M., S. 1995
  • FALSE SHARING AND SPATIAL LOCALITY IN MULTIPROCESSOR CACHES IEEE TRANSACTIONS ON COMPUTERS Torrellas, J., Lam, M. S., HENNESSY, J. L. 1994; 43 (6): 651-663
  • THE DESIGN AND EVALUATION OF A SHARED OBJECT SYSTEM FOR DISTRIBUTED MEMORY MACHINES Scales, D. J., Lam, M. S. USENIX ASSOC. 1994: 101-114
  • An Overview of a Compiler for Scalable Parallel Machines Amarasinghe, S., P., Anderson, J., M., Lam, M., S., Lim, A., W. 1994
  • Communication-Free Parallelization via Affine Transformations Lim, A., W., Lam, M., S. 1994
  • Locality Optimizations for Parallel Machines Lam, M., S. 1994
  • An Efficient Shared Memory System for Distributed Memory Machines Technical Report CSL-TR-94-627, Stanford University Scales, D., J., Lam, M., S. 1994
  • SUIF: A Parallelizing and Optimizing Research Compiler Technical Report CSL-TR-94-620, Stanford University, May 1994. ACM SIGPLAN Notices Wilson, R., P., French, R., S., Wilson, C., S., Amarasinghe, S., P., Anderson, J., M., Tjiang, S., W. K., Lam, M. S. 1994: 31-37
  • COMMUNICATION OPTIMIZATION AND CODE GENERATION FOR DISTRIBUTED-MEMORY MACHINES AMARASINGHE, S. P., Lam, M. S. ASSOC COMPUTING MACHINERY. 1993: 126-138
  • GLOBAL OPTIMIZATIONS FOR PARALLELISM AND LOCALITY ON SCALABLE PARALLEL MACHINES Anderson, J. M., Lam, M. S. ASSOC COMPUTING MACHINERY. 1993: 112-125
  • JADE - A HIGH-LEVEL, MACHINE-INDEPENDENT LANGUAGE FOR PARALLEL PROGRAMMING COMPUTER Rinard, M. C., Scales, D. J., Lam, M. S. 1993; 26 (6): 28-38
  • Jade: A High-Level, Machine-Independent Language for Parallel Programming IEEE Computer Rinard, M., C., Scales, D., J., Lam, M., S. 1993; 6 (26): 28 - 38
  • Communication Optimization and Code Generation for Distributed Memory Machines Amarasinghe, S., P., Lam, M., S. 1993
  • Data Dependence and Data-Flow Analysis of Arrays Maydan, D., E., Amarasinghe, S., Lam, M., S. 1993
  • Array Data Flow Analysis and its Use in Array Privatization Maydan, D., R., Amarasinghe, S., P., Lam, M., S. 1993
  • EFFICIENT SUPERSCALAR PERFORMANCE THROUGH BOOSTING SIGPLAN NOTICES Smith, M. D., Horowitz, M., Lam, M. S. 1992; 27 (9): 248-259
  • DESIGN AND EVALUATION OF A COMPILER ALGORITHM FOR PREFETCHING SIGPLAN NOTICES Mowry, T. C., Lam, M. S., Gupta, A. 1992; 27 (9): 62-73
  • THE STANFORD DASH MULTIPROCESSOR COMPUTER Lenoski, D., LAUDON, J., Gharachorloo, K., Weber, W. D., Gupta, A., Hennessy, J., Horowitz, M., Lam, M. S. 1992; 25 (3): 63-79
  • INTEGRATING SCALAR OPTIMIZATION AND PARALLELIZATION LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING Tjiang, S., Wolf, M., Lam, M., Pieper, K., Hennessy, J. 1992; 589: 137-151
  • Integrating Scalar Optimizations and Parallelization. Tjiang, S., W. K., Wolf, M., E., Lam, M., S., Pieper, K., Hennessy, J., L. 1992
  • Semantic Foundations of Jade Rinard, M., C., Lam, M., S. 1992
  • Limits of Control Flow on Parallelism Lam, M., S., Wilson, R., P. 1992
  • Heterogeneous Parallel Programming in Jade Rinard, M., C., Scales, D., J., Lam, M., S. 1992
  • HIERARCHICAL CONCURRENCY IN JADE LECTURE NOTES IN COMPUTER SCIENCE Scales, D., Rinard, M., Lam, M., Anderson, J. 1992; 589: 50-64
  • A LOOP TRANSFORMATION THEORY AND AN ALGORITHM TO MAXIMIZE PARALLELISM IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS Wolf, M. E., Lam, M. S. 1991; 2 (4): 452-471
  • COARSE-GRAIN PARALLEL PROGRAMMING IN JADE Lam, M. S., Rinard, M. C. ASSOC COMPUTING MACHINERY. 1991: 94-105
  • EFFICIENT AND EXACT DATA DEPENDENCE ANALYSIS Maydan, D. E., HENNESSY, J. L., Lam, M. S. ASSOC COMPUTING MACHINERY. 1991: 1-14
  • THE CACHE PERFORMANCE AND OPTIMIZATIONS OF BLOCKED ALGORITHMS Lam, M. S., ROTHBERG, E. E., Wolf, M. E. ASSOC COMPUTING MACHINERY. 1991: 63-74
  • A Loop Transformation Theory and Algorithm to Maximize Parallelism IEEE Transactions on Parallel and Distributed Systems Wolf, M., E., Lam, M., S. 1991; 4 (2): 452-471
  • Automatic Blocking by a Compiler. Lam, M., S., Wolf, M., E. 1991
  • An Algorithmic Approach to Compound Loop Transformations. Advances in Languages and Compilers for Parallel Processing. Wolf, M., E., Lam, M., S. edited by Nicolau et al., A. MIT Press. 1991: 243-259
  • A Data Locality Optimizing Algorithm. Wolf, M., E., Lam, M., S. 1991
  • Simple Data Placement Optimizations to Reduce Multiprocessor Cache Miss Rates. Torrellas, J., Lam, M., Hennessy, J., L. 1990
  • Compiler Optimizations for Superscalar Computers Lam, M., S. 1990
  • Design of Scalable Shared-Memory Multiprocessors: The DASH Approach. Lenoski, D., Gharachorloo, K., Laudon, J., Gupta, A., Hennessy, J., Horowitz, M., Lam, M. S. 1990
  • Boosting Beyond Static Scheduling in a Superscalar Processor. Smith, M., D., Lam, M., S., Horowitz, M., A. 1990
  • Supporting Systolic and Memory Communication in iWarp. Borkar, S., Cohn, R., Cox, G., Gross, T., Kung, H., T., Lam, M. 1990
  • Architecture and Compiler Tradeoffs for a Long Instruction Word Microprocessor. Cohn, R., Gross, T., Lam, M., Tseng, P., S. 1989
  • An Approach to Automatic Generation of Linear Systolic Array Programs. Kung, H., T., Lam, M. 1989
  • Design of the Stanford DASH Multiprocessor. Technical Report CSL-TR-89-403, Stanford University Lenoski, D., Gharachorloo, K., Laudon, J., Gupta, A., Hennessy, J., Horowitz, M., Lam, M. S. 1989
  • A Systolic Array Optimizing Compiler. Lam, M., S. Kluwer Academic Publishers. 1988
  • Compiler Optimizations for Asynchronous Systolic Array Programs. Lam, M. 1988
  • iWarp: An Integrated Solution to High-Speed Parallel Computing. Borkar, S., Cohn, R., Cox, G., Gleason, S., Gross, T., Kung, H., T., Lam, M. S. 1988
  • The Warp Computer: Architecture, Implementation and Performance. IEEE Transactions on Computers Annaratone, M., Arnould, E., Gross, T., Kung, H., T., Lam, M., Menzilcioglu, O. 1987; 12 (C-36): 1523-1538
  • Architecture of Warp. Annaratone, M., Arnould, E., Cohn, R., Gross, T., Lam, M., Lieu, P. 1987
  • The Warp Programming Environment. Bruegge, B., Chang, C., Cohn, R., Gross, T., Lam, M., Lieu, P. 1987
  • Programming Warp. Bruegge, B., Chang, C., Cohn, R., Gross, T., Lam, M., Lieu, P. 1987
  • Warp Architecture: From Prototype to Production. Annaratone, M., Arnould, E., Cohn, R., Gross, T., Kung, H., T., Lam, M. 1987
  • Compilation for a High-Performance Systolic Array. Gross, T., Lam, M. 1986
  • Warp Architecture and Implementation. Annaratone, M., Arnould, E., Gross, T., Kung, H., T., Lam, M., Menzilcioglu, O. 1986
  • A Transformational Model of VLSI Systolic Design. IEEE Computer Lam, M., Mostow, J. 1985; 2 (18): 45-52
  • Warp as a Machine for Low-Level Vision. Gross, T., Kung, H., T., Lam, M., Webb, J. 1985
  • Wafer-Scale Integration and Two-Level Pipelined Implementations of Systolic Arrays. Journal of Parallel and Distributed Computing Kung, H., T., Lam, M. 1984; 1 (1): 32-63
  • Fault-Tolerance and Two-Level Pipelining in VLSI Systolic Arrays. Kung, H., T., Lam, M., S. 1984
  • A Transformational Model of VLSI Systolic Design. Lam, M., Mostow, J. 1983