Inventor · disambiguated record
Eran Yahav
Also filed as: YAHAV ERAN
15 granted patents·2 pending applications·60 citations·filing 2009–2019
90Inventor score
Top patents by PatentIndex Score
17 records- 0192US8646088B2Runtime enforcement of security checksPISTOIA MARCO·Filed 2011·Granted Feb 4, 2014·25 cites·24 claims
- 0284US10514909B2Similarity of binariesTECHNION RES & DEV FOUNDATION·Filed 2018·Granted Dec 24, 2019·6 cites·20 claims
- 0377US9292446B2Speculative prefetching of remote dataIBM·Filed 2012·Granted Mar 22, 2016·5 cites·25 claims
- 0476US10210211B2Code searching and rankingCODOTA DOT COM LTD·Filed 2015·Granted Feb 19, 2019·3 cites·21 claims
- 0574US11188322B2Similarity of binariesTECHNION RES & DEV FOUNDATION·Filed 2019·Granted Nov 30, 2021·2 cites·21 claims
- 0673US9069893B2Automatic verification of determinism for parallel programsVECHEV MARTIN·Filed 2011·Granted Jun 30, 2015·5 cites·12 claims
- 0772US9852217B2Searching and ranking of code in videosCODOTA DOT COM LTD·Filed 2015·Granted Dec 26, 2017·2 cites·22 claims
- 0866US8374978B2Context-sensitive dynamic bloat detection system that uses a semantic profiler to collect usage statisticsIBM·Filed 2010·Granted Feb 12, 2013·4 cites·25 claims
- 0965US8495427B2Detecting defects in deployed systemsARNOLD MATTHEW R·Filed 2009·Granted Jul 23, 2013·4 cites·24 claims
- 1062US8645917B2Providing support for debugging heap related errors with heap assertionsARNOLD MATTHEW R·Filed 2009·Granted Feb 4, 2014·3 cites·17 claims
- 1161US9092569B2Abstraction-guided synthesisIBM·Filed 2013·Granted Jul 28, 2015·1 cites·9 claims
- 1247US2013247001A1Dynamic synthesis of program synchronizationVECHEV MARTIN·Filed 2012·Application pending·0 cites
- 1346US2013247000A1Dynamic synthesis of program synchronizationVECHEV MARTIN·Filed 2012·Application pending·0 cites
- 1443US8839248B2Synthesis of memory barriersKUPERSTEIN MICHAEL·Filed 2010·Granted Sep 16, 2014·0 cites·14 claims
- 1542US8495588B2Abstraction-guided synthesisVECHEV MARTIN·Filed 2010·Granted Jul 23, 2013·0 cites·21 claims
- 1641US9110658B2Automatic verification and synthesis for weak memory modelsKUPERSTEIN MICHAEL·Filed 2011·Granted Aug 18, 2015·0 cites·17 claims
- 1741US8548966B2Asynchronous assertionsVECHEV MARTIN·Filed 2011·Granted Oct 1, 2013·0 cites·19 claims
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →