Gary Lindstrom

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with coauthor community group 1

> Home > Persons > Gary Lindstrom

Publications

2010
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/gpce/AtkinsonFL10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gpce/AtkinsonFL10
Kevin Atkinson, Matthew Flatt, Gary Lindstrom:
ABI compatibility through a customizable language. GPCE 2010: 147-156
2005
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/concurrency/YangGL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/concurrency/YangGL05
Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom:
UMM: an operational memory model specification framework with integrated model checking capability. Concurr. Pract. Exp. 17(5-6): 465-487 (2005)
2004
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/YangGL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/YangGL04
Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom:
Memory-Model-Sensitive Data Race Analysis. ICFEM 2004: 30-45
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/ipps/YangGLS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipps/YangGLS04
Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, Konrad Slind:
Nemos: A Framework for Axiomatic and Executable Specifications of Memory Consistency Models. IPDPS 2004
2003
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/charme/YangGLS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/charme/YangGLS03
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
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/java/YangGL02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/java/YangGL02
Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom:
Specifying Java thread semantics using a uniform memory model. Java Grande 2002: 192-201
1997
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/OlerLC97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/OlerLC97
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
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/EideFFLL97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/EideFFLL97
Eric Eide, Kevin Frei, Bryan Ford, Jay Lepreau, Gary Lindstrom:
Flick: A Flexible, Optimizing IDL Compiler. PLDI 1997: 44-56
1996
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/ssdbm/SargentFCSMLC96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ssdbm/SargentFCSMLC96
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
[c24]
- view
  - electronic edition @ usenix.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/c++/MecklenburgCLY94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/c++/MecklenburgCLY94
Robert Mecklenburg, Charles Clark, Gary Lindstrom, Benny Yih:
A Dossier Driven Persistent Objects Facility. C++ Conference 1994: 265-281
1988
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/lfp/SwansonKL88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfp/SwansonKL88
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
1985
[c13]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/icdcs/KellerL85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcs/KellerL85
Robert M. Keller, Gary Lindstrom:
Approaching Distributed Database Implementations through Functional Programming Concepts. ICDCS 1985: 192-200
1984
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/software/OrganickCMDHKLNS84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/software/OrganickCMDHKLNS84
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 Softw. 1(1): 31-49 (1984)
[c11]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/compcon/CarterDHLKMNOS84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compcon/CarterDHLKMNOS84
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
[c9]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/slp/LindstromP84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/slp/LindstromP84
Gary Lindstrom, Prakash Panangaden:
Stream-Based Execution of Logic Programming. SLP 1984: 168-176
1982
[c7]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/compcon/OrganickL82
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compcon/OrganickL82
Elliott I. Organick, Gary Lindstrom:
Mapping High-Order Language Program Units into VLSI Structures. COMPCON 1982: 15-18
1981
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/fpca/KellerL81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fpca/KellerL81
Robert M. Keller, Gary Lindstrom:
Applications of feedback in functional programming. FPCA 1981: 123-130
1979
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/mark2/KellerLP79
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mark2/KellerLP79
Robert M. Keller, Gary Lindstrom, Suhas Patil:
A loosely-coupled applicative multi-processing system. MARK 1979: 613-622

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.