| 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 |
