Issued Patents All Time
Showing 1–3 of 3 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9292446 | Speculative prefetching of remote data | Arun Raman, Martin Vechev, Mark N. Wegman, Eran Yahav | 2016-03-22 |
| 9092569 | Abstraction-guided synthesis | Martin Vechev, Eran Yahav | 2015-07-28 |
| 8495588 | Abstraction-guided synthesis | Martin Vechev, Eran Yahav | 2013-07-23 |