Sankaranarayanan; Sriram

Patent Applications and Registrations

Patent applications and USPTO patent grants for Sankaranarayanan; Sriram.The latest application filed is for "control structure refinement of loops using static analysis".

Company Profile

2.20.16

Sankaranarayanan; Sriram - Plainsboro NJ
- Plainsboro NJ US
Sankaranarayanan; Sriram - Boulder CO US

*profile and listings may contain filings by different individuals or companies with the same name. Review application materials to confirm ownership/assignment.

Patent Activity

Patent	Date
Software testing using machine learning Grant 8,924,938 - Chang , et al. December 30, 2	2014-12-30
Software testing using machine learning Grant 08924938 -	2014-12-30
Scope bounding with automated specification inference for scalable software model checking Grant 8,719,793 - Maeda , et al. May 6, 2	2014-05-06
Control structure refinement of loops using static analysis Grant 8,601,459 - Sankaranarayanan , et al. December 3, 2	2013-12-03
Systems and methods for model checking the precision of programs employing floating-point operations Grant 8,539,451 - Ivancic , et al. September 17, 2	2013-09-17
Control Structure Refinement Of Loops Using Static Analysis App 20130227537 - SANKARANARAYANAN; SRIRAM ; et al.	2013-08-29
Control structure refinement of loops using static analysis Grant 8,522,226 - Sankaranarayanan , et al. August 27, 2	2013-08-27
Program verification through symbolic enumeration of control path programs Grant 8,402,440 - Sankaranarayanan , et al. March 19, 2	2013-03-19
System and method for feedback-guided test generation for cyber-physical systems using monte-carlo Grant 8,374,840 - Sankaranarayanan , et al. February 12, 2	2013-02-12
Path-sensitive analysis through infeasible-path detection and syntactic language refinement Grant 8,365,152 - Balakrishnan , et al. January 29, 2	2013-01-29
Methods and systems for efficient analysis of hybrid systems using template polyhedra Grant 8,352,222 - Sankaranarayanan , et al. January 8, 2	2013-01-08
Scope Bounding with Automated Specification Inference for Scalable Software Model Checking App 20120151449 - Maeda; Naoto ; et al.	2012-06-14
Mining library specifications using inductive learning Grant 8,191,045 - Sankaranarayanan , et al. May 29, 2	2012-05-29
Fast and accurate static data-race detection for concurrent programs Grant 8,185,875 - Kahlon , et al. May 22, 2	2012-05-22
System and method for dynamically inferring data preconditions over predicates by tree learning Grant 8,126,831 - Sankaranarayanan , et al. February 28, 2	2012-02-28
Program analysis using symbolic ranges Grant 8,006,239 - Sankaranarayanan , et al. August 23, 2	2011-08-23
Robust Testing For Discrete-time And Continuous-time System Models App 20100299651 - FAINEKOS; GEORGIOS ; et al.	2010-11-25
Systems And Methods For Model Checking The Precision Of Programs Employing Floating-point Operations App 20100293530 - IVANCIC; FRANJO ; et al.	2010-11-18
Control Structure Refinement Of Loops Using Static Analysis App 20100205592 - SANKARANARAYANAN; SRIRAM ; et al.	2010-08-12
System And Method For Feedback-guided Test Generation For Cyber-physical Systems Using Monte-carlo App 20100094611 - Sankaranarayanan; Sriram ; et al.	2010-04-15
Feedback-guided Fuzz Testing For Learning Inputs Of Coma App 20100058475 - Thummalapenta; Suresh ; et al.	2010-03-04
Program Verification Through Symbolic Enumeration Of Control Path Programs App 20100005454 - Sankaranarayanan; Sriram ; et al.	2010-01-07
System And Method For Dynamically Inferring Data Preconditions Over Predicates By Tree Learning App 20090192963 - SANKARANARAYANAN; SRIRAM ; et al.	2009-07-30
Path-sensitive Analysis Through Infeasible-path Detection And Syntactic Language Refinement App 20090193401 - Balakrishnan; Gogul ; et al.	2009-07-30
Methods And Systems For Efficient Analysis Of Hybrid Systems Using Template Polyhedra App 20090094004 - SANKARANARAYANAN; SRIRAM ; et al.	2009-04-09
Mining Library Specifications Using Inductive Learning App 20090064110 - SANKARANARAYANAN; SRIRAM ; et al.	2009-03-05
Fast And Accurate Static Data-race Detection For Concurrent Programs App 20080178156 - Kahlon; Vineet ; et al.	2008-07-24
Program Analysis Using Symbolic Ranges App 20080172653 - SANKARANARAYANAN; Sriram ; et al.	2008-07-17
Software Testing Using Machine Learning App 20080082968 - Chang; Richard ; et al.	2008-04-03
Static Analysis In Disjunctive Numerical Domains App 20070245329 - SANKARANARAYANAN; Sriram ; et al.	2007-10-18

uspto.report is an independent third-party trademark research tool that is not affiliated, endorsed, or sponsored by the United States Patent and Trademark Office (USPTO) or any other governmental organization. The information provided by uspto.report is based on publicly available data at the time of writing and is intended for informational purposes only.

While we strive to provide accurate and up-to-date information, we do not guarantee the accuracy, completeness, reliability, or suitability of the information displayed on this site. The use of this site is at your own risk. Any reliance you place on such information is therefore strictly at your own risk.

All official trademark data, including owner information, should be verified by visiting the official USPTO website at www.uspto.gov. This site is not intended to replace professional legal advice and should not be used as a substitute for consulting with a legal professional who is knowledgeable about trademark law.