Computation Structures Group

Archictecture, 2001, January

Memo-432
Proofs of Correctness of Cache-Coherence Protocols (29 pages)
Joseph Stoy, Xiaowei Shen, Arvind
In Proceedings of the Formal Methods Europe:Formal Methods for Increasing Software Productivity
Architecture, 2001, March

Memo-431a
Adaptive Operation Centric Hardware Description and Synthesis
(139 pages)
James Hoe
June, 2000

Memo-431
Adaptive General Purpose Memory Hierarchies for a Changing Application Landscape
(29 pages)
Derek Chiou, Larry Rudolph
Architecture, 2000, January

Dynamic Cache Partitioning via Columnization (24 pages)
Derek Chiou, Srinivas Devadas, Larry Rudolph, Boon S. Ang
Architecture, 1999, November

Memo-429
Synthesis of Cache Coherence Protocols
Xiaowei Shen, Arvind
Architecture, 1999, November

Memo-428
Improving the Java Memory Model Using CRF (14 pages)
Jan-Willem Maessen, Arvind, Xiaowei Shen
Submitted to OOPSLA 2000
Architecture, 2000, October

Memo-427
Application-Specific Memory Management for Embedded Systems (20 pages)
Prabhat Jain, Derek Chiou, Srinivas Devadas, Larry Rudolph
Architecture, 1999, November

Memo-426-a
Scheduling and Synthesis of Operation-Centric Hardware Descriptions (10 pages)
Memo-426-1
James C. Hoe, Arvind
Architecture, 2000, July

Memo-425
A Personal Supercomputer for Climate Research (17 pages)
James C. Hoe, Chris Hill
In proceedings of SuperComputing'99, Portland, Oregon
Architecture, 1999, August

Memo-424A
Eliminating Intermediate Lists in pH
Jacob B. Schwartz
MS, 2000, MIT

Memo-424
Deriving Superscalar Microarchitectures from Pipelined Microarchitectures
James C. Hoe, Arvind
Not for distribution without Author's permission
Architecture, 1999, November

Memo-423
Universality of the CRF Model
Xiaowei Shen, Arvind
Architecture, 1999, May

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

Memo-421a
Hardware Synthesis from Term Rewriting Systems (27 pages)
James C. Hoe, Arvind
In proceedings of VLSI'99 Lisbon, Portugal
Architecture, 1999, December

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

Memo-420
Design and Implementation of a Multi-purpose Cluster System Network Interface Unit
Boon Ang
Architecture, 1999

Memo-419
Using Term Rewriting Systems to Design and Verify Processors (17 pages)
Arvind, Xiaowei Shen
In IEEE Micro Special Issue on Modeling and Validation of Microprocessors
Architecture, 1999, May

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

Memo-417
Message Passing Support on StarT-Voyager (11 pages)
Derek Chiou, Boon S. Ang, Larry Rudolph, Arvind, Boon S Ang, Derek Chiou, Larry Rudolph, Arvind
In proceedings of the 5th International Conference on High-Performance Computing (HiPC '98) Madras,
Architecture, 1998, December

Memo-416
The StarT-Voyager Parallel System (11 pages)
Derek Chiou, Boon S. Ang, Larry Rudolph, Arvind
In proceedings of International Conference on Parallel Architectures and Compilation Techniques (PAC)
Architecture, 1998, October

Memo-415
StarT-Voyager: A Flexible Platform for Exploring Scalable SMP Issues (18 pages)
Derek Chiou, Boon S. Ang, Daniel Rosenband, Mike Ehrlich, Larry Rudolph, Arvind
Architecture, 1998, November
In proceedings of SuperComputing '98 Orlando, Florida,

Memo-414
CACHET: An Adaptive Cache Coherence Protocol for Distributed Shared-Memory Systems (14 pages)
Xiaowei Shen, Larry Rudolph, Arvind
In proceedings of the 13th ACM SIGARCH International Conference on Supercomputing, Rhodes, Greece.
Architecture, 1999, January

Memo-413
Commit-Reconcile and Fences (CRF): A New Memory Model for Architects and Compiler Writers (14 pages)
Xiaowei Shen, Arvind, Larry Rudolph
In proceedings of the 26th International Symposium on Computer Architecture, Atlanta, Georgia
Architecture, 1999, March

Memo-412
Study of Performance and Optimization of MPI Over 100BaseT Switched Ethernet Network (21 pages)
Michael Broxton
Architecture, 1998, August

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

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
Architecture, 1998, June

Memo-409
Metrics and Benchmarking for Parallel Job Scheduling (12 pages)
Larry Rudolph, Dror Feitelson
Appears in Job Scheduling Strategies for Parallel Processing, Springer Verlag LNCS Volume 1459, p. 1-12, 1998.
Architecture, 1998

Memo-408
A TRS Model for a Modern Microprocessor (14 pages)
Lisa Poyneer, James C. Hoe, Arvind
Architecture, 1998, June

Memo-407
TBA
Martin Rinard
Architecture, 1998, June

Memo-406
StarT-X: A One-Man-Year Exercise in Network Interface Engineering (12 pages)
James C. Hoe
In proceedings of Hot Interconnects VI, August 1998, Stanford, California
Architecture, 1998, August

Memo-405
On Deterministic Conditional Rewriting(29 pages)
Massimo Marchiori
Architecture, 1997, December

Memo-404
An Adaptive Cache Coherence Protocol That Implements Sequential Consistency for DSM Systems with Multi-level Caches
Arvind, Xiaowei Shen
Architecture, 1998, April

Memo-403
An Exercise in High-level Architectural Description using a Synthesizable Subset of Term Rewriting (50 pages)
Martin Rinard, James C Hoe, Arvind
Architecture, 1997, October

Memo-402
Analysis and Optimization of Explicitly Parallel Programs using the Parallel Program Graph Represent (21 pages)
Vivek Sarkar
In Proceedings of the Tenth Workshop on Languages and Compilers for Parallel Computing, August 1997, Minneapolis, Minnesota
Architecture, 1997, April

Memo-401
Arctic Switch Fabric (9 pages)
George A. Boughton
In Proceedings of the 1997 Parallel Computing, Routing, and Communication Workshop, June 1997
Architecture, 1997, January

Memo-400B
Design and Verification of Speculative Processors (20 pages)
Xiaowei Shen, Arvind
In Proceedings of the Workshop on Formal Techniques for Hardware and Hardware-like Systems Architecture, 1998, June

Memo-400A
Modeling and Verification of ISA Implementations (14 pages)
Xiaowei Shen, Arvind
In Proceedings of the Australasian Computer Architecture Conference, February 1998, Perth, Australia Architecture, 1998, February

Memo-400
Process Models
Xiaowei Shen, Arvind
Architecture
Not for Distribution without Authors Consent

Memo-399
Implementation of the StarT-Voyager Bus Interface Units (106 pages)
Chris Conley
Master's Thesis
Architecture, 1997

Memo-398a
A Methodology for Designing Correct Cache Coherence for DSM Systems (39 pages)
Xiaowei Shen, Arvind
Architecture, 1997, June

Memo-398
Specification of Memory Models and Design of Provably Correct Cache Coherence Protocols(39 pages)
Xiaowei Shen, Arvind
Architecture, 1997, January

Memo-397
Computer Architecture Research and the Real World (17 pages)
Arvind, Anton T. Dahbura, Alejandro Caro
Architecture, 1997, April

Memo-396
A Novel 64 Bit Data Representation for Garbage Collection and Synchronizing Memory(6 pages)
Alejandro Caro
Architecture, 1997, April

Memo-395
A Lambda Calculus with Letrecs and Barriers (18 pages)
Arvind, J.W. Maessen, R.S. Nikhil, Joe Stoy
Invited Paper at 16th FST and TCS
Architecture, 1996, December

Memo-394
Message Passing Support for Multi-grained, Multi-threading and Multi-tasking Environments (23 pages)
Boon Ang, Derek Chiou, Larry Rudolph, Arvind
Architecture, 1996, November

Memo-393
Lambda-S: an implicitly parallel $\lambda$-calculus with recursive bindings, synchronization and sid (18 pages)
Jan-Willem Maessen, Arvind, R.S. Nikhil, Joe Stoy
Based on paper submitted to ICFP '97
Architecture, 1996, November

Memo-392
An NIU Architecture for Open S \& M Systems (21 pages)
Boon Ang
Architecture, 1997, November

Memo-391
High-level Programming for Reconfigurable Computing (22 pages)
James C. Hoe
Architecture, 1996, November

Memo-390
Transitioning from MPP to SMP: Experiences with the MIT Ocean-Atmosphere Model (22 pages)
Chris Hill, Andrew Shaw
Architecture, 1997, February

Memo-389
Functional Specification of a High-Performance Network Interface Unit on a Peripheral Bus (34 pages)
James C. Hoe
Architecture, 1996

Memo-388
Pending
Boon Ang
Restricted to Internal Distribution Only
Architecture

Memo-387
Message Passing Support on StarT-Voyager (24 pages)
Boon Ang, Derek Chiou, Larry Rudolph, Arvind
Architecture, 1996, July

Memo-386
Message Passing Flow-control on StarT-Voyager
Boon Ang
Restricted to Internal Distribution Only
Architecture

Memo-385
StarT-Voyager: Hardware Engineering Specification(184 pages)
Boon Ang, Derek Chiou
Restricted to Internal Distribution Only
Architecture

Memo-384
StarT-JR: A Parallel System from Commodity Technology (19 pages)
James C. Hoe, Mike Ehrlich
In proceedings of the 7th Transputer/Occam International Conference
Architecture, 1996, November>

Memo-383
The Future of Scientific Computing for Grand Challenge Problems (4 pages)
Arvind, Andrew Shaw, John Marshall
Architecture, 1996, June

Memo-382
A Multithreaded Substrate and Compilation Model for the Implicitly Parallel Language pH (27 pages)
Arvind, Alejandro Caro, Jan-Willem Maeseen, Shail Aditya
Architecture, 1996
LCPC-96

Memo-381
Performance Tuning Scientific Codes for Dataflow Execution (12 pages)
Andrew Shaw, Arvind, R. Paul Johnson
PACT '96
Architecture, 1996

Memo-380
Neutral Agents: A Novel Mechanism for Interactive Simulation (8 pages)
Alejandro Caro, 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
Architecture, 1996, June

Memo-379
Practicing the Object Modeling Technology in a Functional Programming Framework (38 pages)
Jack B. Dennis, Handong Wu
Architecture, 1996, February

Memo-378
Partitioning Non-strict Functional Languages for Multi-threaded Code Generation (15 pages)
Satyan Coorg
In Proceedings of Static Analysis Symposium '95, September 1995, Glasgow, Scotland, UK
Architecture, 1995, September

Memo-377
Semantics of pH: A parallel dialect of Haskell(22 pages)
Memo 377-1
Shail Aditya, Arvind, Jan-Willem Maeseen
Architecture, 1995, June

Memo-376
Static Mapping of Functional Programs: An Example in Signal Processing (17 pages)
Jack B Dennis
Architecture, 1995, June

Memo-375
Multiprocessor Implementation of Nondeterminate Computations in a Functional Programming Framework (12 pages)
Jack Dennis, Guang Gao
Architecture, 1995, May

Memo-374
Normalizing Strategies for Multithreaded Interpretation and Compilation of Non-Strict Languages (26 pages)
Shail Aditya
Architecture, 1995, May

Memo-373
Arctic Routing Chip (10 pages)
Andrew Boughton
In Proceedings of the 1994 University of Washington Parallel Computer Routing and Communication Workshop
Architecture, 1994, May

Memo-372
PVM Light Weight Process Package (56 pages)
Weihaw Chuang
Architecture, 1994, December

Memo-371
StarT-NG: Delivering Seamless Parallel Computing (15 pages)
Derek Chiou, Boon S Ang, Arvind,M.J. Beckerle, G.A. Boughton, R. Greiner, J.E. Hicks, J.C. Hoe
Published at EURO-PAR'95 Conference
Architecture, 1995, August

Memo-370
Simplifying Parallel List Traversal (11 pages)
Jan-Willem Maessen
Architecture, 1995, January

Memo-369
pH Language Reference Manual, Version 1.0 (25 pages)
R.S. Nikhil, Arvind, J Hicks, S. Aditya, L Augustsson, J Maessen, Y Zhou
1995, January
Version 1.0

Memo-368
A Type System for Functional Imperative Programming (Technical Summary) (17 pages)
Shail Aditya, Satyan Coorg
Architecture, 1994, July
Technical Summary

Memo-367
Semantics of Barriers in a Non-Strict, Implicitly-Parallel Language (13 pages)
Memo 367-1
Shail Aditya, Arvind, Joseph Stoy
Published at FPCA '95 Conference
Architecture, 1995, June

Memo-366
Adding Fast Interrupts to Superscalar Processors
Dana Henry
Architecture, 1994, December

Memo-365
Issues in Building a Cache-Coherent Distributed Shared Memory Machine using Commercial SMPs(20 pages)
Boon S Ang, Derek Chiou, Arvind
Architecture, 1994, December

Memo-364
A Comparison of Implicitly Parallel Multithreaded and Data Parallel Implementations of an Ocean Mode
Accepted to Journal of Parallel and Distributed Computing
Andrew Shaw, Arvind, Kyoo-Chan Cho, Chris Hill, R. Paul Johnson, John Marshall
Architecture, 1997, September

Memo-363
On Memory Models and Cache Management for Shared-Memory Multiprocessors (21 pages)
Jack B. Dennis, Guang R. Gao
Architecture, 1994, October

Memo-362
Stream Data Types for Signal Processing (22 pages)
Jack Dennis
Architecture, 1994, October

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

Memo-360
Computation Structures Group Progress Report 1993-94 (33 pages)
Y. Zhou, G.A. Boughton
Computation Structures Group Progress Report 1993-94, Y. Zhou (ed.) and G.A. Boughton (ed.)
Architecture, 1994, July

Memo-359
Computation Structures Group Progress Report 1992-93 (31 pages)
Y. Zhou, A Boughton
Computation Structures Group Progress Report 1992-93, Y. Zhou (ed.) and G.A. Boughton (ed.)
Architecture, 1993, July

Memo-358
Hermes: Communicating *T-NGs
John Morris
LIMITED DISTRIBUTION
Architecture

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

Memo-356
In-Coherent - An Incessantly Coherent Cache Scheme for Shared Memory Multiprocessor Systems (8 pages)
S.K. Nandy
In Proceedings of the First International Workshop on Parallel Processing, Bangalore, India, December 26-31, 1994
Architecture, 1994, December

Memo-355
Parallel Programming Based on Continuation-Passing Threads (27 pages)
Michael Halbherr, Yuli Zhou, Chris Joerg
In Proceedings of the 2nd International Workshop on Massive Parallelism: Hardware, Software and Applications, Capri, Italy, October 3-7, 1994
Architecture, 1994, October

Memo-354
StarT the Next Generation: Integrating Global Caches and Dataflow Architecture (34 pages)
Boon Seong Ang, Arvind, 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
Architecture, 1992

Memo-353
Arctic User's Manual
George A. Boughton
Architecture, 1994, February

Memo-352
Garbage Collection for Strongly-Typed Languages using Run-Time Type Reconstruction (13 pages)
Shail Aditya, Christine Flood, James Hicks
In Proceedings of the ACM Conference on LISP and Functional Programming
Architecture, 1994, June

Memo-351
*T: Integrated Building Blocks for Parallel Computing
George Papadopoulos, G.A. Boughton, R. Greiner, M.J. Beckerle
Architecture, 1993, November

Memo-350
Efficient Implementation of Sequential Loops in Dataflow Computation (12 pages)
B.S. Ang
In Proceedings of Functional Programming Languages and Computer Architecture, Copenhagen, Denmark, June 1993. Architecture, 1993, June

Memo-349
Computation Structures Group Progress Report 1991-92 (36 pages)
G.A. Boughton
Computation Structures Group Progress Report 1991-92
Architecture, 1992, July

Memo-348
Compiler-Directed Type Reconstruction for Polymorphic Languages (10 pages)
Shail Aditya, Alejandro Caro
In Proceedings of Functional Programming Languages and Computer Architecture, Copenhagen, Denmark, June 1993
Architecture, 1993, June

Memo-347
Properties of First-Order Functional Language with Sharing (41 pages)
Zena Ariola, Arvind
In Journal of Theoretical Computer Science, 146 (1-2):69-108, July 1995
Architecture, 1995, July

Memo-346
Local Memory Reference Behavior of Fine-Grain Multithreaded Execution (16 pages)
Masato Motomura, Gregory Papadopoulos
Architecture, 1992, November

Memo-345
Performance Studies of the Monsoon Dataflow Processor (54 pages)
J. Hicks, D. Chiou, B.S. Ang, Arvind
In Journal of Parallel and Distributed Computing, July, 1993
Architecture, 1993, July

Memo-344
Using Atomic Data Structures for Parallel Simulation (11 pages)
Paul Barth
In Proceedings of the Scalable High Performance Computing Conference, Williamsburg, VA, April 27, 1992
Architecture, 1992, April

Memo-343
Synchronization and Pipeline Design for a Multithreaded Massively Parallel Computer (26 pages)
Shuichi Sakai
Architecture, 1992, March

Memo-342
A Tightly-Coupled Processor-Network Interface (13 pages)
Christopher Joerg, Dana Henry
In Proceedings of the Fifth International Conference on Architectural Support for Programming Languages and Operating Systems, Boston, MA, October 1992
Architecture, 1992, October

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

Memo-340
The Monsoon Interconnection Network (5 pages)
C.F. Joerg, G.A. Boughton
Architecture, 1991, October
In Proceedings of the 1991 IEEE International Conference on Computer Design, Cambridge, MA, October 1991

Memo-339
Test and Validation for Monsoon Processing Elements
M.J. Beckerle, 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
Architecture, 1991, October

Memo-338
Overview of the Monsoon Project (7 pages)
K.R. Traub, G.M. Papadopoulos, M.J. Beckerle, J.E. Hicks, 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
Architecture, 1991, October

Memo-337
Computation Structures Group Progress Report 1990-91 (40 pages)
G.A. Boughton
Architecture, 1991, June

Memo-336
May 1991
Object Projection Automata: Exploiting Weak Typing
by Lennart Augustsson, R. Paul Johnson, John Morris
May 1991

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

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

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
Architecture, 1991, July

Memo-331
The Network Interface Chip (23 pages)
D.S. Henry, C.F. Joerg
Architecture, 1991, June

Memo-330
Multithreading: A Revisionist View of Dataflow Architectures (11 pages)
G.M. Papadopoulos, 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
Architecture, 1991, May

Memo-329
Incremental Polymorphism (32 pages)
Shail Aditya, R.S. Nikhil
In Proceedings on Functional Programming and Computer Architecture, Cambridge, MA, August 28-30, 1991
Architecture, 1991, August

Memo-328
An Introduction to the Id Compiler
S. Glim, B.S. Ang, A. Caro, A. Shaw
Architecture, 1991, April

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

Memo-326
List Comprehensions in AGNA, a Parallel Persistent Object System
In Proceedings on Functional Programming and Computer Architecture, Cambridge, MA, August 28-30, 1991
Architecture, 1991, August

Memo-325
*T: A Multithreaded Massively Parallel Architecture (15 pages)
R.S Nikhil, G.M. Papadopoulos, Arvind
In Proceedings of The 19th Annual International Symposium on Computer Architecture, Gold Coast, Australia, May 1992
Architecture, 1992, May

Memo-324
Multiprocessor Packaging (10 pages)
G.A. Boughton
Architecture, 1990, December

Memo-323
Contextual Rewriting System
Z.M. Ariola, Arvind
Architecture, 1991, November

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

Memo-321
Notes on the Confluence Property of Terms Rewriting Systems and the lambda-calculus (19 pages)
Memo 321 - Draft
Z.M. Ariola
Architecture, 1990, December

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

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

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

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

Memo-316
The Evolution of Dataflow Architectures from Static Dataflow to P-RISC
Arvind, 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)
Architecture, 1989, October

Memo-315
Compilation of Id$^-$, a subset of Id (51 pages)
Z. Ariola, Arvind
Architecture, 1990, November

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

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
Architecture, 1989, October

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

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

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

Memo-309
Computation Structures Group Progress Report 1989-90
R.S. Nikhil
Architecture, 1990, June

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

Memo-307
Tests for Monsoon Instruction Subset 1 (16 pages)
J. Young
Architecture, 1990, September

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

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

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

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

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

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

Memo-300
Computation Structures Group Progress Report 1988-89
R.S. Nikhil
Architecture, 1989, June

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

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

Memo-296
Monsoon Software Interface Specifications
K. Traub, S. Brobst, J. Hicks, G. Papadopoulos, A. Shaw, J. Young
Architecture
In Preperation

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

Memo-294
Supporting State-Sensitive Computation in a Dataflow System (16 pages)
P.S. Barth, R.S. Nikhil
Architecture, 1989, March

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

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

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
Architecture, 1988, September

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

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

Memo-288
Computation Structures Group Progress Report 1987-88
R.S. Nikhil
Edited by R.S. Nikhil
Architecture, 1988, June

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

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

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

Memo-284-2
ID Reference Manual, Version 90.1 (60 pages)
R.S. Nikhil
Architecture, 1991, July

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

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

Memo-281
Evaluation of the MIT Tagged-Token Dataflow Architecture
Arvind, G.K. Maa, S.A. Brobst
Architecture, 1987, December

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

Memo-279
Assessing the Benefits of Fine-grained Parallelism in Dataflow Programs
Memo-279-1
Arvind, G.K. Maa, 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
Architecture, 1988, November

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

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

Memo-276
The Semantics of Upcontent 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.)
Architecture, 1987, September

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
Architecture, 1988, June

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

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

Memo-272
Future Scientific Programming on Parallel Machines
Arvind, 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
Architecture, 1987, June

Memo-271
Executing a Program on the MIT Tagged-Token Dataflow Architecture
Arvind, 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.
Architecture, 1987, June

Memo-270
An Engineering Implementation of the Tagged-Token Dataflow Machine
FOR INTERNAL USE ONLY
Architecture

Memo-269
I-structures: Data Structures for Parallel Computing
Arvind, R.S. Nikhil, 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
Architecture, 1989, October

Memo-267
Hot Spots in Routing Networks
Architecture, 1986, October

Memo-266
Id World: User's Manual
D.R. Morais
Architecture

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

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

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

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

Memo-261
A Dataflow Compiler Substrate
by Ken Traub
Version of March 24, 1986

Memo-261-1
A Dataflow Compiler Substrate
K.R. Traub
Revised by: James Hicks and Shail Aditya
Architecture

Memo-261-2
Dataflow Architectures
Arvind, David E. Culler
To appear in Annual Reviews in Computer Science, 1986
Architecture, 1986, February

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

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

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

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

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

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

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

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

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

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

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

Memo-249
Practical Polymorphism
R.S. Nikhil
Architecture, 1985, September

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

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

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

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

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

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

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

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

Memo-239
An I-Structure Memory Controller
Architecture, 1984, May

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

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

Memo-234
A Parser for the Language PADL
Architecture, 1983, November

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

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

Memo-231
FUNCHARD-An Expert System for Translating Functional Specifications to Hardware Structures
Willie Y-P Lim, Thomas S. Wanuga
Architecture, 1983, October

Memo-230
Design of a Memory Controller for the MIT Tagged Token Dataflow Machine
S.K. Heller, Arvind
Proceedings of IEEE ICCD 1983 Port Chester, NY (also submitted to the Journal of VLSI and Computer Systems Architecture, 1983
Memo-229-1
Why Dataflow Architectures?
Arvind, 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 Architec
Architecture, 1984, May
Memo-229
Tagged-Token Dataflow Architecture
Arvind, D.E. Culler
(superseded by {TTDA)
Architecture
Memo-228
Data-dependent Concurrency Control and Recovery
W. Weihl
Architecture, 1983, June
Memo-227
Type Checking in Generalized VAL
T. Peacock
Architecture, 1983, May
Memo-226-6
Two Fundamental Issues in Multiprocessing
Arvind, 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})
Architecture, 1987, June
226-6 226-3 226-2
Memo-226
A Critique of Multiprocessing von Neumann Style
Arvind, R.A. Iannucci
(superseded by {CSG-Memo-226-6)
Architecture
Memo-225
The Design, Implementation and Testing of a Self-Timed Two by Two Packet Router
Chu
Architecture, 1983, February
Memo-224
Locating Migratory Objects in an Internet
C. Henderson
Architecture, 1983, January
Memo-223
Specification and Implementation of Resilient, Atomic Data Types
W. Weihl, B. Liskov
Architecture, 1982, December
Memo-222
The MIT Data Flow Engineering Model
J.B. Dennis, W. Lim, W.B. Ackerman
Architecture, 1982, November
Memo-221
PADL - A Packet Architecture Description Language
W. Lim, C. Leung
Architecture, 1982, October
Memo-220
Packet Communication Switch for a Multiprocessor Computer Architecture Emulation Facility
R.A. Iannucci
Architecture, 1982, October
Memo-219
A Methodology for Debugging Data Flow Programs
Architecture, 1982, October
Memo-218
Implementation Strategies for a Tagged-Token Data Flow Machine
R.A. Iannucci
Architecture, 1982, June
Memo-217
Streams and Managers
Arvind, J.D. Brock
(superseded by {J-Resource)
Architecture
Memo-216
A Design Strategy for Testable Self-Timed Systems
T-A. Chu
Architecture, 1982, April
Memo-215
High Performance Data Flow Computers
J.B. Dennis
Architecture, 1982, March
Memo-214
A Test Strategy for Packet Switching Networks
W. Lim
Architecture, 1982, March
Memo-213
A Data Flow Supercomputer
J.B. Dennis, G-R. Gao, K.W. Todd
Architecture, 1982, March
Memo-212-3-1
Addendum to the Instruction Set Definition for a Tagged-Token Data Flow Machine
V. Kathail
Architecture, 1983, October
Memo-212-3
Instruction Set Definition for a Tagged-Token Data Flow Machine
Arvind, R.A. Iannucci
(Revised May 1982, February 1983; see Kathail's {CSG-Memo-212-3-1 also)
Architecture, 1983, February
Memo-211
Idsys Manual
K. Pingalu, V. Kathail
Architecture, 1981, December
Memo-210
Guardians and Actions: Linguistic Support for Robust, Distributed Programs
B. Liskov, R. Scheifler
Architecture, 1981, November
Memo-209
Data Should Not Change: A Model for a Computer System
J.B. Dennis
Architecture, 1981, July
Memo-208
An Interpreter for Instruction Cells
K. Todd
Architecture, 1981, July
Memo-207
An Operational Semantics for a Language with Early Completion Data Structures Formal Descriptions of
Architecture, 1981, February
Memo-206
Scenarios: A Model of Non-determinate Computation Formal Descriptions of Programming Concepts
Springer Verlag, J.D. Brock, W.B. Ackerman
Architecture, 1981, February
Memo-205-1
A Multiple Processor Dataflow Machine That Supports Generalized Procedures
Memo 205
Arvind, V. Kathail
Proceedings of the 8th International Conference on Computer Architecture, Minneapolis, MN, May 13-14, 1981 (superseded by {TTDA)
Architecture, 1981, May
Memo-204
Index to CLU Reference Manual
P. Johnson
Architecture, 1981, February
Memo-203
Computation Structures Group Progress Report l979-1980
Architecture, 1981, February
Memo-202
Programming Methodology Group Progress Report 1979-1980
Architecture, 1980, December
Memo-201-1
On Linguistic Support for Distributed Programs
B. Liskov
Architecture, 1981, June
Memo-200-1
A Value Transmission Method for Abstract Data Types
M. Herlihy, B. Liskov
Architecture, 1980, October
Memo-199
The Development of a Prototype Router: Design, Implementation, and Test Procedures
J. Lilienkamp
Architecture, 1980, September
Memo-198
Data Flow Computer Architecture
J.B. Dennis
Architecture, 1980, July
Memo-197
A VLSI Implementation of a Two by Two Packet Router
P. Ries
Architecture, 1980, July
Memo-196
Design of a Fault-Tolerant Packet Communication Computer Architecture
C. Leung, J.B. Dennis
Architecture, 1980, July
Memo-195
Implementation of Arithmetic for the Data Flow Machine Processing Unit
R. Tucker
Architecture, 1980, June
Memo-194
Semaphore Primitives and Starvation-Free Mutual Exclusion
E. Stark
Architecture, 1980, June
Memo-193
Structuring the Fast Fourier Transform for Data Flow Computation
Architecture, 1980, June
Memo-191
Building Blocks for Data Flow Prototypes
J.B. Dennis, G.A. Boughton, C.K.C. Leung
Proceedings of the 1980 Symposium on Computer Architecture, LeBaule, France, May 1980
Architecture, 1980, May
Memo-190
Computation Structures Group Progress Report 1978-79
Architecture, 1980, February
Memo-189
Notes on Using TOPS-20
E. Stark
Architecture, 1980, February
Memo-188
Data Flow Computing - The VAL Language
J. McGraw
Architecture, 1980, January
Memo-187
Evaluating Synchronization Mechanisms
T. Bloom
Proceedings of the 7th Symposium on Operating Systems and Principles, December 1979
Architecture, 1979, December
Memo-186
Programming Methodology Group Progress Report 1978-79
Architecture, 1979, November
Memo-185
ADL: An Architecture Description Language for Packet Communication Systems
C. Leung
Architecture, 1979, October
Memo-184
Modular Program Construction Using Abstractions
B. Liskov
Architecture, 1979, September
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
Architecture, 1979, October
Memo-182
Simulation on a Distributed System
R.E. Bryant
Proceedings of the 1st International Conference on Distributed Computing Systems, Huntsville, Ala., October 1979
Architecture, 1979, October
Memo-181
Translation and Optimization of Data Flow Programs
J.D. Brock, L.B. Montz
Proceedings of the 1979 International Conference on Parallel Processing, August 1979
Architecture, 1979, August
Memo-180
An Abstract Implementation for Concurrent Computation With Streams
J.B. Dennis, K. Weng
Proceedings of the 1979 International Conference on Parallel Processing, August 1979
Architecture, 1979, August
Memo-179
Expressiveness of the Operation Set of a Data Abstraction
D. Kapur, S. Mandayam
Architecture, 1979, June
Memo-178
Parallel Computers for Partial Differential Equation Simulation
Arvind, R.E. Bryant
(superseded by {PDE)
Architecture
Memo-177
Data Flow Languages
W.B. Ackerman
Proceedings of trhe 1979 National Computer Conference
Architecture, 1979
Memo-176
A Processor Module for Data Flow Computer Development
E. Vishniac
Architecture, 1979, May
Memo-175-1
Primitives for Distributed Computing
B. Liskov
Architecture, 1979, December
Proceedings of the 7th Symposium on Operating Systems and Principles, December 1979
Memo-174
Data Flow Computer Architecture
Architecture, 1979, March
Memo-173
Computation Structures Group Progress Report 1977-78
Architecture, 1979, February
Memo-172
Consistent Semantics for a Data Flow Language
J.D. Brock
Architecture, 1979, January
Memo-171
Semantics of Distributed Computing -- Progress Report of the Distributed Systems Group 1977-78
D. Clark, I. Greif, B. Liskov, L. Svobodova
Architecture, 1978, October
Memo-170
Computation Structures Group Progress Report 1976-77
Architecture, 1978, October
Memo-169
Computation Structures Group Progress Report 1975-76
Architecture, 1978, October
Memo-168
Computation Structures Group Progress Report 1974-75
Archiecture, 1978, October
Memo-167
Aspects of Implementing CLU
R. Atkinson, B. Liskov, R. Scheifler
Proceedings of the ACM 1978 Annual Conference
Architecture, 1978

Memo-166
Practical Benefits of Research in Programming Methodology
B. Liskov
Architecture, 1978, August
Memo-165
A Structure Processing Facility for Data Flow Computers
W.B. Ackerman
Proceedings of the 1978 International Conference on Parallel Processing, August 1978
Architecture, 1978, August
Memo-164
The Design of an Arbitration Network for Data-Flow Processor
M. McNally
Architecture, 1978, July
Memo-163
Analysis of Structures for Packet Sorting Networks
R. Jacobsen
Architecture, 1978, July
Memo-162
Design of an On-Line Byte-Level Pipelined Arithmetic Processor
A. Feridun
Architecture, 1978, July
Memo-160
Data Flow Computer Architecture
Architecture, 1978, May
Memo-159
Data Flow Computer Performance for the GISS Weather Model
D. Nadler
Architecture, 1978, March
Memo-158-1
Data Model Equivalence
S. Borkin
Proceedings of the 4th International Conference on Very Large Data Bases, IEEE, September 1978
Architecture, 1978, September
Memo-157
A Straightforward Denotational Semantics for Non-Determinate Data Flow Programs
P. Kosinski
Architecture, 1978, January
Proceedings of the 5th ACM Symposium on Principles on Programming Languages, January 1978
Memo-156
A Structure Controller for Data Flow Computers
W.B. Ackerman
Architecture, 1978, January
Memo-155-3
Exception Handling in CLU
B. Liskov
IEEE Transactions on Software Engineering, Vol. SE-5, No. 6, November 1979
Architecture, 1979, November
Memo-154
CLU Information Package
R. Scheifler, A. Snyder
Architecture, 1977, November
Memo-153-1
Denotational and Axiomatic Definitions for Path Expressions
V. Berzins, D. Kapur
Architecture, 1977, November
Memo-152
Opening Remarks to the IFIP Working Conference on Formal Description of Programming Concepts
J.B. Dennis
Architecture, 1977, September
Memo-151
Analysis of Structures for Packet Communication
R. Jocobsen, D. Misunas
Architecture, 1977, August
Proceedings of the 1977 International Conference on Parallel Processing, August 1977
Memo-150
Programming Methodology Group Progress Report 1975-76
B. Liskov
Archiecture, 1977, July
Memo-149
A Portable Compiler
A Snyder
Architecture, 1977, June
Memo-148-2
Concurrent Programming
R. Bryant, J.B. Dennis
Architecture, 1979, June
The Impact of Research on Software Technology, P. Wagner, ed., MIT Press, June 1979
Memo-147
Application of Data Flow Computation to the Weather Problem
J.B. Dennis, K-S. Weng
Architecture, 1977
Proceedings of the Symposium, on High Speed Computer and Algorithm Organization, 1977
Memo-146
Language Extension for Expressing Constraints on Data Access
A. Jones, B. Liskov
Communications of the ACM 21, 5, May 1978
Architecture, 1978, May
Memo-145
The Synchronizer Problem
G. Miranker
Architecture, 1977, January
Memo-144-1
Abstraction Mechanisms in CLU
B. Liskov, A. Snyder, R. Atkinson, C. Schaffert
Architecture, 1977, August
Communications of the ACM 20, 8, August 1977
Memo-143
Proving Packet Communications Architectures Correct
G. Miranker
Architecture, 1976, September
Memo-142
Error Detection and Recovery in a Data-Flow Computer
D. Misunas
Architecture, 1976, September
Memo-141-1
An Appraisal of Program Specifications
B. Liskov, V. Berzins
Published in the Impact of Research on Software Technology, P. Wegner, Ed., MIT Press, June 1979
Architecture, 1979, June
Memo-140
Computer Architecture and the Cost of Software
J.B. Dennis
Architecture, 1976, July
Published in SIGARCH News, April 1976
Memo-139-1
An Analysis of Inline Substitution for a Structured Programming Language
R. Scheifler
Architecture, 1977, September
Communications of the ACM 20, 9, September 1977
Memo-138
Implementation Schemes for Data Flow Procedures
G. Miranker
Architecture, 1976, May
Memo-137
An Access Control Famility for Programming Languages
by Anita K. Jones, Barbara H. Liskov
April, 1976

Memo-136
An Introduction to CLU
by Barbara H. Liskov
February, 1976

Memo-135
Mathematical Semantics and Data Flow Programming
by Paul R. Kosinski
December, 1975

Memo-134-1
A Highly Parallel Processor Using a Data Flow Machine Language
by Jack B. Dennis, Clement K. Leung, David P. Misunas
January, 1977

Memo-127-1
A Computer Simulation Facility for Packet Communication Architecture
by Clement K. C. Leung, David P. Misunas, Andrij Neczwid, Jack B. Dennis
August 1975, Revised November 1975
Memo-126
On Structured Digital Systems

Memo-125
An Examination of a Proposed Mathematical
Semantics Specification for SNOBOL4
by Stephen T. Kent
June 1975

Memo-124
Petri Net Languages
by Michael Hack
June 1975

Memo-123
A New Approach to Petri Nets
by Frederick Furtek
April 1975

Memo-122
Cellular Arrays for Asynchronous Control
by Suhas S. Patil
April 1975

Memo-121
The Equality Problem for Vector Addition Systems is Undecidable
by Michel Hack
April 1975

Memo-120
Micro-Control for Parallel Asynchronous Computers
by Suhas S. Patil
March 1975

Memo-119
Three Exerpts from the 1973-74 Project MAC Progress Report:
I: Algebraic Specification of Data Types (S. N. Zilles) - pg. 1
II: The Binding Model (D. A. Henderson) - pg. 13
III: Data Flow Computer Architecture (J. B. Dennis and J. E. Rumbaugh) - pg. 24
March 1975

Memo-118
Reducibility of the Equivalence Proglem for Multi-tape Automata to the
Equivalence Problem for Independent Location Iteration Schemas
by Joseph E. Qualitz
March 1975

Memo-117
Specification Techniques for Data Abstractions
by Barbara H. Liskov and Stephen N. Zilles
March 1975

Memo-116
Deadlock Avoidance in a Data-Flow Architecture
by David P. Misunas
February 1975

Memo-115
Performance of an Elementary Data-Flow Processor
by David P. Misunas
February 1975

Memo-113
Decidability of Equivalence for Two Classes of Iteration Schemas
by Joseph E. Qualitz
March 1975

Memo-112-1
A Note on CLU
by Barbara Liskov
November 1974

Memo-111-1
An Asynchronous Logic Array
by Suhas S. Patil
February 1975

Memo-110
Proofs of Correctness of Dataflow Programs
by Joseph E. Stoy
September 1974

Memo-109-1
On Storage Management for Advanced Programming Languages
by Jack B. Dennis
October 1974

Memo-108
A Computer Architecture for Highly Parallel Signal Processing
by Jack B. Dennis, David P. Misunas
November 1974

Memo-107
The Recursive Equivalence of the Reachability Problem and the
Liveliness Problem for Petri Nets and Vector Addition Systems
by Michael Hack
August 1974

Memo-104
Data-Flow Computer Architecture
by Jack B. Dennis, David P. Misunas, P. S. Thiagrarjan
August 1974

Memo-103
Bounded and Unbounded Delay Synchronizers and Arbiters
by Suhas S. Patil
June 1974

Memo-101
The Design of a Highly Parallel Computer for Signal Processing Applications
by Jack B. Dennis, David P. Misunas
August 1974

Memo-99
Decidability of Equivalence for a Class of Data Flow Schemas
by Joseph E. Qualitz
March 1975

Memo-98
Proposed Research on Concurrent Systems
Part III of a Proposal to NSF for Further Research in Computation Structures
by Suhas S. Patil
February 1974

Memo-97
Proposed Research on Semantic Foundations for Structured Programming
Part II of a Proposal to NSF for Further Research in Computation Structures
by Jack B. Dennis, Barbara H. Liskov
February 1974

Memo-96
Computation Structures Group - Progress Report 1972-73
January 1974

Memo-95
Decision Problems for Petri Nets and Vector Addition Systems
by Michel Hack
March 1974

Memo-94
A Petri Net Version of Rabin's Undecidability Proof
for Vector Addition Systems
by Michel Hack
December, 1973

Memo-92
The Current Challenge to Computer System Architects
by Jack B. Dennis
October 1973

Memo-91
Synchronizers and Arbiters
by Suhas S. Patil
October 1973

Memo-90
A Semantics for Structured Programs
by D. Austin Henderson, Jr.
October 1973

Memo-88
An Approach to Abstraction
by Barbara Liskov, Stephen Zilles
September 1973

Memo-87
Translation of Simula 67 Into the Common Base Language
by Philippe Coueignoux, Philippe Janson
August 1973

Memo-86
Asynchronous Push-Down Stacks
by Frederick C. Furtek
August 1973

Memo-85
The Semantic Specification of SNOBOL
in the Common Base Language
by Caleb Drake
June 1973

Memo-84
Translation of a Block Structured Language With Non-Local Go To
Statements and Label Variables to the Base Language
by Nimal Amerasinghe
June 1973

Memo-83
The Flow of Lattice Diagrams
(or What's an S-Expression Like You Doing in a Lattice Like This?)
by Mike Van De Vanter
June 1973

Memo-82
Becky Clark
A Speed-Independent Implementation of Data Flow Schemas
June 1973

Memo-81-1
Introduction to Data Flow Schemas
by Jack B. Dennis, John B. Fosseen
September 1973

Memo-80
SPIL: A Language for System Design and Implementation
by Barbara H. Liskov
May 1973

Memo-79
Rabin's Proof of the Undecidability of the
Reachability Set Inclusion Problem of Vector Addition Systems
by Henry G. Baker, Jr.
July 1973

Memo-78-1
Extended Stata-Machine Allocatable Nets (ESMA),
an extension of Free Choice Petri net results
by Michael Hack
June 1974

Memo-77
Computation Structures group - Progress Report 1971-72
by Steven Zilles
April 1973

Memo-76
A Base Language Evaluator for X-Calculus Expressions
by D. Austin Henderson, Jr. and S. Nimal Amerasinghe
April 1973

Memo-75-1
Bibliography on the Semantics of Programming Languages
by Steven Zilles
February 1974

Memo-74
A Contour Model Evaluator for X-Calculus Expressions
by S. Nimal Amerasinghe and D. Austin Henderson, Jr.
February 1973

Memo-73
Circuit Implementation of Petri Nets
by Suhas S. Patil
December 1972

Memo-72
An Approach to Proving the Correctness of Data Base Operations
by Igor T. Hawryszkiewycz, Jack B. Dennis
October 1972

Memo-71
The Description and Realization of Digital Systems
by S. S. Patil and J. B. Dennis
October 1972

Memo-70
Modularity
by Jack B. Dennis
June 1972

Memo-69
The Design and Construction of Software Systems
by Jack B. Dennis
June 1972

Memo-68
Petri Nets and Languages
by Henry Baker
May 1972

Memo-67
Forward Acting n x m Arbiter
by Suhas S. Patil
April 1972 (Revised June 1972)

Memo-66
Translation of a Block Structured Language Into
the Common Base Language
by Edward Flinker
January 1972

Memo-65-1
Concurrency in Software Sytems
by Jack B. Dennis
June 1972

Memo-64
Computation Structures Group - Progress Report 1970-71
January 1972

Memo-63
Management of Names in a Computer System
by Jack B. Dennis
November 1971

Memo-62
A Look at "The Controlled Execution of Parallel Programs Operation on
Structured Data" by Ian Campbell-Grant
by Paul J. Fox
October 1971

Memo-61
On the Number of Bits Required to Implement An Associative Memory
by Robert M. Fano
August 1971

Memo-60
On the Design and Specification of a Common Base Language
by Jack B. Dennis
July 1971 (Corrected November 1971)

Memo-59
Surveillance Mechanisms in a Secure Computer Utility
by Leo J. Rotenberg
March 1971

Memo-58
An Interpreter for a Foundation Program Language: First Version
by Jack B. Dennis, Paul J. Fox
February 1971

Memo-56
Asynchronous Arbiters
by William W. Plummer
February 1971

Memo-55
Sharing in J. B. Dennis' Programming Generality, Parallelism, and Computer Architecture
by Paul J. Fox
January 1971

Memo-54
Speed Independent Asynchronous Circuits
by Jack B. Dennis and Suhas S. Patil
January 1971

Memo-53-1
Compuatation Structures Group - Progress Report 1969-70
January, 1972

Memo-52
On the Exchange of Information
by Jack B. Dennis
October, 1970

Memo-51
Informal Outline of a Theory of Parallel Computation Schemata for Simple Algorithms.
by Jack B. Dennis
September, 1970

Memo-50
Proposed Research in Computation Structures
by Jack B. Dennis
April, 1970

Memo-49
Information Flow in State Machines
Anatol Holt and Fred Commoner
March 27, 1970

Memo-48
Deadlock Avoidance in Multi-resource Systems
by Prakash G. Hebalkar
April 1970

Memo-46
Some Structural Properties of Demand Graphs
by Prakash G. Hebalkar
April, 1970

Memo-45
Coordinated Sharing of Resources in Asynchronous Systems
by Prakash Hebalkar
January, 1970

Memo-42
n-server m-user Arbiter
by Suhas S. Patil
May 1969

Memo-40
Macro-modular Circuit Design
by Suhas S. Patil
May, 1969

Memo-39
Experimental Data for the Working Set Model
by Lawrence Seligman
Date??

Memo-36-1
Future Trends in Time-Sharing Systems
by Jack B. Dennis
June 23, 1969

Memo-36
Future Trends in Time Sharing Systems
by Jack B. Dennis
January 13, 1969

Memo-33-1
An Anomaly in the Specifications of Nondeterminate Packet Systems
by J. Dean Brock and William B. Ackerman
LCS - January, 1978

Memo-33
Subsystem Sharing in Parallel Asynchronous Processing
by Richard Ribak
LCS - June, 1968

Memo-32
Programming Generality, Parallelism and
Computer Architecture.
by Jack B. Dennis
MIT-Project MAC - MAC-M-409

Memo-31
Resource Allocation in a Computer Utility
by Peter J. Denning
MIT-Project MAC - July, 1967

Memo-30
The Design and Transformation of Asynchronous Computational Structures
(Part II - Output Deterministic Structure Graphs).
by Fred Luconi
MIT-Project MAC

Memo-29
A Simple Proof of the Correspondence Theorem
by Peter J. Denning, Jack B. Dennis
196??

Memo-28
Generalized Package Notation
by Fred Luconi
Project MAC

Memo-27
The Design and Transformation of Asynchronous Computational Structures
(Part 1 - Completely Deterministic Structure Graphs)
by Fred Luconi
Project MAC - February 1967

Memo-26
Effects of Scheduling on File Memory Operations
by Peter J. Denning
MAC-M-403 - 1967

Memo-25
On the Equivalence of Two Asynchronous Computataion Description Schemes
by Fred L.Luconi
Project MAC - December 1966

Memo-24
Memory Allocation in Multiprogrammed Computers
by Peter J. Denning
MAC-M-401 - March 1966

Memo-23
Parenthesis Grammars
by Robert McNaughton
Project MAC - March 1966

Memo-22
Analysis and Transformation of Computational Processes
by Peter J. Dennison
Electronic Systems Laboratory - March 1966

Memo-21
A Statistical Model For Console Behavior In Multiuser Computers
by Peter J. Denning
MIT-Project MAC

Memo-20
Protected Service Routinges and Intersphere Communication
by Peter J. Denning
MIT-Project MAC

Memo-19
An Implementation of an Almost-Segmented Multiprogrammed Comuter Systesm for the PDP-1
by Leo J. Rotenberg
MIT-Project MAC - MAC-M-223

Memo-12
Veitch's Theorem
by Robert McNaughton
Project MAC - April 1965

Memo-11
Preliminary Description of Multi-Process Automaton of Type A
by Earl C. Van Horn
Project MAC - April 1965

Memo-10
Techniques for Manipulating Regular Expressions
by Robert McNaughton
Project MAC - November 1965

Memo-9
Processes, Spheres of Protection and Independent Computations
by Earl C. Van Horn
MAC-M-200, 1964

Memo-8
An Example of Intersphere Communication and Asynchronous Parallel Processing--
Typewriter Console Message Handling by Protected Service Routines
by J. B. Dennis
MAC-M-189 - September 1964

Memo-7
Automatic Scheduling of Priority Processes
by J. B. Dennis
MAC-M-188 - October 1964

Memo-6
Nesting and Recursion of Procedures in a Segmented Memory
by J. B. Dennis, E. C. Van Horn
MAC-M-181 - October 1964

Memo-5
A Note on Asynchronous Parallel Processing
by H. Witsenhausen
MAC-M-186, 1964

Memo-4
A Processor Design: MAP-1
by Earl C. Van Horn
MAC-M-163, June 11, 1964

Memo-3
Study of Requirements for Highly Interactive Typewriter
Communication with a Multi Access Computer
by J. B. Dennis
MAC-M-151, 1964

Memo-2
Research Program in Machine Structure
by J. B. Dennis
MAC-M-143, 1964

Memo-1
A Machine Structure for Dynamic Storage Allocation
by J. B. Dennis
MAC-M-137, 1964

For more publications, click here.