Gustavo ARAUJO SOARES

Person

Seattle, WA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Edit automation using an anchor target list
- Patent number 11,941,372
- Issue date Mar 26, 2024
- Microsoft Technology Licensing, LLC
- Titus Barik
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Multi-modal program inference
- Patent number 11,934,801
- Issue date Mar 19, 2024
- Microsoft Technology Licensing, LLC
- Kiarash Rahmani
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Edit automation using a temporal edit pattern
- Patent number 11,875,136
- Issue date Jan 16, 2024
- Microsoft Technology Licensing, LLC
- Gustavo Araujo Soares
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Deploying a static code analyzer based on program synthesis from in...
- Patent number 11,775,293
- Issue date Oct 3, 2023
- Microsoft Technology Licensing, LLC
- Peter Groenewegen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Surfacing underutilized tool features
- Patent number 11,714,613
- Issue date Aug 1, 2023
- Microsoft Technology Licensing, LLC
- Peter Groenewegen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Feedback-driven semi-supervised synthesis of program transformations
- Patent number 11,513,773
- Issue date Nov 29, 2022
- Microsoft Technology Licensing, LLC
- Shraddha Govind Barke
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Rules generation using learned repetitive code edits
- Patent number 10,996,930
- Issue date May 4, 2021
- Microsoft Technology Licensing, LLC
- Mark Alistair Wilson-Thomas
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automatic repetition of context-specific code edits
- Patent number 10,983,813
- Issue date Apr 20, 2021
- Microsoft Technology Licensing, LLC
- Sumit Gulwani
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Rules generation using learned repetitive code edits
- Patent number 10,963,223
- Issue date Mar 30, 2021
- Microsoft Technology Licensing, LLC
- Mark Alistair Wilson-Thomas
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
PROGRAM IMPROVEMENT USING LARGE LANGUAGE MODELS
- Publication number 20240256423
- Publication date Aug 1, 2024
- Microsoft Technology Licensing, LLC
- Jialu ZHANG
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
GENERATION AND CONSUMPTION OF TEMPLATES BASED ON SOURCE CODE EXAMPLES
- Publication number 20230289151
- Publication date Sep 14, 2023
- Microsoft Technology Licensing, LLC
- Peter GROENEWEGEN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DEPLOYING A STATIC CODE ANALYZER BASED ON PROGRAM SYNTHESIS FROM IN...
- Publication number 20230289180
- Publication date Sep 14, 2023
- Microsoft Technology Licensing, LLC
- Peter GROENEWEGEN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SMART TABULAR PASTE FROM A CLIPBOARD BUFFER
- Publication number 20230229850
- Publication date Jul 20, 2023
- Microsoft Technology Licensing, LLC
- Mohammad RAZA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MULTI-MODAL PROGRAM INFERENCE
- Publication number 20230176829
- Publication date Jun 8, 2023
- Microsoft Technology Licensing, LLC
- Kiarash RAHMANI
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SURFACING UNDERUTILIZED TOOL FEATURES
- Publication number 20230141807
- Publication date May 11, 2023
- Microsoft Technology Licensing, LLC
- Peter GROENEWEGEN
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
COPY-PASTE-UPDATE EDIT AUTOMATION
- Publication number 20230116149
- Publication date Apr 13, 2023
- Microsoft Technology Licensing, LLC
- Arjun RADHAKRISHNA
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EDIT AUTOMATION USING A TEMPORAL EDIT PATTERN
- Publication number 20220317979
- Publication date Oct 6, 2022
- Microsoft Technology Licensing, LLC
- Gustavo ARAUJO SOARES
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EDIT AUTOMATION USING AN ANCHOR TARGET LIST
- Publication number 20220317978
- Publication date Oct 6, 2022
- Microsoft Technology Licensing, LLC
- Titus BARIK
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
FEEDBACK-DRIVEN SEMI-SUPERVISED SYNTHESIS OF PROGRAM TRANSFORMATIONS
- Publication number 20220012020
- Publication date Jan 13, 2022
- Microsoft Technology Licensing, LLC
- SHRADDHA GOVIND BARKE
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATIC REPETITION OF CONTEXT-SPECIFIC CODE EDITS
- Publication number 20200334054
- Publication date Oct 22, 2020
- Microsoft Technology Licensing, LLC
- Sumit GULWANI
- G06 - COMPUTING CALCULATING COUNTING

Gustavo ARAUJO SOARES

Person

Patents Grantslast 30 patents

Edit automation using an anchor target list

Multi-modal program inference

Edit automation using a temporal edit pattern

Deploying a static code analyzer based on program synthesis from in...

Surfacing underutilized tool features

Feedback-driven semi-supervised synthesis of program transformations

Rules generation using learned repetitive code edits

Automatic repetition of context-specific code edits

Rules generation using learned repetitive code edits

Patents Applicationslast 30 patents

PROGRAM IMPROVEMENT USING LARGE LANGUAGE MODELS

GENERATION AND CONSUMPTION OF TEMPLATES BASED ON SOURCE CODE EXAMPLES

DEPLOYING A STATIC CODE ANALYZER BASED ON PROGRAM SYNTHESIS FROM IN...

SMART TABULAR PASTE FROM A CLIPBOARD BUFFER

MULTI-MODAL PROGRAM INFERENCE

SURFACING UNDERUTILIZED TOOL FEATURES

COPY-PASTE-UPDATE EDIT AUTOMATION

EDIT AUTOMATION USING A TEMPORAL EDIT PATTERN

EDIT AUTOMATION USING AN ANCHOR TARGET LIST

FEEDBACK-DRIVEN SEMI-SUPERVISED SYNTHESIS OF PROGRAM TRANSFORMATIONS

AUTOMATIC REPETITION OF CONTEXT-SPECIFIC CODE EDITS