Bor-Yuh Evan Chang

Follow

Person

Berkeley, CA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Inferring object invariant method and system
- Patent number 7,590,978
- Issue date Sep 15, 2009
- Microsoft Corporation
- Bor-Yuh Evan Chang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Abstract interpretation with a congruence abstract domain and/or a...
- Patent number 7,559,054
- Issue date Jul 7, 2009
- Microsoft Corporation
- Bor-Yuh Evan Chang
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Inferring object invariant method and system
- Publication number 20060236305
- Publication date Oct 19, 2006
- Microsoft Corporation
- Bor-Yuh Evan Chang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Abstract interpretation with a congruence abstract domain and/or a...
- Publication number 20060236311
- Publication date Oct 19, 2006
- Microsoft Corporation
- Bor-Yuh Evan Chang
- G06 - COMPUTING CALCULATING COUNTING