-001
| Roll Your Own Divide/Square Root Unit
(PDF)
J.P. Grossman. |
-002
| An Implementation of Guarded Pointers with Tight Bounds on Segment Size
(PDF)
J.P. Grossman, Jeremy Brown, Andrew Huang, Tom Knight. |
-003
| Multistriped Addressing
(PDF)
J.P. Grossman, Jeremy Brown, Andrew Huang, Tom Knight. |
-004
| Using SQUIDs to Address Forwarding Pointer Aliasing
(PDF) (AI lab only)
J.P. Grossman, Jeremy Brown, Andrew Huang, Tom Knight. |
-005
| A Capability Representation with Embedded Address and Nearly-Exact Object Bounds
(abstract) (PDF) (postscript)
Jeremy Brown, J.P. Grossman, Andrew Huang, Tom Knight. April 2000. Submitted to (and rejected by) ASPLOS 2000.. |
-006
| Cheap Out-of-Order Execution using Delayed Issue
(PDF)
J.P. Grossman. |
-007
| Proposed Model for Multithreading and Event Handling in the Aries Architecture
(PDF)
J.P. Grossman. |
-008
| A Hardware Mechanism to Reduce the Cost of Forwarding Pointer Aliasing
(PDF) (AI lab only)
J.P. Grossman, Jeremy Brown, Andrew Huang, Tom Knight. |
-009
| A High Performance Coffee Maker
(PDF)
J.P. Grossman. |
-010
| The Hamal Processor-Memory Node
(PDF)
J.P. Grossman. |
-011
| Hamal ISA
(PDF) (AI lab only)
J.P. Grossman. |
-012
| Hamal Design Rationale
(PDF)
J.P. Grossman. |
-013
| Spatially Aware Decentralized Computing
(PDF)
Andrew "bunnie" Huang, Ben Vandiver, Jeremy Brown, J.P. Grossman, Tom Knight. |
-014
| An Idempotent Message Protocol
(PDF) (postscript)
Jeremy Brown. |
-015
| A Minimal Trusted Computing Base for Dynamically Ensuring Secure Information Flow
(PDF) (postscript) (MIT-only)
Jeremy Brown and Thomas F. Knight, Jr.. |
-017
| An Efficient C++ Framework for Cycle-Based Simulation
(PDF)
J.P. Grossman. |
-018
| A Systolic Array for Implementing LRU Replacement
(PDF)
J.P. Grossman. |