 | 2009 |
|---|
| 96 |       | Sudheendra Hangal,
Monica S. Lam:
Automatic dimension inference and checking for object-oriented programs.
ICSE 2009: 155-165 |
| 2008 |
|---|
| 95 | | Monica S. Lam,
Michael Martin,
V. Benjamin Livshits,
John Whaley:
Securing web applications with static and dynamic information flow tracking.
PEPM 2008: 3-12 |
| 94 | | Christopher Unkel,
Monica S. Lam:
Automatic inference of stationary fields: a generalization of java's final fields.
POPL 2008: 183-195 |
| 93 | | Michael Martin,
Monica S. Lam:
Automatic Generation of XSS and SQL Injection Attacks with Goal-Directed Model Checking.
USENIX Security Symposium 2008: 31-44 |
| 2006 |
|---|
| 92 | | Monica S. Lam:
Why Use Datalog to Analyze Programs?
ICLP 2006: 1 |
| 91 | | David L. Heine,
Monica S. Lam:
Static detection of leaks in polymorphic containers.
ICSE 2006: 252-261 |
| 2005 |
|---|
| 90 | | V. Benjamin Livshits,
John Whaley,
Monica S. Lam:
Reflection Analysis for Java.
APLAS 2005: 139-160 |
| 89 | | John Whaley,
Dzintars Avots,
Michael Carbin,
Monica S. Lam:
Using Datalog with Binary Decision Diagrams for Program Analysis.
APLAS 2005: 97-118 |
| 88 | | Dzintars Avots,
Michael Dalton,
V. Benjamin Livshits,
Monica S. Lam:
Improving software security with a C pointer analysis.
ICSE 2005: 332-341 |
| 87 | | Ramesh Chandra,
Nickolai Zeldovich,
Constantine P. Sapuntzakis,
Monica S. Lam:
The Collective: A Cache-Based System Management Architecture.
NSDI 2005 |
| 86 | | Michael C. Martin,
V. Benjamin Livshits,
Monica S. Lam:
Finding application errors and security flaws using PQL: a program query language.
OOPSLA 2005: 365-383 |
| 85 | | 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 |
| 84 | | 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) |
| 2004 |
|---|
| 83 | | Olatunji Ruwase,
Monica S. Lam:
A Practical Dynamic Buffer Overflow Detector.
NDSS 2004 |
| 82 | | John Whaley,
Monica S. Lam:
Cloning-based context-sensitive pointer alias analysis using binary decision diagrams.
PLDI 2004: 131-144 |
| 2003 |
|---|
| 81 | | 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 |
| 80 |  | Constantine P. Sapuntzakis,
Monica S. Lam:
Virtual Appliances in the Collective: A Road to Hassle-Free Computing.
HotOS 2003: 55-60 |
| 79 | | Monica S. Lam:
Challenges and New Approaches to Program Analysis.
IEEE PACT 2003: 102- |
| 78 | | 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 |
| 77 | | David L. Heine,
Monica S. Lam:
A practical flow-sensitive and context-sensitive C and C++ memory leak detector.
PLDI 2003: 168-181 |
| 76 | | Jason Nieh,
Monica S. Lam:
A SMART scheduler for multimedia applications.
ACM Trans. Comput. Syst. 21(2): 117-163 (2003) |
| 2002 |
|---|
| 75 | | Jeffrey T. Oplinger,
Monica S. Lam:
Enhancing software reliability with speculative threads.
ASPLOS 2002: 184-196 |
| 74 | | Sudheendra Hangal,
Monica S. Lam:
Tracking down software bugs using automatic anomaly detection.
ICSE 2002: 291-301 |
| 73 | | John Whaley,
Michael C. Martin,
Monica S. Lam:
Automatic extraction of object-oriented component interfaces.
ISSTA 2002: 218-228 |
| 72 | | Constantine P. Sapuntzakis,
Ramesh Chandra,
Ben Pfaff,
Jim Chow,
Monica S. Lam,
Mendel Rosenblum:
Optimizing the Migration of Virtual Computers.
OSDI 2002 |
| 71 | | John Whaley,
Monica S. Lam:
An Efficient Inclusion-Based Points-To Analysis for Strictly-Typed Languages.
SAS 2002: 180-195 |
| 2001 |
|---|
| 70 | | Amy W. Lim,
Shih-Wei Liao,
Monica S. Lam:
Blocking and array contraction across arbitrarily nested loops using affine partitioning.
PPOPP 2001: 103-112 |
| 69 | | Amy W. Lim,
Monica S. Lam:
Cache Optimizations With Affine Partitioning.
PPSC 2001 |
| 2000 |
|---|
| 68 | | Brian R. Murphy,
Monica S. Lam:
Program Analysis with Partial Transfer Functions.
PEPM 2000: 94-103 |
| 67 | | Monica S. Lam,
Forest Baskett:
Guest Editors' Introduction: Cutting-Edge Designs.
IEEE Micro 20(2): 14-15 (2000) |
| 1999 |
|---|
| 66 | | Jeffrey T. Oplinger,
David L. Heine,
Monica S. Lam:
In Search of Speculative Thread-Level Parallelism.
IEEE PACT 1999: 303-313 |
| 65 | | 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 |
| 64 | | 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 |
| 63 | | Brian K. Schmidt,
Monica S. Lam,
J. Duane Northcutt:
The interactive performance of SLIM: a stateless, thin-client architecture.
SOSP 1999: 32-47 |
| 1998 |
|---|
| 62 | | 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 |
| 61 | | Thomas R. Gross,
Monica S. Lam:
Retrospective: A Retrospective on the Warp Machines.
25 Years ISCA: Retrospectives and Reprints 1998: 45-47 |
| 60 | | Martin C. Rinard,
Monica S. Lam:
The Design, Implementation, and Evaluation of Jade.
ACM Trans. Program. Lang. Syst. 20(3): 483-545 (1998) |
| 59 | | 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) |
| 58 | | Amy W. Lim,
Monica S. Lam:
Maximizing Parallelism and Minimizing Synchronization with Affine Partitions.
Parallel Computing 24(3-4): 445-476 (1998) |
| 1997 |
|---|
| 57 | | Jason Nieh,
Monica S. Lam:
SMART UNIX SVR4 Support for Multimedia Applications.
ICMCS 1997: 404-414 |
| 56 | | Amy W. Lim,
Monica S. Lam:
Maximizing Parallelism and Minimizing Synchronization with Affine Transforms.
POPL 1997: 201-214 |
| 55 | | Jason Nieh,
Monica S. Lam:
The Design, Implementation and Evaluation of SMART: A Scheduler for Multimedia Applications.
SOSP 1997: 184-197 |
| 1996 |
|---|
| 54 | | Edouard Bugnion,
Jennifer-Ann M. Anderson,
Todd C. Mowry,
Mendel Rosenblum,
Monica S. Lam:
Compiler-Directed Page Coloring for Multiprocessors.
ASPLOS 1996: 244-255 |
| 53 | | Patrick W. Sathyanathan,
Monica S. Lam:
Context-Sensitive Interprocedural Analysis in the Presence of Dynamic Aliasing.
LCPC 1996: 101-119 |
| 52 | | Monica S. Lam:
Current Status of the SUIF Research Project.
The Data Parallel Programming Model 1996: 65-78 |
| 51 | | Daniel J. Scales,
Monica S. Lam:
Transparent Fault Tolerance for Parallel Applications on Networks of Workstations.
USENIX Annual Technical Conference 1996: 329-342 |
| 50 | | 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) |
| 1995 |
|---|
| 49 | | Robert S. French,
Monica S. Lam,
Jeremy R. Levitt,
Kunle Olukotun:
A General Method for Compiling Event-Driven Simulations.
DAC 1995: 151-156 |
| 48 | | 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 |
| 47 | | Mary W. Hall,
Brian R. Murphy,
Saman P. Amarasinghe,
Shih-Wei Liao,
Monica S. Lam:
Interprocedural Analysis for Parallelization.
LCPC 1995: 61-80 |
| 46 | | Brian K. Schmidt,
J. Duane Northcutt,
Monica S. Lam:
A Method and Apparatus for Measurung media Synchronization.
NOSSDAV 1995: 190-201 |
| 45 | | Jason Nieh,
Monica S. Lam:
Integrated Processors Scheduling for Multimedia.
NOSSDAV 1995: 202-205 |
| 44 | | Robert P. Wilson,
Monica S. Lam:
Efficient Context-Sensitive Pointer Analysis for C Programs.
PLDI 1995: 1- |
| 43 | | Jennifer-Ann M. Anderson,
Saman P. Amarasinghe,
Monica S. Lam:
Data and Computation Transformations for Multiprocessors.
PPOPP 1995: 166-178 |
| 42 | | 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 |
| 41 | | 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 |
| 40 | | Jason Nieh,
Monica S. Lam:
SMART: A Processor Scheduler for Multimedia Applications.
SOSP 1995: 233 |
| 1994 |
|---|
| 39 | | Monica S. Lam:
Locality Optimizations for Parallel Machines.
CONPAR 1994: 17-28 |
| 38 | | Amy W. Lim,
Monica S. Lam:
Communication-Free Parallelization via Affine Transformations.
LCPC 1994: 92-106 |
| 37 | | Daniel J. Scales,
Monica S. Lam:
The Design and Evaluation of a Shared Object System for Distributed Memory Machines.
OSDI 1994: 101-114 |
| 36 | | Josep Torrellas,
Monica S. Lam,
John L. Hennessy:
False Sharing ans Spatial Locality in Multiprocessor Caches.
IEEE Trans. Computers 43(6): 651-663 (1994) |
| 35 | | 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) |
| 1993 |
|---|
| 34 | | 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 |
| 33 | | Jennifer-Ann M. Anderson,
Monica S. Lam:
Global Optimizations for Parallelism and Locality on Scalable Parallel Machines.
PLDI 1993: 112-125 |
| 32 | | Saman P. Amarasinghe,
Monica S. Lam:
Communication Optimization and Code Generation for Distributed Memory Machines.
PLDI 1993: 126-138 |
| 31 | | Dror E. Maydan,
Saman P. Amarasinghe,
Monica S. Lam:
Array Data-Flow Analysis and its Use in Array Privatization.
POPL 1993: 2-15 |
| 30 | | 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 |
| 29 | | 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) |
| 1992 |
|---|
| 28 | | Michael D. Smith,
Mark Horowitz,
Monica S. Lam:
Efficient Superscalar Performance Through Boosting.
ASPLOS 1992: 248-259 |
| 27 | | Todd C. Mowry,
Monica S. Lam,
Anoop Gupta:
Design and Evaluation of a Compiler Algorithm for Prefetching.
ASPLOS 1992: 62-73 |
| 26 | | Monica S. Lam,
Robert P. Wilson:
Limits of Control Flow on Parallelism.
ISCA 1992: 46-57 |
| 25 | | Dror E. Maydan,
S. Amarsinghe,
Monica S. Lam:
Data Dependence and Data-Flow Analysis of Arrays.
LCPC 1992: 434-448 |
| 24 | | Martin C. Rinard,
Monica S. Lam:
Semantic Foundations of Jade.
POPL 1992: 105-118 |
| 23 | | Martin C. Rinard,
Daniel J. Scales,
Monica S. Lam:
Heterogeneous Parallel Programming in Jade.
SC 1992: 245-256 |
| 22 | | 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) |
| 1991 |
|---|
| 21 | | Monica S. Lam,
Edward E. Rothberg,
Michael E. Wolf:
The Cache Performance and Optimizations of Blocked Algorithms.
ASPLOS 1991: 63-74 |
| 20 | | Monica S. Lam,
Michael E. Wolf:
A data locality optimizing algorithm (with retrospective)
Best of PLDI 1991: 442-459 |
| 19 | | Steven W. K. Tjiang,
Michael E. Wolf,
Monica S. Lam,
K. Pieper,
John L. Hennessy:
Integrating Scalar Optimization and Parallelization.
LCPC 1991: 137-151 |
| 18 | | Daniel J. Scales,
Martin C. Rinard,
Monica S. Lam,
Jennifer-Ann M. Anderson:
Hierarchical Concurrency in Jade.
LCPC 1991: 50-64 |
| 17 | | Dror E. Maydan,
John L. Hennessy,
Monica S. Lam:
Efficient and Exact Data Dependence Analysis.
PLDI 1991: 1-14 |
| 16 | | Michael E. Wolf,
Monica S. Lam:
A Data Locality Optimizing Algorithm.
PLDI 1991: 30-44 |
| 15 | | Monica S. Lam,
Martin C. Rinard:
Coarse-Grain Parallel Programming in Jade.
PPOPP 1991: 94-105 |
| 14 | | Monica S. Lam,
Michael E. Wolf:
Automatic Blocking by a Compiler.
PPSC 1991: 537-542 |
| 13 | | 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) |
| 1990 |
|---|
| 12 | | Josep Torrellas,
Monica S. Lam,
John L. Hennessy:
Share Data Placement Optimizations to Reduce Multiprocessor Cache Miss Rates.
ICPP (2) 1990: 266-270 |
| 11 | | Michael D. Smith,
Monica S. Lam,
Mark Horowitz:
Boosting Beyond Static Scheduling in a Superscalar Processor.
ISCA 1990: 344-354 |
| 10 | | 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 |
| 1989 |
|---|
| 9 | | 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 |
| 1988 |
|---|
| 8 | | Monica S. Lam:
Software pipelining: an effective scheduling technique for VLIW machines (with retrospective)
Best of PLDI 1988: 244-256 |
| 7 | | Monica S. Lam:
Software Pipelining: An Effective Scheduling Technique for VLIW Machines.
PLDI 1988: 318-328 |
| 6 | | Monica S. Lam:
Compiler Optimizations for Asynchronous Systolic Array Programs.
POPL 1988: 309-318 |
| 1987 |
|---|
| 5 | | Marco Annaratone,
Emmanuel A. Arnould,
Robert Cohn,
Thomas R. Gross,
H. T. Kung,
Monica S. Lam,
Onat Menzilcioglu,
Ken Sarocky,
John Senko,
Jon A. Webb:
Architecture of Warp.
COMPCON 1987: 264-267 |
| 4 | | Bernd Bruegge,
Chang-Hsin Chang,
Robert Cohn,
Thomas R. Gross,
Monica S. Lam,
Peter Lieu,
Abu Noaman,
David Yam:
Programming Warp.
COMPCON 1987: 268-271 |
| 3 | | 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) |
| 1986 |
|---|
| 2 | | 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 |
| 1 | | Thomas R. Gross,
Monica S. Lam:
Compilation for a high-performance systolic array.
SIGPLAN Symposium on Compiler Construction 1986: 27-38 |
