The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Noam Rinetzky: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002