First Page | Document Content | |
---|---|---|
![]() Date: 2010-02-19 22:26:45Computer programming Spinlock Lock Linearizability Mutual exclusion Test-and-set Deadlock Parallel computing Non-blocking algorithm Concurrency control Computing Concurrency | Add to Reading List |
![]() | Administrivia Design of Parallel and High-Performance ComputingDocID: 1rqkH - View Document |
![]() | Administrivia Design of Parallel and High-Performance ComputingDocID: 1rnNM - View Document |
![]() | Aaron Turon Research Statement My research lies broadly in the areas of programming languages and verification, with the goal of building reliable software systems. I am drawn to software components that are usually chaDocID: 1rnbf - View Document |
![]() | Reagents: Expressing and Composing Fine-grained Concurrency Aaron Turon Northeastern UniversityDocID: 1rk2P - View Document |
![]() | Brief Announcement: Selfishness in Transactional Memory Raphael Eidenbenz Roger Wattenhofer Computer Engineering and Networks LabDocID: 1qKkF - View Document |