dblp.uni-trier.dewww.uni-trier.de

Gary Lindstrom Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2005
38EEGary Lindstrom, Peter C. Mehlitz, Willem Visser: Model Checking Real Time Java Using Java PathFinder. ATVA 2005: 444-456
37EEYue 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
36EEYue Yang, Ganesh Gopalakrishnan, Gary Lindstrom: Memory-Model-Sensitive Data Race Analysis. ICFEM 2004: 30-45
35EEYue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, Konrad Slind: Nemos: A Framework for Axiomatic and Executable Specifications of Memory Consistency Models. IPDPS 2004
2003
34EEYue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, Konrad Slind: Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT. CHARME 2003: 81-95
2002
33EEYue Yang, Ganesh Gopalakrishnan, Gary Lindstrom: Specifying Java thread semantics using a uniform memory model. Java Grande 2002: 192-201
2001
32EEAngela 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
29EEGuruduth Banavar, Gary Lindstrom: An Application Framework For Module Composition Tools. ECOOP 1996: 91-113
28EERob 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
27EERobert Mecklenburg, Charles Clark, Gary Lindstrom, Benny Yih: A Dossier Driven Persistent Objects Facility. C++ Conference 1994: 265-281
1992
26EEGilad 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
24EEGary 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
21EEMark R. Swanson, Robert R. Kessler, Gary Lindstrom: An Implementation of Portable Standard LISP on the BBN Butterfly. LISP and Functional Programming 1988: 132-142
20EEGary 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
18EEGary 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
16EEGary 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
6EEGary Lindstrom, Mary Lou Soffa: Referencing and Retention in Block-Structured Coroutines. ACM Trans. Program. Lang. Syst. 3(3): 263-292 (1981)
1979
5EEGary 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

Coauthor Index

1Göran Båge [22] [23]
2Guruduth Banavar [29]
3Gilad Bracha [26]
4Tony M. Carter [9] [12]
5Peter Cartwright [28]
6Xiaodong Chen [32]
7Charles Clark [27]
8Terence Critchlow [28] [31]
9Al Davis (Alan L. Davis) [9] [12]
10Eric Eddings [32]
11Eric Eide (Eric Norman Eide) [30]
12Bryan Ford [30]
13Kevin Frei [30]
14Dave Fuhrman [28]
15Lal George [18] [25]
16Ganesh Gopalakrishnan [33] [34] [35] [36] [37]
17Alan B. Hayes [9] [12]
18Frances Hunt [8]
19Robert M. Keller [14]
20Robert R. Kessler [21]
21Dan Klass [9] [12]
22Jay Lepreau [30]
23Mike P. Maloney [9] [12]
24Jan Maluszynski [24]
25Robert Mecklenburg [27] [28]
26Peter C. Mehlitz [38]
27Brent E. Nelson [9] [12]
28Takeshi Ogi [24]
29Jon R. Oler [31]
30Elliott I. Organick [7] [9] [12]
31Prakash Panangaden [10]
32Rob Sargent [28]
33Adel F. Sarofim [32]
34Tony Di Sera [28]
35Konrad Slind [34] [35]
36Kent F. Smith [9] [12]
37Mary Lou Soffa [6]
38Mark R. Swanson [21]
39Peter Tinker [19]
40Angela Violi [32]
41Willem Visser [38]
42Yue Yang [33] [34] [35] [36] [37]
43Dowming Yeh [18]
44Benny Yih [27]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)