Inventor · disambiguated record
Sriram K. Rajamani
Also filed as: RAJAMANI SRIRAM · RAJAMANI SRIRAM K · Rajamani Sriram Kottarakurichi
29 granted patents·11 pending applications·468 citations·filing 2001–2024
97Inventor score
Files withMICROSOFT CORP23MICROSOFT TECHNOLOGY LICENSING LLC7JOY JOSEPH M3NALDURG PRASAD G2CHAGANTY ARUN TEJASVI1
Top patents by PatentIndex Score
40 records- 0194US10601596B2Techniques to secure computation data in a computing environmentMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2019·Granted Mar 24, 2020·12 cites·14 claims
- 0294US10230529B2Techniques to secure computation data in a computing environmentMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2015·Granted Mar 12, 2019·13 cites·20 claims
- 0394US8701200B2Analyzing access control configurationsNALDURG PRASAD G·Filed 2012·Granted Apr 15, 2014·66 cites·20 claims
- 0488US8910120B2Software debugging recommendationsSRINIVASA GOPAL RANGANATHA·Filed 2010·Granted Dec 9, 2014·34 cites·20 claims
- 0588US8266702B2Analyzing access control configurationsNALDURG PRASAD G·Filed 2006·Granted Sep 11, 2012·25 cites·17 claims
- 0686US6904590B2Methods for enhancing program analysisMICROSOFT CORP·Filed 2001·Granted Jun 7, 2005·41 cites·24 claims
- 0782US10484352B2Data operations using a proxy encryption keyMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2017·Granted Nov 19, 2019·4 cites·20 claims
- 0881US7650595B2Sound transaction-based reduction without cycle detectionMICROSOFT CORP·Filed 2005·Granted Jan 19, 2010·12 cites·17 claims
- 0980US7536606B2Error detection in web services systemsMICROSOFT CORP·Filed 2004·Granted May 19, 2009·40 cites·16 claims
- 1079US7941616B2System to reduce interference in concurrent programsMICROSOFT CORP·Filed 2008·Granted May 10, 2011·10 cites·18 claims
- 1178US10917394B2Data operations using a proxy encryption keyMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2019·Granted Feb 9, 2021·2 cites·20 claims
- 1277US7058925B2System and method for generating a predicate abstraction of a programMICROSOFT CORP·Filed 2002·Granted Jun 6, 2006·27 cites·23 claims
- 1376US7917900B2Enabling analysis of software source codeMICROSOFT CORP·Filed 2007·Granted Mar 29, 2011·11 cites·19 claims
- 1476US7203924B2Behavioral analysis for message-passing application programsMICROSOFT CORP·Filed 2002·Granted Apr 10, 2007·24 cites·29 claims
- 1575US9383970B2Distributed analytics platformJOY JOSEPH M·Filed 2009·Granted Jul 5, 2016·8 cites·20 claims
- 1674US7797669B1Analysis of distributed software systems via specification substitutionMICROSOFT CORP·Filed 2004·Granted Sep 14, 2010·24 cites·22 claims
- 1774US7526750B2Object-based systematic state space exploration of softwareMICROSOFT CORP·Filed 2004·Granted Apr 28, 2009·25 cites·33 claims
- 1873US9104961B2Modeling a data generating process using dyadic Bayesian modelsMICROSOFT CORP·Filed 2012·Granted Aug 11, 2015·9 cites·20 claims
- 1973US7757219B2Method for enhancing program analysisMICROSOFT CORP·Filed 2004·Granted Jul 13, 2010·15 cites·12 claims
- 2072US7555418B1Procedure summaries for multithreaded softwareMICROSOFT CORP·Filed 2003·Granted Jun 30, 2009·19 cites·19 claims
- 2171US9213843B2Analyzing access control configurationsMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2014·Granted Dec 15, 2015·2 cites·24 claims
- 2269US7657867B2System and method for generating a predicate abstraction of a programMICROSOFT CORP·Filed 2005·Granted Feb 2, 2010·5 cites·17 claims
- 2368US10904231B2Encryption using multi-level encryption key derivationMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2017·Granted Jan 26, 2021·1 cites·18 claims
- 2467US7694276B2Contracts and futures in an asynchronous programming languageMICROSOFT CORP·Filed 2003·Granted Apr 6, 2010·12 cites·62 claims
- 2564US7703077B2Programming model to detect deadlocks in concurrent programsMICROSOFT CORP·Filed 2002·Granted Apr 20, 2010·10 cites·37 claims
- 2663US8799922B2Programming model for collaborative distributed systemsRAJAN KAUSHIK·Filed 2010·Granted Aug 5, 2014·5 cites·20 claims
- 2763US7509534B2Counterexample driven refinement for abstract interpretationMICROSOFT CORP·Filed 2006·Granted Mar 24, 2009·4 cites·20 claims
- 2862US7702695B2Object relational map verification systemMICROSOFT CORP·Filed 2007·Granted Apr 20, 2010·4 cites·17 claims
- 2958US2025370722A1Monitor-guided decoding of code language models with static analysis of repository contextMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2024·Application pending·0 cites
- 3056US8825572B2Program synthesis with existentially and universally quantified belief propagation using probabilistic inferenceNORI ADITYA·Filed 2011·Granted Sep 2, 2014·4 cites·20 claims
- 3147US2010169618A1Identifying concurrency control from a sequential proofMICROSOFT CORP·Filed 2008·Application pending·0 cites
- 3247US2009282289A1Generation and evaluation of test cases for software validation and proofsMICROSOFT CORP·Filed 2008·Application pending·0 cites
- 3345US2010251221A1Combination may-must code analysisMICROSOFT CORP·Filed 2009·Application pending·0 cites
- 3444US2008229261A1Design rule system for verifying and enforcing design rules in softwareMICROSOFT CORP·Filed 2007·Application pending·0 cites
- 3544US2009327809A1Domain-specific guidance service for software developmentMICROSOFT CORP·Filed 2008·Application pending·0 cites
- 3642US2006247907A1Deciding assertions in programs with referencesMICROSOFT CORP·Filed 2005·Application pending·0 cites
- 3741US2013239093A1Parallelizing top-down interprocedural analysisNORI ADITYA V·Filed 2012·Application pending·0 cites
- 3839US2013254282A1Propagating user experience state informationJOY JOSEPH M·Filed 2012·Application pending·0 cites
- 3939US2013251344A1Manipulation of User Experience StateJOY JOSEPH M·Filed 2012·Application pending·0 cites
- 4036US2013144812A1Probabilistic model approximation for statistical relational learningCHAGANTY ARUN TEJASVI·Filed 2011·Application pending·0 cites
Join the waitlist — get patent alerts
Get an alert when Sriram K. Rajamani files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →