Arjun RADHAKRISHNA

Person

Seattle, WA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Pattern base configuration verifier
- Patent number 11,977,606
- Issue date May 7, 2024
- Microsoft Technology Licensing, LLC
- Ranjita Bhagwan
- G06 - COMPUTING CALCULATING COUNTING
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
Autosynthesized sublanguage snippet presentation
- Patent number 11,074,048
- Issue date Jul 27, 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

Patents Applicationslast 30 patents

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
SYNTHESIZING A COMPUTER PROGRAM TO INCLUDE IDIOMATIC FUNCTION(S) AN...
- Publication number 20230280989
- Publication date Sep 7, 2023
- Microsoft Technology Licensing, LLC
- José Pablo CAMBRONERO SÁNCHEZ
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PATTERN BASE CONFIGURATION VERIFIER
- Publication number 20230267178
- Publication date Aug 24, 2023
- Microsoft Technology Licensing, LLC
- Ranjita Bhagwan
- 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

Arjun RADHAKRISHNA

Person

Patents Grantslast 30 patents

Pattern base configuration verifier

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

Autosynthesized sublanguage snippet presentation

Automatic repetition of context-specific code edits

Patents Applicationslast 30 patents

GENERATION AND CONSUMPTION OF TEMPLATES BASED ON SOURCE CODE EXAMPLES

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

SYNTHESIZING A COMPUTER PROGRAM TO INCLUDE IDIOMATIC FUNCTION(S) AN...

PATTERN BASE CONFIGURATION VERIFIER

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