Language Support for Loosely Consistent Distributed Programming by Neil Conway: This thesis explores how to aid developers of loosely consistent applications by providing programming language support for the diculties they face. The language level is a natural place to tackle this problem: because developers that use loose consistency have fewer system facilities that they can depend on, consistency concerns are naturally pushed into application logic. In part, our goal has been to recognize, formalize, and automate application-level consistency patterns.