Gary Lindstrom

Kevin Atkinson, Matthew Flatt, Gary Lindstrom: ABI compatibility through a customizable language. GPCE 2010: 147-156

Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom: UMM: an operational memory model specification framework with integrated model checking capability. Concurrency - Practice and Experience 17(5-6): 465-487 (2005)

Gary Lindstrom, Peter C. Mehlitz, Willem Visser: Model Checking Real Time Java Using Java PathFinder. ATVA 2005: 444-456

Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom: Memory-Model-Sensitive Data Race Analysis. ICFEM 2004: 30-45

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

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

Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom: Specifying Java thread semantics using a uniform memory model. Java Grande 2002: 192-201

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

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

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

Guruduth Banavar, Gary Lindstrom: An Application Framework For Module Composition Tools. ECOOP 1996: 91-113

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

Robert Mecklenburg, Charles Clark, Gary Lindstrom, Benny Yih: A Dossier Driven Persistent Objects Facility. C++ Conference 1994: 265-281

Gilad Bracha, Gary Lindstrom: Modularity meets inheritance. ICCL 1992: 282-290

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

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

Gary Lindstrom: Sans pareil: Referees. International Journal of Parallel Programming 19(6): 511-512 (1990)

Göran Båge, Gary Lindstrom: Combinator Evaluation of Functional Programs with Logical Variables. Lisp and Symbolic Computation 3(3): 289-320 (1990)

Gary Lindstrom: Sans pareil: Referees. International Journal of Parallel Programming 18(6): 551-552 (1989)

Gary Lindstrom: Sage commentary. International Journal of Parallel Programming 17(1): 93 (1988)

Göran Båge, Gary Lindstrom: Committed Choice Functional Programming. FGCS 1988: 666-674

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

Gary Lindstrom: Static Analysis Of Functional Programs With Logic Variables. PLILP 1988: 1-19

Gary Lindstrom: Sans pareil: Referees. International Journal of Parallel Programming 16(6): 521-522 (1987)

Peter Tinker, Gary Lindstrom: A Performance-Oriented Design for OR-Parallel Logic Programming. ICLP 1987: 601-615

Gary Lindstrom, Lal George, Dowming Yeh: Generating Efficient Code from Strictness Annotations. TAPSOFT, Vol.2 1987: 140-154

Doug DeGroot, Gary Lindstrom: Logic programming - functions, relations and equations. Prentice Hall 1986, isbn 978-0-13-539958-3, pp. I-VII, 1-533

Gary Lindstrom: Sans pareil: Referees. International Journal of Parallel Programming 15(6): 567-568 (1986)

Gary Lindstrom: Integrating Functional and Logic Programming. IEEE Software 3(1): 77 (1986)

Gary Lindstrom: Implementing logical variables on a graph reduction architecture. Graph Reduction 1986: 382-400

Gary Lindstrom: Static evaluation of functional programs. SIGPLAN Symposium on Compiler Construction 1986: 196-206

Gary Lindstrom: Editorial: A time of transition. International Journal of Parallel Programming 14(6): 335-336 (1985)

Robert M. Keller, Gary Lindstrom: Approaching Distributed Database Implementations through Functional Programming Concepts. ICDCS 1985: 192-200

Gary Lindstrom: Functional Programming and the Logical Variable. POPL 1985: 266-280

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: Transforming an Ada Program Unit to Silicon and Verifying Its Behavior in an Ada Environment: A first Experiment. IEEE Software 1(1): 31-49 (1984)

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: Transforming an Ada Program Unit to Silicon and Testing It in an Ada Environment. COMPCON 1984: 448-455

Gary Lindstrom: Or-Parallelism on Applicative Architectures. ICLP 1984: 159-170

Gary Lindstrom, Prakash Panangaden: Stream-Based Execution of Logic Programming. SLP 1984: 168-176

Gary Lindstrom, Frances Hunt: Consistency and Currency in Functional Databases. INFOCOM 1983: 352-361

Elliott I. Organick, Gary Lindstrom: Mapping High-Order Language Program Units into VLSI Structures. COMPCON 1982: 15-18

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

Gary Lindstrom: Backtracking in a Generalized Control Setting. ACM Trans. Program. Lang. Syst. 1(1): 8-26 (1979)

Gary Lindstrom: Control Structure Aptness: A Cast Study Using Top-Down Parsing. ICSE 1978: 5-12

Gary Lindstrom: Copying List Structures Using Bounded Workspace. Commun. ACM 17(4): 198-202 (1974)

Gary Lindstrom: Algorithms for list structure condensation. International Journal of Parallel Programming 3(3): 197-216 (1974)

Gary Lindstrom: Scanning List Structures Without Stacks or Tag Bits. Inf. Process. Lett. 2(2): 47-51 (1973)

Gary Lindstrom: The Design of Parsers for Incremental Language Processors. STOC 1970: 81-91