Personal Home Page

http://www.cs.purdue.edu/people/faculty/suresh/

Articles in Scholarly Journals [Incomplete List]

1. Semantic indexing in structured peer-to-peer networks
   Journal of Parallel and Distributed Computing, vol. 68, no. 1, pp. 64–77, 2008
2. Randomized leader election
   Distributed Computing, vol. 19, no. 5-6, pp. 403–418, 2007
3. Randomized Protocols for Duplicate Elimination in Peer-to-Peer Storage Systems
   IEEE Transactions on Parallel and Distributed Systems, vol. 18, no. 5, pp. 686–696, 2007
4. Modular Checkpointing for Atomicity
   Electronic Notes in Theoretical Computer Science, vol. 174, no. 9, pp. 85–115, 2007
5. Improving duplicate elimination in storage systems
   ACM Transactions on Storage, vol. 2, no. 4, pp. 424–448, 2006
6. Revocation techniques for Java concurrency
   Concurrency and Computation: Practice and Experience, vol. 18, no. 12, pp. 1613–1656, 2006
7. Stabilizers
   ACM SIGPLAN Notices, vol. 41, no. 9, p. 136, 2006
8. Locality in structured peer-to-peer networks
   Journal of Parallel and Distributed Computing, vol. 66, no. 2, pp. 257–273, 2006
9. Dynamic state restoration using versioning exceptions
   Higher-Order and Symbolic Computation, vol. 19, no. 1, pp. 101–124, 2006
10. Unstructured peer-to-peer networks for sharing processor cycles?
    Parallel Computing, vol. 32, no. 2, pp. 115–135, 2006
11. A transactional object calculus
    Science of Computer Programming, vol. 57, no. 2, pp. 164–186, 2005
12. Safe futures for Java
    ACM SIGPLAN Notices, vol. 40, no. 10, p. 439, 2005
13. VI-attached database storage
    IEEE Transactions on Parallel and Distributed Systems, vol. 16, no. 1, pp. 35–50, 2005
14. Continuation-based transformations for coordination languages
    Theoretical Computer Science, vol. 240, no. 1, pp. 117–146, 2000
15. Polymorphic splitting: an effective polyvariant flow analysis
    ACM Transactions on Programming Languages and Systems, vol. 20, no. 1, pp. 166–207, 1998
16. Compiling functional languages with flow analysis
    ACM Computing Surveys, vol. 28, no. 2, pp. 337–339, 1996
17. Metalevel building blocks for modular systems
    ACM Transactions on Programming Languages and Systems, vol. 16, no. 3, pp. 456–492, 1994
18. Analyzing stores and references in a parallel symbolic language
    ACM SIGPLAN Lisp Pointers, vol. VII, no. 3, pp. 294–305, 1994
19. A concurrent abstract interpreter
    LISP and Symbolic Computation, vol. 7, no. 2-3, pp. 173–193, 1994