Inventor · disambiguated record
Shuvendu K. Lahiri
Also filed as: LAHIRI SHUVENDU · LAHIRI SHUVENDU K · LAHIRI SHUVENDU KUMAR
13 granted patents·3 pending applications·67 citations·filing 2005–2024
90Inventor score
Files withMICROSOFT TECHNOLOGY LICENSING LLC7MICROSOFT CORP4BALL THOMAS J1CONDIT JEREMY P1GODEFROID PATRICE1
Top patents by PatentIndex Score
16 records- 0195US11175897B1Language interoperability to automate code analysisMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2020·Granted Nov 16, 2021·6 cites·20 claims
- 0293US12159211B2Automated merge conflict resolution with transformersMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2021·Granted Dec 3, 2024·4 cites·19 claims
- 0385US8578344B2Incremental compositional dynamic test generationGODEFROID PATRICE·Filed 2010·Granted Nov 5, 2013·18 cites·12 claims
- 0484US11599345B2Language interoperability to automate code analysisMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2021·Granted Mar 7, 2023·1 cites·20 claims
- 0582US9883412B2Verification of a wireless protocol implementationMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2016·Granted Jan 30, 2018·4 cites·20 claims
- 0679US7587707B2Predicate abstraction via symbolic decision proceduresMICROSOFT CORP·Filed 2005·Granted Sep 8, 2009·11 cites·12 claims
- 0779US2025036911A1Automated merge conflict resolution with transformersMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2024·Application pending·0 cites
- 0876US8185874B2Automatic and systematic detection of race conditions and atomicity violationsBALL THOMAS J·Filed 2006·Granted May 22, 2012·9 cites·14 claims
- 0971US8843908B2Compiler validation via program verificationHAWBLITZEL CHRIS·Filed 2010·Granted Sep 23, 2014·4 cites·20 claims
- 1068US8793664B2Reducing false alarms for static analysis of concurrent programsJOSHI SAURABH·Filed 2011·Granted Jul 29, 2014·5 cites·20 claims
- 1166US8813043B2Unifying type checking and property checking for low level programsCONDIT JEREMY P·Filed 2008·Granted Aug 19, 2014·4 cites·18 claims
- 1258US2025370722A1Monitor-guided decoding of code language models with static analysis of repository contextMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2024·Application pending·0 cites
- 1357US7596534B2Computer implemented methods for solving difference and non-difference linear constraintsMICROSOFT CORP·Filed 2006·Granted Sep 29, 2009·1 cites·19 claims
- 1438US2007168981A1Online creation of object states for testingMICROSOFT CORP·Filed 2006·Application pending·0 cites
- 1537US9904541B2Semantic baseliningMICROSOFT CORP·Filed 2013·Granted Feb 27, 2018·0 cites·20 claims
- 1636US10241904B2Test components factorization in a build systemMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2017·Granted Mar 26, 2019·0 cites·20 claims
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →