• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 60 matches

• 2010
• 
  Kevin Atkinson, Matthew Flatt, Gary Lindstrom:
  ABI compatibility through a customizable language. GPCE 2010: 147-156
• 2007
• 
  Gilad Bracha:
  Executable Grammars in Newspeak. Festschrift honoring Gary Lindstrom 2007: 3-18
• 
  Ganesh Gopalakrishnan:
  Preface. Festschrift honoring Gary Lindstrom 2007: 1-2
• 
  Ganesh Gopalakrishnan, Robert M. Kirby:
  Formal Methods for MPI Programs. Festschrift honoring Gary Lindstrom 2007: 19-27
• 
  Robert Keller, Martin Hunt, Stephen Jones, David Morrison, Aaron Wolin, Steven Gomez:
  Blues for Gary: Design Abstractions for a Jazz Improvisation Assistant. Festschrift honoring Gary Lindstrom 2007: 47-60
• 
  Richard B. Kieburtz:
  Strength Induction in a Haskell Program Verifier. Festschrift honoring Gary Lindstrom 2007: 61-79
• 
  Hai Liu, Paul Hudak:
  Plugging a Space Leak with an Arrow. Festschrift honoring Gary Lindstrom 2007: 29-45
• 
  Ganesh Gopalakrishnan:
  Festschrift honoring Gary Lindstrom on his retirement from the University of Utah after 30 years of service, Salt Lake City, UT, USA, May 5, 2007. Electronic Notes in Theoretical Computer Science 193, Elsevier 2007 [contents]
• 2005
• 
  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)
• 
  Gary Lindstrom, Peter C. Mehlitz, Willem Visser:
  Model Checking Real Time Java Using Java PathFinder. ATVA 2005: 444-456
• 2004
• 
  Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom:
  Memory-Model-Sensitive Data Race Analysis. ICFEM 2004: 30-45
• 
  Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, Konrad Slind:
  Nemos: A Framework for Axiomatic and Executable Specifications of Memory Consistency Models. IPDPS 2004
• 2003
• 
  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
• 
  Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom:
  Specifying Java thread semantics using a uniform memory model. Java Grande 2002: 192-201
• 2001
• 
  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
• 
  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
• 
  Eric Eide, Kevin Frei, Bryan Ford, Jay Lepreau, Gary Lindstrom:
  Flick: A Flexible, Optimizing IDL Compiler. PLDI 1997: 44-56
• 1996
• 
  Guruduth Banavar, Gary Lindstrom:
  An Application Framework For Module Composition Tools. ECOOP 1996: 91-113
• 
  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
• 
  Robert Mecklenburg, Charles Clark, Gary Lindstrom, Benny Yih:
  A Dossier Driven Persistent Objects Facility. C++ Conference 1994: 265-281
• 1992
• 
  Gilad Bracha, Gary Lindstrom:
  Modularity meets inheritance. ICCL 1992: 282-290
• 
  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
• 
  Gary Lindstrom, Jan Maluszynski, Takeshi Ogi:
  Our LIPS Are Sealed: Interfacing Functional and Logic Programming Systems. PLILP 1992: 428-442
• 1990
• 
  Gary Lindstrom:
  Sans pareil: Referees. Int. J. Parallel Program. 19(6): 511-512 (1990)
• 
  Göran Båge, Gary Lindstrom:
  Combinator Evaluation of Functional Programs with Logical Variables. LISP Symb. Comput. 3(3): 289-320 (1990)
• 1989
• 
  Gary Lindstrom:
  Sans pareil: Referees. Int. J. Parallel Program. 18(6): 551-552 (1989)
• 1988
• 
  Gary Lindstrom:
  Sage commentary. Int. J. Parallel Program. 17(1): 93 (1988)
• 
  Göran Båge, Gary Lindstrom:
  Committed Choice Functional Programming. FGCS 1988: 666-674
• 
  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
• 
  Gary Lindstrom:
  Static Analysis Of Functional Programs With Logic Variables. PLILP 1988: 1-19

skipping 30 more matches