Describir: Parallel Programming with transactional memory.