Gary Lindstrom

According to our database1, Gary Lindstrom
  • authored at least 50 papers between 1970 and 2010.
  • has a "Dijkstra number"2 of four.



In proceedings 
PhD thesis 





ABI compatibility through a customizable language.
Proceedings of the Generative Programming And Component Engineering, 2010

UMM: an operational memory model specification framework with integrated model checking capability.
Concurrency - Practice and Experience, 2005

Model Checking Real Time Java Using Java PathFinder.
Proceedings of the Automated Technology for Verification and Analysis, 2005

Nemos: A Framework for Axiomatic and Executable Specifications of Memory Consistency Models.
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

Memory-Model-Sensitive Data Race Analysis.
Proceedings of the Formal Methods and Software Engineering, 2004

Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT.
Proceedings of the Correct Hardware Design and Verification Methods, 2003

Specifying Java thread semantics using a uniform memory model.
Proceedings of the 2002 Joint ACM-ISCOPE Conference on Java Grande 2002, 2002

Validation Web Site: A Combustion Collaboratory over the Internet.
Proceedings of the Computational Science - ICCS 2001, 2001

Flick: A Flexible, Optimizing IDL Compiler.
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.
Proceedings of the 1997 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1997

The Design and Implementation of a Database For Human Genome Research (Position Paper).
Proceedings of the Eighth International Conference on Scientific and Statistical Database Management, 1996

An Application Framework For Module Composition Tools.
Proceedings of the ECOOP'96, 1996

A Dossier Driven Persistent Objects Facility.
Proceedings of the C++ Conference. Cambridge, MA, USA, April 1994, 1994

Our LIPS Are Sealed: Interfacing Functional and Logic Programming Systems.
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.
Proceedings of the 6th International Parallel Processing Symposium, 1992

Modularity meets inheritance.
Proceedings of the ICCL'92, 1992

Combinator Evaluation of Functional Programs with Logical Variables.
Lisp and Symbolic Computation, 1990

Sans pareil: Referees.
International Journal of Parallel Programming, 1990

Sans pareil: Referees.
International Journal of Parallel Programming, 1989

Sage commentary.
International Journal of Parallel Programming, 1988

Static Analysis Of Functional Programs With Logic Variables.
Proceedings of the Programming Language Implementation and Logic Programming, 1988

An Implementation of Portable Standard LISP on the BBN Butterfly.
LISP and Functional Programming, 1988

Committed Choice Functional Programming.
FGCS, 1988

Sans pareil: Referees.
International Journal of Parallel Programming, 1987

Generating Efficient Code from Strictness Annotations.
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.
Proceedings of the Logic Programming, 1987

Integrating Functional and Logic Programming.
IEEE Software, 1986

Sans pareil: Referees.
International Journal of Parallel Programming, 1986

Static evaluation of functional programs.
Proceedings of the 1986 SIGPLAN Symposium on Compiler Construction, 1986

Implementing logical variables on a graph reduction architecture.
Proceedings of the Graph Reduction, Proceedings of a Workshop, Santa Fé, New Mexico, USA, September 29, 1986

Logic programming - functions, relations and equations.
Prentice Hall, ISBN: 978-0-13-539958-3, 1986

Editorial: A time of transition.
International Journal of Parallel Programming, 1985

Functional Programming and the Logical Variable.
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.
Proceedings of the 5th International Conference on Distributed Computing Systems, 1985

Transforming an Ada Program Unit to Silicon and Verifying Its Behavior in an Ada Environment: A first Experiment.
IEEE Software, 1984

Stream-Based Execution of Logic Programming.
Proceedings of the 1984 International Symposium on Logic Programming, 1984

Or-Parallelism on Applicative Architectures.
Proceedings of the Second International Logic Programming Conference, 1984

Transforming an Ada Program Unit to Silicon and Testing It in an Ada Environment.
Proceedings of the COMPCON'84, Digest of Papers, Twenty-Eighth IEEE Computer Society International Conference, San Francisco, California, USA, February 27, 1984

Consistency and Currency in Functional Databases.
Proceedings of the Proceedings IEEE INFOCOM 83, San Diego, CA, USA, April 18-21, 1983, 1983

Mapping High-Order Language Program Units into VLSI Structures.
Proceedings of the COMPCON'82, 1982

Referencing and Retention in Block-Structured Coroutines.
ACM Trans. Program. Lang. Syst., 1981

Applications of feedback in functional programming.
Proceedings of the 1981 conference on Functional programming languages and computer architecture, 1981

Backtracking in a Generalized Control Setting.
ACM Trans. Program. Lang. Syst., 1979

Control Structure Aptness: A Cast Study Using Top-Down Parsing.
Proceedings of the 3rd International Conference on Software Engineering, 1978

Control Separation in programming languages.
Proceedings of the 1977 annual conference, 1977

SIGPLAN(Paper Session).
Proceedings of the 1976 Annual Conference, Houston, Texas, USA, October 20-22, 1976, 1976

Algorithms for list structure condensation.
International Journal of Parallel Programming, 1974

Copying List Structures Using Bounded Workspace.
Commun. ACM, 1974

Scanning List Structures Without Stacks or Tag Bits.
Inf. Process. Lett., 1973

The Design of Parsers for Incremental Language Processors
Proceedings of the 2nd Annual ACM Symposium on Theory of Computing, 1970