Inventor

GULWANI SUMIT

US70 patents

⚠️ This page may combine multiple inventors who share the name “GULWANI SUMIT”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

GULWANI SUMIT

MICROSOFT TECHNOLOGY LICENSING LLC

String transformation sub-program suggestion

Synthesized programming-by-example programs

Output prefix specification transformers

Multi-modal program inference

Automatically converting spreadsheet tables to relational tables

Framework for data extraction by examples

Edit automation using a temporal edit pattern

Autosynthesized sublanguage snippet presentation

Join with predictive merging of multiple columns

Automated table transformations from examples

Automated table transformations from examples

Program improvement using large language models

Edit automation using an anchor target list

Feedback-driven semi-supervised synthesis of program transformations

Record profiling for dataset sampling

Behavior feature use in programming by example

User interaction models for disambiguation in programming-by-example

Output prefix specification transformers

Identifying boundaries of substrings to be extracted from log files

String data error detection and repair

Generating tables based upon data extracted from tree-structured documents

Interactive splitting of a column into multiple columns

Syntactic profiling of alphanumeric strings

SQL query formatting by examples

Automatic repetition of context-specific code edits

Neural-guided deductive search for program synthesis

GULWANI SUMIT

Generating text manipulation programs using input-output examples

Semantic entity manipulation using input-output examples

Program analysis as constraint solving

Template based approach to discovering disjunctive and quantified invariants over predicate abstraction

Generating programs based on input-output examples using converter modules

Inductive synthesis of table-based string transformations

Program abstraction based on program control

Bounding resource consumption using abstract interpretation

Automated table transformations from examples

Timing analysis of concurrent programs

Semantic query language

Expedited techniques for generating string manipulation programs

Sketch beautification and completion of partial structured-drawings

Computing a symbolic bound for a procedure

Calculating resource bounds of programs manipulating recursive data structures and collections

MICROSOFT CORP

Ranking for inductive synthesis of string transformations

Generating program fragments using keywords and context information

Performing an operation relative to tabular data based upon voice input

Translating natural language descriptions to programs in a domain-specific language for spreadsheets

Computer implemented cover process approximating quantifier elimination

ROTHSCHILLER CHAD

Formatting data by example

KALAI ADAM

Generating programs using context-free compositions and probability of determined transformation rules

CHEREM SIGMUND ISY

System using backward inter-procedural analysis for determining alternative coarser grained lock when finer grained locks exceeding threshold

NORI ADITYA

Program synthesis with existentially and universally quantified belief propagation using probabilistic inference