| 2010 | GPCE | ABI compatibility through a customizable language. | Kevin Atkinson, Matthew Flatt, Gary Lindstrom |
| 2005 | ATVA | Model Checking Real Time Java Using Java PathFinder. | Gary Lindstrom, Peter C. Mehlitz, Willem Visser |
| 2004 | ICFEM | Memory-Model-Sensitive Data Race Analysis. | Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom |
| 2001 | ICCS | Validation Web Site: A Combustion Collaboratory over the Internet. | Angela Violi, Xiaodong Chen, Gary Lindstrom, Eric Eddings, Adel F. Sarofim |
| 1997 | OOPSLA | Migrating Relational Data to an OODB: Strategies and Lessons from a Molecular Biology Experience. | Jon R. Oler, Gary Lindstrom, Terence Critchlow |
| 1997 | PLDI | Flick: A Flexible, Optimizing IDL Compiler. | Eric Eide, Kevin Frei, Bryan Ford, Jay Lepreau, Gary Lindstrom |
| 1996 | ECOOP | An Application Framework For Module Composition Tools. | Guruduth Banavar, Gary Lindstrom |
| 1996 | SSDBM | 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 |
| 1987 | ICLP | A Performance-Oriented Design for OR-Parallel Logic Programming. | Peter Tinker, Gary Lindstrom |
| 1985 | ICDCS | Approaching Distributed Database Implementations through Functional Programming Concepts. | Robert M. Keller, Gary Lindstrom |
| 1985 | POPL | Functional Programming and the Logical Variable. | Gary Lindstrom |
| 1984 | ICLP | Or-Parallelism on Applicative Architectures. | Gary Lindstrom |
| 1983 | INFOCOM | Consistency and Currency in Functional Databases. | Gary Lindstrom, Frances Hunt |
| 1978 | ICSE | Control Structure Aptness: A Cast Study Using Top-Down Parsing. | Gary Lindstrom |
| 1970 | STOC | The Design of Parsers for Incremental Language Processors | Gary Lindstrom |