Ariel Cohen
Department of Computer Science,
NYU
Since August 2008 I'm at IBM Haifa Research Lab
Misc.:
- I successfully defended my Ph.D thesis on July 15, 2008;
- My advisors are Amir Pnueli and Lenore Zuck;
- M.S. thesis: Combined CPV-TLV Security Protocol Verifier;
- I'm a member of the Analysis of Computer Systems group (ACSys) at NYU;
- I maintain the model checker TLV;
- I use TLPVS (a PVS-based theorem prover) for verifying transactional memories;
Publications:
-
[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]
Ranking Abstraction of Recursive Programs. In VMCAI’06. (with Ittai
Balaban and Amir Pnueli)
TA-ed:
- Compilers Construction – Fall 2006
- Distributed Computing – Fall 2005
- Fundamental Algorithms – Summer 2005
- Data Warehousing and Data Mining – Spring 2005
- Fundamental Algorithms – Fall 2004
Contact Information:
Warren Weaver Hall, Room 404
Courant Institute of Mathematical Sciences
Phone: (212) 998 3387
Email: arielc at
cs.nyu.edu
Personal:
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
קאפקייקס – קאפקייקס