Safe Record Sharing in Dynamic Programming Languages

This thesis argues that the main problem with concurrent programming is unpredictability – unexpected program behaviors, such as returning out-of-thin-air values, and proposes a concurrency communication model to discipline shared memory in dynamic languages.