| |
 |      |
                                               |
Note: Links lead to the DBLP on the Web. Monica S. Lam David L. Heine , Monica S. Lam: Static detection of leaks in polymorphic containers. ICSE 2006 : 252-261 V. Benjamin Livshits , John Whaley , Monica S. Lam: Reflection Analysis for Java. APLAS 2005 : 139-160 John Whaley , Dzintars Avots , Michael Carbin , Monica S. Lam: Using Datalog with Binary Decision Diagrams for Program Analysis. APLAS 2005 : 97-118 Dzintars Avots , Michael Dalton , V. Benjamin Livshits , Monica S. Lam: Improving software security with a C pointer analysis. ICSE 2005 : 332-341 Michael Martin , V. Benjamin Livshits , Monica S. Lam: Finding application errors and security flaws using PQL: a program query language. OOPSLA 2005 : 365-383 Monica S. Lam, John Whaley , V. Benjamin Livshits , Michael C. Martin , Dzintars Avots , Michael Carbin , Christopher Unkel : Context-sensitive program analysis as database queries. PODS 2005 : 1-12 Mary W. Hall , Saman P. Amarasinghe , Brian R. Murphy , Shih-Wei Liao , Monica S. Lam: Interprocedural parallelization analysis in SUIF. ACM Trans. Program. Lang. Syst. 27 (4): 662-731 (2005) Olatunji Ruwase , Monica S. Lam: A Practical Dynamic Buffer Overflow Detector. NDSS 2004 John Whaley , Monica S. Lam: Cloning-based context-sensitive pointer alias analysis using binary decision diagrams. PLDI 2004 : 131-144 V. Benjamin Livshits , Monica S. Lam: Tracking pointers with path and context sensitivity for bug detection in C programs. ESEC / SIGSOFT FSE 2003 : 317-326 Constantine P. Sapuntzakis , Monica S. Lam: Virtual Appliances in the Collective: A Road to Hassle-Free Computing. HotOS 2003 : 55-60 Monica S. Lam: Challenges and New Approaches to Program Analysis. IEEE PACT 2003 : 102- Constantine P. Sapuntzakis , David Brumley , Ramesh Chandra , Nickolai Zeldovich , Jim Chow , Monica S. Lam, Mendel Rosenblum : Virtual Appliances for Deploying and Maintaining Software. LISA 2003 : 181-194 David L. Heine , Monica S. Lam: A practical flow-sensitive and context-sensitive C and C++ memory leak detector. PLDI 2003 : 168-181 Jason Nieh , Monica S. Lam: A SMART scheduler for multimedia applications. ACM Trans. Comput. Syst. 21 (2): 117-163 (2003) Jeffrey T. Oplinger , Monica S. Lam: Enhancing software reliability with speculative threads. ASPLOS 2002 : 184-196 Sudheendra Hangal , Monica S. Lam: Tracking down software bugs using automatic anomaly detection. ICSE 2002 : 291-301 John Whaley , Michael C. Martin , Monica S. Lam: Automatic extraction of object-oriented component interfaces. ISSTA 2002 : 218-228 Constantine P. Sapuntzakis , Ramesh Chandra , Ben Pfaff , Jim Chow , Monica S. Lam, Mendel Rosenblum : Optimizing the Migration of Virtual Computers. OSDI 2002 John Whaley , Monica S. Lam: An Efficient Inclusion-Based Points-To Analysis for Strictly-Typed Languages. SAS 2002 : 180-195 Amy W. Lim , Shih-Wei Liao , Monica S. Lam: Blocking and array contraction across arbitrarily nested loops using affine partitioning. PPOPP 2001 : 103-112 Amy W. Lim , Monica S. Lam: Cache Optimizations With Affine Partitioning. PPSC 2001 Brian R. Murphy , Monica S. Lam: Program Analysis with Partial Transfer Functions. PEPM 2000 : 94-103 Monica S. Lam, Forest Baskett : Guest Editors' Introduction: Cutting-Edge Designs. IEEE Micro 20 (2): 14-15 (2000) Jeffrey T. Oplinger , David L. Heine , Monica S. Lam: In Search of Speculative Thread-Level Parallelism. IEEE PACT 1999 : 303-313 Amy W. Lim , Gerald I. Cheong , Monica S. Lam: An affine partitioning algorithm to maximize parallelism and minimize communication. International Conference on Supercomputing 1999 : 228-237 Shih-Wei Liao , Amer Diwan , Robert P. Bosch Jr. , Anwar M. Ghuloum , Monica S. Lam: SUIF Explorer: An Interactive and Interprocedural Parallelizer. PPOPP 1999 : 37-48 Brian K. Schmidt , Monica S. Lam, J. Duane Northcutt : The interactive performance of SLIM: a stateless, thin-client architecture. SOSP 1999 : 32-47 Marco Annaratone , Emmanuel A. Arnould , Thomas R. Gross , H. T. Kung , Monica S. Lam, Onat Menzilcioglu , Ken Sarocky , Jon A. Webb : Warp Architecture and Implementation. 25 Years ISCA: Retrospectives and Reprints 1998 : 309-319 Thomas R. Gross , Monica S. Lam: Retrospective: A Retrospective on the Warp Machines. 25 Years ISCA: Retrospectives and Reprints 1998 : 45-47 Martin C. Rinard , Monica S. Lam: The Design, Implementation, and Evaluation of Jade. ACM Trans. Program. Lang. Syst. 20 (3): 483-545 (1998) Mary W. Hall , Jennifer-Ann M. Anderson , Saman P. Amarasinghe , Brian R. Murphy , Shih-Wei Liao , Edouard Bugnion , Monica S. Lam: Maximizing Multiprocessor Performance with the SUIF Compiler. Digital Technical Journal 10 (1): 71-80 (1998) Amy W. Lim , Monica S. Lam: Maximizing Parallelism and Minimizing Synchronization with Affine Partitions. Parallel Computing 24 (3-4): 445-476 (1998) Jason Nieh , Monica S. Lam: SMART UNIX SVR4 Support for Multimedia Applications. ICMCS 1997 : 404-414 Amy W. Lim , Monica S. Lam: Maximizing Parallelism and Minimizing Synchronization with Affine Transforms. POPL 1997 : 201-214 Jason Nieh , Monica S. Lam: The Design, Implementation and Evaluation of SMART: A Scheduler for Multimedia Applications. SOSP 1997 : 184-197 Edouard Bugnion , Jennifer-Ann M. Anderson , Todd C. Mowry , Mendel Rosenblum , Monica S. Lam: Compiler-Directed Page Coloring for Multiprocessors. ASPLOS 1996 : 244-255 Patrick W. Sathyanathan , Monica S. Lam: Context-Sensitive Interprocedural Analysis in the Presence of Dynamic Aliasing. LCPC 1996 : 101-119 Monica S. Lam: Current Status of the SUIF Research Project. The Data Parallel Programming Model 1996 : 65-78 Daniel J. Scales , Monica S. Lam: Transparent Fault Tolerance for Parallel Applications on Networks of Workstations. USENIX Annual Technical Conference 1996 : 329-342 Mary W. Hall , Jennifer-Ann M. Anderson , Saman P. Amarasinghe , Brian R. Murphy , Shih-Wei Liao , Edouard Bugnion , Monica S. Lam: Maximizing Multiprocessor Performance with the SUIF Compiler. IEEE Computer 29 (12): 84-89 (1996) Robert S. French , Monica S. Lam, Jeremy R. Levitt , Kunle Olukotun : A General Method for Compiling Event-Driven Simulations. DAC 1995 : 151-156 Chau-Wen Tseng , Jennifer-Ann M. Anderson , Saman P. Amarasinghe , Monica S. Lam: Unified Compilation Techniques for Shared and Distributed Address Space Machines. International Conference on Supercomputing 1995 : 67-76 Mary W. Hall , Brian R. Murphy , Saman P. Amarasinghe , Shih-Wei Liao , Monica S. Lam: Interprocedural Analysis for Parallelization. LCPC 1995 : 61-80 Brian K. Schmidt , J. Duane Northcutt , Monica S. Lam: A Method and Apparatus for Measurung media Synchronization. NOSSDAV 1995 : 190-201 Jason Nieh , Monica S. Lam: Integrated Processors Scheduling for Multimedia. NOSSDAV 1995 : 202-205 Robert P. Wilson , Monica S. Lam: Efficient Context-Sensitive Pointer Analysis for C Programs. PLDI 1995 : 1- Jennifer-Ann M. Anderson , Saman P. Amarasinghe , Monica S. Lam: Data and Computation Transformations for Multiprocessors. PPOPP 1995 : 166-178 Saman P. Amarasinghe , Jennifer-Ann M. Anderson , Monica S. Lam, Chau-Wen Tseng : An Overview of the SUIF Compiler for Scalable Parallel Machines. PPSC 1995 : 662-667 Mary W. Hall , Saman P. Amarasinghe , Brian R. Murphy , Shih-Wei Liao , Monica S. Lam: Detecting Coarse - Grain Parallelism Using an Interprocedural Parallelizing Compiler. SC 1995 Jason Nieh , Monica S. Lam: SMART: A Processor Scheduler for Multimedia Applications. SOSP 1995 : 233 Monica S. Lam: Locality Optimizations for Parallel Machines. CONPAR 1994 : 17-28 Amy W. Lim , Monica S. Lam: Communication-Free Parallelization via Affine Transformations. LCPC 1994 : 92-106 Daniel J. Scales , Monica S. Lam: The Design and Evaluation of a Shared Object System for Distributed Memory Machines. OSDI 1994 : 101-114 Josep Torrellas , Monica S. Lam, John L. Hennessy : False Sharing ans Spatial Locality in Multiprocessor Caches. IEEE Trans. Computers 43 (6): 651-663 (1994) Robert P. Wilson , Robert S. French , Christopher S. Wilson , Saman P. Amarasinghe , Jennifer-Ann M. Anderson , Steven W. K. Tjiang , Shih-Wei Liao , Chau-Wen Tseng , Mary W. Hall , Monica S. Lam, John L. Hennessy : SUIF: An Infrastructure for Research on Parallelizing and Optimizing Compilers. SIGPLAN Notices 29 (12): 31-37 (1994) Saman P. Amarasinghe , Jennifer-Ann M. Anderson , Monica S. Lam, Amy W. Lim : An Overview of a Compiler for Scalable Parallel Machines. LCPC 1993 : 253-272 Jennifer-Ann M. Anderson , Monica S. Lam: Global Optimizations for Parallelism and Locality on Scalable Parallel Machines. PLDI 1993 : 112-125 Saman P. Amarasinghe , Monica S. Lam: Communication Optimization and Code Generation for Distributed Memory Machines. PLDI 1993 : 126-138 Dror E. Maydan , Saman P. Amarasinghe , Monica S. Lam: Array Data-Flow Analysis and its Use in Array Privatization. POPL 1993 : 2-15 Geoffrey Fox , Sanjay Ranka , Michael L. Scott , Allen D. Malony , James C. Browne , Marina C. Chen , Alok N. Choudhary , Thomas Cheatham , Janice E. Cuny , Rudolf Eigenmann , Amr F. Fahmy , Ian T. Foster , Dennis Gannon , Tomasz Haupt , Carl Kesselman , Charles Koelbel , Wei Li , Monica S. Lam, Thomas J. LeBlanc , Jim Openshaw , David A. Padua , Constantine D. Polychronopoulos , Joel H. Saltz , Alan Sussman , Gil Weigand , Katherine A. Yelick : Common runtime support for high-performance parallel languages. SC 1993 : 752-757 Martin C. Rinard , Daniel J. Scales , Monica S. Lam: Jade: A High-Level, Machine-Independent Language for Parallel Programming. IEEE Computer 26 (6): 28-38 (1993) Michael D. Smith , Mark Horowitz , Monica S. Lam: Efficient Superscalar Performance Through Boosting. ASPLOS 1992 : 248-259 Todd C. Mowry , Monica S. Lam, Anoop Gupta : Design and Evaluation of a Compiler Algorithm for Prefetching. ASPLOS 1992 : 62-73 Monica S. Lam, Robert P. Wilson : Limits of Control Flow on Parallelism. ISCA 1992 : 46-57 Dror E. Maydan , S. Amarsinghe , Monica S. Lam: Data Dependence and Data-Flow Analysis of Arrays. LCPC 1992 : 434-448 Martin C. Rinard , Monica S. Lam: Semantic Foundations of Jade. POPL 1992 : 105-118 Martin C. Rinard , Daniel J. Scales , Monica S. Lam: Heterogeneous Parallel Programming in Jade. SC 1992 : 245-256 Daniel Lenoski , James Laudon , Kourosh Gharachorloo , Wolf-Dietrich Weber , Anoop Gupta , John L. Hennessy , Mark Horowitz , Monica S. Lam: The Stanford Dash Multiprocessor. IEEE Computer 25 (3): 63-79 (1992) Monica S. Lam, Edward E. Rothberg , Michael E. Wolf : The Cache Performance and Optimizations of Blocked Algorithms. ASPLOS 1991 : 63-74 Monica S. Lam, Michael E. Wolf : A data locality optimizing algorithm (with retrospective) Best of PLDI 1991 : 442-459 Steven W. K. Tjiang , Michael E. Wolf , Monica S. Lam, K. Pieper , John L. Hennessy : Integrating Scalar Optimization and Parallelization. LCPC 1991 : 137-151 Daniel J. Scales , Martin C. Rinard , Monica S. Lam, Jennifer-Ann M. Anderson : Hierarchical Concurrency in Jade. LCPC 1991 : 50-64 Dror E. Maydan , John L. Hennessy , Monica S. Lam: Efficient and Exact Data Dependence Analysis. PLDI 1991 : 1-14 Michael E. Wolf , Monica S. Lam: A Data Locality Optimizing Algorithm. PLDI 1991 : 30-44 Monica S. Lam, Martin C. Rinard : Coarse-Grain Parallel Programming in Jade. PPOPP 1991 : 94-105 Monica S. Lam, Michael E. Wolf : Automatic Blocking by a Compiler. PPSC 1991 : 537-542 Michael E. Wolf , Monica S. Lam: A Loop Transformation Theory and an Algorithm to Maximize Parallelism. IEEE Trans. Parallel Distrib. Syst. 2 (4): 452-471 (1991) Josep Torrellas , Monica S. Lam, John L. Hennessy : Share Data Placement Optimizations to Reduce Multiprocessor Cache Miss Rates. ICPP (2) 1990 : 266-270 Michael D. Smith , Monica S. Lam, Mark Horowitz : Boosting Beyond Static Scheduling in a Superscalar Processor. ISCA 1990 : 344-354 Shekhar Borkar , Robert Cohn , George W. Cox , Thomas R. Gross , H. T. Kung , Monica S. Lam, Margie Levine , Brian Moore , Wire Moore , Craig Peterson , Jim Susman , Jim Sutton , John Urbanski , Jon A. Webb : Supporting Systolic and Memory Communciation in iWarp. ISCA 1990 : 70-81 Robert Cohn , Thomas R. Gross , Monica S. Lam, P. S. Tseng : Architecture and Compiler Tradeoffs for a Long Instruction Word Microprocessor. ASPLOS 1989 : 2-14 Monica S. Lam: Software pipelining: an effective scheduling technique for VLIW machines (with retrospective) Best of PLDI 1988 : 244-256 Monica S. Lam: Software Pipelining: An Effective Scheduling Technique for VLIW Machines. PLDI 1988 : 318-328 Monica S. Lam: Compiler Optimizations for Asynchronous Systolic Array Programs. POPL 1988 : 309-318 Marco Annaratone , Emmanuel A. Arnould , Thomas R. Gross , H. T. Kung , Monica S. Lam, Onat Menzilcioglu , Jon A. Webb : The Warp Computer: Architecture, Implementation, and Performance. IEEE Trans. Computers 36 (12): 1523-1538 (1987) Marco Annaratone , Emmanuel A. Arnould , Thomas R. Gross , H. T. Kung , Monica S. Lam, Onat Menzilcioglu , Ken Sarocky , Jon A. Webb : Warp Architecture and Implementation. ISCA 1986 : 346-356 Thomas R. Gross , Monica S. Lam: Compilation for a high-performance systolic array. SIGPLAN Symposium on Compiler Construction 1986 : 27-38 1 [ 29 ] [ 30 ] [ 32 ] [ 33 ] [ 39 ] [ 40 ] [ 41 ] [ 45 ] [ 46 ] [ 48 ] [ 57 ] [ 82 ] 2 [ 23 ] 3 [ 16 ] [ 31 ] [ 32 ] [ 33 ] [ 40 ] [ 41 ] [ 46 ] [ 48 ] [ 52 ] [ 57 ] 4 [ 2 ] [ 3 ] [ 60 ] 5 [ 2 ] [ 3 ] [ 60 ] 6 [ 83 ] [ 85 ] [ 86 ] 7 [ 65 ] 8 [ 8 ] 9 [ 62 ] 10 [ 28 ] 11 [ 76 ] 12 [ 48 ] [ 52 ] [ 57 ] 13 [ 83 ] [ 86 ] 14 [ 70 ] [ 76 ] 15 [ 28 ] 16 [ 28 ] 17 [ 63 ] 18 [ 28 ] 19 [ 70 ] [ 76 ] 20 [ 7 ] [ 8 ] 21 [ 8 ] 22 [ 28 ] 23 [ 85 ] 24 [ 62 ] 25 [ 28 ] 26 [ 28 ] 27 [ 28 ] 28 [ 28 ] 29 [ 33 ] [ 47 ] 30 [ 28 ] 31 [ 20 ] 32 [ 62 ] 33 [ 1 ] [ 2 ] [ 3 ] [ 7 ] [ 8 ] [ 59 ] [ 60 ] 34 [ 20 ] [ 25 ] 35 [ 33 ] [ 39 ] [ 45 ] [ 48 ] [ 57 ] [ 82 ] 36 [ 72 ] 37 [ 28 ] 38 [ 64 ] [ 75 ] [ 88 ] 39 [ 10 ] [ 15 ] [ 17 ] [ 20 ] [ 33 ] [ 34 ] 40 [ 9 ] [ 20 ] [ 26 ] 41 [ 28 ] 42 [ 28 ] 43 [ 2 ] [ 3 ] [ 8 ] [ 60 ] 44 [ 20 ] 45 [ 28 ] 46 [ 20 ] 47 [ 8 ] 48 [ 47 ] 49 [ 28 ] 50 [ 33 ] [ 39 ] [ 45 ] [ 48 ] [ 57 ] [ 62 ] [ 68 ] [ 82 ] 51 [ 32 ] [ 36 ] [ 54 ] [ 56 ] [ 63 ] [ 67 ] [ 68 ] 52 [ 79 ] [ 83 ] [ 84 ] [ 85 ] [ 87 ] 53 [ 28 ] 54 [ 84 ] 55 [ 71 ] [ 83 ] 56 [ 15 ] [ 23 ] [ 29 ] 57 [ 2 ] [ 3 ] [ 60 ] 58 [ 8 ] 59 [ 8 ] 60 [ 25 ] [ 52 ] 61 [ 39 ] [ 45 ] [ 48 ] [ 57 ] [ 66 ] [ 82 ] 62 [ 38 ] [ 43 ] [ 53 ] [ 55 ] [ 74 ] 63 [ 44 ] [ 61 ] 64 [ 47 ] 65 [ 28 ] 66 [ 64 ] [ 73 ] 67 [ 28 ] 68 [ 8 ] 69 [ 70 ] 70 [ 17 ] 71 [ 28 ] 72 [ 28 ] 73 [ 13 ] [ 16 ] [ 21 ] [ 22 ] [ 27 ] [ 58 ] 74 [ 52 ] [ 70 ] [ 76 ] 75 [ 19 ] 76 [ 81 ] 77 [ 28 ] 78 [ 70 ] [ 76 ] [ 78 ] 79 [ 2 ] [ 60 ] 80 [ 51 ] 81 [ 16 ] [ 21 ] [ 27 ] [ 35 ] [ 49 ] 82 [ 44 ] [ 61 ] 83 [ 28 ] 84 [ 9 ] [ 26 ] 85 [ 8 ] 86 [ 28 ] 87 [ 8 ] 88 [ 17 ] [ 33 ] 89 [ 10 ] [ 34 ] 90 [ 33 ] [ 40 ] [ 46 ] 91 [ 7 ] 92 [ 83 ] 93 [ 8 ] 94 [ 2 ] [ 3 ] [ 8 ] [ 60 ] 95 [ 20 ] 96 [ 28 ] 97 [ 69 ] [ 71 ] [ 80 ] [ 83 ] [ 86 ] [ 87 ] 98 [ 33 ] 99 [ 24 ] [ 33 ] [ 42 ] 100 [ 11 ] [ 12 ] [ 14 ] [ 17 ] [ 18 ] [ 19 ] 101 [ 28 ] 102 [ 76 ]  ©2006 Association for Computing Machinery |
