Publications

9 results for Noam Rinetzky

Characterizing transactional memory consistency conditions using observational refinement
- - Hagit Attiya
  - Sandeep Hans
  - et al.
- 2017
- Journal of the ACM
Verifying linearizability with Hindsight
- - Peter W. O'Hearn
  - Noam Rinetzky
  - et al.
- 2010
- PODC 2010
Verifying dereference safety via expanding-scope analysis
- - A. Loginov
  - E. Yahav
  - et al.
- 2008
- ISSTA 2008
On the complexity of partially-flow-sensitive alias analysis
- - N. Rinetzky
  - G. Ramalingam
  - et al.
- 2008
- ACM TOPLAS
CGCExplorer: A semi-automated search procedure for provably correct concurrent collectors
- - Martin T. Vechev
  - Eran Yahav
  - et al.
- 2007
- PLDI 2007
CGCExplorer: A semi-automated search procedure for provably correct concurrent collectors
- - Martin T. Vechev
  - Eran Yahav
  - et al.
- 2007
- ACM SIGPLAN Notices
Towards an object store
- - Alain Azagury
  - Vladimir Dreizin
  - et al.
- 2003
- MSST 2003
Towards an object store
- - A. Azagury
  - V. Dreizin
  - et al.
- 2003
- MSST 2003
A two layered approach for securing an object store network
- - A. Azagury
  - R. Canetti
  - et al.
- 2002
- SISW 2002