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
Join the waitlist — get patent alerts
Get an alert when SANKARANARAYANAN SRIRAM files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Counts cover granted patents and pending applications in the PatentIndex corpus. How scoring works →