 | 2002 |
|---|
| 7 |       | Daniel J. Sorin,
Manoj Plakal,
Anne Condon,
Mark D. Hill,
Milo M. K. Martin,
David A. Wood:
Specifying and Verifying a Broadcast and a Multicast Snooping Cache Coherence Protocol.
IEEE Trans. Parallel Distrib. Syst. 13(6): 556-578 (2002) |
| 2000 |
|---|
| 6 | | Milo M. K. Martin,
Daniel J. Sorin,
Anastassia Ailamaki,
Alaa R. Alameldeen,
Ross M. Dickson,
Carl J. Mauer,
Kevin E. Moore,
Manoj Plakal,
Mark D. Hill,
David A. Wood:
Timestamp snooping: an approach for extending SMPs.
ASPLOS 2000: 25-36 |
| 5 |  | Manoj Plakal,
Charles N. Fischer:
Concurrent Garbage Collection Using Program Slices on Multithreaded Processors.
ISMM 2000: 94-100 |
| 1999 |
|---|
| 4 | | Anne Condon,
Mark D. Hill,
Manoj Plakal,
Daniel J. Sorin:
Using Lamport Clocks to Reason about Relaxed Memory Models.
HPCA 1999: 270-278 |
| 3 | | E. Ender Bilir,
Ross M. Dickson,
Ying Hu,
Manoj Plakal,
Daniel J. Sorin,
Mark D. Hill,
David A. Wood:
Multicast Snooping: A New Coherence Method Using a Multicast Address Network.
ISCA 1999: 294-304 |
| 2 | | Mark D. Hill,
Anne Condon,
Manoj Plakal,
Daniel J. Sorin:
A System-Level Specification Framework for I/O Architectures.
SPAA 1999: 138-147 |
| 1998 |
|---|
| 1 | | Manoj Plakal,
Daniel J. Sorin,
Anne Condon,
Mark D. Hill:
Lamport Clocks: Verifying a Directory Cache-Coherence Protocol.
SPAA 1998: 67-76 |
