Inventor · disambiguated record
Madanlal Musuvathi
Also filed as: MUSUVATHI MADANLAL · MUSUVATHI MADANLAL S
24 granted patents·1 pending application·154 citations·filing 2006–2018
94Inventor score
Files withMICROSOFT TECHNOLOGY LICENSING LLC9MICROSOFT CORP8MUSUVATHI MADANLAL2BURCKHARDT SEBASTIAN1BURCKHARDT SEBASTIAN C1
Top patents by PatentIndex Score
25 records- 0194US9195436B2Parallel dynamic programming through rank convergenceMICROSOFT CORP·Filed 2014·Granted Nov 24, 2015·34 cites·20 claims
- 0292US11177935B2Homomorphic evaluation of tensor programsMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2018·Granted Nov 16, 2021·20 cites·19 claims
- 0390US7873945B2Automatically generating test cases for binary codeMICROSOFT CORP·Filed 2007·Granted Jan 18, 2011·29 cites·20 claims
- 0488US9955194B2Server GPU assistance for mobile GPU applicationsMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2016·Granted Apr 24, 2018·5 cites·20 claims
- 0584US10503580B2Determining a likelihood of a resource experiencing a problem based on telemetry dataMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2017·Granted Dec 10, 2019·7 cites·20 claims
- 0684US7926035B2Testing multi-thread software using prioritized context switch limitsMICROSOFT CORP·Filed 2007·Granted Apr 12, 2011·14 cites·17 claims
- 0782US9264749B2Server GPU assistance for mobile GPU applicationsMICROSOFT CORP·Filed 2012·Granted Feb 16, 2016·4 cites·20 claims
- 0880US8533682B2Amplification of dynamic checks through concurrency fuzzingKAKULAMARRI LAXMI NARSIMHA RAO·Filed 2010·Granted Sep 10, 2013·11 cites·16 claims
- 0979US9098621B2Modeling software behavior using learned predicatesZHENG ALICE X·Filed 2011·Granted Aug 4, 2015·8 cites·20 claims
- 1077US10922627B2Determining a course of action based on aggregated dataMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2017·Granted Feb 16, 2021·4 cites·20 claims
- 1174US10805317B2Implementing network security measures in response to a detected cyber attackMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2017·Granted Oct 13, 2020·3 cites·20 claims
- 1269US10922620B2Machine learning through parallelized stochastic gradient descentMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2016·Granted Feb 16, 2021·2 cites·20 claims
- 1365US7606774B2Computer implemented cover process approximating quantifier eliminationMICROSOFT CORP·Filed 2006·Granted Oct 20, 2009·3 cites·9 claims
- 1462US8392891B2Technique for finding relaxed memory model vulnerabilitiesBURCKHARDT SEBASTIAN·Filed 2008·Granted Mar 5, 2013·3 cites·19 claims
- 1561US9384239B2Parallel local sequence alignmentMICROSOFT CORP·Filed 2012·Granted Jul 5, 2016·1 cites·20 claims
- 1657US7596534B2Computer implemented methods for solving difference and non-difference linear constraintsMICROSOFT CORP·Filed 2006·Granted Sep 29, 2009·1 cites·19 claims
- 1756US8418146B2Sampling techniques for dynamic data-race detectionMUSUVATHI MADANLAL·Filed 2008·Granted Apr 9, 2013·2 cites·18 claims
- 1852US8930907B2Concurrency software testing with probabilistic bounds on finding bugsBURCKHARDT SEBASTIAN CARL·Filed 2009·Granted Jan 6, 2015·3 cites·20 claims
- 1945US9053227B2Concurrent assertionBURNIM JACOB SAMUELS·Filed 2012·Granted Jun 9, 2015·0 cites·18 claims
- 2044US9063778B2Fair stateless model checkingMUSUVATHI MADANLAL·Filed 2008·Granted Jun 23, 2015·0 cites·20 claims
- 2144US2010153928A1Developing and Maintaining High Performance Network ServicesMICROSOFT CORP·Filed 2008·Application pending·0 cites
- 2242US11295231B2Systems, methods, and computer-readable media for parallel stochastic gradient descent with linear and non-linear activation functionsMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2017·Granted Apr 5, 2022·0 cites·15 claims
- 2341US10067989B2Technologies for mining temporal patterns in big dataMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2015·Granted Sep 4, 2018·0 cites·20 claims
- 2439US11062226B2Determining a likelihood of a user interaction with a content elementMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2017·Granted Jul 13, 2021·0 cites·19 claims
- 2532US8433954B2Testing components for thread safetyBURCKHARDT SEBASTIAN C·Filed 2010·Granted Apr 30, 2013·0 cites·20 claims
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →