Publications

This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.

Date

Start

End

Featured collections

Popular topics

9 results for Noam Rinetzky

CGCExplorer: A semi-automated search procedure for provably correct concurrent collectors
- - Martin T. Vechev
  - Eran Yahav
  - et al.
- 2007
- PLDI 2007
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
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
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
- ACM SIGPLAN Notices