Assignee
GULWANI SUMIT
US·15 granted patents·160 citations·filing 2007–2012
Top patents by PatentIndex Score
15 records- 0193US8972930B2Generating text manipulation programs using input-output examplesGULWANI SUMIT·Filed 2010·Granted Mar 3, 2015·24 cites·19 claims
- 0290US8799234B2Semantic entity manipulation using input-output examplesGULWANI SUMIT·Filed 2011·Granted Aug 5, 2014·29 cites·20 claims
- 0386US8484550B2Automated table transformations from examplesGULWANI SUMIT·Filed 2011·Granted Jul 9, 2013·8 cites·20 claims
- 0485US8650207B2Inductive synthesis of table-based string transformationsGULWANI SUMIT·Filed 2011·Granted Feb 11, 2014·10 cites·20 claims
- 0585US8402439B2Program analysis as constraint solvingGULWANI SUMIT·Filed 2008·Granted Mar 19, 2013·15 cites·18 claims
- 0684US9613115B2Generating programs based on input-output examples using converter modulesGULWANI SUMIT·Filed 2010·Granted Apr 4, 2017·9 cites·20 claims
- 0783US8271404B2Template based approach to discovering disjunctive and quantified invariants over predicate abstractionGULWANI SUMIT·Filed 2008·Granted Sep 18, 2012·13 cites·20 claims
- 0881US8316345B2Program abstraction based on program controlGULWANI SUMIT·Filed 2007·Granted Nov 20, 2012·13 cites·17 claims
- 0976US9552335B2Expedited techniques for generating string manipulation programsGULWANI SUMIT·Filed 2012·Granted Jan 24, 2017·5 cites·13 claims
- 1076US8266598B2Bounding resource consumption using abstract interpretationGULWANI SUMIT·Filed 2008·Granted Sep 11, 2012·8 cites·20 claims
- 1174US9659082B2Semantic query languageGULWANI SUMIT·Filed 2012·Granted May 23, 2017·3 cites·20 claims
- 1273US8719801B2Timing analysis of concurrent programsGULWANI SUMIT·Filed 2008·Granted May 6, 2014·10 cites·19 claims
- 1370US9098191B2Sketch beautification and completion of partial structured-drawingsGULWANI SUMIT·Filed 2012·Granted Aug 4, 2015·4 cites·20 claims
- 1468US8397221B2Calculating resource bounds of programs manipulating recursive data structures and collectionsGULWANI SUMIT·Filed 2008·Granted Mar 12, 2013·4 cites·20 claims
- 1561US8752029B2Computing a symbolic bound for a procedureGULWANI SUMIT·Filed 2009·Granted Jun 10, 2014·5 cites·20 claims
Counts cover granted patents and pending applications in the PatentIndex corpus. How scoring works →