CSG memos

modified: Fri, February 21, 2001 15:00:36

CSG-Memo-438
Dynamic Cache Partioning for Simultaneous  Multithreading Systems, Edward Suh, Larry Rudolph and Srinivas Devadas, January 2001.
[postscript 293kB]

CSG-Memo-437
Analytical Cache Models with Applications to Cache Partitioning, Edward Suh, Srinivas Devadas, and Larry Rudolph, February 2001.
[postscript 1.5mb]

CSG-Memo-436
TBA, Prabhat Jain, January 2001.

CSG-Memo-435
TBA, Prabhat Jain, January 2001.

CSG-Memo-434
TBA, Larry Rudolph, January 2001.

CSG-Memo-433
Set-Associative Cache Models for Time-Shared Systems, Edward Suh, January 2001.

CSG-Memo-432
Proofs of Correctness of Cache-Coherence Protocols, Joseph Stoy, Xiaowei Shen and Arvind. , In Proceedings of the Formal Methods Europe:Formal Methods for Increasing Software Productivity, Berlin, Germany,March 2001.
[postscript 321k]

CSG-Memo-431
Adaptive General Purpose Memory Hierarchies for a Changing Application Landscape, Derek Chiou and Larry Rudolph, January 2000.

CSG-Memo-430
Dynamic Cache Partitioning via Columnization, Derek Chiou, Prabhat Jain, Srinivas Devadas and Larry Rudolph, November 1999, (24 pages).
[postscript 932k] - [gzipped 252k]

CSG-Memo-429
Synthesis of Cache Coherence Protocols, Xiaowei Shen and Arvind, November 1999.

CSG-Memo-428 [abstract]
Improving the Java Memory Model Using CRF, Jan-Willem Maessen, Arvind and Xiaowei Shen, Submitted to OOPSLA 2000, (12 pages).
[postscript 342k] - [gzipped 149k]

CSG-Memo-427
Application-Specific Memory Management for Embedded Systems, Derek Chiou, Prabhat Jain, Srinivas Devadas and Larry Rudolph, November 1999, (20 pages).
[postscript 940k] - [gzipped 324k]

CSG-Memo-426
Scheduling and Synthesis of Operation-Centric Hardware Descriptions, James C. Hoe and Arvind, November 1999.
[postscript 248kB]

CSG-Memo-425
A Personal Supercomputer for Climate Research, James C. Hoe, Chris Hill and Alistair Adcroft, In proceedings of SuperComputing'99, November 1999, Portland, Oregon, (17 pages).
[postscript 1931k] - [compressed 457k] - [gzipped 325k]

CSG-Memo-424
Deriving Superscalar Microarchitectures from Pipelined Microarchitectures, James C. Hoe and Arvind, June 1999.

CSG-Memo-423
Universality of the CRF Model, Xiaowei Shen and Arvind, May 1999.

CSG-Memo-422
Micro-architecture Exploration and Synthesis via TRS's, James C. Hoe and Arvind, April 1999.

CSG-Memo-421A
Hardware Synthesis from Term Rewriting Systems, James C. Hoe and Arvind, In proceedings of VLSI'99, December 1999, Lisbon, Portugal, (27 pages).
[postscript 262k] - [compressed 114k] - [gzipped 82k]

CSG-Memo-421
Hardware Synthesis from Term Rewriting Systems, James C. Hoe and Arvind, April 1999.

CSG-Memo-420
Design and Implementation of a Multi-purpose Cluster System Network Interface Unit, Boon Ang, PhD Thesis.

CSG-Memo-419
Using Term Rewriting Systems to Design and Verify Processors, Arvind and Xiaowei Shen, In IEEE Micro Special Issue on Modeling and Validation of Microprocessors, May/June 1999, (16 pages).
[postscript 347k] - [compressed 156k] - [gzipped 117k]

CSG-Memo-418
MPI-StarT: Delivering Network Performance to Numerical Applications, Parry Husbands and James C. Hoe, In proceedings of SuperComputing'98, November 1998, Orlando, Florida.

CSG-Memo-417 [abstract]
Message Passing Support on StarT-Voyager, Boon S. Ang, Derek Chiou, Larry Rudolph and Arvind, In proceedings of the 5th International Conference on High-Performance Computing (HiPC '98), 17-20 December 1998, Madras, India, (11 pages).
[postscript 307k] - [compressed 112k] - [gzipped 79k]

CSG-Memo-416 [abstract]
The StarT-Voyager Parallel System, Boon S. Ang, Derek Chiou, Larry Rudolph and Arvind, In proceedings of International Conference on Parallel Architectures and Compilation Techniques (PACT '98), 13-17 October 1998, Paris, France, (11 pages).
[postscript 490k] - [compressed 177k] - [gzipped 112k]

CSG-Memo-415
StarT-Voyager: A Flexible Platform for Exploring Scalable SMP Issues, Boon S. Ang, Derek Chiou, Daniel Rosenband, Mike Ehrlich, Larry Rudolph and Arvind, In proceedings of SuperComputing '98, November 1998, Orlando, Florida, (18 pages).
[postscript 336k] - [compressed 159k] - [gzipped 86k]

CSG-Memo-414
CACHET: An Adaptive Cache Coherence Protocol for Distributed Shared-Memory Systems, Xiaowei Shen, Arvind and Larry Rudolph, In proceedings of the 13th ACM SIGARCH International Conference on Supercomputing, June 1999, Rhodes, Greece., (14 pages).
[postscript 212k] - [compressed 88k] - [gzipped 64k]

CSG-Memo-413
Commit-Reconcile and Fences (CRF): A New Memory Model for Architects and Compiler Writers, Xiaowei Shen, Arvind and Larry Rudolph, In proceedings of the 26th International Symposium on Computer Architecture, May 1999, Atlanta, Georgia., (14 pages).
[postscript 246k] - [compressed 103k] - [gzipped 74k]

CSG-Memo-412
Study of Performance and Optimization of MPI Over 100BaseT Switched Ethernet Network, Michael Broxton, August 1998, (21 pages).
[postscript 894k] - [compressed 286k] - [gzipped 198k]

CSG-Memo-411
Job scheduling for parallel supercomputers, Larry Rudolph and D.G. Feitelson, In Encyclopedia of Computer Science and Technology, A. Kent and J. G. Williams (eds.), Vol. 38, pp. 287-314, Marcel Dekker, Inc., 1998.

CSG-Memo-410
Do parallel Computers Really Need Optical Interconnection Networks?, Larry Rudolph, In proceedings of The Fifth International Conference on Massively Parallel Processing Using Optical Interconnections, June 1998, Las Vegas, Nevada.

CSG-Memo-409
Metrics and Benchmarking for Parallel Job Scheduling, Larry Rudolph and D.G. Feitelson, Appears in Job Scheduling Strategies for Parallel Processing, Springer Verlag LNCS Volume 1459, p. 1-12, 1998.

CSG-Memo-408 [abstract]
A TRS Model for a Modern Microprocessor, Lisa Poyneer, James C. Hoe and Arvind, June 1998, (14 pages).
[postscript 262k] - [compressed 120k] - [gzipped 93k]

CSG-Memo-407
TBA, Martin Rinard, June 1998.

CSG-Memo-406 [abstract]
StarT-X: A One-Man-Year Exercise in Network Interface Engineering, James C. Hoe, In proceedings of Hot Interconnects VI, August 1998, Stanford, California, (12 pages).
[postscript 1121k] - [compressed 430k] - [gzipped 345k]

CSG-Memo-405 [abstract]
On Deterministic Conditional Rewriting, Massimo Marchiori, December 1997, (29 pages).
[postscript 323k] - [compressed 149k] - [gzipped 116k]

CSG-Memo-404
An Adaptive Cache Coherence Protocol That Implements Sequential Consistency for DSM Systems with Multi-level Caches, Xiaowei Shen and Arvind, December 1997.

CSG-Memo-403
An Exercise in High-level Architectural Description using a Synthesizable Subset of Term Rewriting Systems, James C. Hoe, Martin Rinard and Arvind, October 1997, (50 pages).
[postscript 448k] - [compressed 194k] - [gzipped 149k]

CSG-Memo-402 [abstract]
Analysis and Optimization of Explicitly Parallel Programs using the Parallel Program Graph Representation, Vivek Sarkar, in Proceedings of the Tenth Workshop on Languages and Compilers for Parallel Computing, August 1997, Minneapolis, Minnesota, (21 pages).
[postscript 404k] - [compressed 179k]

CSG-Memo-401 [abstract]
Arctic Switch Fabric, George A. Boughton, In Proceedings of the 1997 Parallel Computing, Routing, and Communication Workshop, June 1997, Atlanta, Georgia, (9 pages).
[postscript 217k] - [compressed 77k] - [gzipped 45k]

CSG-Memo-400B
Design and Verification of Speculative Processors, Xiaowei Shen and Arvind, In Proceedings of the Workshop on Formal Techniques for Hardware and Hardware-like Systems, June 1998, Marstrand, Sweden, (20 pages).
[postscript 393k] - [compressed 175k] - [gzipped 139k]

CSG-Memo-400A
Modeling and Verification of ISA Implementations, Xiaowei Shen and Arvind, In Proceedings of the Australasian Computer Architecture Conference, February 1998, Perth, Australia, (14 pages).
[postscript 317k] - [compressed 147k] - [gzipped 117k]

CSG-Memo-400
Process Models, Xiaowei Shen and Arvind, Not for Distribution without Authors' Permission.

CSG-Memo-399
Implementation of the StarT-Voyager Bus Interface Units, Chris Conley, Master's Thesis, (106 pages).
[postscript 538k] - [compressed 228k] - [gzipped 175k]

CSG-Memo-398A
A Methodology for Designing Correct Cache Coherence for DSM Systems, Xiaowei Shen and Arvind, June 1997.

CSG-Memo-398
Specification of Memory Models and Design of Provably Correct Cache Coherence Protocols, Xiaowei Shen and Arvind, June 1997, (39 pages).
[postscript 544k] - [compressed 221k] - [gzipped 170k]

CSG-Memo-397
Computer Architecture Research and the Real World, Arvind, Anton T. Dahbura and Alejandro Caro, April 1997, (17 pages).
[postscript 352k] - [compressed 153k] - [gzipped 109k]

CSG-Memo-396
A Novel 64 Bit Data Representation for Garbage Collection and Synchronizing Memory, Alejandro Caro, April 1997, (6 pages).
[postscript 183k] - [compressed 84k] - [gzipped 66k]

CSG-Memo-395
A Lambda Calculus with Letrecs and Barriers, Arvind, J.W. Maessen, R.S. Nikhil and Joe Stoy, Invited Paper at 16th FST and TCS, December 1996, Hyderabad, India, (18 pages).
[postscript 311k] - [compressed 144k] - [gzipped 115k]

CSG-Memo-394 [abstract]
Message Passing Support for Multi-grained, Multi-threading and Multi-tasking Environments, Boon S. Ang, Derek Chiou, Larry Rudolph and Arvind, November 1996, (23 pages).
[postscript 880k] - [compressed 327k] - [gzipped 228k]

CSG-Memo-393-2
Lambda-S: an implicitly parallel $\lambda$-calculus with recursive bindings, synchronization and side effects, Arvind, Maessen, Jan-Willem, Nikhil, Rishiyur S. and Stoy, Joe E., Based on paper submitted to ICFP '97, (28 pages).
[postscript 393k] - [gzipped 147k]

CSG-Memo-393
Lambda-S: an Implicitly Parallel Lambda-Calculus with Letrec, Synchronization and Side-Effects, Arvind, J.W. Maessen, R.S. Nikhil and Joe Stoy, Based on paper submitted to ICFP '97, (18 pages).
[postscript 367k] - [compressed 168k] - [gzipped 137k]

CSG-Memo-392
An NIU Architecture for Open S \& M Systems, Boon Ang, November 1997, (21 pages).
[postscript 668k] - [compressed 262k] - [gzipped 174k]

CSG-Memo-391
High-level Programming for Reconfigurable Computing, James C. Hoe, November 1996, (22 pages).
[postscript 328k] - [compressed 152k] - [gzipped 117k]

CSG-Memo-390 [abstract]
Transitioning from MPP to SMP: Experiences with the MIT Ocean-Atmosphere Model, Chris Hill and Andrew Shaw, February 1997, (22 pages).
[postscript 402k] - [compressed 162k] - [gzipped 116k]

CSG-Memo-389
Functional Specification of a High-Performance Network Interface Unit on a Peripheral Bus, James C. Hoe, September 1996, (34 pages).
[postscript 384k] - [compressed 171k] - [gzipped 129k]

CSG-Memo-388
Pending, Boon Ang, (Restricted to Internal Distribution Only).

CSG-Memo-387 [abstract]
Message Passing Support on StarT-Voyager, Boon S. Ang, Derek Chiou, Larry Rudolph and Arvind, July 1996, (24 pages).
[postscript 444k] - [compressed 191k] - [gzipped 140k]

CSG-Memo-386
Message Passing Flow-control on StarT-Voyager, Boon Ang, (Restricted to Internal Distribution Only).

CSG-Memo-385
StarT-Voyager: Hardware Engineering Specification, Boon S Ang and Derek Chiou, (Restricted to Internal Distribution Only), (184 pages).
[postscript 1553k]

CSG-Memo-384
StarT-JR: A Parallel System from Commodity Technology, James C. Hoe and Mike Ehrlich, In proceedings of the 7th Transputer/Occam International Conference, November 1996, Tokyo, Japan, (19 pages).
[postscript 346k] - [compressed 159k] - [gzipped 122k]

CSG-Memo-383 [abstract]
The Future of Scientific Computing for Grand Challenge Problems, Arvind, Andrew Shaw and John Marshall, June 1996, (4 pages).
[postscript 121k] - [compressed 52k] - [gzipped 35k]

CSG-Memo-382-1
A Multithreaded Substrate and Compilation Model for the Implicitly Parallel Language pH, Arvind, Alejandro Caro, Jan-Willem Maessen and Shail Aditya, LCPC-96, (27 pages).
[postscript 416k] - [compressed 186k] - [gzipped 138k]

CSG-Memo-381 [abstract]
Performance Tuning Scientific Codes for Dataflow Execution, Andrew Shaw, Arvind and R. Paul Johnson, In proceedings of PACT '96, (12 pages).
[postscript 440k] - [compressed 154k] - [gzipped 101k]

CSG-Memo-380 [abstract]
Neutral Agents: A Novel Mechanism for Interactive Simulation, Alejandro Caro and Arvind, To be presented as the keynote address in the session on High Performance Computing at the 20th Army Science Conference, 24-27 June 1996, Norfolk, Virginia, (8 pages).
[postscript 721k] - [compressed 144k] - [gzipped 109k]

CSG-Memo-379
Practicing the Object Modeling Technology in a Functional Programming Framework, Jack B. Dennis and Handong Wu, February 1996, (38 pages).
[postscript 302k] - [compressed 131k] - [gzipped 87k]

CSG-Memo-378 [abstract]
Partitioning Non-strict Functional Languages for Multi-threaded Code Generation, Satyan Coorg, In Proceedings of Static Analysis Symposium '95, September 1995, Glasgow, Scotland, UK, (15 pages).
[postscript 380k] - [compressed 152k] - [gzipped 109k]

CSG-Memo-377-1 [abstract]
Semantics of pH: A parallel dialect of Haskell, Shail Aditya, Arvind and Jan-Willem Maessen, June 1995, (22 pages).
[postscript 254k] - [compressed 113k] - [gzipped 86k]

CSG-Memo-376 [abstract]
Static Mapping of Functional Programs: An Example in Signal Processing, Jack B. Dennis, June 1995, (17 pages).
[postscript 370k] - [compressed 156k] - [gzipped 112k]

CSG-Memo-375 [abstract]
Multiprocessor Implementation of Nondeterminate Computations in a Functional Programming Framework, Jack B. Dennis and Guang R. Gao, May 1995, (12 pages).
[postscript 346k] - [compressed 147k] - [gzipped 102k]

CSG-Memo-374
Normalizing Strategies for Multithreaded Interpretation and Compilation of Non-Strict Languages, Shail Aditya, May 1995, (26 pages).
[postscript 309k] - [compressed 134k] - [gzipped 98k]

CSG-Memo-373 [abstract]
Arctic Routing Chip, G. Andrew Boughton, In Proceedings of the 1994 University of Washington Parallel Computer Routing and Communication Workshop, May 1994, (10 pages).
[postscript 180k] - [compressed 80k] - [gzipped 57k]

CSG-Memo-372
PVM Light Weight Process Package, Weihaw Chuang, December 1994, (56 pages).
[postscript 245k] - [compressed 103k] - [gzipped 72k]

CSG-Memo-371 [abstract]
StarT-NG: Delivering Seamless Parallel Computing, D. Chiou, B.S. Ang, Arvind, M.J. Beckerle, G.A. Boughton, R. Greiner, J.E. Hicks and J.C. Hoe, Published at EURO-PAR'95 Conference, August 1995, (15 pages).
[postscript 311k] - [compressed 140k] - [gzipped 106k]

CSG-Memo-370 [abstract]
Simplifying Parallel List Traversal, Jan-Willem Maessen, January 1995, (11 pages).
[postscript 223k] - [compressed 99k] - [gzipped 76k]

CSG-Memo-369 [abstract]
pH Language Reference Manual, Version 1.0, R.S. Nikhil, Arvind, J. Hicks, S. Aditya, L. Augustsson, J. Maessen and Y. Zhou, January 1995, (25 pages).
[postscript 215k] - [compressed 98k] - [gzipped 73k]

CSG-Memo-368 [abstract]
A Type System for Functional Imperative Programming (Technical Summary), Shail Aditya and Satyan Coorg, July 1994, (17 pages).
[postscript 242k] - [compressed 109k] - [gzipped 83k]

CSG-Memo-367-1
Semantics of Barriers in a Non-Strict, Implicitly-Parallel Language, Shail Aditya, Arvind and Joseph Stoy, Published at FPCA '95 Conference, June 1995, (13 pages).
[postscript 307k] - [compressed 134k] - [gzipped 97k]

CSG-Memo-366 [abstract]
Adding Fast Interrupts to Superscalar Processors, Dana S. Henry, December 1994.
[postscript 302k] - [compressed 109k] - [gzipped 64k]

CSG-Memo-365 [abstract]
Issues in Building a Cache-Coherent Distributed Shared Memory Machine using Commercial SMPs, Boon S. Ang, Derek Chiou and Arvind, December 1994, (20 pages).
[postscript 293k] - [compressed 126k] - [gzipped 92k]

CSG-Memo-364 [abstract]
A Comparison of Implicitly Parallel Multithreaded and Data Parallel Implementations of an Ocean Model based on the Navier-Stokes Equations, Andrew Shaw, Arvind, Kyoo-Chan Cho, Christoper Hill, R. Paul Johnson and John Marshall , Accepted to Journal of Parallel and Distributed Computing.
[compressed 309k] - [gzipped 213k]

CSG-Memo-363 [abstract]
On Memory Models and Cache Management for Shared-Memory Multiprocessors, Jack B. Dennis and Guang R. Gao, October 1994, (21 pages).
[postscript 320k] - [compressed 141k] - [gzipped 104k]

CSG-Memo-362 [abstract]
Stream Data Types for Signal Processing, J. Dennis, October 1994, (22 pages).
[postscript 371k] - [compressed 159k] - [gzipped 106k]

CSG-Memo-361
Implementing Global Cache Coherence for StarT-NG, Xiaowei Shen, Master's Thesis, Department of Electrical Engineering and Computer Science, MIT.

CSG-Memo-360
Computation Structures Group Progress Report 1993-94, Y. Zhou (ed.) and G.A. Boughton (ed.), July 1994, (33 pages).
[postscript 277k] - [compressed 125k] - [gzipped 95k]

CSG-Memo-359
Computation Structures Group Progress Report 1992-93, Y. Zhou (ed.) and G.A. Boughton (ed.), July 1993, (31 pages).
[postscript 298k] - [compressed 130k] - [gzipped 91k]

CSG-Memo-358
Hermes: Communicating *T-NGs, John Morris, LIMITED DISTRIBUTION.

CSG-Memo-357
ACD Requirements, B.S. Ang, D. Chiou, J.C. Hoe, X.-W. Shen, J. Morris, S.K. Nandy and M.J. Beckerle, "LIMITED DISTRIBUTION", .

CSG-Memo-356-1 [abstract]
In-Coherent - An Incessantly Coherent Cache Scheme for Shared Memory Multiprocessor Systems, S.K. Nandy, In Proceedings of the First International Workshop on Parallel Processing, Bangalore, India, December 26-31, 1994, (8 pages).
[postscript 212k] - [compressed 95k] - [gzipped 70k]

CSG-Memo-355 [abstract]
Parallel Programming Based on Continuation-Passing Threads, Michael Halbherr, Yuli Zhou and Chris F. Joerg, In Proceedings of the 2nd International Workshop on Massive Parallelism: Hardware, Software and Applications, Capri, Italy, October 3-7, 1994, (27 pages).
[postscript 1618k] - [compressed 528k] - [gzipped 362k]

CSG-Memo-354 [abstract]
StarT the Next Generation: Integrating Global Caches and Dataflow Architecture, Boon Seong Ang, Arvind and Derek Chiou, In Advanced Topics in Dataflow Computing and Multithreading IEEE Press, a book of the proceedings of ISCA 1992 Dataflow Workshop, Hamilton Island, Australia , (34 pages).
[postscript 445k] - [compressed 189k] - [gzipped 133k]

CSG-Memo-353
Arctic User's Manual, George A. Boughton et al., February 1994.

CSG-Memo-352 [abstract]
Garbage Collection for Strongly-Typed Languages using Run-Time Type Reconstruction, Shail Aditya, Christine H. Flood and James E. Hicks, In Proceedings of the ACM Conference on LISP and Functional Programming, June, 1994, (13 pages).
[postscript 387k] - [compressed 154k] - [gzipped 105k] - HTML document

CSG-Memo-351
*T: Integrated Building Blocks for Parallel Computing, G.M. Papadopoulos, G.A. Boughton, R. Greiner and M.J. Beckerle, In Proceedings of Supercomputing '93, Portland, Oregon, November 15-19, 1993.

CSG-Memo-350 [abstract]
Efficient Implementation of Sequential Loops in Dataflow Computation, B.S. Ang, In Proceedings of Functional Programming Languages and Computer Architecture, Copenhagen, Denmark, June 1993., (12 pages).
[postscript 529k] - [compressed 203k] - [gzipped 126k]

CSG-Memo-349
Computation Structures Group Progress Report 1991-92, G.A. Boughton (ed.), July 1992, (36 pages).
[postscript 306k] - [compressed 142k] - [gzipped 105k]

CSG-Memo-348 [abstract]
Compiler-Directed Type Reconstruction for Polymorphic Languages, Shail Aditya and Alejandro Caro, In Proceedings of Functional Programming Languages and Computer Architecture, Copenhagen, Denmark, June 1993., (10 pages).
[postscript 276k] - [compressed 110k] - [gzipped 82k]

CSG-Memo-347-1 [abstract]
Properties of First-Order Functional Language with Sharing, Zena Ariola and Arvind, In Journal of Theoretical Computer Science, 146 (1-2):69-108, July 1995, (41 pages).
[postscript 494k] - [compressed 209k] - [gzipped 151k]

CSG-Memo-346 [abstract]
Local Memory Reference Behavior of Fine-Grain Multithreaded Execution, Masato Motomura and Gregory M. Papadopoulos, November 1992, (16 pages).
[postscript 450k] - [compressed 196k] - [gzipped 131k]

CSG-Memo-345-3 [abstract]
Performance Studies of the Monsoon Dataflow Processor, J. Hicks, D. Chiou, B.S. Ang and Arvind, In Journal of Parallel and Distributed Computing, July, 1993, (54 pages).
[postscript 503k] - [compressed 207k] - [gzipped 155k] - HTML document

CSG-Memo-344 [abstract]
Using Atomic Data Structures for Parallel Simulation, Paul S. Barth, In Proceedings of the Scalable High Performance Computing Conference, Williamsburg, VA, April 27, 1992, (11 pages).
[postscript 311k] - [compressed 119k] - [gzipped 75k]

CSG-Memo-343-1 [abstract]
Synchronization and Pipeline Design for a Multithreaded Massively Parallel Computer, Shuichi Sakai, March 1992, (26 pages).
[postscript 391k] - [compressed 149k] - [gzipped 95k]

CSG-Memo-342 [abstract]
A Tightly-Coupled Processor-Network Interface, Christopher F. Joerg and Dana S. Henry, In Proceedings of the Fifth International Conference on Architectural Support for Programming Languages and Operating Systems, Boston, MA, October 1992, (13 pages).
[postscript 403k] - [compressed 159k] - [gzipped 101k]

CSG-Memo-341
Compilation of Id, Z. M. Ariola and Arvind, In Proceedings of the Fourth Workshop on Languages and Compilers for Parallel Computing Semantics Based Program Manipulation, Santa Clara, CA, August 1991.

CSG-Memo-340 [abstract]
The Monsoon Interconnection Network, C. F. Joerg and G. A. Boughton, In Proceedings of the 1991 IEEE International Conference on Computer Design, Cambridge, MA, October 1991, (5 pages).
[postscript 208k] - [compressed 89k] - [gzipped 62k]

CSG-Memo-339
Test and Validation for Monsoon Processing Elements, M. J. Beckerle and G. M. Papadopoulos, In Proceedings of the 1991 IEEE International Conference on Computer Design, Cambridge, MA, October 1991. Also published as Motorola Technical Report MCRC-TR 16.

CSG-Memo-338 [abstract]
Overview of the Monsoon Project, K. R. Traub, G. M. Papadopoulos, M. J. Beckerle, J. E. Hicks and J. Young, In Proceedings of the 1991 IEEE International Conference on Computer Design, Cambridge, MA, October 1991. Also published as Motorola Technical Report MCRC-TR 15, (7 pages).
[postscript 260k] - [compressed 101k] - [gzipped 70k]

CSG-Memo-337
Computation Structures Group Progress Report 1990-91, G. A. Boughton (ed.), June 1991, (40 pages).
[postscript 363k] - [compressed 164k] - [gzipped 119k]

CSG-Memo-335
Interleaving and Hashing for Start System, T. Senta, August 1991.

CSG-Memo-334
Monsoon Id World User's Guide, R. P. Johnson, January 1992.

CSG-Memo-333
Dataflow Programming Languages, R. S. Nikhil, In Proceedings of The 13th IMACS World Congress on Computation and Applied Mathematics, Trinity College, Dublin, Ireland, July 22-26, 1991.

CSG-Memo-331 [abstract]
The Network Interface Chip, D. S. Henry and C. F. Joerg, June 1991, (23 pages).
[postscript 269k] - [compressed 117k] - [gzipped 82k]

CSG-Memo-330 [abstract]
Multithreading: A Revisionist View of Dataflow Architectures, G. M. Papadopoulos and K. R. Traub, In Proceedings of The 18th Annual International Symposium on Computer Architecture, Toronto, Canada, May 1991. Also published as Motorola Technical Report MCRC-TR 10, (11 pages).
[postscript 310k] - [compressed 124k] - [gzipped 85k]

CSG-Memo-329 [abstract]
Incremental Polymorphism, S. Aditya and R. S. Nikhil, In Proceedings on Functional Programming and Computer Architecture, Cambridge, MA, August 28-30, 1991, (32 pages).
[postscript 726k] - [compressed 264k] - [gzipped 175k]

CSG-Memo-328 [abstract]
An Introduction to the Id Compiler, S. Glim, B. S. Ang, A. Caro and A. Shaw, April 1991.
[postscript 463k] - [compressed 199k] - [gzipped 148k]

CSG-Memo-327
M-Structures: Extending a Parallel, Non-strict, Functional Language with State, P. S. Barth, R. S. Nikhil and Arvind, In Proceedings on Functional Programming and Computer Architecture, Cambridge, MA, August 28-30, 1991, (35 pages).
[postscript 348k] - [compressed 155k] - [gzipped 108k]

CSG-Memo-326
List Comprehensions in AGNA, a Parallel Persistent Object System, M. L. Heytens and R. S. Nikhil, In Proceedings on Functional Programming and Computer Architecture, Cambridge, MA, August 28-30, 1991.

CSG-Memo-325-1 [abstract]
*T: A Multithreaded Massively Parallel Architecture, R. S. Nikhil, G. M. Papadopoulos and Arvind, In Proceedings of The 19th Annual International Symposium on Computer Architecture, Gold Coast, Australia, May 1992, (15 pages).
[postscript 355k] - [compressed 155k] - [gzipped 108k]

CSG-Memo-324
Multiprocessor Packaging, G. A. Boughton, December 1990, (10 pages).
[postscript 245k] - [compressed 87k] - [gzipped 45k]

CSG-Memo-323
Contextual Rewriting System, Z. M. Ariola and Arvind, December 1990, Revised November 1991.

CSG-Memo-322
A Syntactic Approach to Program Transformation, Z. M. Ariola and Arvind, Presented at Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Yale University, New Haven, CT, June 17-19, 1991.

CSG-Memo-321 [abstract]
Notes on the Confluence Property of Terms Rewriting Systems and the lambda-calculus, Z. M. Ariola, December 1990, (19 pages).
[postscript 266k] - [compressed 117k] - [gzipped 79k]

CSG-Memo-320
Exploiting Parallelism in the Implementation of AGNA, a Persistent Programming System, R. S. Nikhil and M. L. Heytens, In Proceedings of the Seventh International Conference on Data Engineering, Kobe, Japan, April 8-12, 1991.

CSG-Memo-319
Context Management in the ID Run Time System, J. Young, September 1990.

CSG-Memo-318
Two-Phase Transactions, J. Young, September 1990.

CSG-Memo-317
Id World Reference Manual, R. S. Nikhil, Revised: August 1988 - P. R. Fenstermacher and J. E. Hicks, November 1989 - R. P. Johnson.

CSG-Memo-316
The Evolution of Dataflow Architectures from Static Dataflow to P-RISC, Arvind and S. A. Brobst, Presented at the Workshop on Massive Parallelism: Hardware, Programming and Applications, Amalfi, Italy, October 1989. Also appears in International Journal of High Speed Computing, Vol. 5, No. 2 (1993).

CSG-Memo-315 [abstract]
Compilation of Id$^-$, a subset of Id, Z. Ariola and Arvind, July 1990, Revised November 1990, (51 pages).
[postscript 407k] - [compressed 182k] - [gzipped 132k]

CSG-Memo-314
Notes on Automatic Parallelization, R. S. Nikhil, July 1990.

CSG-Memo-313
The Parallel Programming Language Id and its Compilation for Parallel Machines, R. S. Nikhil, Presented at the Workshop on Massive Parallelism: Hardware, Programming and Applications, Amalfi, Italy, October, 1989.

CSG-Memo-312
The Explicit Token Store, D. E. Culler and G. M. Papadopoulos, In the Journal of Parallel and Distributed Computing, January 1991.

CSG-Memo-311
Id Run-time System, S. A. Brobst, J. Hicks, G. M. Papadopoulos and J. Young, November 1990.

CSG-Memo-310
Id Compiler Back End for ETS and Monsoon, J. Hicks, June 1990.

CSG-Memo-309
Computation Structures Group Progress Report 1989-90, R. S. Nikhil (ed.), June 1990.

CSG-Memo-308
An Abstract Description of a Monsoon-like ETS interpreter, R. S. Nikhil and Arvind, June 1990.

CSG-Memo-307-1 [abstract]
Tests for Monsoon Instruction Subset 1, J. Young, September 1990, (16 pages).
[postscript 409k] - [compressed 113k] - [gzipped 65k]

CSG-Memo-306
Monsoon: An Explicit Token Store Architecture, G. M. Papadopoulos and D. E. Culler, In Proceedings of the 17th International Symposium on Computer Architecture, Seattle, Washington, May 1990.

CSG-Memo-305
Id: a language with implicit parallelism, R. S. Nikhil and Arvind, In A Comparative Study of Parallel Programming Languages: The Salishan Problems, J. Feo, ed., Elsevier Science Publishers.

CSG-Memo-304
Parallel Characteristics of Sequence Alignment Algorithms, A. K. Iyengar, In Proceedings of Supercomputing '89, Reno, Nevada, November 13-17, 1989.

CSG-Memo-303
Program Development and Performance Monitoring on the Monsoon Dataflow Multiprocessor, G. M. Papdopoulos, In {\it Instrumentation for Future Parallel Computing Systems, ACM Press, Frontier Series, ppgs. 91-110.

CSG-Memo-302
A Dataflow Approach to General-purpose Parallel Computing, Arvind and R. S. Nikhil, Prepared for the proceedings commemorating the 25th Anniversary of Project MAC.

CSG-Memo-301
Monsoon Assembly Language Reference, G. M. Papadopoulos and K. R. Traub.

CSG-Memo-300
Computation Structures Group Progress Report 1988-89, R. S. Nikhil (ed.), June 1989.

CSG-Memo-299
A Reverse Compiler: A Monsoon Dataflow Microcode to Common Lisp Compiler, D.T. Chiou, June 1989.

CSG-Memo-298
Design and Implementation of a High-speed Data Link for a Dataflow Supercomputer, J. Santoro, June 1989.

CSG-Memo-297
A Design and Implementation of MINT: A Monsoon Simulator, A. Shaw, June 1989.

CSG-Memo-296
Monsoon Software Interface Specifications, K. Traub, S. Brobst, J. Hicks, G. Papadopoulos, A. Shaw and J. Young, "(In preparation)", .

CSG-Memo-295
P-TAC: A Parallel Intermediate Language, Z. Ariola and Arvind, "In Proceedings of the Conference on Functional Languages and Computer Architecture, London, England, September, 1989", .

CSG-Memo-294 [abstract]
Supporting State-Sensitive Computation in a Dataflow System, P. S. Barth and R. S. Nikhil, March 1989, (16 pages).
[postscript 293k] - [compressed 123k] - [gzipped 93k]

CSG-Memo-293
Instruction Set Definition for an Explicit Token Store Machine, J. Young and Arvind.

CSG-Memo-292
Can Dataflow subsume von Neumann computing?, R. S. Nikhil and Arvind, In Proceedings of the 16th International Symposium on Computer Architecture, IEEE/ACM, Jerusalem, Israel, May 1989..

CSG-Memo-291
Compilation as Partitioning: A New Approach to Comiling Non-Strict Functional Languages, K. R. Traub, "In Proceedings of the Aspenas Workshop on the Implementation of Lazy Functional Languages, September 1988, Programming Methodology Group, Chalmers University, Goteborg, Sweden", .

CSG-Memo-290
The Network Interface Unit NIU for the Monsoon Dataflow Processor, F. Hutner, August 1988.

CSG-Memo-289
Virtual Memory on a Dataflow Computer, K. M. Steele and R. M. Soley, July 1988.

CSG-Memo-288
Computation Structures Group Progress Report 1987-88, R. S. Nikhil (ed.), June 1988.

CSG-Memo-287
Programming Generality and Parallel Computers, Arvind, S. Heller and R. S. Nikhil, In Proceedings of the Fourth International Symposium on Biological and Artificial Intelligence Systems, Trento, Italy, September 18-22, l988.

CSG-Memo-286
Managing Shared Resources in a Parallel System, P. Barth and R. S. Nikhil, July 1989.

CSG-Memo-285
Project Dataflow, Arvind, M. L. Dertouzos, R. S. Nikhil and G. M. Papadopoulos, FOR INTERNAL USE ONLY.

CSG-Memo-284-2
ID Reference Manual, Version 90.1, R. S. Nikhil, July 1991, (60 pages).
[postscript 509k] - [compressed 201k] - [gzipped 151k]

CSG-Memo-283
The Monsoon Processing Element Architecture Reference, G. M. Papadopoulos, FOR INTERNAL USE ONLY.

CSG-Memo-282
Summary of 1987 Dataflow Workshop Translation into Japanese, A. Konagaya, January 1988.

CSG-Memo-281
Evaluation of the MIT Tagged-Token Dataflow Architecture, Arvind, G. K. Maa and S. A. Brobst, NOT AVAILABLE.

CSG-Memo-280
Resource Requirements of Dataflow Programs, D. E. Culler and Arvind, In Proceedings of the 15th International Symposium on Computer Architectures, IEEE/ACM, Honolulu, HI, May 31 - June 2, l988.

CSG-Memo-279
Assessing the Benefits of Fine-grained Parallelism in Dataflow Programs, Arvind, G. K. Maa and D. E. Culler, In Proceedings of Supercomputing 88, Orlando, FL, November 14-18, l988 and International Journal of Supercomputing Applications, Vol. 2, No. 3, November 1988.

CSG-Memo-278
The Price of Asynchronous Parallelism: An Analysis of Dataflow Architectures, Arvind, D. E. Culler and K. Ekanadham, In Proceedings of CONPAR 88, Manchester, England, September 16-18, 1988.

CSG-Memo-277
Implicit Serialization in Dataflow Programs: Input/Output in ID, R. M. Soley, December 1987.

CSG-Memo-276
The Semantics of Update in a Functional Database Programming Language, R. S. Nikhil, In Proceedings of the 1987 ALTAIR/CRAI Workshop on Database Programming Languages, September 1987, Roscoff, France; Francois Bancilhon and Peter Buneman (eds.).

CSG-Memo-275
Toward a Dataflow/von Neumann Hybrid Architecture, R. A. Iannucci, In Proceedings of the 15th Annual International Symposium on Computer Architecture IEEE/ACM, Honolulu, HI, May 31 - June 2, 1988.

CSG-Memo-274
Computation Structures Group Progress Report 1986-87, June 1987.

CSG-Memo-273
SIMPLE: Part I An Exercise in Future Scientific Programming, K. Ekanadham and Arvind, Simultaneously published as IBM/T.J. Watson Research Center, Report 12686.

CSG-Memo-272
Future Scientific Programming on Parallel Machines, Arvind and K. Ekanadham, "In Proceedings of the International Conference on Supercomputing, Athens, Greece, June 9-12, l987. In Languages, Compilers and Environments, a special issue of Journal of Parallel and Distributed Computing", .

CSG-Memo-271
Executing a Program on the MIT Tagged-Token Dataflow Architecture, Arvind and R. S. Nikhil, In IEEE Transactions on Computers, Vol. 39, No. 3 (1990). Also, an earlier version appeared in {\em Proceedings of the PARLE Conference, Eindhoven, The Netherlands\/}, Springer Verlag LNCS Volume 259, June 15-19, 1987..

CSG-Memo-270
An Engineering Implementation of the Tagged-Token Dataflow Machine, G. M. Papadopoulos, "FOR INTERNAL USE ONLY", .

CSG-Memo-269
I-structures: Data Structures for Parallel Computing, Arvind, R. S. Nikhil and K. Pingali, In Proceedings of the Workshop on Graph Reduction, Los Alamos, New Mexico, September 28 - October 1 ,1986 and {\em ACM Transactions on Programming Languages and Systems}, 11(4):598-632, October 1989.

CSG-Memo-268
Structure Referencing in the Tagged-Token Dataflow Architecture, A. Chien, October 1986.

CSG-Memo-267
Hot Spots in Routing Networks, A. Chien, October 1986.

CSG-Memo-266
Id World: User's Manual, D. R. Morais, (NOT AVAILABLE).

CSG-Memo-265
Id Nouveau, R. S. Nikhil, K. Pingali and Arvind, (Superseded by CSG-Memo-284-2).

CSG-Memo-264
Instruction Scheduling and Token Storage Requirements in a Dataflow Supercomputer, S. A. Brobst, May 1986.

CSG-Memo-263
Computation Structures Group Progress Report 1985-86, June 1986.

CSG-Memo-262
Loop Unfolding for a Static Dataflow Machine, E. H. Gornish, May 1986.

CSG-Memo-261-1
A Dataflow Compiler Substrate, K. R. Traub, Revised by: James Hicks and Shail Aditya.
[postscript 673k] - [compressed 283k] - [gzipped 215k]

CSG-Memo-260
A Comparison of Two Signal System Architectures for a Static Dataflow Machine, D. M. Marcovitz, February 1986.

CSG-Memo-259
Functional Databases, Functional Languages, R. S. Nikhil, In Proceedings on Persistence and Data Types, University of Glasgow, August, 1985.

CSG-Memo-258
An Introduction to the Lambda-Calculus, K. Pingali and V. Kathail, July 1984.

CSG-Memo-257
Managing Resources in a Parallel Machine, Arvind and D. E. Culler, In Proceedings of the IFIP TC 10 Working Conference, Manchester, UK, July 15-18, 1985.

CSG-Memo-256
Fixpoint Equations and Dataflow, K. Pingali, December 1985.

CSG-Memo-255
VLOE: A VAL Language-oriented Editor, S. C. Markowitz, September 1984.

CSG-Memo-254
A Maximally Pipelined Tridiagonal Linear Equation Solver, G-R. Gao, August 1985.

CSG-Memo-253
Directed Cube Networks: A Practical Solution, S. K. Heller, July 1985.

CSG-Memo-252
Computation Structures Group Progress Report 1984-85, June 1985.

CSG-Memo-251
Functional Languages and Architectures Progress Report 1984-85, June 1985.

CSG-Memo-250
Tagged-Token Dataflow Architecture Simulation Facility User's Manual, S. A. Brobst, March 1985.

CSG-Memo-249
Practical Polymorphism, R. S. Nikhil, In Proceedings on Functional Programming Languages and Computer Architectures, Nancy, France, September 1985.

CSG-Memo-248
Id Compiler User's Manual, S. K. Heller and K. R. Traub, May 1985.

CSG-Memo-247
Design of a VLSI Self-timed Ring Buffer Using Signal Transition Graphs, T-A. Chu, March 1985.

CSG-Memo-246
Computation Structures Group Progress Report 1983-84, June 1984.

CSG-Memo-245
Functional Languages and Architectures Progress Report 1983-84, June 1984.

CSG-Memo-244
Final Report: Program Decomposition for Multiple Processor Machines, Arvind, December 1984.

CSG-Memo-243
FP1.5: Backus' FP with Higher Order Functions, Arvind, J. D. Brock and K. Pingali, (Revised January 1984).

CSG-Memo-242
Design of a CMOS Self-timed Two by Two Packet Router, T-A. Chu, December 1984.

CSG-Memo-241
A Third Opinion on Dataflow Machines and Languages, R. M. Soley, October 1984.

CSG-Memo-240
Design Methodology for Stoppable Clock Systems, W. Lim, August 1984.

CSG-Memo-239
An I-Structure Memory Controller, S. K. Heller, May 1984.

CSG-Memo-238
VIM: An Experimental Multi-User System Supporting Functional Programming, J. B. Dennis, J. Stoy and B. Guharoy, April 1984.

CSG-Memo-237
A Primer for the Lisp Machine, B. Guharoy, March 1984.

CSG-Memo-236
Decomposition of Nested Loops in a Dataflow System, D. E. Culler, March 1984.

CSG-Memo-235
The VAL Intermediate Graph Format, W. B. Ackerman, January 1984.

CSG-Memo-234
A Parser for the Language PADL, J. Holderle, November 1983.

CSG-Memo-233
Maximum Pipelining of Array Operations on Static Data Flow Machine, J. B. Dennis and G-R. Gao, November 1983.

CSG-Memo-232
Static Data Flow Cell Block, W. B. Ackerman, N. Bauman and B. Woodhall, November 1983.

CSG-Memo-231
Specifications to Hardware Structures, W. Lim, October 1983.

CSG-Memo-230
Design of a Memory Controller for the MIT Tagged Token Dataflow Machine, S. K. Heller and Arvind, Proceedings of IEEE ICCD 1983 Port Chester, NY (also submitted to the Journal of VLSI and Computer Systems.

CSG-Memo-229-1
Why Dataflow Architectures?, Arvind and D. E. Culler, Proceedings of the Fourth Jerusalem Conference on Information Technology, Jerusalem, Israel, May 1984; also appeared in Proceedings of the l6th Annual Electronics and Aerospace Conference and Exposition IEEE Eascon 1983 as ``Tagged-Token Dataflow Architecture''.

CSG-Memo-229
Tagged-Token Dataflow Architecture, Arvind and D. E. Culler, (superseded by {TTDA).

CSG-Memo-228
Data-dependent Concurrency Control and Recovery, W. Weihl, June 1983.

CSG-Memo-227
Type Checking in Generalized VAL, T. Peacock, May 1983.

CSG-Memo-226-6
Two Fundamental Issues in Multiprocessing, Arvind and R. A. Iannucci, In Proceedings of DFVLR - Conference 1987, ``Parallel Processing in Science and Engineering,'' June 25-26, 1987, Bonn-Bad Godesberg. (supersedes {LCS-TM-241}).

CSG-Memo-226
A Critique of Multiprocessing von Neumann Style, Arvind and R. A. Iannucci, (superseded by {CSG-Memo-226-6).

CSG-Memo-225
The Design, Implementation and Testing of a Self-Timed Two by Two Packet Router, Chu, February 1983.

CSG-Memo-224
Locating Migratory Objects in an Internet, C. Henderson, January 1983.

CSG-Memo-223
Specification and Implementation of Resilient, Atomic Data Types, W. Weihl and B. Liskov, December 1982.

CSG-Memo-222
The MIT Data Flow Engineering Model, J. B. Dennis, W. Lim and W. B. Ackerman, November 1982.

CSG-Memo-221
PADL - A Packet Architecture Description Language, W. Lim and C. Leung, October 1982.

CSG-Memo-220
Packet Communication Switch for a Multiprocessor Computer Architecture Emulation Facility, R. A. Iannucci, October 1982.

CSG-Memo-219
A Methodology for Debugging Data Flow Programs, N. Bauman and R. A. Iannucci, October 1982.

CSG-Memo-218
Implementation Strategies for a Tagged-Token Data Flow Machine, R. A. Iannucci, June 1982.

CSG-Memo-217
Streams and Managers, Arvind and J. D. Brock, (superseded by {J-Resource).

CSG-Memo-216
A Design Strategy for Testable Self-Timed Systems, T-A. Chu, April 1982.

CSG-Memo-215
High Performance Data Flow Computers, J. B. Dennis, March 1982.

CSG-Memo-214
A Test Strategy for Packet Switching Networks, W. Lim, March 1982.

CSG-Memo-213
A Data Flow Supercomputer, J. B. Dennis, G-R. Gao and K.W. Todd, March 1982.

CSG-Memo-212-3-1
Addendum to the Instruction Set Definition for a Tagged-Token Data Flow Machine, V. Kathail, October 1983.

CSG-Memo-212-3
Instruction Set Definition for a Tagged-Token Data Flow Machine, Arvind and R. A. Iannucci, (Revised May 1982, February 1983; see Kathail's {CSG-Memo-212-3-1 also).

CSG-Memo-211
Idsys Manual, K. Pingali and V. Kathail, December 1981.

CSG-Memo-210
Guardians and Actions: Linguistic Support for Robust, Distributed Programs, B. Liskov and R. Scheifler, November 1981.

CSG-Memo-209
Data Should Not Change: A Model for a Computer System, J. B. Dennis, July 1981.

CSG-Memo-208
An Interpreter for Instruction Cells, K. Todd, July 1981.

CSG-Memo-207
An Operational Semantics for a Language with Early Completion Data Structures Formal Descriptions of Programming Concepts, Springer Verlag, 1981, J. B. Dennis, February 1981.

CSG-Memo-206
Scenarios: A Model of Non-determinate Computation Formal Descriptions of Programming Concepts, Springer Verlag, 1981, J. D. Brock and W. B. Ackerman, February 1981.

CSG-Memo-205-1
A Multiple Processor Dataflow Machine That Supports Generalized Procedures, Arvind and V. Kathail, Proceedings of the 8th International Conference on Computer Architecture, Minneapolis, MN, May 13-14, 1981 (superseded by {TTDA).

CSG-Memo-204
Index to CLU Reference Manual, P. Johnson, February 1981.

CSG-Memo-203
Computation Structures Group Progress Report l979-1980, February 1981.

CSG-Memo-202
Programming Methodology Group Progress Report 1979-1980, December 1980.

CSG-Memo-201-1
On Linguistic Support for Distributed Programs, B. Liskov, June 1981.

CSG-Memo-200-1
A Value Transmission Method for Abstract Data Types, M. Herlihy and B. Liskov, October 1980.

CSG-Memo-199
The Development of a Prototype Router: Design, Implementation, and Test Procedures, J. Lilienkamp, September 1980.

CSG-Memo-198
Data Flow Computer Architecture, J. B. Dennis, July 1980.

CSG-Memo-197
A VLSI Implementation of a Two by Two Packet Router, P. Ries, July 1980.

CSG-Memo-196
Design of a Fault-Tolerant Packet Communication Computer Architecture, C. Leung and J. B. Dennis, July 1980.

CSG-Memo-195
Implementation of Arithmetic for the Data Flow Machine Processing Unit, R. Tucker, June 1980.

CSG-Memo-194
Semaphore Primitives and Starvation-Free Mutual Exclusion, E. Stark, June 1980.

CSG-Memo-193
Structuring the Fast Fourier Transform for Data Flow Computation, A. Chien, June 1980.

CSG-Memo-191
Building Blocks for Data Flow Prototypes, J. B. Dennis, G. A. Boughton and C. K. C. Leung, Proceedings of the 1980 Symposium on Computer Architecture, LeBaule, France, May 1980.

CSG-Memo-190
Computation Structures Group Progress Report 1978-79, February 1980.

CSG-Memo-189
Notes on Using TOPS-20, E. Stark, February 1980.

CSG-Memo-188
Data Flow Computing - The VAL Language, J. McGraw, January 1980.

CSG-Memo-187
Evaluating Synchronization Mechanisms, T. Bloom, Proceedings of the 7th Symposium on Operating Systems and Principles, December 1979.

CSG-Memo-186
Programming Methodology Group Progress Report 1978-79, November 1979.

CSG-Memo-185
ADL: An Architecture Description Language for Packet Communication Systems, C. Leung, October 1979.

CSG-Memo-184
Modular Program Construction Using Abstractions, B. Liskov, September 1979.

CSG-Memo-183
The Varieties of Data Flow Computers, J. B. Dennis, Proceedings of the 1st International Conference on Distributed Computing Systems, Huntsville, Ala., October 1979.

CSG-Memo-182
Simulation on a Distributed System, R. E. Bryant, Proceedings of the 1st International Conference on Distributed Computing Systems, Huntsville, Ala., October 1979.

CSG-Memo-181
Translation and Optimization of Data Flow Programs, J. D. Brock and L. B. Montz, Proceedings of the 1979 International Conference on Parallel Processing, August 1979.

CSG-Memo-180
An Abstract Implementation for Concurrent Computation With Streams, J. B. Dennis and K. Weng, Proceedings of the 1979 International Conference on Parallel Processing, August 1979.

CSG-Memo-179
Expressiveness of the Operation Set of a Data Abstraction, D. Kapur and S. Mandayam, June 1979.

CSG-Memo-178
Parallel Computers for Partial Differential Equation Simulation, Arvind and R. E. Bryant, (superseded by {PDE).

CSG-Memo-177
Data Flow Languages, W. B. Ackerman, Proceedings of trhe 1979 National Computer Conference.

CSG-Memo-176
A Processor Module for Data Flow Computer Development, E. Vishniac, May 1979.

CSG-Memo-175-1
Primitives for Distributed Computing, B. Liskov, Proceedings of the 7th Symposium on Operating Systems and Principles, December 1979.

CSG-Memo-174
Data Flow Computer Architecture, J. B. Dennis, March 1979.

CSG-Memo-173
Computation Structures Group Progress Report 1977-78, February 1979.

CSG-Memo-172
Consistent Semantics for a Data Flow Language, J. D. Brock, January 1979.

CSG-Memo-171
Semantics of Distributed Computing -- Progress Report of the Distributed Systems Group 1977-78, D. Clark, I. Greif, B. Liskov and L. Svobodova, October 1978.

CSG-Memo-170
Computation Structures Group Progress Report 1976-77, October 1978.

CSG-Memo-169
Computation Structures Group Progress Report 1975-76, October 1978.

CSG-Memo-168
Computation Structures Group Progress Report 1974-75, October 1978.

CSG-Memo-167
Aspects of Implementing CLU, R. Atkinson, B. Liskov and R. Scheifler, Proceedings of the ACM 1978 Annual Conference.

CSG-Memo-166
Practical Benefits of Research in Programming Methodology, B. Liskov, August 1978.

CSG-Memo-165
A Structure Processing Facility for Data Flow Computers, W. B. Ackerman, Proceedings of the 1978 International Conference on Parallel Processing, August 1978.

CSG-Memo-164
The Design of an Arbitration Network for Data-Flow Processor, M. McNally, July 1978.

CSG-Memo-163
Analysis of Structures for Packet Sorting Networks, R. Jacobsen, July 1978.

CSG-Memo-162
Design of an On-Line Byte-Level Pipelined Arithmetic Processor, A. Feridun, July 1978.

CSG-Memo-160
Data Flow Computer Architecture, J. B. Dennis, May 1978.

CSG-Memo-159
Data Flow Computer Performance for the GISS Weather Model, D. Nadler, March 1978.

CSG-Memo-158-1
Data Model Equivalence, S. Borkin, Proceedings of the 4th International Conference on Very Large Data Bases, IEEE, September 1978.

CSG-Memo-157
A Straightforward Denotational Semantics for Non-Determinate Data Flow Programs, P. Kosinski, Proceedings of the 5th ACM Symposium on Principles on Programming Languages, January 1978.

CSG-Memo-156
A Structure Controller for Data Flow Computers, W. B. Ackerman, January 1978.

CSG-Memo-155-3
Exception Handling in CLU, B. Liskov, IEEE Transactions on Software Engineering, Vol. SE-5, No. 6, November 1979.

CSG-Memo-154
CLU Information Package, R. Scheifler and A. Snyder, November 1977.

CSG-Memo-153-1
Denotational and Axiomatic Definitions for Path Expressions, V. Berzins and D. Kapur, November 1977.

CSG-Memo-152
Opening Remarks to the IFIP Working Conference on Formal Description of Programming Concepts, J. B. Dennis, September 1977.

CSG-Memo-151
Analysis of Structures for Packet Communication, R. Jacobsen and D. Misunas, Proceedings of the 1977 International Conference on Parallel Processing, August 1977.

CSG-Memo-150
Programming Methodology Group Progress Report 1975-76, B. Liskov, July 1977.

CSG-Memo-149
A Portable Compiler, A. Snyder, June 1977.

CSG-Memo-148-2
Concurrent Programming, R. Bryant and J. B. Dennis, The Impact of Research on Software Technology, P. Wagner, ed., MIT Press, June 1979.

CSG-Memo-147
Application of Data Flow Computation to the Weather Problem, J. B. Dennis and K-S. Weng, Proceedings of the Symposium, on High Speed Computer and Algorithm Organization, 1977.

CSG-Memo-146
A Language Extension for Expressing Constraints on Data Access, A. Jones and B. Liskov, Communications of the ACM 21, 5, May 1978.

CSG-Memo-145
The Synchronizer Problem, G. Miranker, January 1977.

CSG-Memo-144-1
Abstraction Mechanisms in CLU, B. Liskov, A. Snyder, R. Atkinson and C. Schaffert, Communications of the ACM 20, 8, August 1977.

CSG-Memo-143
Proving Packet Communications Architectures Correct, G. Miranker, September 1976.

CSG-Memo-142
Error Detection and Recovery in a Data-Flow Computer, D. Misunas, September 1976.

CSG-Memo-141-1
An Appraisal of Program Specifications, B. Liskov and V. Berzins, Published in the Impact of Research on Software Technology, P. Wegner, Ed., MIT Press, June 1979.

CSG-Memo-140
Computer Architecture and the Cost of Software, J. B. Dennis, Published in SIGARCH News, April 1976.

CSG-Memo-139-1
An Analysis of Inline Substitution for a Structured Programming Language, R. Scheifler, Communications of the ACM 20, 9, September 1977.

CSG-Memo-138
Implementation Schemes for Data Flow Procedures, G. Miranker, May 1976.

CSG-Memo-135
Mathematical Semantics and Data Flow Programming, P. Kosinski, Proceedings of the 3rd ACM Symposium on Principles of Programming Languages, Atlanta, GA, January 1976.

CSG-Memo-134-1
A Highly Parallel Processor Using a Data Flow Machine Language, J. B. Dennis, C. Leung and D. Misunas, June 1979.

CSG-Memo-132
Proposed Research on Architectural Principles for Large Memory Systems, J. B. Dennis, October 1975.

CSG-Memo-131
An Example of Programming With Abstract Data Types, J. B. Dennis, SIGPLAN Notices, Special Issue on Programming Language Design, July 1975.

CSG-Memo-130
Packet Communication Architecture, J. B. Dennis, Proceedings of the 1975 Sagamore Computer Conference on Parallel Processing.


modified: Fri, February 8, 2001 15:00:36