A Bibliography onvlisp Systems and Applications

Transcription

1 A Bibliography onvlisp Systems and Applications The following is a list of references on ~ultiprocessor Lisp systems and applications, compiled by Benjamin Zorn (zorn@hecuba.berkeley. edu) with contributions by a number of others. It is currently maintained by Benjamin Zorn and TANAKA Tomoyuki (tanakat@jpntscvm.bitnet). Since it is preliminary, suggestions a~d additions are welcome. They should be sent to Zorn and Tanaka. (This output was produced by TANAKA Tomoyuki on March 3, 1988.) TANAKA Tomoyuki Tokyo Research Laboratory, IBM Japan 5-19, Sanbancho, Chiyoda-ku, Tokyo 102, Japan Phone: BITNET: tanakat@jpntscvm.bitnet Japan junet: tanakat@trla.ibmtrl.junet IBM VNET: TANAKAT at TRLVM1 References.[1] D. Allen, S. Steinberg, and L. Stabile. Recent developments in But- " terfly Lisp. In AAAI87, July [2] Donald C. Allen and N. S. Sridharan. Application of the Butterfly parallel processor in artificial intelligence. In Jam/sz S. Kowalik, editor, Parallel Computation and Computers for Artificial Intelligence, pages , Kluwer Academic Publishers, [3] Judy Anderson, William Coates, Alan Davis, Robert Hon, Ian Robinson, Shane Robison, and Kenneth Stevens. The architecture of the FAIM-1. IEEE Computer, 20(1):55-6'5, January [4] Thomas Anderson. The Design of a Multiprocessor Development System. Technical Report TR-279, Laboratory for Computer Science, LP

2 M.I.T., Cambridge, Mass., September [5] David Billstrom,,Joseph Brandenburg, and John Teeter. Cclisp on the ipsc concurrent computer. In Proc. AAAI-8? Sizlh National Conference on Artificial Intelligence, [6] Elizabeth Bradley. LogicSimulation on a Mulliprocessor. Technical Report TR-380, M.I.T. Laboratory for Computer Science, Cambridge, Mass., November [7] Elizabeth Bradley. Simulating logic circuits: a multiprocessor application To be published in -. [S] M. Caste.n, C. Percebois, and J.P. Sansonnet. M31: a list-directed architecture. International Symposium on Computer Architecture, Janurary [9] Stewart M. Clamen. Debugging in a Parallel Lisp EnvironmenL Bachelor's thesis, Mass. Inst. of Technology, June [10] S. Cohen, R. Rosner, and A. Zidon. Paralisp Simulator (Reference ManuaO. Hebrew University Computer Science Dept. Research Report 83-2,.Jerusalem, Israel, January [11] Shimon Cohen, A1 Davis, Micheal Deering, and Barak Pearlmetter. The oil language: motivation and current design. Working document. [12] Dennis de Champeaux. Contexts, multi-tasking, and parallel processing in lisp. probably from someone at HP Labs. [13] Isaac Dimitrovsky. ZLISP 0.1 reference manual. Probably turned into an NYU tech report. [14] Daniel P. Friedman and David S. Wise. Aspects of applicative programming for parallel processing. IEEE Transactions on Computers, C-27(4): , April [15] Richard Gabriel and John McCarthy. Queue-based Multi-processing Lisp. Technical Report STAN-CS , Department of Computer Science, Stanford University, June LP

3 [16]' Richard P. Gabriel. Software pipelining. Published in a book, I believe. [17] Richard P. Gabriel and John McCarthy. Qlisp. in Janusz S. Kowalik, editor, Parallel Computation and Computers for Artificial Intelligence, pages 63-90, Kluwer Academic Publishers, 1988: [18] Richard P. Gabriel and John McCarthy. Queue-based multi-processing LISP. In Conference Record of the 1984 ACM Conference on Lisp and Functional Programming, pages 25-44, Austin, Texas, August [19] Sharon Gray. Using Futures to Ezploit Parallelism in Lisp. Master's thesis, M.I.T., Cambridge, MA, February [20] Adolfo Guzman. AHR:a parallel computer for pure lisp. In Janusz S. Kowalik, editor, Parallel Cbmputation and Computers for Artificial Intelligence~ pages , Kluwer Academic Publishers, [21] Robert H. Halstead, Jr. Architecture of a Myriaprocessor. La Jolla Institute, La Jolla, California, [22] Robert H. Halstead, Jr. Architecture of a myriaprocessor. IEEE COMPCON Spring 81, , February [23] Robert H. Halstead, Jr. Implementation~of Multilisp: Lisp on a multiprocessor. In ACM Symposium On Lisp and Functional Programming, Austin, Texas, August [24] Robert H. /-Ialstead, Jr. Parallel computing using Multilisp. In Janusz S. Kowalik, editor; Parallel Computation and Computers for Artificial Intelligence, pages 21-50, Kluwer Academic Publishers, [25] Robert H. Halstead, Jr. Parallel symbolic computing. IEEE Computer, 19(8):35-43, August [26] Robert H. Halstead, Jr. Reference Tree Networks.: Virtual Machine and Implementation. Technical Report TR-222, M.I.T. Laboratory for Computer Science, Cambridge, Mass., July LP

4 [27] [28] Robert H. Halstead, Jr., Thomas Anderson, Randy Osborne, and Thomas Sterling. Concert: design of a multiprocessor development system. In I3th Annual Symposium on Computer Architecture, pages 40-48, Tokyo, June Robert H. Halstead, Jr., Juan R. Loaiza, and Moses H. Ma. The Multilisp manual. September PPG GroupWorking Paper. [29] Robert H. Halstead, Jr. Concurrent lisp machines. Probably published in a book. [30] Robert H. Halstead, Jr. Multilisp: a language for concurrent symbolic computation. ACM Transactions on Programming Languages and SyStems, 7(4): , October [31] Robert H. Halstead, Jr. Parallel computing using multilisp. Probably later published as a tech report. [32] Robert H. Halstead, Jr. Processor architecture for multiprocessors. Probably an MIT tech report. [33] Robert H. Halstead, Jr. and Jfian "R. Loaiza. Exception handling in multilisp. In Douglas Degroot, editor, Proceedings of the 1980 International Conference on Parallel Processing, pages , August [34] W. Ludwell Harrison. Compiling Lisp for Evaluation on a Tightly Coupled Multiprocessor. Technical Report 565, Center for Supercomputing Research and Development, Urbana, Illinois, March [35] W. Ludwell Harrison and D. A. Padua. Representing S-expressions for the efficient evaluation of Lisp on parallel processors. In PrOceedingS of the 1986 International Conference on Parallel Processing, pages , St. Charles, Illinois, August [36] W. Ludwell Harrison, III and David A. Padua. PARCEL: Project for the Automatic Restructuring and Concurrent Evaluation of Lisp. Technical Report CSRD 653, Center for Supercomputing Research and Development, February Preliminary. LP

5 [37] [381 [39] [40] [41] [42] [43] [44] [45] [46] C. T. Haynes and D. P. Friedman. Engines Build Process Abstractions. Technical Report 159, Computer Science Department, Indiana University, June Stephan Herron. A General-Purpose Architecture Simulator. Cambridge, MA, June W. Daniel Hillis. The Connection Machine. MIT Press Series in Artificial Intelligence, The MIT Press, Cambridge, Massachusetts, C.A.R. Hoare. Communicating sequential processes. Communications of the ACM, 21(8): / Kai Hwang, Joydeep Ghosh, and Raymond Chowkwanyun. Computer architectures for artificial intelligence processing. IEEE Computer, 20(1):19-27, January Morris J. Katz. ParaTran: A Transparent, Transaction Based Runtime Mechanism for Parallel Ezecution of Scheme. Master's thesis, Massachusetts Institute of Technologyl Cambridge, Massachusetts, June Robert M. Keller. Divide and CONCer: data structuring in applicative multiprocessing systems. In Conference Record of the I980 ACM Conference on Lisp and Functional Programming, pages , August J. R. Kennaway and M. R. Sleep. Expressions as processes. In Conference Record of the 198~ ACM Conference on Lisp and Functional Programming, pages 21-28, August Dennis F. Kibler and John Conery. Parallelism in ai programs. In Proc. 9th Joint Conference on Artificial Intelligence, pages 53-56, August Janusz S. Kowalik, editor. Parallel Computation and Computers for Artificial Intelligence. Kluwer Academic Publishers, LP

6 [47] James R. Larus. Curare: Restructuring Lisp Programs for Concurrent Execution. Technical Report UCB/CSD 87/344, U.C. Berkeley Computer Science Department???, February [48] J. Marti and J. Fitch. The Bath concurrent Lisp machine. EUROCAM '83 (Lecture Notes in Computer Science), [49] Jed Marti and John Fitch. The bath concurrent lisp machine. In G. Goos and J. Hartmanis, editors, Lecture Notes in Computer Science, pages 78-90, Springer-Verlag???, [50] [51] Jed B. Marti. Compilation techniques for a control-flow concurrent lisp system. :In Conference Record of the 1980 ACM Conference on Lisp and Functional.Programming, pages , August Patrick F. McGehearty and Edward J. Krall. Execution of Common Lisp programs in a parallel environment. In Janusz S. KowMik, editor, Parallel Computation and Computers for Artificial Intelligence, pages 51-62, Kluwer Academic Publishers, [52] James S. Miller. MultiScheme: A Parallel Processing Syste m Based on MIT Scheme. PhD thesis, Massachusetts Institute of Technology, Cambridge, Massachusetts, August [53] Mitchell L. Model. Multiprocessingvia intercommunicating lisp systems. In Conference Record of ~he 1980 ACM Conference on Lisp and Functional Programming, pages , August [54] [551 [56] David A. Moon. Symbolies architecture. IEEE Computer, 20(1), January Peter R. Nuth. Commnaicalion Patterns in a Symbolic Multiprocessor. Technical Report MIT/LCS/TR-395, M.I.T. Lab for Computer Science, June Hiroshi G. Okuno and Anoop Gupta. Parallel Execution of OPS5 in QLISP. Technical Report KSL 87-43, Stanford University Knowledge Systems Laboratory, June LP I-6.56

7 [57] Andrew R. Pleszkun and Matthew J. Thazhuthaveetil. The architecture of lisp machines. IEEE Computer, 20(3):25-35, March [58] Gianfranco Print. Explicit parallelism in lisp-like languages. In Con- 4 ference "Record of the 1980 ACM Conference on Lisp and Functional Programming, pages 13-18, August # [59] Susan Solomon. A query language on a para!lel machine: June M.I.T. Bachelor's Thesis. [60] Guy Lewis Steele and Gerald Jay Sussman. Design of LISP-Based Processors. Memo 514, M.I.T. Artificial Intelligence Laboratory, Cambridge, Massachusetts, March [61] Jr. Steele, Guy L. and W. Daniel Hillis. Connection machine lisp: fine-grained parallel symbolic processing. In Proc ACM Conference on Lisp and Functional Programming, pages , ACM SIG- PLAN/SIGACT/SIGART, Cambridge, Massachusetts, August [62] Seth Steinberg. Imaging parallelism in Butterfly Lisp programs. October Internal BBNACI Memo. [63] [64] [65] S. Sugimoto, K. Agusa, K. Tabata, and Y. Ohno. A multimicroprocessor system for concurrent LISP. In Proceedings of International Conference on Parallel Processing, June Mitchell Wand. Continuation-based multiprocessing. In Conference Record of the 1980 ACM Conference on Lisp i~nd Functional Programming, pages 19-28, August Alexander Wang. Exploiting Parallelism in Lisp Programs with Side Effects. Cambridge, Massachusetts, May LP