ANNA GRINGAUZE

Follow

Person

REDMOND, WA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Intermediate representation construction for static analysis
- Patent number 9,563,535
- Issue date Feb 7, 2017
- Microsoft Technology Licensing, LLC
- Anna Gringauze
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Intermediate representation construction for static analysis
- Patent number 8,930,913
- Issue date Jan 6, 2015
- Microsoft Corporation
- Anna Gringauze
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Detecting data race and atomicity violation via typestate-guided st...
- Patent number 8,510,722
- Issue date Aug 13, 2013
- Microsoft Corporation
- Yue Yang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Static analysis using interactive and integration tools
- Patent number 8,443,342
- Issue date May 14, 2013
- Microsoft Corporation
- Henning Korsholm Rohde
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
INTERMEDIATE REPRESENTATION CONSTRUCTION FOR STATIC ANALYSIS
- Publication number 20150212924
- Publication date Jul 30, 2015
- Microsoft Technology Lincensing, LLC
- Anna Gringauze
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INTERMEDIATE REPRESENTATION CONSTRUCTION FOR STATIC ANALYSIS
- Publication number 20120079468
- Publication date Mar 29, 2012
- Microsoft Corporation
- ANNA GRINGAUZE
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
STATIC ANALYSIS USING INTERACTIVE AND INTEGRATION TOOLS
- Publication number 20110296388
- Publication date Dec 1, 2011
- Microsoft Corporation
- HENNING KORSHOLM ROHDE
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DETECTING DATA RACE AND ATOMICITY VIOLATION VIA TYPESTATE-GUIDED ST...
- Publication number 20110022893
- Publication date Jan 27, 2011
- Microsoft Corporation
- Yue Yang
- G06 - COMPUTING CALCULATING COUNTING