Pavel Avgustinov

Person

Oxford, GB

People

Patents Grantslast 30 patents

Information Patent Grant
Performing partial analysis of a source code base
- Patent number 10,768,925
- Issue date Sep 8, 2020
- Pavel Avgustinov
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Compiler caching based on semantic structure
- Patent number 10,613,843
- Issue date Apr 7, 2020
- Microsoft Technology Licensing, LLC
- Pavel Avgustinov
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Source code element signatures
- Patent number 10,353,702
- Issue date Jul 16, 2019
- Semmle Limited
- Max Schaefer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Aggregating source code metric values
- Patent number 10,261,883
- Issue date Apr 16, 2019
- Semmle Limited
- Julian Tibble
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Extracting source code
- Patent number 9,946,525
- Issue date Apr 17, 2018
- Semmle Limited
- Julian Tibble
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Artifact normalization
- Patent number 9,817,659
- Issue date Nov 14, 2017
- Semmle Limited
- Julian Tibble
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Source code element signatures
- Patent number 9,792,114
- Issue date Oct 17, 2017
- Semmle Limited
- Max Schaefer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Aggregating source code metric values
- Patent number 9,740,591
- Issue date Aug 22, 2017
- Semmle Limited
- Julian Tibble
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Extracting source code
- Patent number 9,645,804
- Issue date May 9, 2017
- Semmle Limited
- Julian Tibble
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Aggregating source code metric values
- Patent number 9,619,224
- Issue date Apr 11, 2017
- Semmle Limited
- Julian Tibble
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Extracting source code
- Patent number 9,612,850
- Issue date Apr 4, 2017
- Semmle Limited
- Julian Tibble
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Source code violation matching and attribution
- Patent number 9,507,591
- Issue date Nov 29, 2016
- Semmle Limited
- Anders Starcke Henriksen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Artifact normalization
- Patent number 9,507,694
- Issue date Nov 29, 2016
- Semmle Limited
- Julian Tibble
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Source code violation matching and attribution
- Patent number 9,411,578
- Issue date Aug 9, 2016
- Semmle Limited
- Anders Starcke Henriksen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Source code violation matching and attribution
- Patent number 9,411,579
- Issue date Aug 9, 2016
- Semmle Limited
- Anders Starcke Henriksen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Source code violation matching and attribution
- Patent number 9,262,157
- Issue date Feb 16, 2016
- Semmle Limited
- Anders Starcke Henriksen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Extracting source code
- Patent number 9,110,737
- Issue date Aug 18, 2015
- Semmle Limited
- Julian Tibble
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Aggregating source code metric values
- Patent number 9,098,377
- Issue date Aug 4, 2015
- Semmle Limited
- Julian Tibble
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Approximating query results by relations over types for error detec...
- Patent number 8,332,385
- Issue date Dec 11, 2012
- Semmle Limited
- Oege de Moor
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Approximating relation sizes using field dependencies
- Patent number 8,095,515
- Issue date Jan 10, 2012
- Semmle Limited
- Damien Sereni
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
DATA LEAK DETECTION USING SIMILARITY MAPPING
- Publication number 20220156388
- Publication date May 19, 2022
- Microsoft Technology Licensing, LLC
- Maya KACZOROWSKI
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PERFORMING PARTIAL ANALYSIS OF A SOURCE CODE BASE
- Publication number 20200225935
- Publication date Jul 16, 2020
- GITHUB SOFTWARE UK LTD.
- Pavel Avgustinov
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
COMPILER CACHING BASED ON SEMANTIC STRUCTURE
- Publication number 20190205107
- Publication date Jul 4, 2019
- Semmle Limited
- Pavel Avgustinov
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SOURCE CODE ELEMENT SIGNATURES
- Publication number 20180101379
- Publication date Apr 12, 2018
- Semmle Limited
- Max Schaefer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AGGREGATING SOURCE CODE METRIC VALUES
- Publication number 20180032422
- Publication date Feb 1, 2018
- Semmle Limited
- Julian Tibble
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EXTRACTING SOURCE CODE
- Publication number 20170199732
- Publication date Jul 13, 2017
- Semmle Limited
- Julian Tibble
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ARTIFACT NORMALIZATION
- Publication number 20170123791
- Publication date May 4, 2017
- Semmle Limited
- Julian Tibble
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AGGREGATING SOURCE CODE METRIC VALUES
- Publication number 20170052872
- Publication date Feb 23, 2017
- Semmle Limited
- Julian Tibble
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EXTRACTING SOURCE CODE
- Publication number 20170052770
- Publication date Feb 23, 2017
- Semmle Limited
- Julian Tibble
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SOURCE CODE VIOLATION MATCHING AND ATTRIBUTION
- Publication number 20160132326
- Publication date May 12, 2016
- Semmle Limited
- Anders Starcke Henriksen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SOURCE CODE VIOLATION MATCHING AND ATTRIBUTION
- Publication number 20160098271
- Publication date Apr 7, 2016
- Semmle Limited
- Anders Starcke Henriksen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EXTRACTING SOURCE CODE
- Publication number 20150347163
- Publication date Dec 3, 2015
- Semmle Limited
- Julian Tibble
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AGGREGATING SOURCE CODE METRIC VALUES
- Publication number 20150347126
- Publication date Dec 3, 2015
- Semmle Limited
- Julian Tibble
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SOURCE CODE VIOLATION MATCHING AND ATTRIBUTION
- Publication number 20150324195
- Publication date Nov 12, 2015
- Semmle Limited
- Anders Starcke Henriksen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SOURCE CODE VIOLATION MATCHING AND ATTRIBUTION
- Publication number 20150309790
- Publication date Oct 29, 2015
- Semmle Limited
- Anders Starcke Henriksen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
APPROXIMATING RELATION SIZES USING FIELD DEPENDENCIES
- Publication number 20090240649
- Publication date Sep 24, 2009
- Semmle Limited
- DAMIEN SERENI
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
APPROXIMATING QUERY RESULTS BY RELATIONS OVER TYPES FOR ERROR DETEC...
- Publication number 20090234801
- Publication date Sep 17, 2009
- Semmle Limited
- Oege De Moor
- G06 - COMPUTING CALCULATING COUNTING

Pavel Avgustinov

Person

Patents Grantslast 30 patents

Performing partial analysis of a source code base

Compiler caching based on semantic structure

Source code element signatures

Aggregating source code metric values

Extracting source code

Artifact normalization

Source code element signatures

Aggregating source code metric values

Extracting source code

Aggregating source code metric values

Extracting source code

Source code violation matching and attribution

Artifact normalization

Source code violation matching and attribution

Source code violation matching and attribution

Source code violation matching and attribution

Extracting source code

Aggregating source code metric values

Approximating query results by relations over types for error detec...

Approximating relation sizes using field dependencies

Patents Applicationslast 30 patents

DATA LEAK DETECTION USING SIMILARITY MAPPING

PERFORMING PARTIAL ANALYSIS OF A SOURCE CODE BASE

COMPILER CACHING BASED ON SEMANTIC STRUCTURE

SOURCE CODE ELEMENT SIGNATURES

AGGREGATING SOURCE CODE METRIC VALUES

EXTRACTING SOURCE CODE

ARTIFACT NORMALIZATION

AGGREGATING SOURCE CODE METRIC VALUES

EXTRACTING SOURCE CODE

SOURCE CODE VIOLATION MATCHING AND ATTRIBUTION

SOURCE CODE VIOLATION MATCHING AND ATTRIBUTION

EXTRACTING SOURCE CODE

AGGREGATING SOURCE CODE METRIC VALUES

SOURCE CODE VIOLATION MATCHING AND ATTRIBUTION

SOURCE CODE VIOLATION MATCHING AND ATTRIBUTION

APPROXIMATING RELATION SIZES USING FIELD DEPENDENCIES

APPROXIMATING QUERY RESULTS BY RELATIONS OVER TYPES FOR ERROR DETEC...