Sun Labs Scalable Synchronization Research Group

    Тут [http://research.sun.com/scalable/, http://research.sun.com/projects/dashboard.php?id=29] расположилась Sun Labs Scalable Synchronization Research Group. Эта группа сконцентрирована в основном на различных реализациях Software Transaction Memory (STM). Им принадлежат такие разработки, как dstm2, Hybrid Transactional Memory Library (SkySTM), Phased Transactional Memory (PhTM), Hybrid Transactional Memory (HyTM).
    По-моему мнению, dstm2 - одна из лучших реализаций STM. Кстати, Fortress, язык, позиционируемый как наследник Fortran, реализован как раз на dstm2.
    Также они заинтересованы в
    - Non-blocking Progress Conditions
    - Non-blocking Memory Management
    - Mostly Nonblocking Data Structures
    - Formal Verification
    Эти люди часто встречаются в качестве авторов важнейших статей и книг: Dave Dice, Maurice Herlihy, Victor Luchangco, Virendra Marathe, Mark Moir, Dan Nussbaum, Nir Shavit.

Golovach Ivan