Gary Lindstrom

52 papers A* 5A 4B 5C 1Misc 1Journal 15Unranked 19

Year	Rank	Type	Title / Venue / Authors
2010	B	`conf`	ABI compatibility through a customizable language. GPCE Kevin Atkinson, Matthew Flatt, Gary Lindstrom
2005	B	`conf`	Model Checking Real Time Java Using Java PathFinder. ATVA Gary Lindstrom, Peter C. Mehlitz, Willem Visser
2005	J	`jnl`	UMM: an operational memory model specification framework with integrated model checking capability. Concurr. Pract. Exp. Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom
2004	C	`conf`	Memory-Model-Sensitive Data Race Analysis. ICFEM Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom
2004	A	`conf`	Nemos: A Framework for Axiomatic and Executable Specifications of Memory Consistency Models. IPDPS Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, Konrad Slind
2003	—	`conf`	Analyzing the Intel Itanium Memory Ordering Rules Using Logic Programming and SAT. CHARME Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom, Konrad Slind
2002	—	`conf`	Specifying Java thread semantics using a uniform memory model. Java Grande Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom
2001	Misc	`conf`	Validation Web Site: A Combustion Collaboratory over the Internet. International Conference on Computational Science (2) Angela Violi, Xiaodong Chen, Gary Lindstrom, Eric Eddings, Adel F. Sarofim
1997	A*	`conf`	Flick: A Flexible, Optimizing IDL Compiler. PLDI Eric Eide, Kevin Frei, Bryan Ford, Jay Lepreau, Gary Lindstrom
1997	A	`conf`	Migrating Relational Data to an OODB: Strategies and Lessons from a Molecular Biology Experience. OOPSLA Jon R. Oler, Gary Lindstrom, Terence Critchlow
1996	A	`conf`	An Application Framework For Module Composition Tools. ECOOP Guruduth Banavar, Gary Lindstrom
1996	B	`conf`	The Design and Implementation of a Database For Human Genome Research (Position Paper). SSDBM Rob Sargent, Dave Fuhrman, Terence Critchlow, Tony Di Sera, Robert Mecklenburg, Gary Lindstrom, Peter Cartwright
1994	—	`conf`	A Dossier Driven Persistent Objects Facility. C++ Conference Robert Mecklenburg, Charles Clark, Gary Lindstrom, Benny Yih
1992	—	`conf`	Modularity meets inheritance. ICCL Gilad Bracha, Gary Lindstrom
1992	—	`conf`	Our LIPS Are Sealed: Interfacing Functional and Logic Programming Systems. PLILP Gary Lindstrom, Jan Maluszynski, Takeshi Ogi
1992	—	`conf`	Using a Functional Language id Graph Reduction to Program Multiprocessor Machines, or Functional Control of Imperative Programs. IPPS Lal George, Gary Lindstrom
1990	J	`jnl`	Combinator Evaluation of Functional Programs with Logical Variables. LISP Symb. Comput. Göran Båge, Gary Lindstrom
1990	J	`jnl`	Sans pareil: Referees. Int. J. Parallel Program. Gary Lindstrom
1989	J	`jnl`	Sans pareil: Referees. Int. J. Parallel Program. Gary Lindstrom
1988	—	`conf`	An Implementation of Portable Standard LISP on the BBN Butterfly. LISP and Functional Programming Mark R. Swanson, Robert R. Kessler, Gary Lindstrom
1988	—	`conf`	Committed Choice Functional Programming. FGCS Göran Båge, Gary Lindstrom
1988	J	`jnl`	Sage commentary. Int. J. Parallel Program. Gary Lindstrom
1988	—	`conf`	Static Analysis Of Functional Programs With Logic Variables. PLILP Gary Lindstrom
1987	B	`conf`	A Performance-Oriented Design for OR-Parallel Logic Programming. ICLP Peter Tinker, Gary Lindstrom
1987	—	`conf`	Generating Efficient Code from Strictness Annotations. TAPSOFT, Vol.2 Gary Lindstrom, Lal George, Dowming Yeh
1987	J	`jnl`	Sans pareil: Referees. Int. J. Parallel Program. Gary Lindstrom
1986	—	`conf`	Implementing logical variables on a graph reduction architecture. Graph Reduction Gary Lindstrom
1986	J	`jnl`	Integrating Functional and Logic Programming. IEEE Softw. Gary Lindstrom
1986	—	`book`	Logic Programming: Functions, Relations, and Equations Doug DeGroot, Gary Lindstrom
1986	—	`book`	Logic programming - functions, relations and equations. Doug DeGroot, Gary Lindstrom
1986	J	`jnl`	Sans pareil: Referees. Int. J. Parallel Program. Gary Lindstrom
1986	—	`conf`	Static evaluation of functional programs. SIGPLAN Symposium on Compiler Construction Gary Lindstrom
1985	A	`conf`	Approaching Distributed Database Implementations through Functional Programming Concepts. ICDCS Robert M. Keller, Gary Lindstrom
1985	J	`jnl`	Editorial: A time of transition. Int. J. Parallel Program. Gary Lindstrom
1985	A*	`conf`	Functional Programming and the Logical Variable. POPL Gary Lindstrom
1984	B	`conf`	Or-Parallelism on Applicative Architectures. ICLP Gary Lindstrom
1984	—	`conf`	Stream-Based Execution of Logic Programming. SLP Gary Lindstrom, Prakash Panangaden
1984	—	`conf`	Transforming an Ada Program Unit to Silicon and Testing It in an Ada Environment. COMPCON 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
1984	J	`jnl`	Transforming an Ada Program Unit to Silicon and Verifying Its Behavior in an Ada Environment: A first Experiment. IEEE Softw. 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
1983	A*	`conf`	Consistency and Currency in Functional Databases. INFOCOM Gary Lindstrom, Frances Hunt
1982	—	`conf`	Mapping High-Order Language Program Units into VLSI Structures. COMPCON Elliott I. Organick, Gary Lindstrom
1981	—	`conf`	Applications of feedback in functional programming. FPCA Robert M. Keller, Gary Lindstrom
1981	J	`jnl`	Referencing and Retention in Block-Structured Coroutines. ACM Trans. Program. Lang. Syst. Gary Lindstrom, Mary Lou Soffa
1979	—	`conf`	A loosely-coupled applicative multi-processing system. MARK Robert M. Keller, Gary Lindstrom, Suhas Patil
1979	J	`jnl`	Backtracking in a Generalized Control Setting. ACM Trans. Program. Lang. Syst. Gary Lindstrom
1978	A*	`conf`	Control Structure Aptness: A Cast Study Using Top-Down Parsing. ICSE Gary Lindstrom
1977	—	`conf`	Control Separation in programming languages. ACM Annual Conference Michael J. Lemon, Gary Lindstrom, Mary Lou Soffa
1976	—	`conf`	SIGPLAN(Paper Session). ACM Annual Conference Marvin V. Zelkowitz, Paul R. McMullin, Keith R. Merkel, Howard J. Larsen, Frederick C. Druseikis, G. David Ripley, David R. Hanson, Gary Lindstrom
1974	J	`jnl`	Algorithms for list structure condensation. Int. J. Parallel Program. Gary Lindstrom
1974	J	`jnl`	Copying List Structures Using Bounded Workspace. Commun. ACM Gary Lindstrom
1973	J	`jnl`	Scanning List Structures Without Stacks or Tag Bits. Inf. Process. Lett. Gary Lindstrom
1970	A*	`conf`	The Design of Parsers for Incremental Language Processors STOC Gary Lindstrom