Membership
Tour
Register
Log in
Juan Chen
Follow
Person
Sammamish, WA, US
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
Type-preserving compiler for security verification
Patent number
8,955,043
Issue date
Feb 10, 2015
Microsoft Corporation
Nikhil Swamy
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Typed intermediate language support for existing compilers
Patent number
8,079,023
Issue date
Dec 13, 2011
Microsoft Corporation
Juan Chen
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Simple stack types
Patent number
7,975,121
Issue date
Jul 5, 2011
Microsoft Corporation
Juan Chen
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Typed intermediate language support for languages with multiple inh...
Patent number
7,627,863
Issue date
Dec 1, 2009
Microsoft Corporation
Juan Chen
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Typed intermediate language support for languages with multiple inh...
Patent number
7,627,862
Issue date
Dec 1, 2009
Microsoft Corporation
Juan Chen
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Typed intermediate representation for object-oriented languages
Patent number
7,512,938
Issue date
Mar 31, 2009
Microsoft Corporation
David Read Tarditi, Jr.
G06 - COMPUTING CALCULATING COUNTING
Patents Applications
last 30 patents
Information
Patent Application
Type-Preserving Compiler for Security Verification
Publication number
20110185345
Publication date
Jul 28, 2011
Microsoft Corporation
Nikhil Swamy
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
SIMPLE STACK TYPES
Publication number
20090282208
Publication date
Nov 12, 2009
Microsoft Corporation
Juan Chen
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Typed intermediate language support for existing compilers
Publication number
20080235675
Publication date
Sep 25, 2008
Microsoft Corporation
Juan Chen
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Typed intermediate language support for languages with multiple inh...
Publication number
20070169029
Publication date
Jul 19, 2007
Microsoft Corporation
Juan Chen
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Typed intermediate language support for languages with multiple inh...
Publication number
20070169040
Publication date
Jul 19, 2007
Microsoft Corporation
Juan Chen
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Typed intermediate representation for object-oriented languages
Publication number
20060212861
Publication date
Sep 21, 2006
Microsoft Corporation
David Read Tarditi
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Type checker for a typed intermediate representation of object-orie...
Publication number
20060212847
Publication date
Sep 21, 2006
Microsoft Corporation
David Read Tarditi
G06 - COMPUTING CALCULATING COUNTING