TREA

Eran Yahav

Follow

Person

  • Yorktown Heights, NY, US
People

Patents Grantslast 30 patents

Patents Applicationslast 30 patents

  • Information Patent Application

    Automatic Verification of Determinism for Parallel Programs
    • Publication number 20120246662
    • Publication date Sep 27, 2012
    • Martin Vechev
    • G06 - COMPUTING CALCULATING COUNTING
  • Information Patent Application

    ASYNCHRONOUS ASSERTIONS
    • Publication number 20120179650
    • Publication date Jul 12, 2012
    • International Business Machines Corporation
    • Martin Vechev
    • G06 - COMPUTING CALCULATING COUNTING
  • Information Patent Application

    Context-Sensitive Dynamic Bloat Detection System
    • Publication number 20110295789
    • Publication date Dec 1, 2011
    • International Business Machines Corporation
    • Ohad Shacham
    • G06 - COMPUTING CALCULATING COUNTING
  • Information Patent Application

    Synthesis of Memory Barriers
    • Publication number 20110296424
    • Publication date Dec 1, 2011
    • International Business Machines Corporation
    • Michael Kuperstein
    • G06 - COMPUTING CALCULATING COUNTING
  • Information Patent Application

    ABSTRACTION-GUIDED SYNTHESIS
    • Publication number 20110258606
    • Publication date Oct 20, 2011
    • International Business Machines Corporation
    • Martin Vechev
    • G06 - COMPUTING CALCULATING COUNTING
  • Information Patent Application

    DETECTING DEFECTS IN DEPLOYED SYSTEMS
    • Publication number 20110087927
    • Publication date Apr 14, 2011
    • International Business Machines Corporation
    • Matthew R. Arnold
    • G06 - COMPUTING CALCULATING COUNTING
  • Information Patent Application

    HEAP ASSERTIONS
    • Publication number 20110087926
    • Publication date Apr 14, 2011
    • International Business Machines Corporation
    • Matthew R. Arnold
    • G06 - COMPUTING CALCULATING COUNTING