HENNING KORSHOLM ROHDE

Follow

Person

RENTON, 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
Globally sound and consistent configuration management for distribu...
- Patent number 8,769,494
- Issue date Jul 1, 2014
- Microsoft Corporation
- Henning Rohde
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Embedded annotation and program analysis
- Patent number 8,726,254
- Issue date May 13, 2014
- Microsoft Corporation
- Henning Korsholm Rohde
- 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
GLOBALLY SOUND AND CONSISTENT CONFIGURATION MANAGEMENT FOR DISTRIBU...
- Publication number 20120151443
- Publication date Jun 14, 2012
- Microsoft Corporation
- HENNING KORSHOLM ROHDE
- 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
Information Patent Application
EMBEDDED ANNOTATION AND PROGRAM ANALYSIS
- Publication number 20100325620
- Publication date Dec 23, 2010
- Microsoft Corporation
- Henning Korsholm Rohde
- G06 - COMPUTING CALCULATING COUNTING