Issued Patents All Time
Showing 1–15 of 15 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11188322 | Similarity of binaries | Nimrod Sebban Partush, Moshe Yaniv David | 2021-11-30 |
| 10514909 | Similarity of binaries | Nimrod Sebban Partush, Moshe Yaniv David | 2019-12-24 |
| 10210211 | Code searching and ranking | — | 2019-02-19 |
| 9852217 | Searching and ranking of code in videos | — | 2017-12-26 |
| 9292446 | Speculative prefetching of remote data | Arun Raman, Martin Vechev, Mark N. Wegman, Greta Yorsh | 2016-03-22 |
| 9110658 | Automatic verification and synthesis for weak memory models | Michael Kuperstein, Martin Vechev | 2015-08-18 |
| 9092569 | Abstraction-guided synthesis | Martin Vechev, Greta Yorsh | 2015-07-28 |
| 9069893 | Automatic verification of determinism for parallel programs | Martin Vechev, Raghavan Raman, Vivek Sarkar | 2015-06-30 |
| 8839248 | Synthesis of memory barriers | Michael Kuperstein, Martin Vechev | 2014-09-16 |
| 8645917 | Providing support for debugging heap related errors with heap assertions | Matthew R. Arnold, Martin Vechev | 2014-02-04 |
| 8646088 | Runtime enforcement of security checks | Marco Pistoia, Omer Tripp, Martin Vechev | 2014-02-04 |
| 8548966 | Asynchronous assertions | Martin Vechev | 2013-10-01 |
| 8495427 | Detecting defects in deployed systems | Matthew R. Arnold, Martin Vechev | 2013-07-23 |
| 8495588 | Abstraction-guided synthesis | Martin Vechev, Greta Yorsh | 2013-07-23 |
| 8374978 | Context-sensitive dynamic bloat detection system that uses a semantic profiler to collect usage statistics | Ohad Shacham, Martin Vechev | 2013-02-12 |