Подписаться
Michael Kuperstein
Michael Kuperstein
Неизвестная организация
Подтвержден адрес электронной почты в домене google.com
Название
Процитировано
Процитировано
Год
Automatic inference of memory fences
M Kuperstein, M Vechev, E Yahav
ACM SIGACT News 43 (2), 108-123, 2012
1442012
Automatic inference of memory fences
M Kuperstein, M Vechev, E Yahav
Formal Methods in Computer-Aided Design (FMCAD), 2010, 111-119, 2010
1442010
Partial-coherence abstractions for relaxed memory models
M Kuperstein, M Vechev, E Yahav
ACM SIGPLAN Notices 46 (6), 187-198, 2011
982011
Preserving Correctness Under Relaxed Memory Models
M Kuperstein, E Yahav, M Vechev
Computer Science Department, Technion, 2012
42012
Automatic verification and synthesis for weak memory models
M Kuperstein, M Vechev, E Yahav
US Patent 9,110,658, 2015
32015
Synthesis of memory barriers
M Kuperstein, M Vechev, E Yahav
US Patent 8,839,248, 2014
2014
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–6