The Atomos transactional programming language (2006)

by B D Carlstrom, J Chung, A McDonald, H Chafi, C Kozyrakis, K Olukotun
Venue:In ACM Conference on Programming Language Design and Implementation