Assignee
SANKARANARAYANAN SRIRAM
US·4 granted patents·21 citations·filing 2008–2010
Top patents by PatentIndex Score
4 records- 0185US8402440B2Program verification through symbolic enumeration of control path programsSANKARANARAYANAN SRIRAM·Filed 2009·Granted Mar 19, 2013·17 cites·26 claims
- 0268US8191045B2Mining library specifications using inductive learningSANKARANARAYANAN SRIRAM·Filed 2008·Granted May 29, 2012·4 cites·14 claims
- 0346US8522226B2Control structure refinement of loops using static analysisSANKARANARAYANAN SRIRAM·Filed 2010·Granted Aug 27, 2013·0 cites·10 claims
- 0444US8126831B2System and method for dynamically inferring data preconditions over predicates by tree learningSANKARANARAYANAN SRIRAM·Filed 2008·Granted Feb 28, 2012·0 cites·16 claims
Counts cover granted patents and pending applications in the PatentIndex corpus. How scoring works →