Gary Lindstrom

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

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

2005
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

2004
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

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

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

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

1997
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

1996
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

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

1992
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

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

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

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

1988
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

1987
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

1986
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

1985
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

1984
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

1983
Consistency and Currency in Functional Databases.
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.
Proceedings of the COMPCON'82, 1982

1981
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

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

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

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

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

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

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

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

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


  Loading...