P

Inventor

YAHAV ERAN

US15 patents
⚠️ This page may combine multiple inventors who share the name “YAHAV ERAN”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

IBM

3 patents
US9292446B2Mar 22, 2016

Speculative prefetching of remote data

IBM5 citations70
US8374978B2Feb 12, 2013

Context-sensitive dynamic bloat detection system that uses a semantic profiler to collect usage statistics

IBM4 citations61
US9092569B2Jul 28, 2015

Abstraction-guided synthesis

IBM1 citations48

VECHEV MARTIN

3 patents
US9069893B2Jun 30, 2015

Automatic verification of determinism for parallel programs

VECHEV MARTIN5 citations68
US8495588B2Jul 23, 2013

Abstraction-guided synthesis

VECHEV MARTIN0 citations46
US8548966B2Oct 1, 2013

Asynchronous assertions

VECHEV MARTIN0 citations38

TECHNION RES & DEV FOUNDATION

2 patents
US10514909B2Dec 24, 2019

Similarity of binaries

TECHNION RES & DEV FOUNDATION6 citations77
US11188322B2Nov 30, 2021

Similarity of binaries

TECHNION RES & DEV FOUNDATION2 citations66

CODOTA DOT COM LTD

2 patents
US10210211B2Feb 19, 2019

Code searching and ranking

CODOTA DOT COM LTD3 citations69
US9852217B2Dec 26, 2017

Searching and ranking of code in videos

CODOTA DOT COM LTD2 citations69

ARNOLD MATTHEW R

2 patents
US8645917B2Feb 4, 2014

Providing support for debugging heap related errors with heap assertions

ARNOLD MATTHEW R3 citations59
US8495427B2Jul 23, 2013

Detecting defects in deployed systems

ARNOLD MATTHEW R4 citations59

KUPERSTEIN MICHAEL

2 patents
US8839248B2Sep 16, 2014

Synthesis of memory barriers

KUPERSTEIN MICHAEL0 citations49
US9110658B2Aug 18, 2015

Automatic verification and synthesis for weak memory models

KUPERSTEIN MICHAEL0 citations39

PISTOIA MARCO

1 patent
US8646088B2Feb 4, 2014

Runtime enforcement of security checks

PISTOIA MARCO25 citations92