Manu Sridharan

Person

Boulder, CO, US

People

Patents Grantslast 30 patents

Information Patent Grant
Automatic conversion of sequential array-based programs to parallel...
- Patent number 9,753,708
- Issue date Sep 5, 2017
- International Business Machines Corporation
- Stephen Fink
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Simulating black box test results using information from white box...
- Patent number 9,747,187
- Issue date Aug 29, 2017
- International Business Machines Corporation
- Stephen Fink
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automatic conversion of sequential array-based programs to parallel...
- Patent number 9,747,089
- Issue date Aug 29, 2017
- International Business Machines Corporation
- Stephen Fink
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Simulating black box test results using information from white box...
- Patent number 9,720,798
- Issue date Aug 1, 2017
- International Business Machines Corporation
- Stephen Fink
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automated testing of applications with scripting code
- Patent number 9,135,147
- Issue date Sep 15, 2015
- International Business Machines Corporation
- Shay Artzi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Global variable security analysis
- Patent number 9,075,997
- Issue date Jul 7, 2015
- International Business Machines Corporation
- Shay Artzi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Generating specifications for expression language expressions and t...
- Patent number 8,903,702
- Issue date Dec 2, 2014
- International Business Machines Corporation
- Shay Artzi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Refactoring programs for flexible locking
- Patent number 8,869,127
- Issue date Oct 21, 2014
- International Business Machines Corporation
- Julian Dolby
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Scalable property-sensitive points-to analysis for program code
- Patent number 8,694,971
- Issue date Apr 8, 2014
- International Business Machines Corporation
- Satish Chandra
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Correct refactoring of concurrent software
- Patent number 8,689,191
- Issue date Apr 1, 2014
- International Business Machines Corporation
- Julian Dolby
Information Patent Grant
Global variable security analysis
- Patent number 8,656,496
- Issue date Feb 18, 2014
- International Business Machines Corporations
- Shay Artzi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Feedback-directed call graph expansion
- Patent number 8,516,452
- Issue date Aug 20, 2013
- International Business Machines Corporation
- Satish Chandra
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for efficient and precise datarace detection f...
- Patent number 8,464,223
- Issue date Jun 11, 2013
- International Business Machines Corporation
- Jong-Deok Choi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Generating specifications of client-server applications for static...
- Patent number 8,434,070
- Issue date Apr 30, 2013
- International Business Machines Corporation
- Shay Artzi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for efficient and precise datarace detection f...
- Patent number 7,516,446
- Issue date Apr 7, 2009
- International Business Machines Corporation
- Jong-Deok Choi
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
AUTOMATIC CONVERSION OF SEQUENTIAL ARRAY-BASED PROGRAMS TO PARALLEL...
- Publication number 20160110176
- Publication date Apr 21, 2016
- International Business Machines Corporation
- Stephen Fink
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATIC CONVERSION OF SEQUENTIAL ARRAY-BASED PROGRAMS TO PARALLEL...
- Publication number 20160110175
- Publication date Apr 21, 2016
- International Business Machines Corporation
- Stephen Fink
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Global Variable Security Analysis
- Publication number 20150220739
- Publication date Aug 6, 2015
- International Business Machines Corporation
- Shay Artzi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Global Variable Security Analysis
- Publication number 20140143880
- Publication date May 22, 2014
- International Business Machines Corporation
- Shay Artzi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATED TESTING OF APPLICATIONS WITH SCRIPTING CODE
- Publication number 20130290786
- Publication date Oct 31, 2013
- International Business Machines Corporation
- Shay ARTZI
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
RACE DETECTION FOR WEB APPLICATIONS
- Publication number 20130275951
- Publication date Oct 17, 2013
- International Business Machines Corporation
- Julian Dolby
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SCALABLE PROPERTY-SENSITIVE POINTS-TO ANALYSIS FOR PROGRAM CODE
- Publication number 20130091487
- Publication date Apr 11, 2013
- International Business Machines Corporation
- Satish CHANDRA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
GENERATING SPECIFICATIONS FOR EXPRESSION LANGUAGE EXPRESSIONS AND T...
- Publication number 20130054221
- Publication date Feb 28, 2013
- International Business Machines Corporation
- Shay ARTZI
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SIMULATING BLACK BOX TEST RESULTS USING INFORMATION FROM WHITE BOX...
- Publication number 20120254839
- Publication date Oct 4, 2012
- International Business Machines Corporation
- Stephen Fink
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
REFACTORING PROGRAMS FOR FLEXIBLE LOCKING
- Publication number 20120174082
- Publication date Jul 5, 2012
- International Business Machines Corporation
- Julian DOLBY
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Global Variable Security Analysis
- Publication number 20120131670
- Publication date May 24, 2012
- International Business Machines Corporation
- Shay Artzi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SIMULATING BLACK BOX TEST RESULTS USING INFORMATION FROM WHITE BOX...
- Publication number 20120110551
- Publication date May 3, 2012
- International Business Machines Corporation
- Stephen Fink
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
GENERATING SPECIFICATIONS OF CLIENT-SERVER APPLICATIONS FOR STATIC...
- Publication number 20120102471
- Publication date Apr 26, 2012
- International Business Machines Corporation
- Shay ARTZI
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
STATIC ANALYSIS OF CLIENT-SERVER APPLICATIONS USING FRAMEWORK INDEP...
- Publication number 20120102474
- Publication date Apr 26, 2012
- International Business Machines Corporation
- Shay Artzi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CORRECT REFACTORING OF CONCURRENT SOFTWARE
- Publication number 20110219361
- Publication date Sep 8, 2011
- International Business Machines Corporation
- JULIAN DOLBY
Information Patent Application
Feedback-Directed Call Graph Expansion
- Publication number 20110138369
- Publication date Jun 9, 2011
- International Business Machines Corporation
- Satish Chandra
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND APPARATUS FOR EFFICIENT AND PRECISE DATARACE DETECTION F...
- Publication number 20090199162
- Publication date Aug 6, 2009
- International Business Machines Corporation
- Jong-Deok Choi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and apparatus for efficient and precise datarace detection f...
- Publication number 20030236951
- Publication date Dec 25, 2003
- International Business Machines Corporation
- Jong-Deok Choi
- G06 - COMPUTING CALCULATING COUNTING

Manu Sridharan

Person

Patents Grantslast 30 patents

Automatic conversion of sequential array-based programs to parallel...

Simulating black box test results using information from white box...

Automatic conversion of sequential array-based programs to parallel...

Simulating black box test results using information from white box...

Automated testing of applications with scripting code

Global variable security analysis

Generating specifications for expression language expressions and t...

Refactoring programs for flexible locking

Scalable property-sensitive points-to analysis for program code

Correct refactoring of concurrent software

Global variable security analysis

Feedback-directed call graph expansion

Method and apparatus for efficient and precise datarace detection f...

Generating specifications of client-server applications for static...

Method and apparatus for efficient and precise datarace detection f...

Patents Applicationslast 30 patents

AUTOMATIC CONVERSION OF SEQUENTIAL ARRAY-BASED PROGRAMS TO PARALLEL...

AUTOMATIC CONVERSION OF SEQUENTIAL ARRAY-BASED PROGRAMS TO PARALLEL...

Global Variable Security Analysis

Global Variable Security Analysis

AUTOMATED TESTING OF APPLICATIONS WITH SCRIPTING CODE

RACE DETECTION FOR WEB APPLICATIONS

SCALABLE PROPERTY-SENSITIVE POINTS-TO ANALYSIS FOR PROGRAM CODE

GENERATING SPECIFICATIONS FOR EXPRESSION LANGUAGE EXPRESSIONS AND T...

SIMULATING BLACK BOX TEST RESULTS USING INFORMATION FROM WHITE BOX...

REFACTORING PROGRAMS FOR FLEXIBLE LOCKING

Global Variable Security Analysis

SIMULATING BLACK BOX TEST RESULTS USING INFORMATION FROM WHITE BOX...

GENERATING SPECIFICATIONS OF CLIENT-SERVER APPLICATIONS FOR STATIC...

STATIC ANALYSIS OF CLIENT-SERVER APPLICATIONS USING FRAMEWORK INDEP...

CORRECT REFACTORING OF CONCURRENT SOFTWARE

Feedback-Directed Call Graph Expansion

METHOD AND APPARATUS FOR EFFICIENT AND PRECISE DATARACE DETECTION F...

Method and apparatus for efficient and precise datarace detection f...