TREA

Eran Yahav

Follow

Person

  • Haifa, IL
People

Patents Grantslast 30 patents

  • Information Patent Grant

    Similarity of binaries
    • Patent number 11,188,322
    • Issue date Nov 30, 2021
    • Technion Research & Development Foundation Limited
    • Eran Yahav
    • G06 - COMPUTING CALCULATING COUNTING
  • Information Patent Grant

    Similarity of binaries
    • Patent number 10,514,909
    • Issue date Dec 24, 2019
    • Technion Research & Development Foundation Limited
    • Eran Yahav
    • G06 - COMPUTING CALCULATING COUNTING
  • Information Patent Grant

    Code searching and ranking
    • Patent number 10,210,211
    • Issue date Feb 19, 2019
    • CODOTA DOT COM LTD.
    • Eran Yahav
    • G06 - COMPUTING CALCULATING COUNTING
  • Information Patent Grant

    Searching and ranking of code in videos
    • Patent number 9,852,217
    • Issue date Dec 26, 2017
    • CODOTA DOT COM LTD.
    • Eran Yahav
    • G06 - COMPUTING CALCULATING COUNTING
  • Information Patent Grant

    Speculative prefetching of remote data
    • Patent number 9,292,446
    • Issue date Mar 22, 2016
    • International Business Machines Corporation
    • Arun Raman
    • G06 - COMPUTING CALCULATING COUNTING
  • Information Patent Grant

    Automatic verification and synthesis for weak memory models
    • Patent number 9,110,658
    • Issue date Aug 18, 2015
    • International Business Machines Corporation
    • Michael Kuperstein
    • G06 - COMPUTING CALCULATING COUNTING
  • Information Patent Grant

    Abstraction-guided synthesis
    • Patent number 9,092,569
    • Issue date Jul 28, 2015
    • International Business Machines Corporation
    • Martin Vechev
    • G06 - COMPUTING CALCULATING COUNTING
  • Information Patent Grant

    Automatic verification of determinism for parallel programs
    • Patent number 9,069,893
    • Issue date Jun 30, 2015
    • International Business Machines Corporation
    • Martin Vechev
    • G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

  • Information Patent Application

    SIMILARITY OF BINARIES
    • Publication number 20200174785
    • Publication date Jun 4, 2020
    • Technion Research & Development Foundation Limited
    • Eran YAHAV
    • G06 - COMPUTING CALCULATING COUNTING
  • Information Patent Application

    SIMILARITY OF BINARIES
    • Publication number 20180285101
    • Publication date Oct 4, 2018
    • Technion Research & Development Foundation Limited
    • Eran YAHAV
    • G06 - COMPUTING CALCULATING COUNTING
  • Information Patent Application

    SEARCHING AND RANKING OF CODE IN VIDEOS
    • Publication number 20160063102
    • Publication date Mar 3, 2016
    • CODOTA DOT COM LTD.
    • Eran Yahav
    • G06 - COMPUTING CALCULATING COUNTING
  • Information Patent Application

    CODE SEARCHING AND RANKING
    • Publication number 20160063062
    • Publication date Mar 3, 2016
    • CODOTA DOT COM LTD.
    • Eran Yahav
    • G06 - COMPUTING CALCULATING COUNTING
  • Information Patent Application

    SPECULATIVE PREFETCHING OF REMOTE DATA
    • Publication number 20140101278
    • Publication date Apr 10, 2014
    • International Business Machines Corporation
    • Arun Raman
    • G06 - COMPUTING CALCULATING COUNTING
  • Information Patent Application

    ABSTRACTION-GUIDED SYNTHESIS
    • Publication number 20130268918
    • Publication date Oct 10, 2013
    • Martin Vechev
    • G06 - COMPUTING CALCULATING COUNTING
  • Information Patent Application

    DYNAMIC SYNTHESIS OF PROGRAM SYNCHRONIZATION
    • Publication number 20130247001
    • Publication date Sep 19, 2013
    • International Business Machine Corporation
    • Martin Vechev
    • G06 - COMPUTING CALCULATING COUNTING
  • Information Patent Application

    DYNAMIC SYNTHESIS OF PROGRAM SYNCHRONIZATION
    • Publication number 20130247000
    • Publication date Sep 19, 2013
    • International Business Machine Corporation
    • Martin Vechev
    • G06 - COMPUTING CALCULATING COUNTING
  • Information Patent Application

    Automatic Verification and Synthesis for Weak Memory Models
    • Publication number 20120278792
    • Publication date Nov 1, 2012
    • International Business Machines Corporation
    • Michael Kuperstein
    • G06 - COMPUTING CALCULATING COUNTING