Membership
Tour
Register
Log in
Manuvir Das
Follow
Person
Kirkland, WA, US
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
Programmable annotation inference
Patent number
7,703,075
Issue date
Apr 20, 2010
Microsoft Corporation
Manuvir Das
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Source code annotation language
Patent number
7,584,458
Issue date
Sep 1, 2009
Microsoft Corporation
Manuvir Das
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Methods for enhancing flow analysis
Patent number
7,500,232
Issue date
Mar 3, 2009
Microsoft Corporation
Manuvir Das
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Methods for enhancing pointer analyses
Patent number
7,496,894
Issue date
Feb 24, 2009
Microsoft Corporation
Manuvir Das
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
System and method for performing path-sensitive value flow analysis...
Patent number
7,089,537
Issue date
Aug 8, 2006
Microsoft Corporation
Manuvir Das
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Method for enhancing pointer analyses
Patent number
7,003,760
Issue date
Feb 21, 2006
Microsoft Corporation
Manuvir Das
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
System and method for performing a path-sensitive verification on a...
Patent number
6,938,186
Issue date
Aug 30, 2005
Microsoft Corporation
Manuvir Das
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Methods for enhancing flow analysis
Patent number
6,813,761
Issue date
Nov 2, 2004
Microsoft Corporation
Manuvir Das
G06 - COMPUTING CALCULATING COUNTING
Patents Applications
last 30 patents
Information
Patent Application
Programmable annotation inference
Publication number
20060294502
Publication date
Dec 28, 2006
Microsoft Corporation
Manuvir Das
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
State-based source code annotation
Publication number
20060271917
Publication date
Nov 30, 2006
Microsoft Corporation
Manuvir Das
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Source code annotation language
Publication number
20050076331
Publication date
Apr 7, 2005
Microsoft Corporation
Manuvir Das
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
System and method for performing path-sensitive value flow analysis...
Publication number
20050060691
Publication date
Mar 17, 2005
Manuvir Das
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Methods for enhancing pointer analyses
Publication number
20040243980
Publication date
Dec 2, 2004
Microsoft Corporation
Manuvir Das
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Methods for enhancing flow analysis
Publication number
20040205742
Publication date
Oct 14, 2004
Microsoft Corporation
Manuvir Das
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
System and method for performing a path-sensitive verification on a...
Publication number
20030226060
Publication date
Dec 4, 2003
Microsoft Corporation
Manuvir Das
G06 - COMPUTING CALCULATING COUNTING