| 9766950 |
Methods for single-owner multi-consumer work queues for repeatable tasks |
Maged M. Michael, Vijay A. Saraswat |
2017-09-19 |
| 9292446 |
Speculative prefetching of remote data |
Arun Raman, Mark N. Wegman, Eran Yahav, Greta Yorsh |
2016-03-22 |
| 9135083 |
Methods for single-owner multi-consumer work queues for repeatable tasks |
Maged M. Michael, Vijay A. Saraswat |
2015-09-15 |
| 9110658 |
Automatic verification and synthesis for weak memory models |
Michael Kuperstein, Eran Yahav |
2015-08-18 |
| 9092569 |
Abstraction-guided synthesis |
Eran Yahav, Greta Yorsh |
2015-07-28 |
| 9069893 |
Automatic verification of determinism for parallel programs |
Eran Yahav, Raghavan Raman, Vivek Sarkar |
2015-06-30 |
| 8839248 |
Synthesis of memory barriers |
Michael Kuperstein, Eran Yahav |
2014-09-16 |
| 8646088 |
Runtime enforcement of security checks |
Marco Pistoia, Omer Tripp, Eran Yahav |
2014-02-04 |
| 8645917 |
Providing support for debugging heap related errors with heap assertions |
Matthew R. Arnold, Eran Yahav |
2014-02-04 |
| 8548966 |
Asynchronous assertions |
Eran Yahav |
2013-10-01 |
| 8495427 |
Detecting defects in deployed systems |
Matthew R. Arnold, Eran Yahav |
2013-07-23 |
| 8495588 |
Abstraction-guided synthesis |
Eran Yahav, Greta Yorsh |
2013-07-23 |
| 8374978 |
Context-sensitive dynamic bloat detection system that uses a semantic profiler to collect usage statistics |
Ohad Shacham, Eran Yahav |
2013-02-12 |
| 8266394 |
Methods for single-owner multi-consumer work queues for repeatable tasks |
Maged M. Michael, Vijay A. Saraswat |
2012-09-11 |
| 7548940 |
Generational real-time garbage collection |
David F. Bacon, Perry Chang, David P. Grove |
2009-06-16 |
