| 2005 |
|---|
| 38 | EE | Gary Lindstrom,
Peter C. Mehlitz,
Willem Visser:
Model Checking Real Time Java Using Java PathFinder.
ATVA 2005: 444-456 |
| 37 | EE | 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) |
| 2004 |
|---|
| 36 | EE | Yue Yang,
Ganesh Gopalakrishnan,
Gary Lindstrom:
Memory-Model-Sensitive Data Race Analysis.
ICFEM 2004: 30-45 |
| 35 | EE | Yue Yang,
Ganesh Gopalakrishnan,
Gary Lindstrom,
Konrad Slind:
Nemos: A Framework for Axiomatic and Executable Specifications of Memory Consistency Models.
IPDPS 2004 |
| 2003 |
|---|
| 34 | EE | Yue Yang,
Ganesh Gopalakrishnan,
Gary Lindstrom,
Konrad Slind:
Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT.
CHARME 2003: 81-95 |
| 2002 |
|---|
| 33 | EE | Yue Yang,
Ganesh Gopalakrishnan,
Gary Lindstrom:
Specifying Java thread semantics using a uniform memory model.
Java Grande 2002: 192-201 |
| 2001 |
|---|
| 32 | EE | 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 |
| 1997 |
|---|
| 31 | | 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 |
| 30 | | Eric Eide,
Kevin Frei,
Bryan Ford,
Jay Lepreau,
Gary Lindstrom:
Flick: A Flexible, Optimizing IDL Compiler.
PLDI 1997: 44-56 |
| 1996 |
|---|
| 29 | EE | Guruduth Banavar,
Gary Lindstrom:
An Application Framework For Module Composition Tools.
ECOOP 1996: 91-113 |
| 28 | EE | 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 |
| 1994 |
|---|
| 27 | EE | Robert Mecklenburg,
Charles Clark,
Gary Lindstrom,
Benny Yih:
A Dossier Driven Persistent Objects Facility.
C++ Conference 1994: 265-281 |
| 1992 |
|---|
| 26 | EE | Gilad Bracha,
Gary Lindstrom:
Modularity meets inheritance.
ICCL 1992: 282-290 |
| 25 | | 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 |
| 24 | | Gary Lindstrom,
Jan Maluszynski,
Takeshi Ogi:
Our LIPS Are Sealed: Interfacing Functional and Logic Programming Systems.
PLILP 1992: 428-442 |
| 1990 |
|---|
| 23 | | Göran Båge,
Gary Lindstrom:
Combinator Evaluation of Functional Programs with Logical Variables.
Lisp and Symbolic Computation 3(3): 289-320 (1990) |
| 1988 |
|---|
| 22 | | Göran Båge,
Gary Lindstrom:
Committed Choice Functional Programming.
FGCS 1988: 666-674 |
| 21 | EE | 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 |
| 20 | | Gary Lindstrom:
Static Analysis Of Functional Programs With Logic Variables.
PLILP 1988: 1-19 |
| 1987 |
|---|
| 19 | | Peter Tinker,
Gary Lindstrom:
A Performance-Oriented Design for OR-Parallel Logic Programming.
ICLP 1987: 601-615 |
| 18 | | Gary Lindstrom,
Lal George,
Dowming Yeh:
Generating Efficient Code from Strictness Annotations.
TAPSOFT, Vol.2 1987: 140-154 |
| 1986 |
|---|
| 17 | | Gary Lindstrom:
Implementing logical variables on a graph reduction architecture.
Graph Reduction 1986: 382-400 |
| 16 | EE | Gary Lindstrom:
Static evaluation of functional programs.
SIGPLAN Symposium on Compiler Construction 1986: 196-206 |
| 15 | | Gary Lindstrom:
Integrating Functional and Logic Programming.
IEEE Software 3(1): 77 (1986) |
| 1985 |
|---|
| 14 | | Robert M. Keller,
Gary Lindstrom:
Approaching Distributed Database Implementations through Functional Programming Concepts.
ICDCS 1985: 192-200 |
| 13 | | Gary Lindstrom:
Functional Programming and the Logical Variable.
POPL 1985: 266-280 |
| 1984 |
|---|
| 12 | | 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 |
| 11 | | Gary Lindstrom:
Or-Parallelism on Applicative Architectures.
ICLP 1984: 159-170 |
| 10 | | Gary Lindstrom,
Prakash Panangaden:
Stream-Based Execution of Logic Programming.
SLP 1984: 168-176 |
| 9 | | 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) |
| 1983 |
|---|
| 8 | | Gary Lindstrom,
Frances Hunt:
Consistency and Currency in Functional Databases.
INFOCOM 1983: 352-361 |
| 1982 |
|---|
| 7 | | Elliott I. Organick,
Gary Lindstrom:
Mapping High-Order Language Program Units into VLSI Structures.
COMPCON 1982: 15-18 |
| 1981 |
|---|
| 6 | EE | Gary Lindstrom,
Mary Lou Soffa:
Referencing and Retention in Block-Structured Coroutines.
ACM Trans. Program. Lang. Syst. 3(3): 263-292 (1981) |
| 1979 |
|---|
| 5 | EE | Gary Lindstrom:
Backtracking in a Generalized Control Setting.
ACM Trans. Program. Lang. Syst. 1(1): 8-26 (1979) |
| 1978 |
|---|
| 4 | | Gary Lindstrom:
Control Structure Aptness: A Cast Study Using Top-Down Parsing.
ICSE 1978: 5-12 |
| 1974 |
|---|
| 3 | | Gary Lindstrom:
Copying List Structures Using Bounded Workspace.
Commun. ACM 17(4): 198-202 (1974) |
| 1973 |
|---|
| 2 | | Gary Lindstrom:
Scanning List Structures Without Stacks or Tag Bits.
Inf. Process. Lett. 2(2): 47-51 (1973) |
| 1970 |
|---|
| 1 | | Gary Lindstrom:
The Design of Parsers for Incremental Language Processors
STOC 1970: 81-91 |
