line
csg    
line


Site Contents
Home
Courses
People
Projects
Publications
Seminars
Publications


Memo-512
Hardware-level Thread Migration in a 110-core Shared-memory Multiprocessor
Mieszko Lis, Keun Sup Shim, Myong Hyon Cho, Ilia Lebedev, Srinivas Devadas, MIT CSAIL, Cambridge, MA, USA
November, 2013


Memo-511
The Execution Migration Machine
Mieszko Lis, Keun Sup Shim, Myong Hyon Cho, Ilia Lebedev, Srinivas Devadas, MIT CSAIL, Cambridge, MA, USA
August, 2013


Memo-509
Efficient Private Information Retrieval Using Secure Hardware
Xiangyao Yu, Christopher W. Fletcher , Ling Ren, Marten van Dijk and Srinivas Devadas, MIT CSAIL, Cambridge, MA, USA
May, 2013


Memo-508
Ascend: An Architecture for Performing Secure Computation on Encrypted Data
Chris W. Fletcher
MIT Computer Science and Artificial Intelligence Laboratory (CSAIL), SM Thesis, May, 2013


Memo-507
Synthesis of Multi-Cycle Circuits from Guarded Atomic Actions
Michal Karczmarek
MIT Computer Science and Artificial Intelligence Laboratory (CSAIL), PhD Thesis, Sept. 2011


Memo-506
A Unified Model for Hardware/Software Codesign
Nirav Dave
MIT Computer Science and Artificial Intelligence Laboratory (CSAIL), PhD Thesis, Sept. 2011


Memo-505
HAsim: FPGA-Based High-Detail Multicore Simulation Using Time-Division Multiplexing
Michael Pellauer, Michael Adlery, Michel Kinsy, Angshuman Parashary, Joel Emer
MIT Computer Science and Artificial Intelligence Laboratory (CSAIL)


Memo-504
Diastolic Arrays: Throughput-Driven Reconfigurable Computing
Myong Hyon Cho
Master of Science in Electrical Engineering and Computer Science
MIT Computer Science and Artificial Intelligence Laboratory (CSAIL)
May 2008

Memo-503
Hardware Accelleration of Matrix Multiplication on a Xilinx FPGA
Nirav Dave, Kermin Fleming, Myron King, Michael Pellauer, Muralidaran Vijayaraghavan
Formal Methods and Models for Codesign (MEMOCODE 2007)
MIT Computer Science and Artificial Intelligence Laboratory (CSAIL)
Nice, France. May 2007

Memo-502
802.11a Transmitter: A Case Study in Microarchitectural Exploration
Nirav Dave, Michael Pellauer, Steve Gerding, Arvind
Formal Methods and Models for Codesign (MEMOCODE 2006)
MIT Computer Science and Artificial Intelligence Laboratory (CSAIL)
Napa Valley, CA, USA. July 2006

Memo-501
From WiFI to WiMAX: Techniques for IP Reuse Across Different OFDM Protocols Man Cheuk Ng, Muralidaran Vijayaraghavan, Gopal Raghavan, Nirav Dave, Jamey Hicks, Arvind
Formal Methods and Models for Codesign (MEMOCODE 2007)
MIT Computer Science and Artificial Intelligence Laboratory (CSAIL)
Nice, France. May 2007

Memo-500
Scheduling as Rule Composition
Nirav Dave, Arvind, Michael Pellauer
Formal Methods and Models for Codesign (MEMOCODE 2007)
MIT Computer Science and Artificial Intelligence Laboratory (CSAIL)
Nice, France. May 2007

Memo-499
Software-assisted Cache Mechanisms for Embedded Systems
Prahbat Jain - PhD Thesis
MIT Computer Science and Artificial Intelligence Laboratory (CSAIL)
February, 2008

Memo-498
Securing Shared Untrusted Storage by using TPM 1.2 Without Requiring a Trusted OS
Marten van Dijk, Luis F. G. Sarmenta, Jonathan Rhodes, and Srinivas Devadas
MIT Computer Science and Artificial Intelligence Laboratory (CSAIL)
May, 2007

Memo-497
Implementation of H.264 Decoder in Bluespec System Verilog
Chun-Chieh Lin
Masters Thesis, February, 2007

Memo-496
Proof of Freshness; How to efficiently use an online single secure clock to secure shared untrusted memory.
Marten Van Dyke, Luis Sarmenta, Charles O'Donnell, Srinivas Devadas

Memo-495
802.11a Transmitter: A Case Study in Michroarchitectural Exploration
Nirav Dave, Michael Pellauer, Steve Gerding, and Arvind
In the proceedings of Formal Methods and Models for Codesign (MEMOCODE'2006) , Napa, CA, July 26-30, 2006

Memo-493
Memory Model = Instruction Reordering + Store Atomicity
Arvind, Jan-Willem Maessen
Presented at ISCA 2006, The 33rd Annual International Symposium on Computer Architecture, Boston, MA USA , June 17-21, 2006
June, 2006
Memo-492
Hardware Synthesis from Guarded Atomic Actions with Performance Specifications
Daniel L. Rosenband and Arvind
In the proceedings of International Conference on Computer Aided Design (ICCAD) - San Jose, CA, Nov. 6-10, 2005
April, 2005
Memo-491
A Performance Driven Approach for Hardware Synthesis of Guarded Atomic Actions
Daniel L. Rosenband
PhD Thesis, MIT
August, 2005
Memo-490
Synthesis of Synchronous Assertions with Guarded Atomic Actions
Michael Pellauer, Mieszko Lis, Donald Baltus, Rishiyur Nikhil
In the proceedings of Formal Methods and Models for Codesign (MEMOCODE'2005) , Verona, Italy, July 11-14, 2005
Architecture, July, 2005
Memo-489
AEGIS: A Single-Chip Secure Processor
G. Edward Suh
Ph.D. Thesis
Architecture, 2005, August
Memo-488
Secure Application Partitioning for Intellectual Property Protection (83 pages)
Charles W. O'Donnell
Masters Thesis
Architecture, 2005, August
Memo-487
Development of a Programming Model for the AEGIS Secure Processor (64 pages)
Ishan Sachdev
Masters Thesis
Architecture, 2005, May
Memo-486
Automatic Synthesis of Cache-Coherence Protocol Processors Using Bluespec(10 pages)
Nirav Dave, Man Cheuk Ng, Arvind
In the proceedings of Formal Methods and Models for Codesign (MEMOCODE'2005) , Verona, Italy, July 11-14, 2005
Architecture, 2005
Memo-485
Towards Constant Bandwidth Overhead Integrity Checking of Untrusted Data (140 pages)
Dwaine Clarke
Ph.D. Thesis
Architecture, 2005, May
Memo-484
Designing a Processor in Bluespec (67 pages)
Nirav Dave
Masters Thesis
Architecture, 2005, January
Memo-483
Design and Implementation of the AEGIS Single-Chip Secure Processor Using Physical Random Functions (12 pages)
G. Edward Suh, Charles W. O'Donnell, Ishan Sachdev, Srinivas Devadas
In the proceedings of the 32nd International Symposium on Computer Architecture, Madison, Wisconsin
Architecture, 2005, June
Memo-482 - TBA
Memo-481
PUF-Based Random Number Generation
Charles W. O'Donnell, G. Edward Suh, Srinivas Devadas
Architecture, 2004, November
Memo-480
Towards Constant Bandwidth Overhead Integrity Checking of Untrusted Data (19 pages)
Dwaine Clarke, G. Edward Suh, Blaise Gassend, Ajay Sudan, Marten van Dijk and Srinivas Devadas
Architecture, 2005, May
Memo-479
The Ephemeral History Register: Flexible Scheduling for Rule-Based Designs
Daniel Rosenband
In the proceedings of Formal Methods and Models for Codesign (MEMOCODE'2004) , San Diego, California, June 22-25, 2004
Architecture, 2004
Memo-478
Designing a Reorder Buffer in Bluespec (11 pages)
Nirav Dave
In the proceedings of Formal Methods and Models for Codesign (MEMOCODE'2004) , San Diego, California, June 22-25, 2004
Architecture, 2004
Memo-477
This is superceded by Memo 493
Architecture, 2004
Memo-476
Extracting Secret Keys from Integrated Circuits (119 pages)
Daihyun Lim
Architecture, 2004
Memo-475
Reliable Secret Sharing With Physical Random Functions (8 pages)
Marten van Dijk, Daihyun Lim, Srinivas Devadas
Architecture, December, 2004
Memo-474
AEGIS: Architecture for Tamper-Evident and Tamper-Resistant Processing (16 pages)
G. Edward Suh, Dwaine Clarke, Blaise Gassend, Marten van Dijk, Srinivas Devadas
Architecture, 2004
Memo-473
High-level synthesis: An Essential Ingredient for Designing Complex ASICs (10 pages)
Arvind, Rishiyur Nikhil, Daniel Rosenband, Nirav Dave
In the proceedings of the International Conference on Computer Aided Design (ICCAD 2004), San Jose, California, November 6-10, 2004.
Architecture, 2004
Memo-472
A Technique to Build a Secret Key in Integrated Circuits for Identification and Authentication Applications (4 pages)
Jae W. Lee, Daihyun Lim, Blaise Gassend, G. Edward Suh, Marten van Dijk, Srinivas Devadas
Architecture, June, 2004
Memo-471
Design and Verification of Adaptive Cache Coherence Protocols
Xiaowei Shen
Architecture, 2000, February
Memo-470
Checking the Integrity of Memory in a Snooping-Based Symmetric Multiprocessor (SMP) System (18 pages)
Dwaine Clarke,G. Edward Suh, Blaise Gassend, Marten van Dijk, Srinivas Devadas
Architecture, 2004, July
Memo-469
Speeding up Exponentiation using an Untrusted Computational Resource(17 pages)
Dwaine Clarke, Srinivas Devadas, Marten van Dijk, Blaise Gassend, G. Edward Suh
Architecture, 2003, August
Memo-468
Modular Scheduling of Guarded Atomic Actions (6 pages)
Daniel Rosenband, Arvind
In the proceedings of the 41st Design Automation Conference (DAC), San Diego, CA, June 2004
Architecture, 2003, August
Memo-467
Secure Program Execution Via Dynamic Information Flow Tracking
Edward Suh, Jaewook Lee, Srini Devadas, David Zhang
Architecture, 2003, November
Memo-466
Identification and Authentication of Integrated Circuits (24 pages)
Blaise Gassend, Dwaine Clarke, Daihyun Lim, Marten van Dijk, Srini Devadas
To appear in Concurrency and Computation: Practice and Experience, Wiley, 2003
Aegis, 2003, June

Memo-465
Efficient Memory Integrity Verification and Encryption for Secure Processors (13 pages)
G. Edward Suh, Dwaine Clarke, Blaise Gassend, Marten van Dijk, Srini Devadas
To appear in the Proceedings of the 36th Annual International Symposium on Microarchitecture, December 2003
Initial publication, June 2003

Memo-464
Incremental Multiset Hashes and their Application to Integrity Checking (20 pages)
Dwaine Clarke, Srini Devadas, Blaise Gassend, Marten van Dijk, Edward Suh
To appear in the Proceedings of the ASIACRYPT 2003 Conference, November 2003
Aegis, 2003, May

Memo-463
Modular scheduling of atomic actions
Daniel L. Rosenband, Jacob B. Schwartz, Arvind
Architecture

Memo-462
Controlling Cache Pollution in Prefetching With Software-assisted Cache Replacement (22 pages)
Prabhat Jain, Srini Devadas, Larry Rudolph
Architecture, 2001, July

Memo-461
AEGIS: Architecture for Tamper-Evident and Tamper-Resistant Processing (16 pages)
Edward Suh, Dwaine Clarke, Blaise Gassend, Marten van Dijk, Srini Devadas
Submission to the Proceedings of the 17th International Conference on Supercomputing
Aegis, 2003, February

Memo-460
Hardware Mechanisms for Memory Authentication (18 pages)
Edward Suh, Dwaine Clarke, Blaise Gassend, Marten van Dijk, Srini Devadas
Aegis, 2002, November
Memo-459
Intelligent SRAM (ISRAM) for Improved Embedded System Performance (7 pages)
Prabhat Jain, Ed Suh, Srini Devadas
In the proceedings of the 40th Design Automation Conference, June 2003
Architecture, 2002, December

Memo-458
Physical Random Functions (89 pages)
Blaise Gassend
Masters Thesis
Aegis, 2003, February

Memo-457
Controlled Physical Random Functions (12 pages)
Blaise Gassend, Dwaine Clarke, Marten van Dijk, Srinivas Devadas
In the proceedings of the 18th Annual Computer Security Applications Conference, December 2002
Aegis, 2002, December
Memo-456
Silicon Physical Random Functions (13 pages)
Blaise Gassend, Dwaine Clarke, Marten van Dijk, Srinivas Devadas
In the proceedings of the Computer and Communication Security Conference, November 2002
Aegis, 2002, November

Memo-455
Delay-Based Circuit Authentication and Applications (13 pages)
Blaise Gassend, Dwaine Clarke, Marten van Dijk, Srini Devadas
In the proceedings of the 18th Symposium on Applied Computing, March 2003
Aegis, 2002, October

Memo-454
Access-Controlled Resource Discovery for Pervasive Networks (13 pages)
Sanjay Raman, Dwaine Clarke, Matthew Burnside, Srini Devadas, Ron Rivest
Proceedings of the 18th Symposium on Applied Computing, March 2003
2002, October
Memo-453
Caches and Merkle Trees for Efficient Memory Authentication (14 pages)
Blaise Gassend, Dwaine Clarke, Marten van Dijk, Srinivas Devadas, Ed Suh
In the proceedings of the 9th High Performance Computer Architecture Symposium (HPCA'03)
Aegis, 2002, September

Memo-452
Dynamic Partitioning of Shared Cache Memory (23 pages)
Ed Suh, Larry Rudolph, Srinivas Devadas
Journal of Supercomputing
Architecture, 2002, July
Memo-451
Proxy-Based Security Protocols in Networked Mobile Devices (11 pages)
Matthew Burnside, Dwaine Clarke,Todd Mills, Srinivas Devadas, Ronald Rivest
In the proceedings of the Symposium on Applied Computing (SAC'02) 2002, March
Memo-450
The Untrusted Computer Problem and Camera-Based Authentication (7 pages)
Blaise Gassend, Dwaine Clarke, Tom Kotwal, Matthew Burnside, Marten van Dijk, Srini Devadas, Ron Rivest
In the proceedings of the International Conference on Pervasive Computing(Pervasive2002), August 2002
2002, March
Memo-449
Software-Assisted Cache Replacement Mechanisms for Embedded Systems (8 pages)
Prabhat Jain, Srinivas Devadas, Daniel Engels, Larry Rudolph
In the proceedings of the Int'l Conference on Computer-Aided Design, November 2001
Architecture, 2001, November

Memo-448
Application-Specific Memory Management in Embedded Systems Using Software-Controlled Caches (4 pages)
Derek Chiou, Prabhat Jain, Larry Rudolph, Srinivas Devadas
In the proceedings of the 37th Design Automation Conference Architecture, 2000, June

Memo-447
Effects of Memory Performance on Parallel Job Scheduling (17 pages)
Ed Suh, Larry Rudolph, Srinivas Devadas
In the proceedings of the Job Scheduling Workshop, Lecture Notes in Computer Science 2001
Architecture, 2001, July

Memo-446
Dynamic Cache Partitioning for Simultaneous Multithreading Systems (7 pages)
Ed Suh, Larry Rudolph, Srini Devadas
In the proceedings of the IASTED International Conference on Parallel and Distributed Computing and Systems
Architecture, 2001, August
Memo-445
Analytical Cache Models with Application to Cache Partitioning (12 pages)
Ed Suh, Srinivas Devadas, Larry Rudolph
In the proceedings of the 15th International Conference on Supercomputing, June 2001
Architecture, 2001, June

Memo-444
Scheduler-Based prefetching for Multilevel Memories (24 pages)
Derek Chiou, Srinivas Devadas, Josh Jacobs, Prabhat Jain, Vinson Lee, Enoch Peserico, Peter Portante, Larry Rudolph
Architecture, 2001, July
Memo-443
A New Memory Monitoring Scheme for Memory-Aware Scheduling and Partitioning (25 pages)
Edward Suh, Srinivas Devadas, Larry Rudolph
Proceedings of the 8th International Symposium on High-Performance Computer Architecture, February 2002 Architecture, 2001, July
Memo-442
Job-Speculative Prefetching: Eliminating Page Faults From Context Switches in Time-Shared Systems (25 pages)
Ed Suh, Enoch Peserico, Srinivas Devadas, Larry Rudolph
Architecture, 2001, June
Memo-441
Effects of Memory Performance on Parallel Job Scheduling (12 pages)
Srinivas Devadas, Ed Suh, Larry Rudolph
In Proceedings of the 7th Workshop on Job Scheduling Strategies for Parallel Processing, SIGMETRICS 2001, Cambridge, MA, USA, June 2001
Architecture, 2001, June
Memo-440
Developing and Refining an Adaptive Token-Passing Strategy (12 pages)
Burkhard Englert, Larry Rudolph, Alex Shvartsman
Architecture, 2001, June
Memo-439
A High Performance Multiprocessor DSP System (60 pages)
Todd Heirs
Masters Thesis
Architecture, 2001, May
Memo-438
Dynamic Cache Partioning for Simultaneous Multithreading Systems (16 pages)
Ed Suh, Larry Rudolph, Srinivas Devadas
Architecture, 2001, March
Memo-437
Analytical Cache Models with Applications to Cache Partitioning (25 pages)
Architecture Larry Rudolph, Ed Suh, Srinivas Devadas
Architecture, 2001, February
Memo-436
A Code Reordering Transformation for Improved Cache Performance (14 pages)
Prabhat Jain, Srinivas Devadas
Architecture, 2001, March
Memo-435
Software-assisted Cache Replacement Mechanisms for Embedded Systems (16 pages)
Prabhat Jain, Srinivas Devadas
Architecture, 2001, January
Memo-434
TBA (0 pages)
Abandoned
Architecture, 2001, January

Memo-433
Set-Associative Cache Models for Time-Shared Systems (0 pages)
Ed Suh
Archictecture, 2001, January
Abandoned
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
Memo-430
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-299
A Reverse Compiler: A Monsoon Dataflow Microcode to Common Lisp Compiler
D.T. Chiou

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-268
Structure Referencing in the Tagged-Token Dataflow Architecture
A. Chien
Architecture, 1986, 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-246
Computation Structures Group Progress Report 1983-84
Architecture, 1984, June

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-237
A Primer for the Lisp Machine
Architecture, 1984, March

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

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
by Suhas Patil
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.



line


C S A I L
Computer Science and Artificial Intelligence Laboratory
Massachusetts Institute of Technology
32 Vassar Street, 32-G846
Cambridge, MA 02139
v: 617.253.6837, f: 617.253.6652


Copyright © 2003 by Massachusetts Institute of Technology. All rights reserved.