Monica S. Lam
Professor
Computer Science Department
Stanford University
Address: Room 422, Gates Computer Science Building
Stanford, CA 94305-3070
Tel: (650) 725-3714
Email: lam at cs.stanford.edu
WWW: http://cs.stanford.edu/~lam
Education
-
Ph.D. Computer Science, Carnegie Mellon University, 1987.
-
M.S. Computer Science, Carnegie Mellon University, 1982.
-
B.S. Computer Science, University of British Columbia, 1980.
Professional Experience
-
9/2000-present Professor of Computer Science, Stanford University
-
1/1998-9/1998 Chief Scientist, Tensilica, Inc.
-
9/1995-8/2000 Associate Professor of Computer Science, Stanford University
-
9/1988-8/1995 Associate Professor of Computer Science, Stanford University
-
9/1987-8/1988 Research Associate, Computer Science, Carnegie Mellon University
Honors and Awards
-
The Almond project received Popular Science's Best of What's New in
Security Award, 2019.
-
Member, National Academy of Engineering, 2019.
-
University of British Columbia Computer Science 50th Anniversary
Research Award, 2018.
- "Musubi: Disintermediated Interactive Social Feeds for Mobile
Devices", Finalist, Better Student Paper in WWW 2012.
-
ACM Fellow, 2007.
-
ACM Programing Language Design and Implementation Best Paper Award,
ACM, 2004.
- Arthor of 2 papers in 20 Years of Programming Language Design and
Implementation--A Selection (1979-1999), ACM, 2004.
-
ACM SIGSOFT Distinguished Paper Award, 2002.
-
ACM Most Influential Programming Language Design and Implementation Paper
Award, 2001.
-
Arthor of a paper in the 25 Years of the International Symposia of
Computer Architecture (Selected Papers), ACM, 1998.
-
Robert N. Noyce Faculty Scholar, School of Engineering, Stanford University,
1995-1996.
-
NSF Young Investigator Award, 1992.
Public Service
-
Chair, First Open Virtual Assistant Workshop,
Stanford, October 2019.
-
Advanced R&D Advisory Committee, Industrial Technology Research
Institute, Taiwan, 2016-2017.
-
Committee Member,
Harvard IT Visiting Committee, 2014-2017.
-
Study Committee Member, Sustaining
Growth in Computer Performance, National Academy of Sciences, 2007-2009.
-
Advisory Committee, Institute of Information Science, Academia Sinica, Taiwan,
2004-now.
-
Member, Information Science and Technology Study (ISAT), Defense Advanced
Research Projects Agency, 1999-2001.
-
Editor, ACM Transactions on Computer Systems, ACM Press, 1994-2001.
-
Editor, International Journal of Supercomputer Applications, MIT Press.
-
Program Chair, ACM SIGPLAN 2000 Conference on Programming Language Design
and Implementation (PLDI), 2000.
-
Program Co-Chair, Hot Chips Symposium, 1999.
-
Program Chair, First SUIF Compiler Workshop, 1996.
-
Member, Program Committee,
The ACM International Conference on
Mobile Systems, Applications, and Services (Mobisys), 2012.
-
Member, Program Committee, USENIX Annual Technical Conference, 2011.
-
Member, Program Committee, ACM Internatonal Conference on Virtual Execution
Environments (VEE), 2008.
-
Member, Program Committee, International Conference on Architectural Support
for Programming Languages and Operating Systems (ASPLOS), 2004, 1994, 1991.
-
Member, Program Committee, Symposium of Operating System Principles (SOSP),
2001.
-
Member, Program Committee, Hot Chips Symposium, 2000, 1998, 1997.
-
Member, Program Committee, International Symposium on Computer Architecture
(ISCA), 1997, 1995.
-
Member, Program Committee, 7th International Workshop on Network
and Operating System Support for Digital Audio and Video, NOSSDAV '97.
-
Member, Program Committee, ACM Conference on Programming Language Design
and Implementation (PLDI), 1996.
-
Member, Program Committee, IEEE/ACM International Symposium on Microarchitecture
(Micro), 1995.
-
Member, Program Committee, ACM SIGPLAN Symposium on Principles and Practice
of Parallel Programming (PPOPP), 1995, 1993.
-
Member, Program Committee, International Conference on Parallel Architectures
and Compilation Techniques (PACT), 1994.
-
Member, Program Committee, International Conference on Compiler Construction,
1994.
-
Member, Program Committee, Supercomputing, 1993.
-
Member, Program Committee, ACM SIGPLAN-SIGACT Symposium on Principles of
Programming Languages (POPL), 1993.
-
Member, Program Committee, International Conference on Application-Specific
Array Processors, 1992.
-
Member, Program Committee, ACM Symposium on Parallel Algorithms and Architectures
(SPAA), 1992.
-
Member, Program Committee, Conference on Advanced Research in VLSI and
Parallel Systems, 1992.
-
Member, Program Committee, 24th Annual Workshop on Microprogramming,
1991.
Invited Talks
-
Keynote Address,
"Genie: The Open Virtual Assistant Initiative",
The 28th International Conference on Computational Linguistics (Coling),
December 2020.
-
Invited Talk,
"Let's Build an Open Programmable Virtual Assistant with Privacy",
The First Workshop on Natural Language Interfaces in the ACL 2020 conference,
July 2020.
-
Keynote Address,
"Building the Smartest and Open Virtual Assistant to Protect Privacy",
ACM/IFIP International Middleware Conference,
Davis, CA, December 2019.
-
Gerald M. Masson Distinguished Lecture,
"Building the Smartest and Open Virtual Assistant to Protect Privacy",
Johns Hopkins University,
Baltimore, MD, October 8, 2019.
-
The Future of Everything Podcast, Stanford School of Engineering,
"Privacy in the Age of Virtual Assistants",
Stanford, June 4, 2019.
(Top 5 of 100 Videos Award).
-
Ada Lovelace Lecture,
"Keeping the Linguistic Web Open with Open-Source Virtual
Assistants",
Leiden University,
Leiden, Netherlands, March 22, 2019.
-
A podcast with Russ Altman in Stanford Engineering's The Future of
Everything,
June 4, 2019. (The top 5 of 100 podcast award).
-
Keynote Address,
"Giving Control Back to Consumers with Open Federated Virtual Assistants",
High Performance and Embedded Architecture and Compilation (HiPEAC)
Conference,
Valencia, Spain, January 2019.
-
Keynote Address,
"Keeping the Internet Open with an Open Virtual Assistant",
MobiCom 2018: The 24th Annual International Conference on Mobile Computing and
Networking,
New Delhi, India, October 2018.
-
20th Anniversary Distinguished Lecture,
"Autonomy and Privacy with Federated Virtual Assistants",
National University of Singapore,
Singapore, October 10, 2018.
-
Invited Talk,
"Solving the Next Billion-People Privacy Problem",
The 27th Usenix Security Symposium Conference,
Maryland,
DC, August 2018.
-
Invited Lecture,
"Thingtalk: a Distributed and Synthesizable Programming Language for
Virtual Assistants",
50th Anniversary Computer Systems Symposium,
University of British Columbia, Vancouver, B. C., May 2018.
-
Distinguished Lecture,
"Keeping the Internet Open with an Open-Source Virtual Assistant",
Colorado State University, Fort Collins, CO, March 2018.
-
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.
-
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.
-
Keynote Address,
"A Distributed Open Social Platform for Mobile Devices",
IEEE/ACM International Conference on Mobile Software Engineering and
Systems, Austin TX, May 2016.
-
Keynote Address,
"A Revolution Against Big-Brother Social Networks",
Microsoft Faculty Summit, Seattle CA, July 2015.
-
Distinguished Lecture,
"Omlet: A Revolution Against Big-Brother Social Networks",
University of California, Irvine CA, April 2015.
-
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.
-
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.
-
Invited Talk,
"Programmable Open Mobile Internet (POMI) 2020",
5G North American Workshop, Monterey CA, November 2014.
-
Invited talk,
"Programmable Open Mobile Internet",
GSMA Chief Strategy Officers Group workshop,
Stanford, September 2014.
-
Keynote Address,
"Omlet: Open Messaging for Collaboration in MOOCs",
The 1st Greater China MOOC Symposium, Jiayuguan, August 2014.
-
Keynote Adress,
"An Open and Distributed Internet of Things and People",
Tizen Developer Conference, San Francisco, June 2014.
-
Distinguished Lecture,
"How Mobile Can Disrupt Social",
University of British Columbia, Vancouver, BC, April 2014.
-
Entrepreneurship Thought Leadership Lecture,
"How Mobile Disrupts Social As We Know It ",
Stanford University, April 2013.
-
Keynote Address,
"How Mobile Disrupts Social As We Know It ",
International Conference on Intelligent User Interfaces (IUI), Santa Monica, March
2013.
-
Invited Talk,
"Ubiquitous Mobility - What Does the Future Hold?"
Corning Advancing the Vision 2 Conference, Stanford, October 2012.
-
Invited Talk,
"Musubi: a Distributed Mobile App Platform",
The 25th International Workshop on Languages and Compilers for
Parallel Computing, Tokyo, Japan, September 2012.
-
Keynote Address,
"Musubi: A Decentralized Mobile Social Web",
Extended Semantic Web Conference (ESWC), Crete, Greece, May 2012.
-
IAS Distinguished Lecture,
"Musubi, an Open Mobile Social Network",
Hong Kong University of Science and Technology, December 2011.
-
Invited talk, "A Non-Proprietary Social Internet",
14th
International Workshop on High Performance Transaction Systems (HPTS)
Pacific Grove, CA, October 2011
-
Distinguished Lecture,
"Open Social Networking",
Wayne State University, February 2011.
-
Keynote Address,
"Building a Social Networking Future Without Big Brother",
IBM Almaden Computer Science Department Annual Workshop, December 2009.
-
Salton Lecture,
"Building a Social Networking Future Without Big Brother",
Cornell University, October 2009.
-
Distinguished Lecture,
"Personal Cloud Computing",
University of California at Santa Barbara, January 2009.
-
Cray Distinguished Lecture,
"Desktop Virtualization: From Research to Product",
University of Minnesota, February 2008.
-
Keynote Address,
"Securing Web Applications Using Static and Dynamic Information Flow
Tracking",
ACM Sigplan 2008 Workshop on Partial Evaluation and Program
Manipulation, January 2008.
-
William Mong Distinguished Lecture,
"LivePCs: Consumerizing PCs, from Research to Product",
Hong Kong University, December 2007.
-
Distinguished Lecture,
"Consumerizing PCs: from Research to Product",
North Carolina State University, April 2007.
-
Distinguished Lecture,
"Consumerizing PCs: from Research to Product",
Northwestern University, April 2007.
-
Invited Talk,
"Why Use Datalog to Analyze Program?",
Twenty Second International Conference on Logic Programming,
Seattle, August 17-20, 2006.
-
Tutorial,
"Context-Sensitive Program Analysis as Database Queries",
The 24th SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems,
June, 2005.
-
Bruce Nelson Distinguished Lecture, "Software Design Rules",
Harvey Mudd College, December 2004.
-
Keynote Address, "PCs for Mere Mortals",
The 13th High-Performance Distributed Computing Computing, June 2004.
-
Keynote Address, "Challenges and New Approaches to Program Analysis",
International Conference on Parallel Architectures
and Compilation Techniques (PACT), October, 2003.
-
Dertouzos Lecture, "Converting Cycles into Ease-of-Use and Robustness",
MIT, February 2003.
-
Distinguished Lecture, "Converting Cycles into Reliability",
University of Illinois at Urbana-Champaign, December 2002.
-
Distinguished Lecture, "Converting Cycles into Reliability",
Santa Clara University, December 2002.
-
Distinguished Lecture, "The Architecture of a Compute Utility",
University of California at Davis, May 2001.
-
Invited Talk, "Compiler Technology for Configurable Processors",
Enabling Technologies for System-on-Chip Development, Tampere, Finland,
November 2000.
-
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.
-
Keynote Address, "Beyond PCs and Workstations",
Australasian Computer Science Week '99, Auckland, New Zealand, January
1999.
-
Invited Talk, "Compiler Technology for Application-Specific Processors/Systems
on Chips",
11th International Symposium on System Synthesis, Hsinchu, Taiwan,
December 1998.
-
Keynote Address, "Maximizing Performance on Parallel Machines",
Second International Symposium on Parallel Symbolic Computation, Maui,
HI, July 1997.
-
Invited Speaker, 1997 SIAM Conference on Parallel Processing, Minneapolis,
MN, March 1997.
-
Cray Distinguished Lecture, "The Stanford SUIF Parallelizing Compiler",
University of Minnesota, March 1997.
-
Distinguished Lecture, "The Stanford SUIF Parallelizing Compiler", University
of Utah, December 1996.
-
Invited Speaker, "RISC in 1995", IBM T. J. Watson's 50th Anniversary Research
Symposium, White Plains, N. Y., November 1995.
-
Invited Speaker, "The Stanford SUIF Parallelizing Compiler",
The Triangle Computer Science Distinguished Lecturer Series, Duke University,
North Carolina, October 1995.
-
Invited Speaker, "The Stanford SUIF Parallelizing Compiler",
1995 International Conference on Supercomputing, Barcelona, Spain,
July 1995.
-
Keynote Address, CONPAR 94/VAPP VI International Conference on Parallel
and Vector Processing, Linz, Austria, September 1994.
-
Invited Speaker, Scalable High Performance Computing Conference, Knoxville,
TN, May 1994.
-
Invited Speaker, POPL '94: 21st ACM SIGPLAN-SIGACT Symposium on Principles
of Programming Languages, Portland, OR, January 1994.
-
Keynote Address, Workshop on Languages and Compiler Issues for Distributed
Memory Machines, IBM CASCON '93, Toronto, Ontario, Canada, October 1993.
-
Tutorial Speaker, SIGPLAN '93 Conference on Programming Language Design
and Implementation, Albuquerque, NM, June 1993.
-
Panel Speaker, Fourth ACM SIGPLAN Symposium on Principles and Practice
of Parallel Programming, San Diego, CA, May 1993.
-
Invited Speaker, IFIP Working Conference on Architectures and Compilation
Techniques for Fine and Medium Grain Parallelism, Orlando, FL, January
1993.
-
Invited Speaker, DARPA Fellows Workshop, Minneapolis, MN, November 1992.
-
Tutorial Speaker, SIGPLAN '92 Conference on Programming Language Design
and Implementation, San Francisco, CA, June 1992.
-
Panel Speaker, IBM CASCON '91, Toronto, Ontario, Canada, October 1991.
-
Invited Speaker, Argonne National Laboratory Summer Institute in Parallel
Computing, Argonne, IL, September 1991.
-
Panel Speaker, Hot Chips Symposium, Palo Alto, CA, August 1991.
-
Invited Speaker, IBM Europe Institute on RISC Architectures in Scientific
Computing, Austria, July 1991.
-
Invited Speaker, Microprocessor Forum Annual Meeting, San Francisco, CA,
October 1990.
-
Invited Speaker, Ninth International Conference on Computing Methods in
Applied Sciences and Engineering, Paris, France, January 1990, SIAM.
Ph.D. Graduates
-
Michael Wolf, CS, August 1992.
Thesis: "Improving Parallelism and Locality in Nested Loops".
Nominated by Stanford for the ACM Thesis Award.
-
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".
-
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.
-
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".
-
Daniel Scales, CS, December 1995.
Current Position: Member of Technical Staff, VMWare, Inc., Palo Alto.
Thesis: "Efficient Shared Objects for Distributed Address Space Machines".
-
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.
-
Jennifer Anderson, CS, March 1997.
Current Position: Member of Technical Staff, VMWare, Inc., Palo Alto.
Thesis: "Automatic Computation and Data Decomposition for Multiprocessors".
-
Robert Wilson, EE, December 1997.
Current Position: Apple.
Thesis: "Efficient Context-Sensitive Pointer Analysis for C Programs".
-
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".
-
Shih-wei Liao, EE, August 2000.
Current Position: Professor, National Taiwan University
Thesis: "SUIF Explorer: an Interactive and Interprocedural Parallelizer".
-
Brian Schmidt, CS, August 2000.
Current Position: Member of Technical Staff, Google.
Thesis: "Supporting Ubiquitous Computing with Stateless Consoles and
Computation Caches".
-
Patrick Sathyanathan, CS, June 2001.
Thesis: "Interprocedural Data Flow Analysis--Alias Analysis".
-
Amy Lim, CS, September 2001.
Current Position: Member of Technical Staff, Cadence.
Thesis: "Improving Parallelism And Data Locality With Affine
Partitioning".
-
Brian Murphy, CS, December 2001.
Current Position: Amazon.
Thesis: "Frameworks for Precise Program Analysis".
-
Jeffrey Oplinger, EE, September 2004.
Current Position: Member of Technical Staff, Oracle.
Thesis: "Enhancing Software Reliability with Speculative Threads".
-
David Heine, EE, December 2004.
Current Position: Member of Technical Staff, Tensilica/Cadence,
Thesis: "Static Memory Leak Detection".
-
Constantine Sapuntzakis, CS, December 2006.
Current Position: Pure Systems
Thesis: "The Collective: Simplifying the Management and Mobility
of Today's Computers"
-
Benjamin Livshits, CS, December 2006.
Current Position: Researcher, Microsoft Research.
Thesis: "Improving Software security with Precise Static and
Runtime Analysis"
-
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.
-
Michael Martin, CS, December 2008.
Current Position: Omlet.
Thesis: "PQL: A Program Query Language"
-
Chris Unkel, EE, December 2009.
Current Position: DriveScale.
Thesis: "Stationary Fields in Object-Oriented Programs"
-
Sudheendra Hangal, CS, December 2012.
Thesis: "Reshaping reminiscence, web browsing and web seach using personal
digital archives"
-
Jiwon Seo, EE, 2015.
Current Position: UNIST.
Thesis: "The Design and Impleemntation of Large-Scale Graph
Analysis Language".
-
Michael Fischer, CS, 2020.
Thesis: "End-User Programming of Virtual Assistant Skills and Graphical User Interfaces".
Released Software Systems
(Available at http://suif.stanford.edu)
-
Aigner G., Diwan, A., Heine, D. L., Lam, M.S., Moore, D. L., Murphy, B.
R. and Sapuntzakis, C. The SUIF2 Compiler Infrastructure, November 1999.
-
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 (Stanford University Intermediate Format)
Compiler System: an Infrastructure for Research on Parallelizing and Optimizing
Compilers, May 1994.
-
Scales, D. J. and Lam, M. S., SAM: a Memory System for Distributed Memory
Machines, March 1994.
-
Rinard, M. C., Scales, D. J. and Lam, M. S., Jade: a High-Level Language
for Coarse-Grain Parallelism, June 1993.
Publications
(Most of the papers are available at http://suif.stanford.edu/papers)
Refereed Journal Articles
-
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.
-
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.
-
Nieh, J. and Lam, M. S. A SMART scheduler for multimedia applications.
ACM Transactions on Computer Systems, May 2003, 21(2),
pp. 117-163.
-
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.
-
Lim, A. and Lam, M. S., Maximizing Parallelism and Minimizing Synchronization
with Affine Partitions. Parallel Computing, May 1998, 24(3-4):
pp. 445-476.
-
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).
-
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).
-
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.
-
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.
-
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.
-
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.
-
Lam, M. Instruction Scheduling for Superscalar Architectures.
Annual
Review of Computer Science, 4. Annual Reviews, 1990, pp. 173-201.
-
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.
-
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.
-
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.
Refereed Conference Proceedings
-
AutoQA: From Databases To Q&A Semantic Parsers With Only Synthetic Training Data
Silei Xu, Sina J. Semnani, Giovanni Campagna, Monica S. Lam
In Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing, November 2020.
-
Localizing Open-Ontology QA Semantic Parsers in a Day Using Machine Translation
Mehrad Moradshahi, Giovanni Campagna, Sina J. Semnani, Silei Xu, Monica S. Lam
In Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing, November 2020.
-
Soteria: A Provably Compliant User Right Manager Using a Novel Two-Layer Blockchain Technology
Wei-Kang Fu, Yi-Shan Lin, Giovanni Campagna, Chun-Ting Liu, De-Yi Tsai, Chung-Huan Mei, Edward Y. Chang, Shih-Wei Liao, Monica S. Lam
In IEEE Infrastructure Conference, October 2020.
-
DoThisHere: Multimodal Interaction to Improve Cross-Application Tasks on Mobile Devices
Jackie Yang, Monica S. Lam, James A. Landay
In Proceedings of the 33rd Annual ACM Symposium on User Interface Software and Technology (UIST), October 2020.
-
Schema2QA: High-Quality and Low-Cost Q&A Agents for the Structured Web
Silei Xu, Giovanni Campagna, Jian Li, and Monica S. Lam
In Proceedings of the 29th ACM International Conference on Information and Knowledge Management, October 2020.
-
Zero-Shot Transfer Learning with Synthesized Data for Multi-Domain Dialogue State Tracking
Giovanni Campagna, Agata Foryciarz, Mehrad Moradshahi, and Monica S. Lam
In Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), July 2020.
-
Soundr: Head Position and Orientation Prediction Using a Microphone Array
Jackie Yang, Gaurab Banerjee, Vishesh Gupta, Monica S. Lam, and James A. Landay
In CHI '20: Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems, Honolulu, HI, April 2020.
-
Genie: A Generator of Natural Language Semantic Parsers for Virtual
Assistant Commands,
Giovanni Campagna, Silei Xu, Mehrad Moradshahi, Richard Socher, and
Monica S. Lam
In Proceedings of the 40th ACM SIGPLAN Conference on Programming
Language Design and Implementation,
Pheonix, AZ, June 2019.
-
Controlling Fine-Grain Sharing in Natural Language with a Virtual
Assistant
Giovanni Campagna, Silei Xu, Rakesh Ramesh, Michael Fischer, and
Monica S. Lam
In Proceedings of the ACM on Interactive, Mobile, Wearable and
Ubiquitous Technologies (IMWUT),
Singapore, October 2018.
-
Brassau: Automatically Generating Graphical User Interfaces for
Virtual Assistants
Michael Fischer, Giovanni Campagna, Silei Xu, and Monica S. Lam
In Proceedings of the 20th International Conference on Human-Computer Interaction with
Mobile Devices and Services. (MobileHCI),
Barcelona, Spain, September 2018.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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).
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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).
-
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).
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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).
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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).
-
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.
-
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.
-
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.
-
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).
-
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.
-
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.
-
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.
-
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.
-
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.
-
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].
-
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].
-
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].
-
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).
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
Included in 25 Years of the International Symposia on Computer
Architecture, 1998.
-
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.
-
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.
Refereed Presentations at Meetings and Symposia
-
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).
Non-Refereed Books & Book Chapters
-
Aho, Alfred V., Lam, Monica S., Sethi, Ravi, and Ullman, Jeffrey D.,
Compilers: Principles, Techniques and Tools (2nd Ed), 2006.
-
Lam, M. S.,
A
Retrospective: A Data Locality Optimizing Algorithm
In 20 Years of PLDI (1979-1999): A Selection, 2004.
-
Lam, M. S., A
Retrospective: Software Pipelining: An Effective Scheduling Technique
for VLIW Machines.
In 20 Years of PLDI (1979-1999): A Selection, 2004.
-
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).
-
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.
-
Lam, M. A Systolic Array Optimizing Compiler. Kluwer Academic Publishers,
1988.
Non-Refereed Conference Proceedings
-
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.
- 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.
- 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).
-
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).
-
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).
-
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).
-
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).
-
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).
-
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).
-
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.
-
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.
-
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.
-
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.
-
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).
-
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).
-
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.
Technical Reports and Archive Preprints
-
State-Machine-Based Dialogue Agents with Few-Shot Contextual Semantic Parsers
Giovanni Campagna, Sina J. Semnani, Ryan Kearns, Lucas Jun Koba Sato, Monica S. Lam
ArXiv Preprint
-
Multi-Modal End-User Programming of Web-Based Virtual Assistant Skills
Michael H. Fischer, Giovanni Campagna, Euirim Choi, and Monica S. Lam
ArXiv Preprint
-
ImagineNet: Restyling Apps Using Neural Style Transfer
Michael H. Fischer, Richard R. Yang, and Monica S. Lam
ArXiv Preprint
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
Lam, M. A Systolic Array Optimizing Compiler. Ph.D. Thesis, Carnegie-Mellon
University, May 1987, 138 pages.
Patents
-
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
-
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.
-
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.
-
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.