Inventor · Redmond, WA, US

Madanlal Musuvathi

24Patents
6h-index
27Co-inventors
65Inventor score

Filing activity: Jun 15, 2006 → Oct 31, 2018

Most-cited inventions

PatentTitleAreaCited byStatus
US9195436B2 Parallel dynamic programming through rank convergence Electricity 40 Active
US7873945B2 Automatically generating test cases for binary code Physics 22 Active
US11177935B2 Homomorphic evaluation of tensor programs Electricity 17 Active
US7926035B2 Testing multi-thread software using prioritized context switch limits Physics 9 Active
US8533682B2 Amplification of dynamic checks through concurrency fuzzing Physics 7 Active
US9098621B2 Modeling software behavior using learned predicates Physics 6 Active
US10503580B2 Determining a likelihood of a resource experiencing a problem based on telemetry data Electricity 5 Active
US9955194B2 Server GPU assistance for mobile GPU applications Electricity 5 Active
US9264749B2 Server GPU assistance for mobile GPU applications Electricity 4 Active
US10922627B2 Determining a course of action based on aggregated data Physics 4 Active
US8930907B2 Concurrency software testing with probabilistic bounds on finding bugs Physics 2 Active
US10805317B2 Implementing network security measures in response to a detected cyber attack Electricity 2 Active
US7606774B2 Computer implemented cover process approximating quantifier elimination Physics 2 Active
US9384239B2 Parallel local sequence alignment Physics 1 Active
US7596534B2 Computer implemented methods for solving difference and non-difference linear constraints Physics 1 Active
US8418146B2 Sampling techniques for dynamic data-race detection Physics 1 Active
US8392891B2 Technique for finding relaxed memory model vulnerabilities Physics 1 Active
US10922620B2 Machine learning through parallelized stochastic gradient descent Physics 1 Active
US9063778B2 Fair stateless model checking Physics 0 Active
US11295231B2 Systems, methods, and computer-readable media for parallel stochastic gradient descent with linear and non-linear activation functions Physics 0 Active
US9053227B2 Concurrent assertion Physics 0 Active
US8433954B2 Testing components for thread safety Physics 0 Active
US11062226B2 Determining a likelihood of a user interaction with a content element Physics 0 Active
US10067989B2 Technologies for mining temporal patterns in big data Physics 0 Active

Source: USPTO / EPO open patent data. Inventor disambiguation is heuristic; counts are objective bibliographic measures.