| Automatic inference of memory fences M Kuperstein, M Vechev, E Yahav ACM SIGACT News 43 (2), 108-123, 2012 | 144 | 2012 |
| Automatic inference of memory fences M Kuperstein, M Vechev, E Yahav Formal Methods in Computer-Aided Design (FMCAD), 2010, 111-119, 2010 | 144 | 2010 |
| Partial-coherence abstractions for relaxed memory models M Kuperstein, M Vechev, E Yahav ACM SIGPLAN Notices 46 (6), 187-198, 2011 | 98 | 2011 |
| Preserving Correctness Under Relaxed Memory Models M Kuperstein, E Yahav, M Vechev Computer Science Department, Technion, 2012 | 4 | 2012 |
| Automatic verification and synthesis for weak memory models M Kuperstein, M Vechev, E Yahav US Patent 9,110,658, 2015 | 3 | 2015 |
| Synthesis of memory barriers M Kuperstein, M Vechev, E Yahav US Patent 8,839,248, 2014 | | 2014 |
Eran YahavTechnion, IsraelVerifierad e-postadress på cs.technion.ac.il
