CSG memos

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.