Issued Patents All Time
Showing 1–15 of 15 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 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 |