Search the dblp DataBase

Publications of Author

1. Noam Rinetzky, Shmuel Sagiv
   Interprocedural Shape Analysis for Recursive Programs. [Citation Graph (0, 0)][DBLP]
   CC, 2001, pp:133-149 [Conf]
   
2. Alain Azagury, Vladimir Dreizin, Michael Factor, Ealan Henis, Dalit Naor, Noam Rinetzky, Ohad Rodeh, Julian Satran, Ami Tavory, Lena Yerushalmi
   Towards an Object Stor. [Citation Graph (0, 0)][DBLP]
   IEEE Symposium on Mass Storage Systems, 2003, pp:165-0 [Conf]
   
3. Noam Rinetzky, Jörg Bauer, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm
   A semantics for procedure local heaps and its abstractions. [Citation Graph (0, 0)][DBLP]
   POPL, 2005, pp:296-309 [Conf]
   
4. Noam Rinetzky, Mooly Sagiv, Eran Yahav
   Interprocedural Shape Analysis for Cutpoint-Free Programs. [Citation Graph (0, 0)][DBLP]
   SAS, 2005, pp:284-302 [Conf]
   
5. Alain Azagury, Ran Canetti, Michael Factor, Shai Halevi, Ealan Henis, Dalit Naor, Noam Rinetzky, Ohad Rodeh, Julian Satran
   A Two Layered Approach for Securing an Object Store Network. [Citation Graph (0, 0)][DBLP]
   IEEE Security in Storage Workshop, 2002, pp:10-23 [Conf]
   
6. Daphna Amit, Noam Rinetzky, Thomas W. Reps, Mooly Sagiv, Eran Yahav
   Comparison Under Abstraction for Verifying Linearizability. [Citation Graph (0, 0)][DBLP]
   CAV, 2007, pp:477-490 [Conf]
   
7. Noam Rinetzky, Arnd Poetzsch-Heffter, Ganesan Ramalingam, Mooly Sagiv, Eran Yahav
   Modular Shape Analysis for Dynamically Encapsulated Programs. [Citation Graph (0, 0)][DBLP]
   ESOP, 2007, pp:220-236 [Conf]
   
8. Martin T. Vechev, Eran Yahav, David F. Bacon, Noam Rinetzky
   CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors. [Citation Graph (0, 0)][DBLP]
   PLDI, 2007, pp:456-467 [Conf]
   
9. 
   Local Reasoning for Storable Locks and Threads. [Citation Graph (, )][DBLP]
   
   
10. 
    Abstraction for Concurrent Objects. [Citation Graph (, )][DBLP]
    
    
11. 
    Verifying dereference safety via expanding-scope analysis. [Citation Graph (, )][DBLP]
    
    
12. 
    Verifying linearizability with hindsight. [Citation Graph (, )][DBLP]
    
    
13. 
    Sequential verification of serializability. [Citation Graph (, )][DBLP]
    
    
14. 
    Automatic Verification of Strongly Dynamic Software Systems. [Citation Graph (, )][DBLP]