Atul Adya

Atul Adya is currently a member of the Systems and Networking Research Group at Microsoft Research.

He was a graduate student in the Programming Methodology Group at the MIT Laboratory for Computer Science. The group has been working on designing and implementing a distributed object-oriented database, Thor.

Publications

  • Generalized Isolation Level Definitions  (Postscript)
    In Proceedings of  the IEEE International Conference on Data Engineering (ICDE), San Diego, CA, March 2000.
    Atul Adya, Barbara Liskov, Patrick O' Neil

  • Weak Consistency: A Generalized Theory and Optimistic Implementations for Distributed Transactions
    Technical Report MIT/LCS/TR-786. M.I.T. Laboratory for Computer Science,
    Cambridge, MA, March 1999. Ph.d. thesis.

  • A New Basis for an SQL Isolation Standard
    Presented at the 1999 Workshop on High Performance Transaction Systems (HPTS),
    Pacific Grove, CA, September 1999.
    Atul Adya, Barbara Liskov, Patrick O' Neil

  • Providing Persistent Objects in Distributed Systems
    In Proceedings of the 13th European Conference on Object-Oriented Programming (ECOOP '99),
    Lisbon, Portugal, June 1999. 
    Barbara Liskov, Miguel Castro, Liuba Shrira, Atul Adya [ PostScript | PDF]

  • HAC: Hybrid Adaptive Caching for Distributed Storage Systems
    In Proceedings of the ACM Symposium on Operating System Principles (SOSP '97),
    Saint Malo, France, October 1997
    Miguel Castro, Atul Adya, Barbara Liskov, Andrew C. Myers

  • Lazy Consistency Using Loosely Synchronized Clocks
    In Proceedings of the ACM Symposium on Principles of Distributed Computing (PODC '97),
    Santa Barbara, CA, August 1997
    Atul Adya, Barbara Liskov

  • Fragment Reconstruction: Providing Global Cache Coherence
    in a Transactional Storage System
    In proceedings of ICDCS '97. Baltimore, Maryland, May 1997.
    Atul Adya, Miguel Castro, Barbara Liskov, Umesh Maheshwari, Liuba Shrira

  • Safe and Efficient Sharing of Persistent Objects in Thor,
    In the proceedings of SIGMOD '96. Montreal Canada, June 1996.
    Barbara Liskov, Atul Adya, Miguel Castro, Mark Day,
    Sanjay Ghemawat, Robert Gruber, Umesh Maheshwari, Andrew C. Myers, Liuba Shrira

  • Efficient Optimistic Concurrency Control Using Loosely Synchronized Clocks.
    In the proceedings of SIGMOD '95. San Jose, CA, May 1995.
    Atul Adya, Barbara Liskov, Robert Gruber, and Umesh Maheshwari.

  • How to Scale Transactional Storage Systems
    In the Seventh ACM SIGOPS European Workshop, September 1996
    Liuba Shrira, Barbara Liskov, Miguel Castro, Atul Adya.

  • Type-Safe Heterogeneous Sharing can be Fast
    In Seventh International Workshop on Persistent Object Systems, May 1996.
    Barbara Liskov, Atul Adya, Miguel Castro, Quinton Zondervan

  • Fragment Reconstruction: A New Cache Coherence Scheme for
    Split Caching Storage Systems (Looking at the Doughnut and not the Hole)
    In Seventh International Workshop on Persistent Object Systems, May 1996.
    Liuba Shrira, Barbara Liskov, Miguel Castro, Atul Adya.

  • Lazy Reference Counting for Transactional Storage Systems

    • Technical Memo MIT/LCS/TM-567, MIT Laboratory for Computer Science, November 1997.
    Miguel Castro, Atul Adya, and Barbara Liskov

  • Web File System: File-Like Access to the Web.
    In the proceedings of the 5th Annual MIT Student Workshop
    on Scalable Computing. Wellesley, MA. August 1995. Click here for a short overview.
    Atul Adya, Joseph Bank, Jim Napier, Jordan Slott, H. B. Weinberg.

    A longer report giving the details of the design and the implementation is also available.
    This work was done as part of the course Computer Systems (6.853) course in Spring 1995.
    Click here to retrieve the report.

  • Transaction Management for Mobile Objects using Optimistic Concurrency Control
    Technical Report MIT/LCS/TR-626. M.I.T. Laboratory for Computer Science,
    Cambridge, MA, 1994. Master's thesis.
    Click here for the abstract.


    Atul Adya

    adya@lcs.mit.edu