Inventor

Sumit Gulwani

Inventor

Redmond, WA, US

Overview

53→

Patents

2009–2021

Patent span

Physics

Primary field (CPC G)

Patents· 53 as inventor

Public. Assignee & technology derived from the patent record. Each patent links to its LexDana page.

G06Fprimary

G06FElectric digital data processing72%

G06NComputing arrangements based on specific computational models11%

G05BControl or regulating systems in general4%

G06KGraphical data reading4%

G06VImage or video recognition or understanding4%

B25JManipulators1%

G10LSpeech analysis techniques or speech synthesis1%

Y02PClimate change mitigation technologies in the production or processing of goods1%

PatentTitleYear

11,132,180Neural-guided deductive search for program synthesis2021 11,074,048Autosynthesized sublanguage snippet presentation2021 10,983,813Automatic repetition of context-specific code edits2021 10,956,433Performing an operation relative to tabular data based upon voice input2021 10,909,139SQL query formatting by examples2021 10,860,551Identifying header lines and comment lines in log files2020 10,846,298Record profiling for dataset sampling2020 10,831,451Synthesized programming-by-example programs2020 10,713,424Automated document content modification2020 10,698,571Behavior feature use in programming by example2020 10,691,655Generating tables based upon data extracted from tree-structured documents2020 10,671,353Programming-by-example using disjunctive programs2020 10,664,530Control of automated tasks executed over search engine results2020 10,635,414Output prefix specification transformers2020 10,599,627Automatically converting spreadsheet tables to relational tables2020 10,585,888Join with predictive merging of multiple columns2020 10,579,656Semantic query language2020 10,546,055Join with format modification by example2020 10,409,892Formatting data by example2019 10,394,874Syntactic profiling of alphanumeric strings2019 10,394,815Join with predictive granularity modification by example2019 10,387,441Identifying boundaries of substrings to be extracted from log files2019 10,108,597Automated table transformations from examples2018 9,940,106Generating programs using context-free compositions and probability of determined transformation rules2018 9,891,895'User interaction models for disambiguation in programming-by-example'2018 9,737,990'Program synthesis for robotic tasks'2017 9,659,082'Semantic query language'2017 9,613,115'Generating programs based on input-output examples using converter modules'2017 9,552,335'Expedited techniques for generating string manipulation programs'2017 9,542,622'Framework for data extraction by examples'2017 9,448,772'Generating program fragments using keywords and context information'2016 9,430,459'Automated table transformations from examples'2016 9,400,639'Generating programs using context-free compositions and probability of determined transformation rules'2016 9,330,090'Translating natural language descriptions to programs in a domain-specific language for spreadsheets'2016 9,098,191'Sketch beautification and completion of partial structured-drawings'2015 9,031,894'Parsing and rendering structured images'2015 9,002,758'Ranking for inductive synthesis of string transformations'2015 8,972,930'Generating text manipulation programs using input-output examples'2015 8,825,572'Program synthesis with existentially and universally quantified belief propagation using probabilistic inference'2014 8,799,234'Semantic entity manipulation using input-output examples'2014 8,752,029'Computing a symbolic bound for a procedure'2014 8,719,801'Timing analysis of concurrent programs'2014 8,650,207'Inductive synthesis of table-based string transformations'2014 8,484,550'Automated table transformations from examples'2013 8,402,439'Program analysis as constraint solving'2013 8,397,221'Calculating resource bounds of programs manipulating recursive data structures and collections'2013 8,316,345'Program abstraction based on program control'2012 8,271,404'Template based approach to discovering disjunctive and quantified invariants over predicate abstraction'2012 8,266,598'Bounding resource consumption using abstract interpretation'2012 8,181,163'Program synthesis and debugging using machine learning techniques'2012 8,060,880'System using backward inter-procedural analysis for determining alternative coarser grained lock when finer grained locks exceeding threshold'2011 7,729,999'Program verification and discovery using probabilistic inference'2010 7,606,774'Computer implemented cover process approximating quantifier elimination'2009

Career & activity timeline

Assembled from patent assignee/location history and declaration credentials.

2009–2021Patents assigned to MICROSOFT CORP (22)· patent assignee history

2009–2018Based in Redmond, WA, US· patent location history

2011–2019Patents assigned to GULWANI SUMIT (20)· patent assignee history

2014–2019Patents assigned to SINGH RISHABH (4)· patent assignee history

2014–2019Patents assigned to ROUHANA DANY (3)· patent assignee history

2015–2021Patents assigned to MICROSOFT TECHNOLOGY LICENSING LLC (36)· patent assignee history

2015–2021Based in Bellevue, WA, US· patent location history

2019–2021Based in Sammamish, WA, US· patent location history

Inventor activity

Assignee and location history derived from the patent record.

Assignees

Assignee	Patents	Span
MICROSOFT TECHNOLOGY LICENSING LLC	36	2015–2021
MICROSOFT CORP	22	2009–2021
GULWANI SUMITself	20	2011–2019
SINGH RISHABH	4	2014–2019
ROUHANA DANY	3	2014–2019

Locations

Location	Patents	Span
Redmond, Washington, US	22	2009–2018
Sammamish, Washington, US	18	2019–2021
Bellevue, Washington, US	13	2015–2021