_id,title
4363,Formalizing and Verifying Transactional Memories