LARA

This is an old revision of the document!


The project 'Interfaces for Atomicity' is based on recent work, mainly started with a type system for atomicity (http://portal.acm.org/citation.cfm?id=781169&dl=ACM&coll=portal). The current work tries to extend static analysis for atomicity for non-blocking programs(http://portal.acm.org/citation.cfm?doid=1065944.1065953).

The presentation is here. savcourse-atomicityinterfaces-relatedwork.ppt

The project aims at developing an assume-guarantee reasoning for atomicity of concurrent threads in a program. The idea is to capture the behavior of each thread as an interface, and to check for compatibility of interfaces to reason about the atomicity of the original program.