Membership
Tour
Register
Log in
Madan Musuvathi
Follow
Person
Redmond, WA, US
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
System and methods for optimal error detection in programmatic envi...
Patent number
10,509,694
Issue date
Dec 17, 2019
Microsoft Technology Licensing, LLC
Lenin Ravindranath Sivalingam
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Data collisions in concurrent programs
Patent number
9,069,894
Issue date
Jun 30, 2015
Microsoft Technology Licensing, LLC
John Erickson
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Data race detection
Patent number
8,813,038
Issue date
Aug 19, 2014
Microsoft Corporation
John Erickson
G06 - COMPUTING CALCULATING COUNTING
Patents Applications
last 30 patents
Information
Patent Application
SYSTEM AND METHODS FOR OPTIMAL ERROR DETECTION IN PROGRAMMATIC ENVI...
Publication number
20180373581
Publication date
Dec 27, 2018
Microsoft Technology Licensing, LLC
Lenin Ravindranath SIVALINGAM
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
DATA COLLISIONS IN CONCURRENT PROGRAMS
Publication number
20150261654
Publication date
Sep 17, 2015
Microsoft Technology Licensing, LLC
John Erickson
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
MODELING AND PREDICTING CONTROL SYSTEM BEHAVIOR THROUGH FAST-FORWAR...
Publication number
20130158974
Publication date
Jun 20, 2013
Microsoft Corporation
Jason Croft
G05 - CONTROLLING REGULATING
Information
Patent Application
DATA RACE DETECTION
Publication number
20120204062
Publication date
Aug 9, 2012
Microsoft Corporation
John Erickson
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
DATA COLLISIONS IN CONCURRENT PROGRAMS
Publication number
20110314338
Publication date
Dec 22, 2011
Microsoft Corporation
John Erickson
G06 - COMPUTING CALCULATING COUNTING