dblp.uni-trier.dewww.uni-trier.de

Monica S. Lam Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
96EESudheendra Hangal, Monica S. Lam: Automatic dimension inference and checking for object-oriented programs. ICSE 2009: 155-165
2008
95EEMonica S. Lam, Michael Martin, V. Benjamin Livshits, John Whaley: Securing web applications with static and dynamic information flow tracking. PEPM 2008: 3-12
94EEChristopher Unkel, Monica S. Lam: Automatic inference of stationary fields: a generalization of java's final fields. POPL 2008: 183-195
93EEMichael Martin, Monica S. Lam: Automatic Generation of XSS and SQL Injection Attacks with Goal-Directed Model Checking. USENIX Security Symposium 2008: 31-44
2006
92EEMonica S. Lam: Why Use Datalog to Analyze Programs? ICLP 2006: 1
91EEDavid L. Heine, Monica S. Lam: Static detection of leaks in polymorphic containers. ICSE 2006: 252-261
2005
90EEV. Benjamin Livshits, John Whaley, Monica S. Lam: Reflection Analysis for Java. APLAS 2005: 139-160
89EEJohn Whaley, Dzintars Avots, Michael Carbin, Monica S. Lam: Using Datalog with Binary Decision Diagrams for Program Analysis. APLAS 2005: 97-118
88EEDzintars Avots, Michael Dalton, V. Benjamin Livshits, Monica S. Lam: Improving software security with a C pointer analysis. ICSE 2005: 332-341
87EERamesh Chandra, Nickolai Zeldovich, Constantine P. Sapuntzakis, Monica S. Lam: The Collective: A Cache-Based System Management Architecture. NSDI 2005
86EEMichael C. Martin, V. Benjamin Livshits, Monica S. Lam: Finding application errors and security flaws using PQL: a program query language. OOPSLA 2005: 365-383
85EEMonica 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
84EEMary 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
83EEOlatunji Ruwase, Monica S. Lam: A Practical Dynamic Buffer Overflow Detector. NDSS 2004
82EEJohn Whaley, Monica S. Lam: Cloning-based context-sensitive pointer alias analysis using binary decision diagrams. PLDI 2004: 131-144
2003
81EEV. 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
79EEMonica S. Lam: Challenges and New Approaches to Program Analysis. IEEE PACT 2003: 102-
78EEConstantine 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
77EEDavid L. Heine, Monica S. Lam: A practical flow-sensitive and context-sensitive C and C++ memory leak detector. PLDI 2003: 168-181
76EEJason Nieh, Monica S. Lam: A SMART scheduler for multimedia applications. ACM Trans. Comput. Syst. 21(2): 117-163 (2003)
2002
75EEJeffrey T. Oplinger, Monica S. Lam: Enhancing software reliability with speculative threads. ASPLOS 2002: 184-196
74EESudheendra Hangal, Monica S. Lam: Tracking down software bugs using automatic anomaly detection. ICSE 2002: 291-301
73EEJohn Whaley, Michael C. Martin, Monica S. Lam: Automatic extraction of object-oriented component interfaces. ISSTA 2002: 218-228
72EEConstantine P. Sapuntzakis, Ramesh Chandra, Ben Pfaff, Jim Chow, Monica S. Lam, Mendel Rosenblum: Optimizing the Migration of Virtual Computers. OSDI 2002
71EEJohn Whaley, Monica S. Lam: An Efficient Inclusion-Based Points-To Analysis for Strictly-Typed Languages. SAS 2002: 180-195
2001
70EEAmy 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
68EEBrian R. Murphy, Monica S. Lam: Program Analysis with Partial Transfer Functions. PEPM 2000: 94-103
67EEMonica S. Lam, Forest Baskett: Guest Editors' Introduction: Cutting-Edge Designs. IEEE Micro 20(2): 14-15 (2000)
1999
66EEJeffrey T. Oplinger, David L. Heine, Monica S. Lam: In Search of Speculative Thread-Level Parallelism. IEEE PACT 1999: 303-313
65EEAmy 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
64EEShih-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
63EEBrian K. Schmidt, Monica S. Lam, J. Duane Northcutt: The interactive performance of SLIM: a stateless, thin-client architecture. SOSP 1999: 32-47
1998
62EEMarco 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
61EEThomas R. Gross, Monica S. Lam: Retrospective: A Retrospective on the Warp Machines. 25 Years ISCA: Retrospectives and Reprints 1998: 45-47
60EEMartin C. Rinard, Monica S. Lam: The Design, Implementation, and Evaluation of Jade. ACM Trans. Program. Lang. Syst. 20(3): 483-545 (1998)
59EEMary 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
56EEAmy 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
49EERobert S. French, Monica S. Lam, Jeremy R. Levitt, Kunle Olukotun: A General Method for Compiling Event-Driven Simulations. DAC 1995: 151-156
48EEChau-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
41EEMary 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
39EEMonica 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
30EEGeoffrey 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
20EEMonica 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
13EEMichael 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
8EEMonica 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
1EEThomas R. Gross, Monica S. Lam: Compilation for a high-performance systolic array. SIGPLAN Symposium on Compiler Construction 1986: 27-38

Coauthor Index

1Saman P. Amarasinghe [31] [32] [34] [35] [41] [42] [43] [47] [48] [50] [59] [84]
2S. Amarsinghe [25]
3Jennifer-Ann M. Anderson [18] [33] [34] [35] [42] [43] [48] [50] [54] [59]
4Marco Annaratone [2] [3] [5] [62]
5Emmanuel A. Arnould [2] [3] [5] [62]
6Dzintars Avots [85] [88] [89]
7Forest Baskett [67]
8Shekhar Y. Borkar (Shekhar Borkar) [10]
9Robert P. Bosch Jr. [64]
10James C. Browne [30]
11Bernd Brügge (Bernd Bruegge) [4]
12David Brumley [78]
13Edouard Bugnion [50] [54] [59]
14Michael Carbin [85] [89]
15Ramesh Chandra [72] [78] [87]
16Chang-Hsin Chang [4]
17Thomas Cheatham [30]
18Marina C. Chen [30]
19Gerald I. Cheong [65]
20Alok N. Choudhary [30]
21Jim Chow [72] [78]
22Robert S. Cohn (Robert Cohn) [4] [5] [9] [10]
23George W. Cox [10]
24Janice E. Cuny [30]
25Michael Dalton [88]
26Amer Diwan [64]
27Rudolf Eigenmann [30]
28Amr F. Fahmy [30]
29Ian T. Foster [30]
30Geoffrey Fox (Geoffrey Charles Fox) [30]
31Robert S. French [35] [49]
32Dennis Gannon [30]
33Kourosh Gharachorloo [22]
34Anwar M. Ghuloum [64]
35Thomas R. Gross [1] [2] [3] [4] [5] [9] [10] [61] [62]
36Anoop Gupta [22] [27]
37Mary W. Hall [35] [41] [47] [50] [59] [84]
38Sudheendra Hangal [74] [96]
39Tomasz Haupt [30]
40David L. Heine [66] [77] [91]
41John L. Hennessy [12] [17] [19] [22] [35] [36]
42Mark Horowitz [11] [22] [28]
43Carl Kesselman [30]
44Charles Koelbel (Chuck Koelbel) [30]
45H. T. Kung [2] [3] [5] [10] [62]
46James Laudon [22]
47Thomas J. LeBlanc [30]
48Daniel Lenoski [22]
49Margie Levine [10]
50Jeremy R. Levitt [49]
51Wei Li [30]
52Shih-Wei Liao [35] [41] [47] [50] [59] [64] [70] [84]
53Peter Lieu [4]
54Amy W. Lim [34] [38] [56] [58] [65] [69] [70]
55V. Benjamin Livshits [81] [85] [86] [88] [90] [95]
56Allen D. Malony [30]
57Michael Martin [93] [95]
58Michael C. Martin [73] [85] [86]
59Dror E. Maydan [17] [25] [31]
60Onat Menzilcioglu [2] [3] [5] [62]
61Wire Moore [10]
62Brian Moore [10]
63Todd C. Mowry [27] [54]
64Brian R. Murphy [41] [47] [50] [59] [68] [84]
65Jason Nieh [40] [45] [55] [57] [76]
66Abu Noaman [4]
67J. Duane Northcutt [46] [63]
68Kunle Olukotun (Oyekunle A. Olukotun) [49]
69Jim Openshaw [30]
70Jeffrey T. Oplinger [66] [75]
71David A. Padua [30]
72Craig Peterson [10]
73Ben Pfaff [72]
74K. Pieper [19]
75Constantine D. Polychronopoulos [30]
76Sanjay Ranka [30]
77Martin C. Rinard [15] [18] [23] [24] [29] [60]
78Mendel Rosenblum [54] [72] [78]
79Edward E. Rothberg [21]
80Olatunji Ruwase [83]
81Joel H. Saltz [30]
82Constantine P. Sapuntzakis [72] [78] [80] [87]
83Ken Sarocky [2] [5] [62]
84Patrick W. Sathyanathan [53]
85Daniel J. Scales [18] [23] [29] [37] [51]
86Brian K. Schmidt [46] [63]
87Michael L. Scott [30]
88John Senko [5]
89Michael D. Smith [11] [28]
90Jim Susman [10]
91Alan Sussman [30]
92Jim Sutton [10]
93Steven W. K. Tjiang [19] [35]
94Josep Torrellas [12] [36]
95Chau-Wen Tseng [35] [42] [48]
96P. S. Tseng [9]
97Christopher Unkel [85] [94]
98John Urbanski [10]
99Jon A. Webb [2] [3] [5] [10] [62]
100Wolf-Dietrich Weber [22]
101Gil Weigand [30]
102John Whaley [71] [73] [82] [85] [89] [90] [95]
103Christopher S. Wilson [35]
104Robert P. Wilson [26] [35] [44]
105Michael E. Wolf [13] [14] [16] [19] [20] [21]
106David Yam [4]
107Katherine A. Yelick [30]
108Nickolai Zeldovich [78] [87]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)