Manoj's Publications

Publications

COPYRIGHT NOTICE: The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

Exploiting Multithreaded Processor Architectures Using Assist Threads

Concurrent Garbage Collection Using Program Slices on Multithreaded Processors.
Manoj Plakal and Charles N. Fischer.
The International Symposium on Memory Management (ISMM), October 15 - 16, 2000, Minneapolis, Minnesota (co-located with OOPSLA 2000). (73KB PDF, 207KB Postscript)

Multifacet: Designing New Multiprocessor Shared Memory Systems
Milo M. Martin, Anastassia Ailamaki, Ross M. Dickson, Carl J. Mauer, Manoj Plakal, Daniel J. Sorin, Mark D. Hill, David A. Wood, Timestamp Snooping: An Approach for Extending SMPs . 9th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), November 13 - 15, 2000, Boston, Massachussetts. (120KB PDF, 438KB Postscript).
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. 26th Annual International Symposium on Computer Architecture (ISCA) , May 2 - 4, 1999, Atlanta, Georgia. (288KB Postscript)

Using Lamport Clocks to Verify Multiprocessor Shared Memory Systems
Daniel J. Sorin, Manoj Plakal, Anne E. Condon, Mark D. Hill, Milo Martin and David Wood, Specifying and Verifying a Broadcast and a Multicast Snooping Cache Coherence Protocol. IEEE Transactions on Parallel and Distributed Systems, Vol 13, Number 6, June 2002. (2.3MB PDF, 2MB Postscript). Draft version available as Technical Report CS-TR-1412, University of Wisconsin-Madison, March 2000 (166KB Compressed Postscript).
Mark D. Hill, Anne E. Condon, Manoj Plakal and Daniel J. Sorin, A System-Level Specification Framework for I/O Architectures. 11th Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA) , June 27 - 30, 1999, Saint-Malo, France. (274KB Postscript). Also available in extended form as Technical Report CS-TR-1398, University of Wisconsin-Madison, March 1999 (142 KB Compressed Postscript).
Anne E. Condon, Mark D. Hill, Manoj Plakal and Daniel J. Sorin. Using Lamport Clocks To Reason About Relaxed Memory Models. 5th International Symposium on High Performance Computer Architecture (HPCA) , January 9 - 12, 1999, Orlando, Florida. (278KB Postscript)
Manoj Plakal, Daniel J. Sorin, Anne E. Condon and Mark D. Hill. Lamport Clocks: Verifying a Directory Cache-Coherence Protocol. 10th Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA) , June 28 - July 2, 1998, Puerto Vallarta, Mexico. (222KB Postscript)
Daniel J. Sorin, Manoj Plakal, Mark D. Hill and Anne E. Condon. Lamport Clocks: Reasoning About Shared-Memory Correctness. Technical Report CS-TR-1367, University of Wisconsin-Madison, March 1998. (99KB Compressed Postscript)

Erdos number:
Mine is #3 via: P. Erdos --> M. Saks --> A. Condon --> me.

Last updated on