Travelled to:
1 × Finland
1 × Italy
1 × Spain
2 × Canada
2 × China
2 × France
30 × USA
Collaborated with:
∅ J.Whaley V.B.Livshits M.E.Wolf S.Hangal S.P.Amarasinghe M.C.Martin J.M.Anderson D.L.Heine J.Nieh M.C.Rinard A.W.Lim D.E.Maydan C.Unkel S.Liao T.C.Mowry J.T.Oplinger B.R.Murphy R.P.Wilson D.Avots M.Rosenblum B.K.Schmidt J.D.Northcutt A.Gupta M.D.Smith M.Horowitz E.E.Rothberg J.L.Hennessy J.Seo J.Park J.Shin A.Nagpal R.R.Joyee M.Dalton R.S.French J.R.Levitt K.Olukotun R.Cohn T.R.Gross P.S.Tseng A.Diwan R.P.B.Jr. A.M.Ghuloum E.Bugnion G.Campagna S.Xu Mehrad Moradshahi R.Socher C.P.Sapuntzakis R.Chandra B.Pfaff J.Chow M.Carbin
Talks about:
program (9) analysi (9) optim (7) use (7) sensit (6) parallel (5) softwar (5) context (5) compil (5) data (5)
Person: Monica S. Lam
DBLP: Lam:Monica_S=
Facilitated 1 volumes:
Contributed to:
Wrote 46 papers:
- FSE-2014-Lam #named #network #social
- Omlet: a revolution against big-brother social networks (MSL), p. 1.
- VLDB-2013-SeoPSL #analysis #distributed #graph #scalability
- Distributed SociaLite: A Datalog-Based Language for Large-Scale Graph Analysis (JS, JP, JS, MSL), pp. 1906–1917.
- CSCW-2012-NagpalHJL #personalisation #social #using #web
- Friends, romans, countrymen: lend me your URLs. using social chatter to personalize web search (AN, SH, RRJ, MSL), pp. 461–470.
- ICSE-2009-HangalL #automation #object-oriented #source code
- Automatic dimension inference and checking for object-oriented programs (SH, MSL), pp. 155–165.
- PEPM-2008-LamMLW #data flow #information management #web
- Securing web applications with static and dynamic information flow tracking (MSL, MCM, VBL, JW), pp. 3–12.
- POPL-2008-UnkelL #automation #java
- Automatic inference of stationary fields: a generalization of java’s final fields (CU, MSL), pp. 183–195.
- ICLP-2006-Lam #datalog #question #source code #why
- Why Use Datalog to Analyze Programs? (MSL), p. 1.
- ICSE-2006-HeineL #detection #polymorphism #static analysis
- Static detection of leaks in polymorphic containers (DLH, MSL), pp. 252–261.
- ICSE-2005-AvotsDLL #analysis #c #pointer #security
- Improving software security with a C pointer analysis (DA, MD, VBL, MSL), pp. 332–341.
- OOPSLA-2005-MartinLL #fault #query #security #using
- Finding application errors and security flaws using PQL: a program query language (MCM, VBL, MSL), pp. 365–383.
- PODS-2005-LamWLMACU #database #program analysis #query
- Context-sensitive program analysis as database queries (MSL, JW, VBL, MCM, DA, MC, CU), pp. 1–12.
- PLDI-2004-WhaleyL #alias #analysis #diagrams #pointer #using
- Cloning-based context-sensitive pointer alias analysis using binary decision diagrams (JW, MSL), pp. 131–144.
- ESEC-FSE-2003-LivshitsL #c #context-sensitive grammar #debugging #detection #pointer #source code
- Tracking pointers with path and context sensitivity for bug detection in C programs (VBL, MSL), pp. 317–326.
- PLDI-2003-HeineL #c #c++ #detection #memory management
- A practical flow-sensitive and context-sensitive C and C++ memory leak detector (DLH, MSL), pp. 168–181.
- ASPLOS-2002-OplingerL #reliability #thread
- Enhancing software reliability with speculative threads (JTO, MSL), pp. 184–196.
- ICSE-2002-HangalL #automation #debugging #detection #using
- Tracking down software bugs using automatic anomaly detection (SH, MSL), pp. 291–301.
- ISSTA-2002-WhaleyML #automation #component #interface #object-oriented
- Automatic extraction of object-oriented component interfaces (JW, MCM, MSL), pp. 218–228.
- OSDI-2002-SapuntzakisCPCLR #migration #optimisation
- Optimizing the Migration of Virtual Computers (CPS, RC, BP, JC, MSL, MR), pp. 377–390.
- SAS-2002-WhaleyL #analysis #performance #points-to #strict
- An Efficient Inclusion-Based Points-To Analysis for Strictly-Typed Languages (JW, MSL), pp. 180–195.
- PPoPP-2001-LimLL #array #clustering #using
- Blocking and array contraction across arbitrarily nested loops using affine partitioning (AWL, SWL, MSL), pp. 103–112.
- PEPM-2000-MurphyL #program analysis
- Program Analysis with Partial Transfer Functions (BRM, MSL), pp. 94–103.
- PPoPP-1999-LiaoDBGL #interactive #interprocedural
- SUIF Explorer: An Interactive and Interprocedural Parallelizer (SWL, AD, RPBJ, AMG, MSL), pp. 37–48.
- SOSP-1999-SchmidtLN #architecture #interactive #performance
- The interactive performance of SLIM: a stateless, thin-client architecture (BKS, MSL, JDN), pp. 32–47.
- POPL-1997-LimL #parallel
- Maximizing Parallelism and Minimizing Synchronization with Affine Transforms (AWL, MSL), pp. 201–214.
- SOSP-1997-NiehL #design #evaluation #implementation #multi
- The Design, Implementation and Evaluation of SMART: A Scheduler for Multimedia Applications (JN, MSL), pp. 184–197.
- ASPLOS-1996-BugnionAMRL #multi
- Compiler-Directed Page Coloring for Multiprocessors (EB, JAMA, TCM, MR, MSL), pp. 244–255.
- DAC-1995-FrenchLLO #compilation #simulation
- A General Method for Compiling Event-Driven Simulations (RSF, MSL, JRL, KO), pp. 151–156.
- PLDI-1995-WilsonL #analysis #c #performance #pointer #source code
- Efficient Context-Sensitive Pointer Analysis for C Programs (RPW, MSL), p. 1–?.
- PPoPP-1995-AndersonAL #multi
- Data and Computation Transformations for Multiprocessors (JAMA, SPA, MSL), pp. 166–178.
- SOSP-1995-NiehL #multi #named
- SMART: A Processor Scheduler for Multimedia Applications (JN, MSL), p. 233.
- PLDI-1993-AmarasingheL #code generation #communication #distributed #memory management #optimisation
- Communication Optimization and Code Generation for Distributed Memory Machines (SPA, MSL), pp. 126–138.
- PLDI-1993-AndersonL #locality #optimisation #parallel #scalability
- Global Optimizations for Parallelism and Locality on Scalable Parallel Machines (JAMA, MSL), pp. 112–125.
- POPL-1993-MaydanAL #analysis #array #data flow
- Array Data-Flow Analysis and its Use in Array Privatization (DEM, SPA, MSL), pp. 2–15.
- ASPLOS-1992-MowryLG #algorithm #compilation #design #evaluation
- Design and Evaluation of a Compiler Algorithm for Prefetching (TCM, MSL, AG), pp. 62–73.
- ASPLOS-1992-SmithHL #performance
- Efficient Superscalar Performance Through Boosting (MDS, MH, MSL), pp. 248–259.
- POPL-1992-RinardL #semantics
- Semantic Foundations of Jade (MCR, MSL), pp. 105–118.
- ASPLOS-1991-LamRW #algorithm #optimisation #performance
- The Cache Performance and Optimizations of Blocked Algorithms (MSL, EER, MEW), pp. 63–74.
- Best-of-PLDI-1991-LamW #algorithm #locality #optimisation
- A data locality optimizing algorithm (with retrospective) (MSL, MEW), pp. 442–459.
- PLDI-1991-MaydanHL #analysis #data flow #dependence #performance
- Efficient and Exact Data Dependence Analysis (DEM, JLH, MSL), pp. 1–14.
- PLDI-1991-WolfL #algorithm #locality #optimisation
- A Data Locality Optimizing Algorithm (MEW, MSL), pp. 30–44.
- PPoPP-1991-LamR #parallel #programming
- Coarse-Grain Parallel Programming in Jade (MSL, MCR), pp. 94–105.
- ASPLOS-1989-CohnGLT #architecture #compilation #trade-off #word
- Architecture and Compiler Tradeoffs for a Long Instruction Word Microprocessor (RC, TRG, MSL, PST), pp. 2–14.
- Best-of-PLDI-1988-Lam88a #effectiveness #pipes and filters #scheduling
- Software pipelining: an effective scheduling technique for VLIW machines (with retrospective) (MSL), pp. 244–256.
- PLDI-1988-Lam #effectiveness #pipes and filters #scheduling
- Software Pipelining: An Effective Scheduling Technique for VLIW Machines (MSL), pp. 318–328.
- POPL-1988-Lam #array #compilation #optimisation #source code
- Compiler Optimizations for Asynchronous Systolic Array Programs (MSL), pp. 309–318.
- PLDI-2019-CampagnaXMSL #generative #named #natural language #parsing #semantics
- Genie: a generator of natural language semantic parsers for virtual assistant commands (GC, SX, MM, RS, MSL), pp. 394–410.