Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Monica Lam
Monica Lam is a Professor in the Computer Science Department at
Stanford University since 1988. She received a B.Sc. from University
of British Columbia in 1980 and a Ph.D. in Computer Science from
Carnegie Mellon University in 1987. She has worked in the areas of
compiler optimization, software analysis to improve security,
simplifying computing with virtualization.
Her contributions compiler optimizations include software pipelining,
data locality, parallelization. The SUIF compiler infrastructure
developed by her research group has been widely used by compiler
researchers all around the world. She helped found Tensilica in 1998,
which specializes automatic generation of configurable processor cores
and compilers from a high-level description.
Her contributions in program analysis for security include tools for
automatically detecting cross-site scripting and SQL injection bugs in
Java/JSP web applications, which was based on a novel
context-sensitive pointer alias analysis. Other contributions include
the bddbddb (BDD-based Deductive DataBase) analysis system, the PQL
program query language, the Diduce dynamic root-cause analyzer, the
Clouseau C++ memory leak detector, and the Cred buffer overrun
detector. She co-authored Compilers, Principles, Techniques, and
Tools (2nd Edition), also known as the Dragon book, which was
published in 2006.
In the area of simplifying computing, her Collective project developed
the concept of a livePC:
subscribers of the livePC will automatically run the latest of the
published PC virtual images with each reboot. This approach allows
computers to be managed scalably and securely. In 2005, the group
started a company called moka5 to
transfer the technology to industry.
Monica is an ACM Fellow. She received an NSF Young Investigator award in 1992, the ACM Most
Influential Programming Language Design and Implementation Paper Award
in 2001, an ACM SIGSOFT Distinguished Paper Award in 2002, and the ACM
Programming Language Design and Implementation Best Paper Award in
2004. She was the author of two of the papers in "20 Years of PLDI--a
Selection (1979-1999)", and one paper in the "25 Years of the
International Symposia on Computer Architecture".
She chaired
the ACM SIGPLAN Programming Languages Design and Implementation
Conference in 2000, served on the Editorial Board of ACM Transactions
on Computer Systems and numerous program committees for conferences on
languages and compilers (PLDI, POPL), operating systems (SOSP), and
computer architecture (ASPLOS, ISCA).
Automatic Generation of XSS and SQL Injection Attacks with
Goal-Directed Model Checking.
Martin, Michael C., Lam, M. S.
In Proceedings of the 17th USENIX Security
Symposium,
(San Jose, CA, 30 July-1 August, 2008), pages 31-43.
Context-Sensitive Program Analysis as Database Queries
Monica S. Lam, John Whaley, V. Benjamin Livshits, Michael C. Martin,
Dzintars Avots, Michael Carbin and Christopher Unkel.
In Proceedings of the 24th SIGMOD-SIGACT-SIGART Symposium on
Principles of Database Systems,
June, 2005. (Invited Tutorial).
Maximizing
Parallelism and Minimizing Synchronization with Affine Partitions
A. W. Lim and M. S. Lam
Parallel Computing, Vol. 24, Issue 3-4, May 1998, Pages 445-475. (PDF)
(A preliminary version appeared as Maximizing Parallelism and
Minimizing Synchronization with Affine Transform, in the Conference
Record of the 24th Annual ACM SIGPLAN-SIGACT Symposium on Principles of
Programming Languages, January, 1997.)
A Data
Locality Optimizing Algorithm
M. E. Wolf and M. S. Lam
In Proceedings of the ACM SIGPLAN'91 Conference on Programming Language
Design and Implementation, June 1991.
ACM Most Influential PLDI Paper Award, 2001.
Included in 20 Years of PLDI (1979-1999): A Selection, 2004.
(A retrospective).
The Warp Computer: Architecture, Implementation and
Performance.
M. Annaratone, E. Arnould, T. Gross, H. T. Kung, M. Lam, and O.
Menzilcioglu
IEEE Transactions on Computers, December 1987, C-36, 12, pp. 1523-1538.
(A preliminary version appeared as Warp Architecture and
Implementation, which appeared in the Proceedings of the 13th
Annual Symposium on Computer Architecture, (Tokyo, Japan, 2-5 June
1986). pp. 346-356.
Included in 25 Years of the International Symposia on Computer
Architecture, 1998.)