CGCExplorer: A semi-automated search procedure for provably correct concurrent collectors
- Martin T. Vechev
- Eran Yahav
- et al.
- 2007
- PLDI 2007
Publications
Date
Featured collections
Popular topics
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
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