Aditya Nori

Person

Bangalore, IN

People

Patents Grantslast 30 patents

Information Patent Grant
Modeling a data generating process using dyadic Bayesian models
- Patent number 9,104,961
- Issue date Aug 11, 2015
- Microsoft Technology Licensing, LLC
- Andrew D. Gordon
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Program synthesis with existentially and universally quantified bel...
- Patent number 8,825,572
- Issue date Sep 2, 2014
- Microsoft Corporation
- Aditya Nori
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Preferential path profiling
- Patent number 8,079,020
- Issue date Dec 13, 2011
- Microsoft Corporation
- Trishul Amit Madhukar Chilimbi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Statistical debugging using paths and adaptive profiling
- Patent number 8,065,565
- Issue date Nov 22, 2011
- Microsoft Corporation
- Trishul Chilimbi
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
MODELING DATA GENERATING PROCESS
- Publication number 20140101090
- Publication date Apr 10, 2014
- Microsoft Corporation
- Andrew D. Gordon
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PARALLELIZING TOP-DOWN INTERPROCEDURAL ANALYSIS
- Publication number 20130239093
- Publication date Sep 12, 2013
- Microsoft Corporation
- Aditya V. Nori
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROBABILISTIC MODEL APPROXIMATION FOR STATISTICAL RELATIONAL LEARNING
- Publication number 20130144812
- Publication date Jun 6, 2013
- Microsoft Corporation
- Arun Tejasvi Chaganty
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
QUANTIFIED BELIEF PROPAGATION
- Publication number 20120197829
- Publication date Aug 2, 2012
- Microsoft Corporation
- Aditya V. Nori
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
COMBINATION MAY-MUST CODE ANALYSIS
- Publication number 20100251221
- Publication date Sep 30, 2010
- Microsoft Corporation
- Aditya V. Nori
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
STATISTICAL DEBUGGING USING PATHS AND ADAPTIVE PROFILING
- Publication number 20100088546
- Publication date Apr 8, 2010
- Microsoft Corporation
- Trishul Chilimbi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
GENERATION AND EVALUATION OF TEST CASES FOR SOFTWARE VALIDATION AND...
- Publication number 20090282289
- Publication date Nov 12, 2009
- Microsoft Corporation
- Aditya V. Nori
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PREFERENTIAL PATH PROFILING
- Publication number 20080222614
- Publication date Sep 11, 2008
- Microsoft Corporation
- Trishul Amit Madhukar Chilimbi
- G06 - COMPUTING CALCULATING COUNTING

Aditya Nori

Person

Patents Grantslast 30 patents

Modeling a data generating process using dyadic Bayesian models

Program synthesis with existentially and universally quantified bel...

Preferential path profiling

Statistical debugging using paths and adaptive profiling

Patents Applicationslast 30 patents

MODELING DATA GENERATING PROCESS

PARALLELIZING TOP-DOWN INTERPROCEDURAL ANALYSIS

PROBABILISTIC MODEL APPROXIMATION FOR STATISTICAL RELATIONAL LEARNING

QUANTIFIED BELIEF PROPAGATION

COMBINATION MAY-MUST CODE ANALYSIS

STATISTICAL DEBUGGING USING PATHS AND ADAPTIVE PROFILING

GENERATION AND EVALUATION OF TEST CASES FOR SOFTWARE VALIDATION AND...

PREFERENTIAL PATH PROFILING