Publications

2 results for Michael Kuperstein

Partial-coherence abstractions for relaxed memory models
- - Michael Kuperstein
  - Martin Vechev
  - et al.
- 2011
- PLDI 2011
Conference paper
Automatic inference of memory fences
- - Michael Kuperstein
  - Martin Vechev
  - et al.
- 2010
- FMCAD 2010
Conference paper