Ariel Cohen

Department of Computer Science, NYU

Since August 2008 I'm at IBM Haifa Research Lab








  • [Abs][PDF] Access Control and Information Flow in Transactional Memory. In FAST’08. (with Ron van der Meyden and Lenore Zuck)
  • [Abs] Local Proofs for Global Safety Properties. Invited to a special issue of FMSD. (with Kedar Namjoshi)
  • [Abs][Bib][PDF] Local Proofs for Linear-Time Properties of Concurrent Programs. In CAV’08. (with Kedar Namjoshi)
  • [Abs][Bib][PDF] Mechanical verification of transactional memories with non-transactional memory accesses. In CAV’08. (with Amir Pnueli and Lenore Zuck)
  • [PDF] Formal Verification of Transactional Memories. In EC2’08. (with Amir Pnueli and Lenore Zuck)
  • [Abs][PDF] Verification of transactional memories that support non-transactional memory accesses. In TRANSACT’08. (with Amir Pnueli and Lenore Zuck)
  • [Abs][Bib][PDF] Verifying Correctness of Transactional Memories. In FMCAD’07. (with John O'Leary, Amir Pnueli, Mark Tuttle and Lenore Zuck)
  • [Abs][Bib][PDF] Local Proofs for Global Safety Properties. In CAV’07. (with Kedar Namjoshi)
  • [Abs][Bib][PDF] Ranking Abstraction of Recursive Programs. In VMCAI’06. (with Ittai Balaban and Amir Pnueli)




Contact Information:

Warren Weaver Hall, Room 404  
Courant Institute of Mathematical Sciences
251 Mercer Street
New York, NY 10012

Phone: (212) 998 3387

Email: arielc at




Rivka (Rika) Cohen – a master teacher for the Alexander Technique, but mostly my mom...

No Broker Fee Apartments – a great site if you are looking for an apartment in NYC and want to avoid broker fees


The Rivlin family