Gary Lindstrom

Publication Activity (10 Years)

Years Active: 1970-2010
Publications (10 Years): 0

Publications

Kevin Atkinson, Matthew Flatt, Gary Lindstrom
ABI compatibility through a customizable language. GPCE (2010)
Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom
UMM: an operational memory model specification framework with integrated model checking capability. Concurr. Pract. Exp. 17 (5-6) (2005)
Gary Lindstrom, Peter C. Mehlitz, Willem Visser
Model Checking Real Time Java Using Java PathFinder. ATVA (2005)
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
Memory-Model-Sensitive Data Race Analysis. ICFEM (2004)
Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, Konrad Slind
Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT. CHARME (2003)
Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom
Specifying Java thread semantics using a uniform memory model. Java Grande (2002)
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)
Jon R. Oler, Gary Lindstrom, Terence Critchlow
Migrating Relational Data to an OODB: Strategies and Lessons from a Molecular Biology Experience. OOPSLA (1997)
Eric Eide, Kevin Frei, Bryan Ford, Jay Lepreau, Gary Lindstrom
Flick: A Flexible, Optimizing IDL Compiler. PLDI (1997)
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)
Guruduth Banavar, Gary Lindstrom
An Application Framework For Module Composition Tools. ECOOP (1996)
Robert Mecklenburg, Charles Clark, Gary Lindstrom, Benny Yih
A Dossier Driven Persistent Objects Facility. C++ Conference (1994)
Gary Lindstrom, Jan Maluszynski, Takeshi Ogi
Our LIPS Are Sealed: Interfacing Functional and Logic Programming Systems. PLILP (1992)
Gilad Bracha, Gary Lindstrom
Modularity meets inheritance. ICCL (1992)
Lal George, Gary Lindstrom
Using a Functional Language id Graph Reduction to Program Multiprocessor Machines, or Functional Control of Imperative Programs. IPPS (1992)
Gary Lindstrom
Sans pareil: Referees. Int. J. Parallel Program. 19 (6) (1990)
Göran Båge, Gary Lindstrom
Combinator Evaluation of Functional Programs with Logical Variables. LISP Symb. Comput. 3 (3) (1990)
Gary Lindstrom
Sans pareil: Referees. Int. J. Parallel Program. 18 (6) (1989)
Mark R. Swanson, Robert R. Kessler, Gary Lindstrom
An Implementation of Portable Standard LISP on the BBN Butterfly. LISP and Functional Programming (1988)
Gary Lindstrom
Sage commentary. Int. J. Parallel Program. 17 (1) (1988)
Göran Båge, Gary Lindstrom
Committed Choice Functional Programming. FGCS (1988)
Gary Lindstrom
Static Analysis Of Functional Programs With Logic Variables. PLILP (1988)
Gary Lindstrom
Sans pareil: Referees. Int. J. Parallel Program. 16 (6) (1987)
Gary Lindstrom, Lal George, Dowming Yeh
Generating Efficient Code from Strictness Annotations. TAPSOFT, Vol.2 (1987)
Peter Tinker, Gary Lindstrom
A Performance-Oriented Design for OR-Parallel Logic Programming. ICLP (1987)
Gary Lindstrom
Integrating Functional and Logic Programming. IEEE Softw. 3 (1) (1986)
Gary Lindstrom
Static evaluation of functional programs. SIGPLAN Symposium on Compiler Construction (1986)
Gary Lindstrom
Implementing logical variables on a graph reduction architecture. Graph Reduction (1986)
Gary Lindstrom
Sans pareil: Referees. Int. J. Parallel Program. 15 (6) (1986)
Gary Lindstrom
Functional Programming and the Logical Variable. POPL (1985)
Gary Lindstrom
Editorial: A time of transition. Int. J. Parallel Program. 14 (6) (1985)
Robert M. Keller, Gary Lindstrom
Approaching Distributed Database Implementations through Functional Programming Concepts. ICDCS (1985)
Gary Lindstrom, Prakash Panangaden
Stream-Based Execution of Logic Programming. SLP (1984)
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 Softw. 1 (1) (1984)
Gary Lindstrom
Or-Parallelism on Applicative Architectures. ICLP (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)
Gary Lindstrom, Frances Hunt
Consistency and Currency in Functional Databases. INFOCOM (1983)
Elliott I. Organick, Gary Lindstrom
Mapping High-Order Language Program Units into VLSI Structures. COMPCON (1982)
Robert M. Keller, Gary Lindstrom
Applications of feedback in functional programming. FPCA (1981)
Gary Lindstrom, Mary Lou Soffa
Referencing and Retention in Block-Structured Coroutines. ACM Trans. Program. Lang. Syst. 3 (3) (1981)
Gary Lindstrom
Backtracking in a Generalized Control Setting. ACM Trans. Program. Lang. Syst. 1 (1) (1979)
Robert M. Keller, Gary Lindstrom, Suhas Patil
A loosely-coupled applicative multi-processing system. MARK (1979)
Gary Lindstrom
Control Structure Aptness: A Cast Study Using Top-Down Parsing. ICSE (1978)
Michael J. Lemon, Gary Lindstrom, Mary Lou Soffa
Control Separation in programming languages. ACM Annual Conference (1977)
Marvin V. Zelkowitz, Paul R. McMullin, Keith R. Merkel, Howard J. Larsen, Frederick C. Druseikis, G. David Ripley, David R. Hanson, Gary Lindstrom
SIGPLAN(Paper Session). ACM Annual Conference (1976)
Gary Lindstrom
Copying List Structures Using Bounded Workspace. Commun. ACM 17 (4) (1974)
Gary Lindstrom
Algorithms for list structure condensation. Int. J. Parallel Program. 3 (3) (1974)
Gary Lindstrom
Scanning List Structures Without Stacks or Tag Bits. Inf. Process. Lett. 2 (2) (1973)
Gary Lindstrom
The Design of Parsers for Incremental Language Processors STOC (1970)