First Page | Document Content | |
---|---|---|
![]() Date: 2012-04-04 10:35:42Concurrency control Computing Transaction processing Data management Software Compare-and-swap Non-blocking algorithm Linearizability Software transactional memory Stack Reagent Atomicity | 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 |