TREA

Conal McGarvey

Follow

Person

  • Seattle, WA, US
People

Patents Grantslast 30 patents

Patents Applicationslast 30 patents

  • Information Patent Application

    INPUT/OUTPUT CONTROL CODE FILTER
    • Publication number 20200226082
    • Publication date Jul 16, 2020
    • Microsoft Technology Licensing, LLC
    • Cymonique Anita KILMER
    • G06 - COMPUTING CALCULATING COUNTING
  • Information Patent Application

    ENHANCED TECHNIQUES FOR DETECTING PROGRAMMING ERRORS IN DEVICE DRIVERS
    • Publication number 20180373654
    • Publication date Dec 27, 2018
    • Microsoft Technology Licensing, LLC
    • Conal MCGARVEY
    • G06 - COMPUTING CALCULATING COUNTING
  • Information Patent Application

    CONFIGURABLE SYSTEM WIDE TESTS
    • Publication number 20180225165
    • Publication date Aug 9, 2018
    • Microsoft Technology Licensing, LLC
    • Conal McGarvey
    • G06 - COMPUTING CALCULATING COUNTING
  • Information Patent Application

    SEGMENTATION FOR STATIC ANALYSIS
    • Publication number 20100275186
    • Publication date Oct 28, 2010
    • Microsoft Corporation
    • Conal McGarvey
    • G06 - COMPUTING CALCULATING COUNTING
  • Information Patent Application

    Per Group Verification
    • Publication number 20100186003
    • Publication date Jul 22, 2010
    • Microsoft Corporation
    • Adam Shapiro
    • G06 - COMPUTING CALCULATING COUNTING
  • Information Patent Application

    PRECONDITION RULES FOR STATIC VERIFICATION OF CODE
    • Publication number 20090319997
    • Publication date Dec 24, 2009
    • Microsoft Corporation
    • Jakob Frederik Lichtenberg
    • G06 - COMPUTING CALCULATING COUNTING