Michael Kuperstein

Publication Activity (10 Years)

Years Active: 2010-2012
Publications (10 Years): 0

Top Topics

Probabilistic Inference

Past Experience

Top Venues

Publications

Michael Kuperstein, Martin T. Vechev, Eran Yahav
Automatic inference of memory fences. SIGACT News 43 (2) (2012)
Michael Kuperstein, Martin T. Vechev, Eran Yahav
Partial-coherence abstractions for relaxed memory models. PLDI (2011)
Michael Kuperstein, Martin T. Vechev, Eran Yahav
Automatic inference of memory fences. FMCAD (2010)