Gary Lindstrom
#91,391
Most Influential Person Now
American computer scientist
Gary Lindstrom's AcademicInfluence.com Rankings
Gary Lindstromcomputer-science Degrees
Computer Science
#4591
World Rank
#4844
Historical Rank
#1472
USA Rank
Machine Learning
#5676
World Rank
#5754
Historical Rank
#240
USA Rank
Artificial Intelligence
#6127
World Rank
#6222
Historical Rank
#352
USA Rank
Database
#9445
World Rank
#9952
Historical Rank
#1330
USA Rank

Download Badge
Computer Science
Gary Lindstrom's Degrees
- PhD Computer Science Stanford University
- Bachelors Computer Science Carnegie Mellon University
Similar Degrees You Can Earn
Why Is Gary Lindstrom Influential?
(Suggest an Edit or Addition)According to Wikipedia, Gary Edward Lindstrom was an Emeritus Professor of Computer Science at the University of Utah, having previously taught at the University of Pittsburgh. He retired in July 2007 and died on January 10, 2022.
Gary Lindstrom's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Logic programming - functions, relations and equations (1986) (163)
- Modularity meets inheritance (1992) (145)
- Flick: a flexible, optimizing IDL compiler (1997) (110)
- Nemos: a framework for axiomatic and executable specifications of memory consistency models (2004) (87)
- Functional programing and the logical variable (1985) (58)
- Scanning List Structures Without Stacks or Tag Bits (1973) (44)
- Or-Parallelism on Applicative Architectures (1984) (39)
- UMM: an operational memory model specification framework with integrated model checking capability (2005) (37)
- Model Checking Real Time Java Using Java PathFinder (2005) (35)
- Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT (2003) (33)
- Stream-Based Execution of Logic Programming (1984) (32)
- An implementation of portable standard LISP on the BBN butterfly (1988) (27)
- Copying list structures using bounded workspace (1974) (25)
- Memory-Model-Sensitive Data Race Analysis (2004) (23)
- Static evaluation of functional programs (1986) (21)
- Specifying Java thread semantics using a uniform memory model (2002) (21)
- Applications of feedback in functional programming (1981) (18)
- A Performance-Oriented Design for OR-Parallel Logic Programming (1987) (17)
- An Application Framework For Module Composition Tools (1996) (16)
- Analyzing the CRF Java memory model (2001) (16)
- The design and implementation of a database for human genome research (1996) (15)
- Referencing and Retention in Block-Structured Coroutines (1981) (14)
- Transforming an Ada Program Unit to Silicon and Verifying Its Behavior in an Ada Environment: A First Experiment (1984) (14)
- Approaching Distributed Database Implementations through Functional Programming Concepts (1985) (13)
- Implementing logical variables on a graph reduction architecture (1986) (13)
- Type-safe Composition of Object Modules (1994) (12)
- Ada as a hardware description language : an initial report (1984) (12)
- Backtracking in a Generalized Control Setting (1979) (11)
- ISSUES IN INTEGRATED NETWORK EXPERIMENTATION USING SIMULATION AND EMULATION (2005) (11)
- Hierarchical Analysis of a Distributed Evaluator (1980) (10)
- ABI compatibility through a customizable language (2010) (8)
- Formalizing the Java Memory Model for Multithreaded Program Correctness and Optimization (2002) (8)
- Rigorous Concurrency Analysis of Multithreaded Programs (2003) (7)
- Our LIPS Are Sealed: Interfacing Functional and Logic Programming Systems (1992) (7)
- The design of parsers for incremental language processors (1970) (7)
- Transformation of ADA Programs into Silicon (1982) (6)
- A Dossier Driven Persistent Objects Facility (1994) (6)
- Consistency and Currency in Functional Databases (1983) (6)
- DISEMINER : a distributional-semantics inference maker (1966) (5)
- Generating Efficient Code from Strictness Annotations (1987) (5)
- Using a functional language and graph reduction to program multiprocessor machines or functional control of imperative programs (1992) (4)
- Committed Choice Functional Programming (1988) (4)
- Control structure aptness: A case study using top-down parsing (1978) (4)
- Static Analysis Of Functional Programs With Logic Variables (1988) (4)
- Module Management as a System Service (1993) (4)
- A Highly-parallel Alpha-beta Algorithm (2012) (3)
- UMM: an operational memory model specification framework with integrated model checking capability: Research Articles (2005) (3)
- Modules as values in a persistent object store (1993) (3)
- Migrating relational data to an ODBMS: strategics and lessons from a molecular biology experience (1997) (2)
- Control Separation in programming languages (1977) (2)
- Layered, server-based support for object-oriented application development (1995) (2)
- TRANSPARENT INTERFACE BETWEEN SOFTWARE AND HARDWARE VERSIONS OF ADA COMPILATION UNITS by (2)
- A Generic Operational Memory Model Speciflcation Framework for Multithreaded Program Veriflcation (2003) (1)
- Fast and Accurate NN Approach for Multi-Event Annotation of Time Series (2003) (1)
- Editorial: A time of transition (1985) (1)
- Supporting Persistent C + + Objects in a Distributed Storage System (1999) (1)
- Oriented Programming in Scheme with First � Class Modules and Operator � Based Inheritance (1995) (1)
- Transforming an Ada Program Unit to Silicon and Testing It in an Ada Environment (1984) (1)
- Validation Web Site: A Combustion Collaboratory over the Internet (2001) (1)
- Mapping High-Order Language Program Units into VLSI Structures (1982) (1)
- The Design of Object-Oriented Meta-Architectures For Programming Languages (1995) (1)
- SIGPLAN(Paper Session) (1976) (0)
- Editorial: A journal transformed (2005) (0)
- A Constraint-Based Approach for Specifying Memory Consistency Models (2003) (0)
- A Generic Operational M emory M odel Specification Framework for M ultithreaded Program Verification * (0)
- Sans pareil: Referees (2005) (0)
- Algorithms for list structure condensation (1974) (0)
- Sans pareil: Referees (2005) (0)
- Migrating Relational Data to an OODB: Strategies and Lessons from a Molecular Biology Experience (1997) (0)
- Integrating Functional and Logic Programming (1986) (0)
- Combinator evaluation of functional programs with logical variables (1990) (0)
- Sans pareil: Referees (2005) (0)
- Sage commentary (2005) (0)
- Sans pareil: Referees (1986) (0)
- Interfacing Logic and Functional Programming Systems (2003) (0)
- Compositionally Modular Scheme (1995) (0)
- Representing Time and Space in an Object Oriented Hardware Description Language (1985) (0)
- A Simulation Based Model Checker for Real Time Java (2005) (0)
This paper list is powered by the following services:
Other Resources About Gary Lindstrom
What Schools Are Affiliated With Gary Lindstrom?
Gary Lindstrom is affiliated with the following schools: