Gary Lindstrom

According to our database, Gary Lindstrom authored at least 48 papers between 1970 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

ABI compatibility through a customizable language.

Kevin Atkinson, Matthew Flatt, Gary Lindstrom

Proceedings of the Generative Programming And Component Engineering, 2010

2005

UMM: an operational memory model specification framework with integrated model checking capability.

Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom

Concurr. Pract. Exp., 2005

Model Checking Real Time Java Using Java PathFinder.

Gary Lindstrom, Peter C. Mehlitz, Willem Visser

Proceedings of the Automated Technology for Verification and Analysis, 2005

2004

Nemos: A Framework for Axiomatic and Executable Specifications of Memory Consistency Models.

Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, Konrad Slind

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

Memory-Model-Sensitive Data Race Analysis.

Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom

Proceedings of the Formal Methods and Software Engineering, 2004

2003

Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT.

Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, Konrad Slind

Proceedings of the Correct Hardware Design and Verification Methods, 2003

2002

Specifying Java thread semantics using a uniform memory model.

Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom

Proceedings of the 2002 Joint ACM-ISCOPE Conference on Java Grande 2002, 2002

2001

Validation Web Site: A Combustion Collaboratory over the Internet.

Angela Violi, Xiaodong Chen, Gary Lindstrom, Eric Eddings, Adel F. Sarofim

Proceedings of the Computational Science - ICCS 2001, 2001

1997

Flick: A Flexible, Optimizing IDL Compiler.

Eric Eide, Kevin Frei, Bryan Ford, Jay Lepreau, Gary Lindstrom

Proceedings of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation (PLDI), 1997

Migrating Relational Data to an OODB: Strategies and Lessons from a Molecular Biology Experience.

Jon R. Oler, Gary Lindstrom, Terence Critchlow

Proceedings of the 1997 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1997

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

Proceedings of the Eighth International Conference on Scientific and Statistical Database Management, 1996

An Application Framework For Module Composition Tools.

Guruduth Banavar, Gary Lindstrom

Proceedings of the ECOOP'96, 1996

1994

A Dossier Driven Persistent Objects Facility.

Robert Mecklenburg, Charles Clark, Gary Lindstrom, Benny Yih

Proceedings of the C++ Conference. Cambridge, MA, USA, April 1994, 1994

1992

Our LIPS Are Sealed: Interfacing Functional and Logic Programming Systems.

Gary Lindstrom, Jan Maluszynski, Takeshi Ogi

Proceedings of the Programming Language Implementation and Logic Programming, 1992

Using a Functional Language id Graph Reduction to Program Multiprocessor Machines, or Functional Control of Imperative Programs.

Lal George, Gary Lindstrom

Proceedings of the 6th International Parallel Processing Symposium, 1992

Modularity meets inheritance.

Gilad Bracha, Gary Lindstrom

Proceedings of the ICCL'92, 1992

1990

Combinator Evaluation of Functional Programs with Logical Variables.

Göran Båge, Gary Lindstrom

LISP Symb. Comput., 1990

1989

Sans pareil: Referees.

Gary Lindstrom

Int. J. Parallel Program., 1989

1988

Sage commentary.

Gary Lindstrom

Int. J. Parallel Program., 1988

Static Analysis Of Functional Programs With Logic Variables.

Gary Lindstrom

Proceedings of the Programming Language Implementation and Logic Programming, 1988

An Implementation of Portable Standard LISP on the BBN Butterfly.

Mark R. Swanson, Robert R. Kessler, Gary Lindstrom

Proceedings of the 1988 ACM Conference on LISP and Functional Programming, 1988

Committed Choice Functional Programming.

Göran Båge, Gary Lindstrom

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

1987

Generating Efficient Code from Strictness Annotations.

Gary Lindstrom, Lal George, Dowming Yeh

Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987

A Performance-Oriented Design for OR-Parallel Logic Programming.

Peter Tinker, Gary Lindstrom

Proceedings of the Logic Programming, 1987

1986

Integrating Functional and Logic Programming.

Gary Lindstrom

IEEE Softw., 1986

Static evaluation of functional programs.

Gary Lindstrom

Proceedings of the 1986 SIGPLAN Symposium on Compiler Construction, 1986

Implementing logical variables on a graph reduction architecture.

Gary Lindstrom

Proceedings of the Graph Reduction, Proceedings of a Workshop, Santa Fé, New Mexico, USA, September 29, 1986

Logic programming - functions, relations and equations.

Doug DeGroot, Gary Lindstrom

Prentice Hall, ISBN: 978-0-13-539958-3, 1986

1985

Editorial: A time of transition.

Gary Lindstrom

Int. J. Parallel Program., 1985

Functional Programming and the Logical Variable.

Gary Lindstrom

Proceedings of the Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, 1985

Approaching Distributed Database Implementations through Functional Programming Concepts.

Robert M. Keller, Gary Lindstrom

Proceedings of the 5th International Conference on Distributed Computing Systems, 1985

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

Stream-Based Execution of Logic Programming.

Gary Lindstrom, Prakash Panangaden

Proceedings of the 1984 International Symposium on Logic Programming, 1984

Or-Parallelism on Applicative Architectures.

Gary Lindstrom

Proceedings of the Second International Logic Programming Conference, 1984

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

Proceedings of the COMPCON'84, Digest of Papers, Twenty-Eighth IEEE Computer Society International Conference, San Francisco, California, USA, February 27, 1984

1983

Consistency and Currency in Functional Databases.

Gary Lindstrom, Frances Hunt

Proceedings of the Proceedings IEEE INFOCOM 83, San Diego, CA, USA, April 18-21, 1983, 1983

1982

Mapping High-Order Language Program Units into VLSI Structures.

Elliott I. Organick, Gary Lindstrom

Proceedings of the COMPCON'82, 1982

1981

Referencing and Retention in Block-Structured Coroutines.

Gary Lindstrom, Mary Lou Soffa

ACM Trans. Program. Lang. Syst., 1981

Applications of feedback in functional programming.

Robert M. Keller, Gary Lindstrom

Proceedings of the 1981 conference on Functional programming languages and computer architecture, 1981

1979

Backtracking in a Generalized Control Setting.

Gary Lindstrom

ACM Trans. Program. Lang. Syst., 1979

A loosely-coupled applicative multi-processing system.

Robert M. Keller, Gary Lindstrom, Suhas Patil

Proceedings of the 1979 International Workshop on Managing Requirements Knowledge, 1979

1978

Control Structure Aptness: A Cast Study Using Top-Down Parsing.

Gary Lindstrom

Proceedings of the 3rd International Conference on Software Engineering, 1978

1977

Control Separation in programming languages.

Michael J. Lemon, Gary Lindstrom, Mary Lou Soffa

Proceedings of the 1977 annual conference, 1977

1976

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

Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, 1976

1974

Algorithms for list structure condensation.

Gary Lindstrom

Int. J. Parallel Program., 1974

Copying List Structures Using Bounded Workspace.

Gary Lindstrom

Commun. ACM, 1974

1973

Scanning List Structures Without Stacks or Tag Bits.

Gary Lindstrom

Inf. Process. Lett., 1973

1970

The Design of Parsers for Incremental Language Processors

Gary Lindstrom

Proceedings of the 2nd Annual ACM Symposium on Theory of Computing, 1970