Monica S. Lam

According to our database1, Monica S. Lam authored at least 143 papers between 1984 and 2020.

Collaborative distances:

Awards

ACM Fellow

ACM Fellow 2007, "For contributions to compilers and program analysis.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
State-Machine-Based Dialogue Agents with Few-Shot Contextual Semantic Parsers.
CoRR, 2020

Multi-Modal End-User Programming of Web-Based Virtual Assistant Skills.
CoRR, 2020

Soteria: A Provably Compliant User Right Manager Using a Novel Two-Layer Blockchain Technology.
CoRR, 2020

Schema2QA: Answering Complex Queries on the Structured Web with a Neural Model.
CoRR, 2020

ImagineNet: Restyling Apps Using Neural Style Transfer.
CoRR, 2020

DoThisHere: Multimodal Interaction to Improve Cross-Application Tasks on Mobile Devices.
Proceedings of the UIST '20: The 33rd Annual ACM Symposium on User Interface Software and Technology, 2020

AutoQA: From Databases To QA Semantic Parsers With Only Synthetic Training Data.
Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing, 2020

Localizing Open-Ontology QA Semantic Parsers in a Day Using Machine Translation.
Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing, 2020

Schema2QA: High-Quality and Low-Cost Q&A Agents for the Structured Web.
Proceedings of the CIKM '20: The 29th ACM International Conference on Information and Knowledge Management, 2020

Soundr: Head Position and Orientation Prediction Using a Microphone Array.
Proceedings of the CHI '20: CHI Conference on Human Factors in Computing Systems, 2020

Zero-Shot Transfer Learning with Synthesized Data for Multi-Domain Dialogue State Tracking.
Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics, 2020

2019
Protecting privacy and open competition with Almond: An open-source virtual assistant.
XRDS, 2019

HUBERT Untangles BERT to Improve Transfer across NLP Tasks.
CoRR, 2019

Genie: a generator of natural language semantic parsers for virtual assistant commands.
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2018
Controlling Fine-Grain Sharing in Natural Language with a Virtual Assistant.
Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2018

Keeping the Internet Open with an Open-Source Virtual Assistant.
Proceedings of the 24th Annual International Conference on Mobile Computing and Networking, 2018

Brassau: automatic generation of graphical user interfaces for virtual assistants.
Proceedings of the 20th International Conference on Human-Computer Interaction with Mobile Devices and Services, 2018

2017
Almond: The Architecture of an Open, Crowdsourced, Privacy-Preserving, Programmable Virtual Assistant.
Proceedings of the 26th International Conference on World Wide Web, 2017

2016
From Books to Bots: Using Medical Literature to Create a Chat Bot.
Proceedings of the First Workshop on IoT-enabled Healthcare and Wellness Technologies and Systems, 2016

A distributed open social platform for mobile devices.
Proceedings of the International Conference on Mobile Software Engineering and Systems, 2016

Smart Sketchpad: Using Machine Learning to Provide Contextually Relevant Examples to Artists.
Proceedings of the Hybrid Artificial Intelligent Systems - 11th International Conference, 2016

2015
SociaLite: An Efficient Graph Query Language Based on Datalog.
IEEE Trans. Knowl. Data Eng., 2015

Historical Research Using Email Archives.
Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems, 2015

2014
Omlet: a revolution against big-brother social networks (invited talk).
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

2013
Distributed SociaLite: A Datalog-Based Language for Large-Scale Graph Analysis.
Proc. VLDB Endow., 2013

Weaving a safe web of news.
Proceedings of the 22nd International World Wide Web Conference, 2013

Dispatch: secure, resilient mobile reporting.
Proceedings of the ACM SIGCOMM 2013 Conference, 2013

How mobile disrupts social as we know it.
Proceedings of the 18th International Conference on Intelligent User Interfaces, 2013

SociaLite: Datalog extensions for efficient social network analysis.
Proceedings of the 29th IEEE International Conference on Data Engineering, 2013

2012
Musubi: disintermediated interactive social feeds for mobile devices.
Proceedings of the 21st World Wide Web Conference 2012, 2012

Effective browsing and serendipitous discovery with an experience-infused browser.
Proceedings of the 17th International Conference on Intelligent User Interfaces, 2012

Musubi: A Decentralized Mobile Social Web.
Proceedings of the Semantic Web: Research and Applications, 2012

Processing Email Archives in Special Collections.
Proceedings of the 7th Annual International Conference of the Alliance of Digital Humanities Organizations, 2012

Friends, romans, countrymen: lend me your URLs. using social chatter to personalize web search.
Proceedings of the CSCW '12 Computer Supported Cooperative Work, 2012

2011
MUSE: reviving memories using email archives.
Proceedings of the 24th Annual ACM Symposium on User Interface Software and Technology, 2011

Micro-interactions with NFC-Enabled Mobile Phones.
Proceedings of the Mobile Computing, Applications, and Services, 2011

Groups without tears: mining social topologies from email.
Proceedings of the 16th International Conference on Intelligent User Interfaces, 2011

2010
Towards software-friendly networks.
Proceedings of the 1st ACM SIGCOMM Asia-Pacific Workshop on Systems, 2010

PhoneNet: a phone-to-phone network for group communication within an administrative domain.
Proceedings of the 2ndt ACM SIGCOMM Workshop on Networking, 2010

InvisiType: Object-Oriented Security Policies.
Proceedings of the Network and Distributed System Security Symposium, 2010

Secure, Consumer-Friendly Web Authentication and Payments with a Phone.
Proceedings of the Mobile Computing, Applications, and Services, 2010

2009
Automatic dimension inference and checking for object-oriented programs.
Proceedings of the 31st International Conference on Software Engineering, 2009

2008
Automatic Generation of XSS and SQL Injection Attacks with Goal-Directed Model Checking.
Proceedings of the 17th USENIX Security Symposium, 2008

Automatic inference of stationary fields: a generalization of java's final fields.
Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

Securing web applications with static and dynamic information flow tracking.
Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2008

2006
Static detection of leaks in polymorphic containers.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Why Use Datalog to Analyze Programs?
Proceedings of the Logic Programming, 22nd International Conference, 2006

2005
Interprocedural parallelization analysis in SUIF.
ACM Trans. Program. Lang. Syst., 2005

Finding Security Vulnerabilities in Java Applications with Static Analysis.
Proceedings of the 14th USENIX Security Symposium, Baltimore, MD, USA, July 31, 2005

Context-sensitive program analysis as database queries.
Proceedings of the Twenty-fourth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2005

Finding application errors and security flaws using PQL: a program query language.
Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

The Collective: A Cache-Based System Management Architecture.
Proceedings of the 2nd Symposium on Networked Systems Design and Implementation (NSDI 2005), 2005

Improving software security with a C pointer analysis.
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Using Datalog with Binary Decision Diagrams for Program Analysis.
Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005

Reflection Analysis for Java.
Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005

2004
Cloning-based context-sensitive pointer alias analysis using binary decision diagrams.
Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, 2004

A Practical Dynamic Buffer Overflow Detector.
Proceedings of the Network and Distributed System Security Symposium, 2004

2003
A SMART scheduler for multimedia applications.
ACM Trans. Comput. Syst., 2003

Tracking pointers with path and context sensitivity for bug detection in C programs.
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

A practical flow-sensitive and context-sensitive C and C++ memory leak detector.
Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation 2003, 2003

Virtual Appliances for Deploying and Maintaining Software.
Proceedings of the 17th Conference on Systems Administration (LISA 2003), 2003

Virtual Appliances in the Collective: A Road to Hassle-Free Computing.
Proceedings of HotOS'03: 9th Workshop on Hot Topics in Operating Systems, 2003

Challenges and New Approaches to Program Analysis.
Proceedings of the 12th International Conference on Parallel Architectures and Compilation Techniques (PACT 2003), 27 September, 2003

2002
An Efficient Inclusion-Based Points-To Analysis for Strictly-Typed Languages.
Proceedings of the Static Analysis, 9th International Symposium, 2002

Optimizing the Migration of Virtual Computers.
Proceedings of the 5th Symposium on Operating System Design and Implementation (OSDI 2002), 2002

Automatic extraction of object-oriented component interfaces.
Proceedings of the International Symposium on Software Testing and Analysis, 2002

Tracking down software bugs using automatic anomaly detection.
Proceedings of the 24th International Conference on Software Engineering, 2002

Enhancing software reliability with speculative threads.
Proceedings of the 10th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-X), 2002

2001
Cache Optimizations With Affine Partitioning.
Proceedings of the Tenth SIAM Conference on Parallel Processing for Scientific Computing, 2001

Blocking and array contraction across arbitrarily nested loops using affine partitioning.
Proceedings of the 2001 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP'01), 2001

2000
Guest Editors' Introduction: Cutting-Edge Designs.
IEEE Micro, 2000

Program Analysis with Partial Transfer Functions.
Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '00), 2000

1999
The interactive performance of SLIM: a stateless, thin-client architecture.
Proceedings of the 17th ACM Symposium on Operating System Principles, 1999

SUIF Explorer: An Interactive and Interprocedural Parallelizer.
Proceedings of the 1999 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPOPP'99), 1999

An affine partitioning algorithm to maximize parallelism and minimize communication.
Proceedings of the 13th international conference on Supercomputing, 1999

In Search of Speculative Thread-Level Parallelism.
Proceedings of the 1999 International Conference on Parallel Architectures and Compilation Techniques, 1999

1998
The Design, Implementation, and Evaluation of Jade.
ACM Trans. Program. Lang. Syst., 1998

Maximizing Parallelism and Minimizing Synchronization with Affine Partitions.
Parallel Comput., 1998

Retrospective: A Retrospective on the Warp Machines.
Proceedings of the 25 Years of the International Symposia on Computer Architecture (Selected Papers)., 1998

1997
The Design, Implementation and Evaluation of SMART: A Scheduler for Multimedia Applications.
Proceedings of the Sixteenth ACM Symposium on Operating System Principles, 1997

Maximizing Parallelism and Minimizing Synchronization with Affine Transforms.
Proceedings of the Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1997

SMART UNIX SVR4 Support for Multimedia Applications.
Proceedings of the International Conference on Multimedia Computing and Systems, 1997

Maximizing performance on parallel machines (abstract).
Proceedings of the 2nd International Workshop on Parallel Symbolic Computation, 1997

1996
Multiprocessors from a software perspective.
IEEE Micro, 1996

Maximizing Multiprocessor Performance with the SUIF Compiler.
Computer, 1996

Transparent Fault Tolerance for Parallel Applications on Networks of Workstations.
Proceedings of the USENIX Annual Technical Conference, 1996

Context-Sensitive Interprocedural Analysis in the Presence of Dynamic Aliasing.
Proceedings of the Languages and Compilers for Parallel Computing, 1996

Compiler-Directed Page Coloring for Multiprocessors.
Proceedings of the ASPLOS-VII Proceedings, 1996

Current Status of the SUIF Research Project.
Proceedings of the Data Parallel Programming Model: Foundations, 1996

1995
Effectiveness of data dependence analysis.
Int. J. Parallel Program., 1995

SMART: A Processor Scheduler for Multimedia Applications.
Proceedings of the Fifteenth ACM Symposium on Operating System Principles, 1995

Detecting Coarse - Grain Parallelism Using an Interprocedural Parallelizing Compiler.
Proceedings of the Proceedings Supercomputing '95, San Diego, CA, USA, December 4-8, 1995, 1995

An Overview of the SUIF Compiler for Scalable Parallel Machines.
Proceedings of the Seventh SIAM Conference on Parallel Processing for Scientific Computing, 1995

Data and Computation Transformations for Multiprocessors.
Proceedings of the Fifth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1995

Efficient Context-Sensitive Pointer Analysis for C Programs.
Proceedings of the ACM SIGPLAN'95 Conference on Programming Language Design and Implementation (PLDI), 1995

A Method and Apparatus for Measurung media Synchronization.
Proceedings of the Network and Operating System Support for Digital Audio and Video, 1995

Integrated Processors Scheduling for Multimedia.
Proceedings of the Network and Operating System Support for Digital Audio and Video, 1995

Interprocedural Analysis for Parallelization.
Proceedings of the Languages and Compilers for Parallel Computing, 1995

Unified Compilation Techniques for Shared and Distributed Address Space Machines.
Proceedings of the 9th international conference on Supercomputing, 1995

A General Method for Compiling Event-Driven Simulations.
Proceedings of the 32st Conference on Design Automation, 1995

1994
False Sharing ans Spatial Locality in Multiprocessor Caches.
IEEE Trans. Computers, 1994

SUIF: An Infrastructure for Research on Parallelizing and Optimizing Compilers.
ACM SIGPLAN Notices, 1994

The Design and Evaluation of a Shared Object System for Distributed Memory Machines.
Proceedings of the First USENIX Symposium on Operating Systems Design and Implementation (OSDI), 1994

Communication-Free Parallelization via Affine Transformations.
Proceedings of the Languages and Compilers for Parallel Computing, 1994

Locality Optimizations for Parallel Machines.
Proceedings of the Parallel Processing: CONPAR 94, 1994

1993
Jade: A High-Level, Machine-Independent Language for Parallel Programming.
Computer, 1993


Array Data-Flow Analysis and its Use in Array Privatization.
Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993

Global Optimizations for Parallelism and Locality on Scalable Parallel Machines.
Proceedings of the ACM SIGPLAN'93 Conference on Programming Language Design and Implementation (PLDI), 1993

Communication Optimization and Code Generation for Distributed Memory Machines.
Proceedings of the ACM SIGPLAN'93 Conference on Programming Language Design and Implementation (PLDI), 1993

An Overview of a Compiler for Scalable Parallel Machines.
Proceedings of the Languages and Compilers for Parallel Computing, 1993

1992
The Stanford Dash Multiprocessor.
Computer, 1992

Heterogeneous Parallel Programming in Jade.
Proceedings of the Proceedings Supercomputing '92, 1992

Semantic Foundations of Jade.
Proceedings of the Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1992

Data Dependence and Data-Flow Analysis of Arrays.
Proceedings of the Languages and Compilers for Parallel Computing, 1992

Limits of Control Flow on Parallelism.
Proceedings of the 19th Annual International Symposium on Computer Architecture. Gold Coast, 1992

Efficient Superscalar Performance Through Boosting.
Proceedings of the ASPLOS-V Proceedings, 1992

Design and Evaluation of a Compiler Algorithm for Prefetching.
Proceedings of the ASPLOS-V Proceedings, 1992

1991
A Loop Transformation Theory and an Algorithm to Maximize Parallelism.
IEEE Trans. Parallel Distributed Syst., 1991

Automatic Blocking by a Compiler.
Proceedings of the Fifth SIAM Conference on Parallel Processing for Scientific Computing, 1991

Coarse-Grain Parallel Programming in Jade.
Proceedings of the Third ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), 1991

A Data Locality Optimizing Algorithm.
Proceedings of the ACM SIGPLAN'91 Conference on Programming Language Design and Implementation (PLDI), 1991

Efficient and Exact Data Dependence Analysis.
Proceedings of the ACM SIGPLAN'91 Conference on Programming Language Design and Implementation (PLDI), 1991

A data locality optimizing algorithm (with retrospective)
Proceedings of the 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, 1991

Integrating Scalar Optimization and Parallelization.
Proceedings of the Languages and Compilers for Parallel Computing, 1991

Hierarchical Concurrency in Jade.
Proceedings of the Languages and Compilers for Parallel Computing, 1991

The Cache Performance and Optimizations of Blocked Algorithms.
Proceedings of the ASPLOS-IV Proceedings, 1991

1990
Boosting Beyond Static Scheduling in a Superscalar Processor.
Proceedings of the 17th Annual International Symposium on Computer Architecture, 1990

Supporting Systolic and Memory Communciation in iWarp.
Proceedings of the 17th Annual International Symposium on Computer Architecture, 1990

Share Data Placement Optimizations to Reduce Multiprocessor Cache Miss Rates.
Proceedings of the 1990 International Conference on Parallel Processing, 1990

Design of scalable shared-memory multiprocessors: the DASH approach.
Proceedings of the Intellectual Leverage: Thirty-Fifth IEEE Computer Society International Conference, 1990

1989
Architecture and Compiler Tradeoffs for a Long Instruction Word Microprocessor.
Proceedings of the ASPLOS-III Proceedings, 1989

1988
Compiler Optimizations for Asynchronous Systolic Array Programs.
Proceedings of the Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, 1988

Software pipelining: an effective scheduling technique for VLIW machines (with retrospective)
Proceedings of the 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, 1988

Software Pipelining: An Effective Scheduling Technique for VLIW Machines.
Proceedings of the ACM SIGPLAN'88 Conference on Programming Language Design and Implementation (PLDI), 1988

1987
The Warp Computer: Architecture, Implementation, and Performance.
IEEE Trans. Computers, 1987

Programming Warp.
Proceedings of the COMPCON'87, 1987


1986
Compilation for a high-performance systolic array.
Proceedings of the 1986 SIGPLAN Symposium on Compiler Construction, 1986

Warp Architecture and Implementation.
Proceedings of the 13th Annual Symposium on Computer Architecture, Tokyo, Japan, June 1986, 1986

1985
A Transformational Model of VLSI Systolic Design.
Computer, 1985

Warp as a machine for low-level vision.
Proceedings of the 1985 IEEE International Conference on Robotics and Automation, 1985

1984
Wafer-scale integration and two-level pipelined implementations of systolic arrays.
J. Parallel Distributed Comput., 1984


  Loading...