Paraglide       

links

Paraglide - overview


Paragliding

The Paraglide project explores new fundamental research directions for constructing correct and efficient concurrent systems. The work in this project ranges from new techniques for automatically inferring synchronization to verifying safety-critical concurrent algorithms such as concurrent data structures. Please examine the publications page for more details.