Travelled to:
1 × USA
Collaborated with:
M.T.Vechev E.Yahav
Talks about:
abstract (1) partial (1) memori (1) relax (1) model (1) coher (1)
Person: Michael Kuperstein
DBLP: Kuperstein:Michael
Contributed to:
Wrote 1 papers:
- PLDI-2011-KupersteinVY #abstraction #memory management #modelling
- Partial-coherence abstractions for relaxed memory models (MK, MTV, EY), pp. 187–198.