Shuvendu K. Lahiri

Person

Redmond, WA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Automated merge conflict resolution with transformers
- Patent number 12,159,211
- Issue date Dec 3, 2024
- Microsoft Technology Licensing, LLC
- Christian Bird
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Language interoperability to automate code analysis
- Patent number 11,599,345
- Issue date Mar 7, 2023
- Microsoft Technology Licensing, LLC
- Shao Kun Deng
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Language interoperability to automate code analysis
- Patent number 11,175,897
- Issue date Nov 16, 2021
- Microsoft Technology Licensing, LLC
- Shao Kun Deng
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Test components factorization in a build system
- Patent number 10,241,904
- Issue date Mar 26, 2019
- Microsoft Technology Licensing, LLC
- Suresh Thummalapenta
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Semantic baselining
- Patent number 9,904,541
- Issue date Feb 27, 2018
- Microsoft Technology Licensing, LLC
- Manuel Fahndrich
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Compiler validation via program verification
- Patent number 8,843,908
- Issue date Sep 23, 2014
- Microsoft Corporation
- Chris Hawblitzel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Unifying type checking and property checking for low level programs
- Patent number 8,813,043
- Issue date Aug 19, 2014
- Microsoft Corporation
- Jeremy P. Condit
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Reducing false alarms for static analysis of concurrent programs
- Patent number 8,793,664
- Issue date Jul 29, 2014
- Microsoft Corporation
- Saurabh Joshi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Incremental compositional dynamic test generation
- Patent number 8,578,344
- Issue date Nov 5, 2013
- Microsoft Corporation
- Patrice Godefroid
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automatic and systematic detection of race conditions and atomicity...
- Patent number 8,185,874
- Issue date May 22, 2012
- Microsoft Corporation
- Thomas J. Ball
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Computer implemented methods for solving difference and non-differe...
- Patent number 7,596,534
- Issue date Sep 29, 2009
- Microsoft Corporation
- Madanlal S. Musuvathi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Predicate abstraction via symbolic decision procedures
- Patent number 7,587,707
- Issue date Sep 8, 2009
- Microsoft Corporation
- Thomas J. Ball
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
AUTOMATED MERGE CONFLICT RESOLUTION WITH TRANSFORMERS
- Publication number 20250036911
- Publication date Jan 30, 2025
- Microsoft Technology Licensing, LLC
- CHRISTIAN BIRD
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATED MERGE CONFLICT RESOLUTION WITH TRANSFORMERS
- Publication number 20220164626
- Publication date May 26, 2022
- Microsoft Technology Licensing, LLC
- CHRISTIAN BIRD
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATED MERGE CONFLICT RESOLUTION
- Publication number 20220164672
- Publication date May 26, 2022
- Microsoft Technology Licensing, LLC
- CHRISTIAN BIRD
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
LANGUAGE INTEROPERABILITY TO AUTOMATE CODE ANALYSIS
- Publication number 20220058007
- Publication date Feb 24, 2022
- Microsoft Technology Licensing, LLC
- SHAO KUN DENG
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
LANGUAGE INTEROPERABILITY TO AUTOMATE CODE ANALYSIS
- Publication number 20210357192
- Publication date Nov 18, 2021
- Microsoft Technology Licensing, LLC
- SHAO KUN DENG
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TEST COMPONENTS FACTORIZATION IN A BUILD SYSTEM
- Publication number 20180293159
- Publication date Oct 11, 2018
- Microsoft Technology Licensing, LLC
- Suresh Thummalapenta
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SEMANTIC BASELINING
- Publication number 20140337819
- Publication date Nov 13, 2014
- Microsoft Corporation
- Manuel Fahndrich
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
REDUCING FALSE ALARMS FOR STATIC ANALYSIS OF CONCURRENT PROGRAMS
- Publication number 20130152055
- Publication date Jun 13, 2013
- Microsoft Corporation
- Saurabh Joshi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
COMPILER VALIDATION VIA PROGRAM VERIFICATION
- Publication number 20120167066
- Publication date Jun 28, 2012
- Microsoft Corporation
- Chris Hawblitzel
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
INCREMENTAL COMPOSITIONAL DYNAMIC TEST GENERATION
- Publication number 20110314454
- Publication date Dec 22, 2011
- Microsoft Corporation
- Patrice Godefroid
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Unifying Type Checking and Property Checking for Low Level Programs
- Publication number 20100169868
- Publication date Jul 1, 2010
- Microsoft Corporation
- Jeremy P. Condit
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATIC AND SYSTEMATIC DETECTION OF RACE CONDITIONS AND ATOMICITY...
- Publication number 20080109641
- Publication date May 8, 2008
- Microsoft Corporation
- Thomas J. Ball
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Computer method for solving sparse linear constraints
- Publication number 20070294196
- Publication date Dec 20, 2007
- Microsoft Corporation
- Madanlal S. Musuvathi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Online creation of object states for testing
- Publication number 20070168981
- Publication date Jul 19, 2007
- Microsoft Corporation
- Carlos Pacheco
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Predicate abstraction via symbolic decision procedures
- Publication number 20070005633
- Publication date Jan 4, 2007
- Microsoft Corporation
- Thomas J. Ball
- G06 - COMPUTING CALCULATING COUNTING

Shuvendu K. Lahiri

Person

Patents Grantslast 30 patents

Automated merge conflict resolution with transformers

Language interoperability to automate code analysis

Language interoperability to automate code analysis

Test components factorization in a build system

Semantic baselining

Compiler validation via program verification

Unifying type checking and property checking for low level programs

Reducing false alarms for static analysis of concurrent programs

Incremental compositional dynamic test generation

Automatic and systematic detection of race conditions and atomicity...

Computer implemented methods for solving difference and non-differe...

Predicate abstraction via symbolic decision procedures

Patents Applicationslast 30 patents

AUTOMATED MERGE CONFLICT RESOLUTION WITH TRANSFORMERS

AUTOMATED MERGE CONFLICT RESOLUTION WITH TRANSFORMERS

AUTOMATED MERGE CONFLICT RESOLUTION

LANGUAGE INTEROPERABILITY TO AUTOMATE CODE ANALYSIS

LANGUAGE INTEROPERABILITY TO AUTOMATE CODE ANALYSIS

TEST COMPONENTS FACTORIZATION IN A BUILD SYSTEM

SEMANTIC BASELINING

REDUCING FALSE ALARMS FOR STATIC ANALYSIS OF CONCURRENT PROGRAMS

COMPILER VALIDATION VIA PROGRAM VERIFICATION

INCREMENTAL COMPOSITIONAL DYNAMIC TEST GENERATION

Unifying Type Checking and Property Checking for Low Level Programs

AUTOMATIC AND SYSTEMATIC DETECTION OF RACE CONDITIONS AND ATOMICITY...

Computer method for solving sparse linear constraints

Online creation of object states for testing

Predicate abstraction via symbolic decision procedures