Inventor · disambiguated record
Sumit Gulwani
Also filed as: GULWANI SUMIT
69 granted patents·16 pending applications·340 citations·filing 2006–2024
98Inventor score
Files withMICROSOFT TECHNOLOGY LICENSING LLC55GULWANI SUMIT15MICROSOFT CORP9BORDEAUX LUCAS JULIEN1CHEREM SIGMUND ISY1
Top patents by PatentIndex Score
85 records- 0193US11934801B2Multi-modal program inferenceMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2021·Granted Mar 19, 2024·13 cites·20 claims
- 0293US11074048B1Autosynthesized sublanguage snippet presentationMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2020·Granted Jul 27, 2021·6 cites·20 claims
- 0393US8972930B2Generating text manipulation programs using input-output examplesGULWANI SUMIT·Filed 2010·Granted Mar 3, 2015·24 cites·19 claims
- 0492US11875136B2Edit automation using a temporal edit patternMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2021·Granted Jan 16, 2024·6 cites·20 claims
- 0591US10831451B2Synthesized programming-by-example programsMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2017·Granted Nov 10, 2020·9 cites·19 claims
- 0691US10635414B2Output prefix specification transformersMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2018·Granted Apr 28, 2020·8 cites·20 claims
- 0790US8799234B2Semantic entity manipulation using input-output examplesGULWANI SUMIT·Filed 2011·Granted Aug 5, 2014·29 cites·20 claims
- 0888US11256710B2String transformation sub-program suggestionMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2016·Granted Feb 22, 2022·7 cites·18 claims
- 0988US9002758B2Ranking for inductive synthesis of string transformationsMICROSOFT CORP·Filed 2012·Granted Apr 7, 2015·11 cites·20 claims
- 1087US11513773B2Feedback-driven semi-supervised synthesis of program transformationsMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2020·Granted Nov 29, 2022·3 cites·19 claims
- 1187US9448772B2Generating program fragments using keywords and context informationMICROSOFT CORP·Filed 2013·Granted Sep 20, 2016·15 cites·20 claims
- 1286US10599627B2Automatically converting spreadsheet tables to relational tablesMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2017·Granted Mar 24, 2020·8 cites·20 claims
- 1386US9542622B2Framework for data extraction by examplesMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2015·Granted Jan 10, 2017·5 cites·20 claims
- 1486US8484550B2Automated table transformations from examplesGULWANI SUMIT·Filed 2011·Granted Jul 9, 2013·8 cites·20 claims
- 1585US11941372B2Edit automation using an anchor target listMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2021·Granted Mar 26, 2024·2 cites·20 claims
- 1685US8650207B2Inductive synthesis of table-based string transformationsGULWANI SUMIT·Filed 2011·Granted Feb 11, 2014·10 cites·20 claims
- 1785US8402439B2Program analysis as constraint solvingGULWANI SUMIT·Filed 2008·Granted Mar 19, 2013·15 cites·18 claims
- 1884US12282411B2Program improvement using large language modelsMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2023·Granted Apr 22, 2025·2 cites·20 claims
- 1984US10409892B2Formatting data by exampleROTHSCHILLER CHAD·Filed 2011·Granted Sep 10, 2019·16 cites·20 claims
- 2084US9613115B2Generating programs based on input-output examples using converter modulesGULWANI SUMIT·Filed 2010·Granted Apr 4, 2017·9 cites·20 claims
- 2183US12222911B1String data error detection and repairMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2023·Granted Feb 11, 2025·1 cites·20 claims
- 2283US8271404B2Template based approach to discovering disjunctive and quantified invariants over predicate abstractionGULWANI SUMIT·Filed 2008·Granted Sep 18, 2012·13 cites·20 claims
- 2381US8316345B2Program abstraction based on program controlGULWANI SUMIT·Filed 2007·Granted Nov 20, 2012·13 cites·17 claims
- 2480US10108597B2Automated table transformations from examplesMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2016·Granted Oct 23, 2018·2 cites·20 claims
- 2579US8060880B2System using backward inter-procedural analysis for determining alternative coarser grained lock when finer grained locks exceeding thresholdCHEREM SIGMUND ISY·Filed 2007·Granted Nov 15, 2011·18 cites·11 claims
- 2677US9430459B2Automated table transformations from examplesMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2013·Granted Aug 30, 2016·3 cites·20 claims
- 2776US9552335B2Expedited techniques for generating string manipulation programsGULWANI SUMIT·Filed 2012·Granted Jan 24, 2017·5 cites·13 claims
- 2876US8266598B2Bounding resource consumption using abstract interpretationGULWANI SUMIT·Filed 2008·Granted Sep 11, 2012·8 cites·20 claims
- 2974US9891895B2User interaction models for disambiguation in programming-by-exampleMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2015·Granted Feb 13, 2018·3 cites·18 claims
- 3074US9659082B2Semantic query languageGULWANI SUMIT·Filed 2012·Granted May 23, 2017·3 cites·20 claims
- 3173US10956433B2Performing an operation relative to tabular data based upon voice inputMICROSOFT CORP·Filed 2014·Granted Mar 23, 2021·4 cites·20 claims
- 3273US10846298B2Record profiling for dataset samplingMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2016·Granted Nov 24, 2020·2 cites·20 claims
- 3373US10698571B2Behavior feature use in programming by exampleMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2016·Granted Jun 30, 2020·3 cites·18 claims
- 3473US8719801B2Timing analysis of concurrent programsGULWANI SUMIT·Filed 2008·Granted May 6, 2014·10 cites·19 claims
- 3572US10585888B2Join with predictive merging of multiple columnsMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2016·Granted Mar 10, 2020·2 cites·19 claims
- 3672US9400639B2Generating programs using context-free compositions and probability of determined transformation rulesKALAI ADAM·Filed 2012·Granted Jul 26, 2016·10 cites·20 claims
- 3772US9330090B2Translating natural language descriptions to programs in a domain-specific language for spreadsheetsMICROSOFT CORP·Filed 2013·Granted May 3, 2016·3 cites·20 claims
- 3871US2024143562A1Automatic splitting of a column into multiple columnsMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2023·Application pending·0 cites
- 3970US9098191B2Sketch beautification and completion of partial structured-drawingsGULWANI SUMIT·Filed 2012·Granted Aug 4, 2015·4 cites·20 claims
- 4068US8397221B2Calculating resource bounds of programs manipulating recursive data structures and collectionsGULWANI SUMIT·Filed 2008·Granted Mar 12, 2013·4 cites·20 claims
- 4167US10983813B2Automatic repetition of context-specific code editsMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2019·Granted Apr 20, 2021·1 cites·20 claims
- 4266US10691655B2Generating tables based upon data extracted from tree-structured documentsMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2016·Granted Jun 23, 2020·1 cites·20 claims
- 4366US9940106B2Generating programs using context-free compositions and probability of determined transformation rulesMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2016·Granted Apr 10, 2018·1 cites·17 claims
- 4465US11372830B2Interactive splitting of a column into multiple columnsMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2016·Granted Jun 28, 2022·1 cites·20 claims
- 4565US7606774B2Computer implemented cover process approximating quantifier eliminationMICROSOFT CORP·Filed 2006·Granted Oct 20, 2009·3 cites·9 claims
- 4664US8181163B2Program synthesis and debugging using machine learning techniquesJOJIC VLADIMIR·Filed 2007·Granted May 15, 2012·5 cites·20 claims
- 4762US11620115B2Output prefix specification transformersMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2020·Granted Apr 4, 2023·0 cites·20 claims
- 4861US11500894B2Identifying boundaries of substrings to be extracted from log filesMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2019·Granted Nov 15, 2022·0 cites·20 claims
- 4961US8752029B2Computing a symbolic bound for a procedureGULWANI SUMIT·Filed 2009·Granted Jun 10, 2014·5 cites·20 claims
- 5060US11132180B2Neural-guided deductive search for program synthesisMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2018·Granted Sep 28, 2021·1 cites·14 claims
Showing the top 50 of 85 patent records by PatentIndex Score.
Join the waitlist — get patent alerts
Get an alert when Sumit Gulwani files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →