Gary Lindstrom - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 52 from 52

2010

ABI compatibility through a customizable languageKevin Atkinson, Matthew Flatt, Gary Lindstrom. GPCE 2010: 147-156 [doi]

ABI Compatibility Through a Customizable LanguageKevin Atkinson, Matthew Flatt, Gary Lindstrom. GPCE 2010:

2005

Model Checking Real Time Java Using Java PathFinderGary Lindstrom, Peter C. Mehlitz, Willem Visser. ATVA 2005: 444-456 [doi]

UMM: an operational memory model specification framework with integrated model checking capabilityYue Yang, Ganesh Gopalakrishnan, Gary Lindstrom. concurrency, 17(5-6):465-487, 2005. [doi]

2004

Nemos: A Framework for Axiomatic and Executable Specifications of Memory Consistency ModelsYue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, Konrad Slind. ipps 2004: [doi]

Memory-Model-Sensitive Data Race AnalysisYue Yang, Ganesh Gopalakrishnan, Gary Lindstrom. icfem 2004: 30-45 [doi]

2003

Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SATYue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, Konrad Slind. charme 2003: 81-95 [doi]

2002

Specifying Java thread semantics using a uniform memory modelYue Yang, Ganesh Gopalakrishnan, Gary Lindstrom. java 2002: 192-201 [doi]

2001

Validation Web Site: A Combustion Collaboratory over the InternetAngela Violi, Xiaodong Chen, Gary Lindstrom, Eric Eddings, Adel F. Sarofim. iccS 2001: 485-493 [doi]

1997

Flick: A Flexible, Optimizing IDL CompilerEric Eide, Kevin Frei, Bryan Ford, Jay Lepreau, Gary Lindstrom. PLDI 1997: 44-56

Migrating Relational Data to an OODB: Strategies and Lessons from a Molecular Biology ExperienceJon R. Oler, Gary Lindstrom, Terence Critchlow. OOPSLA 1997: 243-252

1996

An Application Framework For Module Composition ToolsGuruduth Banavar, Gary Lindstrom. ECOOP 1996: 91-113 [doi]

The Design and Implementation of a Database For Human Genome Research (Position Paper)Rob Sargent, Dave Fuhrman, Terence Critchlow, Tony Di Sera, Robert Mecklenburg, Gary Lindstrom, Peter Cartwright. ssdbm 1996: 220-225 [doi]

1994

A Dossier Driven Persistent Objects FacilityRobert Mecklenburg, Charles Clark, Gary Lindstrom, Benny Yih. c++ 1994: 265-281 [doi]

1992

Modularity meets inheritanceGilad Bracha, Gary Lindstrom. iccl 1992: 282-290 [doi]

Using a Functional Language id Graph Reduction to Program Multiprocessor Machines, or Functional Control of Imperative ProgramsLal George, Gary Lindstrom. ipps 1992: 370-373

Our LIPS Are Sealed: Interfacing Functional and Logic Programming SystemsGary Lindstrom, Jan Maluszynski, Takeshi Ogi. plilp 1992: 428-442

1990

Combinator Evaluation of Functional Programs with Logical VariablesGöran Båge, Gary Lindstrom. lisp, 3(3):289-320, 1990.

Sans pareil: RefereesGary Lindstrom. ijpp, 19(6):511-512, 1990. [doi]

1989

Sans pareil: RefereesGary Lindstrom. ijpp, 18(6):551-552, 1989. [doi]

1988

Committed Choice Functional ProgrammingGöran Båge, Gary Lindstrom. fgcs 1988: 666-674

Static Analysis Of Functional Programs With Logic VariablesGary Lindstrom. plilp 1989: 1-19

Sage commentaryGary Lindstrom. ijpp, 17(1):93, 1988. [doi]

An Implementation of Portable Standard LISP on the BBN ButterflyMark R. Swanson, Robert R. Kessler, Gary Lindstrom. lfp 1988: 132-142 [doi]

1987

Generating Efficient Code from Strictness AnnotationsGary Lindstrom, Lal George, Dowming Yeh. tapsoft 1987: 140-154

Sans pareil: RefereesGary Lindstrom. ijpp, 16(6):521-522, 1987. [doi]

A Performance-Oriented Design for OR-Parallel Logic ProgrammingPeter Tinker, Gary Lindstrom. ICLP 1987: 601-615

1986

Logic programming - functions, relations and equationsDoug DeGroot, Gary Lindstrom. Prentice Hall, 1986.

Implementing logical variables on a graph reduction architectureGary Lindstrom. gr 1987: 382-400

Static evaluation of functional programsGary Lindstrom. sigplan 1986: 196-206 [doi]

Integrating Functional and Logic ProgrammingGary Lindstrom. IEEE Software, 3(1):77, 1986.

Sans pareil: RefereesGary Lindstrom. ijpp, 15(6):567-568, 1986. [doi]

1985

Approaching Distributed Database Implementations through Functional Programming ConceptsRobert M. Keller, Gary Lindstrom. icdcs 1985: 192-200

Functional Programming and the Logical VariableGary Lindstrom. POPL 1985: 266-280

Editorial: A time of transitionGary Lindstrom. ijpp, 14(6):335-336, 1985. [doi]

1984

1983

Consistency and Currency in Functional DatabasesGary Lindstrom, Frances Hunt. infocom 1983: 352-361

1982

Mapping High-Order Language Program Units into VLSI StructuresElliott I. Organick, Gary Lindstrom. compcon 1982: 15-18

1981

Applications of feedback in functional programmingRobert M. Keller, Gary Lindstrom. fpca 1981: 123-130 [doi]

Referencing and Retention in Block-Structured CoroutinesGary Lindstrom, Mary Lou Soffa. TOPLAS, 3(3):263-292, 1981. [doi]

1979

A loosely-coupled applicative multi-processing systemRobert M. Keller, Gary Lindstrom, Suhas Patil. mark2 1979: 613-622 [doi]

Backtracking in a Generalized Control SettingGary Lindstrom. TOPLAS, 1(1):8-26, 1979. [doi]

1978

Control Structure Aptness: A Cast Study Using Top-Down ParsingGary Lindstrom. ICSE 1978: 5-12

1977

Control Separation in programming languagesMichael J. Lemon, Gary Lindstrom, Mary Lou Soffa. acm 1977: 496-501 [doi]

1976

SIGPLAN(Paper Session)Marvin V. Zelkowitz, Paul R. McMullin, Keith R. Merkel, Howard J. Larsen, Frederick C. Druseikis, G. David Ripley, David R. Hanson, Gary Lindstrom. acm 1976: 390 [doi]

1974

Copying List Structures Using Bounded WorkspaceGary Lindstrom. CACM, 17(4):198-202, 1974.

Algorithms for list structure condensationGary Lindstrom. ijpp, 3(3):197-216, 1974. [doi]

1973

Scanning List Structures Without Stacks or Tag BitsGary Lindstrom. ipl, 2(2):47-51, 1973.

1970

The Design of Parsers for Incremental Language ProcessorsGary Lindstrom. stoc 1970: 81-91

Sign in or sign up to see more results.

runs on WebDSL