Membership
Tour
Register
Log in
Madanlal S. Musuvathi
Follow
Person
Seattle, WA, US
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
Systems, methods, and computer-readable media for parallel stochast...
Patent number
11,295,231
Issue date
Apr 5, 2022
Microsoft Technology Licensing, LLC
Saeed Maleki
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Homomorphic evaluation of tensor programs
Patent number
11,177,935
Issue date
Nov 16, 2021
Microsoft Technology Licensing, LLC
Madanlal S. Musuvathi
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Determining a likelihood of a user interaction with a content element
Patent number
11,062,226
Issue date
Jul 13, 2021
Microsoft Technology Licensing, LLC
Madanlal S. Musuvathi
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Machine learning through parallelized stochastic gradient descent
Patent number
10,922,620
Issue date
Feb 16, 2021
Microsoft Technology Licensing, LLC
Todd Mytkowicz
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Determining a course of action based on aggregated data
Patent number
10,922,627
Issue date
Feb 16, 2021
Microsoft Technology Licensing, LLC
Madanlal S. Musuvathi
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Implementing network security measures in response to a detected cy...
Patent number
10,805,317
Issue date
Oct 13, 2020
Microsoft Technology Licensing, LLC
Madanlal S. Musuvathi
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Determining a likelihood of a resource experiencing a problem based...
Patent number
10,503,580
Issue date
Dec 10, 2019
Microsoft Technology Licensing, LLC
Madanlal S. Musuvathi
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Technologies for mining temporal patterns in big data
Patent number
10,067,989
Issue date
Sep 4, 2018
Microsoft Technology Licensing, LLC
Madanlal Musuvathi
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Server GPU assistance for mobile GPU applications
Patent number
9,955,194
Issue date
Apr 24, 2018
Microsoft Technology Licensing, LLC
Alastair Wolman
H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information
Patent Grant
Parallel local sequence alignment
Patent number
9,384,239
Issue date
Jul 5, 2016
Microsoft Technology Licensing, LLC
Madanlal Musuvathi
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Server GPU assistance for mobile GPU applications
Patent number
9,264,749
Issue date
Feb 16, 2016
Microsoft Technology Licensing, LLC
Alastair Wolman
H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information
Patent Grant
Parallel dynamic programming through rank convergence
Patent number
9,195,436
Issue date
Nov 24, 2015
Microsoft Technology Licensing, LLC
Todd D. Mytkowicz
H03 - BASIC ELECTRONIC CIRCUITRY
Information
Patent Grant
Modeling software behavior using learned predicates
Patent number
9,098,621
Issue date
Aug 4, 2015
Microsoft Technology Licensing, LLC
Alice X. Zheng
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Fair stateless model checking
Patent number
9,063,778
Issue date
Jun 23, 2015
Microsoft Technology Licensing, LLC
Madanlal Musuvathi
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Concurrent assertion
Patent number
9,053,227
Issue date
Jun 9, 2015
Microsoft Technology Licensing, LLC
Jacob Samuels Burnim
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Concurrency software testing with probabilistic bounds on finding bugs
Patent number
8,930,907
Issue date
Jan 6, 2015
Microsoft Corporation
Sebastian Carl Burckhardt
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Amplification of dynamic checks through concurrency fuzzing
Patent number
8,533,682
Issue date
Sep 10, 2013
Microsoft Corporation
Laxmi Narsimha Rao Kakulamarri
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Testing components for thread safety
Patent number
8,433,954
Issue date
Apr 30, 2013
Microsoft Corporation
Sebastian C. Burckhardt
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Sampling techniques for dynamic data-race detection
Patent number
8,418,146
Issue date
Apr 9, 2013
Microsoft Corporation
Madanlal Musuvathi
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Technique for finding relaxed memory model vulnerabilities
Patent number
8,392,891
Issue date
Mar 5, 2013
Microsoft Corporation
Sebastian Burckhardt
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Testing multi-thread software using prioritized context switch limits
Patent number
7,926,035
Issue date
Apr 12, 2011
Microsoft Corporation
Madanlal S. Musuvathi
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Automatically generating test cases for binary code
Patent number
7,873,945
Issue date
Jan 18, 2011
Microsoft Corporation
Madanlal Musuvathi
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Computer implemented cover process approximating quantifier elimina...
Patent number
7,606,774
Issue date
Oct 20, 2009
Microsoft Corporation
Madanlal S. Musuvathi
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Computer implemented methods for solving difference and non-differe...
Patent number
7,596,534
Issue date
Sep 29, 2009
Microsoft Corporation
Madanlal S. Musuvathi
G06 - COMPUTING CALCULATING COUNTING
Patents Applications
last 30 patents
Information
Patent Application
HOMOMORPHIC EVALUATION OF TENSOR PROGRAMS
Publication number
20200076570
Publication date
Mar 5, 2020
Microsoft Technology Licensing, LLC
Madanlal S. MUSUVATHI
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
IMPLEMENTING NETWORK SECURITY MEASURES IN RESPONSE TO A DETECTED CY...
Publication number
20180367550
Publication date
Dec 20, 2018
Microsoft Technology Licensing, LLC
Madanlal S. MUSUVATHI
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
DETERMINING A COURSE OF ACTION BASED ON AGGREGATED DATA
Publication number
20180365582
Publication date
Dec 20, 2018
Microsoft Technology Licensing, LLC
Madanlal S. MUSUVATHI
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
DETERMINING A LIKELIHOOD OF A RESOURCE EXPERIENCING A PROBLEM BASED...
Publication number
20180365093
Publication date
Dec 20, 2018
Microsoft Technology Licensing, LLC
Madanlal S. MUSUVATHI
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
DETERMINING A LIKELIHOOD OF A USER INTERACTION WITH A CONTENT ELEMENT
Publication number
20180365580
Publication date
Dec 20, 2018
Microsoft Technology Licensing, LLC
Madanlal S. MUSUVATHI
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
SYSTEMS, METHODS, AND COMPUTER-READABLE MEDIA FOR PARALLEL STOCHAST...
Publication number
20180330271
Publication date
Nov 15, 2018
Microsoft Technology Licensing, LLC
Saeed MALEKI
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
MACHINE LEARNING THROUGH PARALLELIZED STOCHASTIC GRADIENT DESCENT
Publication number
20170213148
Publication date
Jul 27, 2017
Microsoft Technology Licensing, LLC
Todd Mytkowicz
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
TECHNOLOGIES FOR MINING TEMPORAL PATTERNS IN BIG DATA
Publication number
20160306859
Publication date
Oct 20, 2016
Microsoft Technology Licensing, LLC
Madanlal Musuvathi
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
SERVER GPU ASSISTANCE FOR MOBILE GPU APPLICATIONS
Publication number
20160134907
Publication date
May 12, 2016
Microsoft Technology Licensing, LLC
Alastair Wolman
H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information
Patent Application
PARALLEL DYNAMIC PROGRAMMING THROUGH RANK CONVERGENCE
Publication number
20150106783
Publication date
Apr 16, 2015
Microsoft Corporation
Todd D. Mytkowicz
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
PARALLEL LOCAL SEQUENCE ALIGNMENT
Publication number
20140172824
Publication date
Jun 19, 2014
Microsoft Corporation
Madanlal Musuvathi
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
SERVER GPU ASSISTANCE FOR MOBILE GPU APPLICATIONS
Publication number
20140173674
Publication date
Jun 19, 2014
Microsoft Corporation
Alastair Wolman
H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information
Patent Application
CONCURRENT ASSERTION
Publication number
20130239120
Publication date
Sep 12, 2013
Microsoft Corporation
Jacob Samuels Burnim
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
MODELING SOFTWARE BEHAVIOR USING LEARNED PREDICATES
Publication number
20120222013
Publication date
Aug 30, 2012
Microsoft Corporation
Alice X. Zheng
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
AMPLIFICATION OF DYNAMIC CHECKS THROUGH CONCURRENCY FUZZING
Publication number
20120117544
Publication date
May 10, 2012
Microsoft Corporation
Laxmi Narsimha Rao Kakulamarri
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Testing Components for Thread Safety
Publication number
20110258490
Publication date
Oct 20, 2011
Microsoft Corporation
Sebastian C. Burckhardt
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Concurrency Software Testing with Probabilistic Bounds on Finding Bugs
Publication number
20110131550
Publication date
Jun 2, 2011
Microsoft Corporation
Sebastian Carl Burckhardt
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Developing and Maintaining High Performance Network Services
Publication number
20100153928
Publication date
Jun 17, 2010
Microsoft Corporation
Benjamin Livshits
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
SAMPLING TECHNIQUES FOR DYNAMIC DATA-RACE DETECTION
Publication number
20100131931
Publication date
May 27, 2010
Microsoft Corporation
Madanlal Musuvathi
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
TECHNIQUE FOR FINDING RELAXED MEMORY MODEL VULNERABILITIES
Publication number
20090328045
Publication date
Dec 31, 2009
Microsoft Corporation
Sebastian Burckhardt
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
FAIR STATELESS MODEL CHECKING
Publication number
20090178044
Publication date
Jul 9, 2009
Microsoft Corporation
Madanlal Musuvathi
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
AUTOMATICALLY GENERATING TEST CASES FOR BINARY CODE
Publication number
20090007077
Publication date
Jan 1, 2009
Microsoft Corporation
Madanlal Musuvathi
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
TESTING MULTI-THREAD SOFTWARE USING PRIORITIZED CONTEXT SWITCH LIMITS
Publication number
20080271042
Publication date
Oct 30, 2008
Microsoft Corporation
Madanlal S. Musuvathi
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
COMPUTER IMPLEMENTED COVER PROCESS APPROXIMATING QUANTIFIER ELIMINA...
Publication number
20070299793
Publication date
Dec 27, 2007
Microsoft Corporation
Madanlal S. Musuvathi
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
Computer method for solving sparse linear constraints
Publication number
20070294196
Publication date
Dec 20, 2007
Microsoft Corporation
Madanlal S. Musuvathi
G06 - COMPUTING CALCULATING COUNTING