Manoj Plakal

Google Publications

Previous Publications


    Concurrent Garbage Collection Using Program Slices on Multithreaded Processors

    Manoj Plakal, Charles N. Fischer

    The International Symposium on Memory Management (ISMM), ACM SIGPLAN (2000), pp. 94-100


    Using Lamport Clocks to Reason about Relaxed Memory Models

    Anne Condon, Mark D. Hill, Manoj Plakal, Daniel J. Sorin

    5th International Symposium on High Performance Computer Architecture (HPCA), IEEE Computer Society (1999), pp. 270-278


    Lamport Clocks: Verifying a Directory Cache-Coherence Protocol

    Manoj Plakal, Daniel J. Sorin, Anne Condon, Mark D. Hill

    10th Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA), ACM SIGACT and SIGARCH (1998), pp. 67-76