The project 'Interfaces for Atomicity' is based on recent work, mainly started with a type system for atomicity ( The current work tries to extend static analysis for atomicity for non-blocking programs(

The presentation is here.

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. The final presentation is here.