The Design of Parsers for Incremental Language Processors - Gary Lindstrom (STOC, 1970)

Scanning List Structures Without Stacks or Tag Bits. - Gary Lindstrom (Inf. Process. Lett., 1973)

Copying List Structures Using Bounded Workspace. - Gary Lindstrom (Commun. ACM, 1974)

Algorithms for list structure condensation. - Gary Lindstrom (Int. J. Parallel Program., 1974)

SIGPLAN(Paper Session). - Marvin V. Zelkowitz; Paul R. McMullin; Keith R. Merkel; Howard J. Larsen; Frederick C. Druseikis; G. David Ripley; David R. Hanson; Gary Lindstrom (ACM Annual Conference, 1976)

Control Separation in programming languages. - Michael J. Lemon; Gary Lindstrom; Mary Lou Soffa (ACM Annual Conference, 1977)

Control Structure Aptness: A Cast Study Using Top-Down Parsing. - Gary Lindstrom (ICSE, 1978)

A loosely-coupled applicative multi-processing system. - Robert M. Keller; Gary Lindstrom; Suhas Patil (MARK, 1979)

Backtracking in a Generalized Control Setting. - Gary Lindstrom (ACM Trans. Program. Lang. Syst., 1979)

Applications of feedback in functional programming. - Robert M. Keller; Gary Lindstrom (FPCA, 1981)

Referencing and Retention in Block-Structured Coroutines. - Gary Lindstrom; Mary Lou Soffa (ACM Trans. Program. Lang. Syst., 1981)

Mapping High-Order Language Program Units into VLSI Structures. - Elliott I. Organick; Gary Lindstrom (COMPCON, 1982)

Consistency and Currency in Functional Databases. - Gary Lindstrom; Frances Hunt (INFOCOM, 1983)

Transforming an Ada Program Unit to Silicon and Testing It in an Ada Environment. - Tony M. Carter; Alan L. Davis; Alan B. Hayes; Gary Lindstrom; Dan Klass; Mike P. Maloney; Brent E. Nelson; Elliott I. Organick; Kent F. Smith (COMPCON, 1984)

Or-Parallelism on Applicative Architectures. - Gary Lindstrom (ICLP, 1984)

Stream-Based Execution of Logic Programming. - Gary Lindstrom; Prakash Panangaden (SLP, 1984)

Transforming an Ada Program Unit to Silicon and Verifying Its Behavior in an Ada Environment: A first Experiment. - Elliott I. Organick; Tony M. Carter; Mike P. Maloney; Alan L. Davis; Alan B. Hayes; Dan Klass; Gary Lindstrom; Brent E. Nelson; Kent F. Smith (IEEE Softw., 1984)

Approaching Distributed Database Implementations through Functional Programming Concepts. - Robert M. Keller; Gary Lindstrom (ICDCS, 1985)

Functional Programming and the Logical Variable. - Gary Lindstrom (POPL, 1985)

Editorial: A time of transition. - Gary Lindstrom (Int. J. Parallel Program., 1985)

Logic programming - functions, relations and equations. - Doug DeGroot; Gary Lindstrom (Prentice Hall, 1986)

Implementing logical variables on a graph reduction architecture. - Gary Lindstrom (Graph Reduction, 1986)

Static evaluation of functional programs. - Gary Lindstrom (SIGPLAN Symposium on Compiler Construction, 1986)

Integrating Functional and Logic Programming. - Gary Lindstrom (IEEE Softw., 1986)

A Performance-Oriented Design for OR-Parallel Logic Programming. - Peter Tinker; Gary Lindstrom (ICLP, 1987)

Generating Efficient Code from Strictness Annotations. - Gary Lindstrom; Lal George; Dowming Yeh (TAPSOFT, Vol.2, 1987)

Committed Choice Functional Programming. - Göran Båge; Gary Lindstrom (FGCS, 1988)

An Implementation of Portable Standard LISP on the BBN Butterfly. - Mark R. Swanson; Robert R. Kessler; Gary Lindstrom (LISP and Functional Programming, 1988)

Static Analysis Of Functional Programs With Logic Variables. - Gary Lindstrom (PLILP, 1988)

Sage commentary. - Gary Lindstrom (Int. J. Parallel Program., 1988)

Sans pareil: Referees. - Gary Lindstrom (Int. J. Parallel Program., 1990)

Combinator Evaluation of Functional Programs with Logical Variables. - Göran Båge; Gary Lindstrom (LISP Symb. Comput., 1990)

Modularity meets inheritance. - Gilad Bracha; Gary Lindstrom (ICCL, 1992)

Using a Functional Language id Graph Reduction to Program Multiprocessor Machines, or Functional Control of Imperative Programs. - Lal George; Gary Lindstrom (IPPS, 1992)

Our LIPS Are Sealed: Interfacing Functional and Logic Programming Systems. - Gary Lindstrom; Jan Maluszynski; Takeshi Ogi (PLILP, 1992)

A Dossier Driven Persistent Objects Facility. - Robert Mecklenburg; Charles Clark; Gary Lindstrom; Benny Yih (C++ Conference, 1994)

An Application Framework For Module Composition Tools. - Guruduth Banavar; Gary Lindstrom (ECOOP, 1996)

The Design and Implementation of a Database For Human Genome Research (Position Paper). - Rob Sargent; Dave Fuhrman; Terence Critchlow; Tony Di Sera; Robert Mecklenburg; Gary Lindstrom; Peter Cartwright (SSDBM, 1996)

Migrating Relational Data to an OODB: Strategies and Lessons from a Molecular Biology Experience. - Jon R. Oler; Gary Lindstrom; Terence Critchlow (OOPSLA, 1997)

Flick: A Flexible, Optimizing IDL Compiler. - Eric Eide; Kevin Frei; Bryan Ford; Jay Lepreau; Gary Lindstrom (PLDI, 1997)

Validation Web Site: A Combustion Collaboratory over the Internet. - Angela Violi; Xiaodong Chen; Gary Lindstrom; Eric Eddings; Adel F. Sarofim (International Conference on Computational Science (2), 2001)

Specifying Java thread semantics using a uniform memory model. - Yue Yang; Ganesh Gopalakrishnan; Gary Lindstrom (Java Grande, 2002)

Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT. - Yue Yang; Ganesh Gopalakrishnan; Gary Lindstrom; Konrad Slind (CHARME, 2003)

Memory-Model-Sensitive Data Race Analysis. - Yue Yang; Ganesh Gopalakrishnan; Gary Lindstrom (ICFEM, 2004)

Nemos: A Framework for Axiomatic and Executable Specifications of Memory Consistency Models. - Yue Yang; Ganesh Gopalakrishnan; Gary Lindstrom; Konrad Slind (IPDPS, 2004)

Model Checking Real Time Java Using Java PathFinder. - Gary Lindstrom; Peter C. Mehlitz; Willem Visser (ATVA, 2005)

UMM: an operational memory model specification framework with integrated model checking capability. - Yue Yang; Ganesh Gopalakrishnan; Gary Lindstrom (Concurr. Pract. Exp., 2005)

ABI compatibility through a customizable language. - Kevin Atkinson; Matthew Flatt; Gary Lindstrom (GPCE, 2010)