Bart De Smet

Person

Redmond, WA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Generalized resource accountant
- Patent number 12,058,226
- Issue date Aug 6, 2024
- Microsoft Technology Licensing, LLC
- Bart J. F. De Smet
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Providing access to state information associated with operators in...
- Patent number 11,960,495
- Issue date Apr 16, 2024
- Microsoft Technology Licensing, LLC
- Bart J. F. De Smet
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Providing access to state information associated with operators in...
- Patent number 11,461,345
- Issue date Oct 4, 2022
- Microsoft Technology Licensing, LLC
- Bart J. F. De Smet
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Generalized resource accountant
- Patent number 11,128,731
- Issue date Sep 21, 2021
- Microsoft Technology Licensing, LLC
- Bart J. F. De Smet
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Reactive coincidence
- Patent number 10,956,236
- Issue date Mar 23, 2021
- Microsoft Technology Licensing, LLC
- John Wesley Dyer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Persistent annotation of syntax graphs for code optimization
- Patent number 10,871,950
- Issue date Dec 22, 2020
- Microsoft Technology Licensing, LLC
- Bart J. F. De Smet
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Cooperative expression visitors
- Patent number 10,853,366
- Issue date Dec 1, 2020
- Microsoft Technology Licensing, LLC
- Bart De Smet
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Memory compression for immutable data structures
- Patent number 10,649,676
- Issue date May 12, 2020
- Microsoft Technology Licensing, LLC
- Bart Johan Fred De Smet
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Stream-based reactive programming platform
- Patent number 10,574,714
- Issue date Feb 25, 2020
- Microsoft Technology Licensing, LLC
- Bart J. F. De Smet
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Reducing memory usage for long standing computations
- Patent number 10,565,110
- Issue date Feb 18, 2020
- Microsoft Technology Licensing, LLC
- Bart J. F. De Smet
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Reactive coincidence
- Patent number 10,394,625
- Issue date Aug 27, 2019
- Microsoft Technology Licensing, LLC
- John Wesley Dyer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Expression tree interning
- Patent number 10,318,511
- Issue date Jun 11, 2019
- Microsoft Technology Licensing, LLC
- Bart De Smet
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Checkpointing higher order query operators
- Patent number 10,303,558
- Issue date May 28, 2019
- Microsoft Technology Licensing, LLC
- Bart De Smet
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Event processing system paging
- Patent number 9,952,916
- Issue date Apr 24, 2018
- Microsoft Technology Licensing, LLC
- Bart De Smet
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Multidimensional grouping operators
- Patent number 9,886,474
- Issue date Feb 6, 2018
- Microsoft Technology Licensing, LLC
- Bart De Smet
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Client-side integration framework of services
- Patent number 9,781,128
- Issue date Oct 3, 2017
- Microsoft Technology Licensing, LLC
- Saar Yahalom
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Incentive-based app execution
- Patent number 9,760,401
- Issue date Sep 12, 2017
- Microsoft Technology Licensing, LLC
- Douglas C. Burger
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Lightweight optionally typed data representation of computation
- Patent number 9,696,968
- Issue date Jul 4, 2017
- Microsoft Technology Licensing, LLC
- Bart De Smet
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Client-side integration framework of services
- Patent number 9,560,055
- Issue date Jan 31, 2017
- Microsoft Technology Licensing, LLC
- Saar Yahalom
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Delegation of expression tree evaluation
- Patent number 9,524,323
- Issue date Dec 20, 2016
- Microsoft Technology Licensing, LLC
- Colin Joseph Meek
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Reactive coincidence
- Patent number 9,477,537
- Issue date Oct 25, 2016
- Microsoft Technology Licensing, LLC
- John Wesley Dyer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Reactive expression generation and optimization
- Patent number 9,400,638
- Issue date Jul 26, 2016
- Microsoft Technology Licensing, LLC
- Bart De Smet
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Incentive-based app execution
- Patent number 9,218,497
- Issue date Dec 22, 2015
- Microsoft Technology Licensing, LLC
- Douglas C. Burger
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Query constraint encoding with type-based state machine
- Patent number 9,177,017
- Issue date Nov 3, 2015
- Microsoft Technology Licensing, LLC
- Bart De Smet
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Data flow visualization and debugging
- Patent number 8,745,591
- Issue date Jun 3, 2014
- Microsoft Corporation
- Bart De Smet
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Asynchronous programming model mapping
- Patent number 8,539,439
- Issue date Sep 17, 2013
- Microsoft Corporation
- Henricus Johannes Maria Meijer
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
PROVIDING ACCESS TO STATE INFORMATION ASSOCIATED WITH OPERATORS IN...
- Publication number 20240168964
- Publication date May 23, 2024
- Microsoft Technology Licensing, LLC
- Bart J.F. DE SMET
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROVIDING ACCESS TO STATE INFORMATION ASSOCIATED WITH OPERATORS IN...
- Publication number 20230044884
- Publication date Feb 9, 2023
- Microsoft Technology Licensing, LLC
- Bart J.F. DE SMET
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
GENERALIZED RESOURCE ACCOUNTANT
- Publication number 20210400121
- Publication date Dec 23, 2021
- Microsoft Technology Licensing, LLC
- Bart J.F. De Smet
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROVIDING ACCESS TO STATE INFORMATION ASSOCIATED WITH OPERATORS IN...
- Publication number 20200379992
- Publication date Dec 3, 2020
- Microsoft Technology Licensing, LLC
- Bart J.F. DE SMET
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PERSISTENT ANNOTATION OF SYNTAX GRAPHS FOR CODE OPTIMIZATION
- Publication number 20200364036
- Publication date Nov 19, 2020
- Microsoft Technology Licensing, LLC
- Bart J.F. DE SMET
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
GENERALIZED RESOURCE ACCOUNTANT
- Publication number 20200244762
- Publication date Jul 30, 2020
- Microsoft Technology Licensing, LLC
- Bart J.F. De Smet
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
REACTIVE COINCIDENCE
- Publication number 20190354415
- Publication date Nov 21, 2019
- Microsoft Technology Licensing, LLC
- John Wesley Dyer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Annotating Features of a Resource to Facilitate Consumption in Diff...
- Publication number 20190278570
- Publication date Sep 12, 2019
- Microsoft Technology Licensing, LLC
- Bart Johan Fred DE SMET
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Reducing Memory Usage For Long Standing Computations
- Publication number 20180039575
- Publication date Feb 8, 2018
- Microsoft Technology Licensing, LLC
- Bart J. F. De Smet
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
COOPERATIVE EXPRESSION VISITORS
- Publication number 20170154076
- Publication date Jun 1, 2017
- Microsoft Technology Licensing, LLC
- Bart De Smet
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PHASING OF MULTI-OUTPUT QUERY OPERATORS
- Publication number 20170154080
- Publication date Jun 1, 2017
- Microsoft Technology Licensing, LLC
- Bart De Smet
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EXPRESSION TREE INTERNING
- Publication number 20170147621
- Publication date May 25, 2017
- Microsoft Technology Licensing, LLC
- Bart De Smet
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CLIENT-SIDE INTEGRATION FRAMEWORK OF SERVICES
- Publication number 20170099298
- Publication date Apr 6, 2017
- Microsoft Technology Licensing, LLC
- Saar Yahalom
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
REACTIVE COINCIDENCE
- Publication number 20170004025
- Publication date Jan 5, 2017
- Microsoft Technology Licensing, LLC
- John Wesley Dyer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CHECKPOINTING HIGHER ORDER QUERY OPERATORS
- Publication number 20160306714
- Publication date Oct 20, 2016
- Microsoft Technology Licensing, LLC
- Bart De Smet
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CODE EXAMINATION BY SCHEDULER TIMELINE MANIPULATION
- Publication number 20160299786
- Publication date Oct 13, 2016
- Microsoft Technology Licensing, LLC
- Bart De Smet
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EVENT PROCESSING SYSTEM PAGING
- Publication number 20160299799
- Publication date Oct 13, 2016
- Microsoft Technology Licensing, LLC
- Bart De Smet
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Incentive-Based App Execution
- Publication number 20160147567
- Publication date May 26, 2016
- Microsoft Technology Licensing, LLC
- Douglas C. Burger
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
STREAM-BASED REACTIVE PROGRAMMING PLATFORM
- Publication number 20150381679
- Publication date Dec 31, 2015
- Microsoft Technology Licensing, LLC
- Bart J. F. De Smet
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Client-Side Integration Framework of Services
- Publication number 20150319176
- Publication date Nov 5, 2015
- Microsoft Corporation
- Saar Yahalom
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Incentive-Based App Execution
- Publication number 20150242645
- Publication date Aug 27, 2015
- Microsoft Corporation
- Douglas C. Burger
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
LIGHTWEIGHT OPTIONALLY TYPED DATA REPRESENTATION OF COMPUTATION
- Publication number 20150205584
- Publication date Jul 23, 2015
- Microsoft Corporation
- Bart De Smet
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DELEGATION OF EXPRESSION TREE EVALUATION
- Publication number 20140067871
- Publication date Mar 6, 2014
- Microsoft Corporation
- Colin Joseph Meek
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SCHEDULER COMBINATORS
- Publication number 20130132962
- Publication date May 23, 2013
- Microsoft Corporation
- Bart De Smet
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MULTIDIMENSIONAL GROUPING OPERATORS
- Publication number 20130132333
- Publication date May 23, 2013
- Microsoft Corporation
- Bart De Smet
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EXTERNAL SERIALIZATION AND DESERIALIZATION
- Publication number 20130117326
- Publication date May 9, 2013
- Microsoft Corporation
- Bart De Smet
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
REACTIVE EXPRESSION GENERATION AND OPTIMIZATION
- Publication number 20130117736
- Publication date May 9, 2013
- Microsoft Corporation
- Bart De Smet
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DYNAMICALLY TYPED QUERY EXPRESSIONS
- Publication number 20130117288
- Publication date May 9, 2013
- Microsoft Corporation
- Bart De Smet
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DATA FLOW VISUALIZATION AND DEBUGGING
- Publication number 20130104107
- Publication date Apr 25, 2013
- Microsoft Corporation
- Bart De Smet
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MULTIDIMENSIONAL DATA-CENTRIC SERVICE PROTOCOL
- Publication number 20120150913
- Publication date Jun 14, 2012
- Microsoft Corporation
- Bart De Smet
- G06 - COMPUTING CALCULATING COUNTING

Bart De Smet

Person

Patents Grantslast 30 patents

Generalized resource accountant

Providing access to state information associated with operators in...

Providing access to state information associated with operators in...

Generalized resource accountant

Reactive coincidence

Persistent annotation of syntax graphs for code optimization

Cooperative expression visitors

Memory compression for immutable data structures

Stream-based reactive programming platform

Reducing memory usage for long standing computations

Reactive coincidence

Expression tree interning

Checkpointing higher order query operators

Event processing system paging

Multidimensional grouping operators

Client-side integration framework of services

Incentive-based app execution

Lightweight optionally typed data representation of computation

Client-side integration framework of services

Delegation of expression tree evaluation

Reactive coincidence

Reactive expression generation and optimization

Incentive-based app execution

Query constraint encoding with type-based state machine

Data flow visualization and debugging

Asynchronous programming model mapping

Patents Applicationslast 30 patents

PROVIDING ACCESS TO STATE INFORMATION ASSOCIATED WITH OPERATORS IN...

PROVIDING ACCESS TO STATE INFORMATION ASSOCIATED WITH OPERATORS IN...

GENERALIZED RESOURCE ACCOUNTANT

PROVIDING ACCESS TO STATE INFORMATION ASSOCIATED WITH OPERATORS IN...

PERSISTENT ANNOTATION OF SYNTAX GRAPHS FOR CODE OPTIMIZATION

GENERALIZED RESOURCE ACCOUNTANT

REACTIVE COINCIDENCE

Annotating Features of a Resource to Facilitate Consumption in Diff...

Reducing Memory Usage For Long Standing Computations

COOPERATIVE EXPRESSION VISITORS

PHASING OF MULTI-OUTPUT QUERY OPERATORS

EXPRESSION TREE INTERNING

CLIENT-SIDE INTEGRATION FRAMEWORK OF SERVICES

REACTIVE COINCIDENCE

CHECKPOINTING HIGHER ORDER QUERY OPERATORS

CODE EXAMINATION BY SCHEDULER TIMELINE MANIPULATION

EVENT PROCESSING SYSTEM PAGING

Incentive-Based App Execution

STREAM-BASED REACTIVE PROGRAMMING PLATFORM

Client-Side Integration Framework of Services

Incentive-Based App Execution

LIGHTWEIGHT OPTIONALLY TYPED DATA REPRESENTATION OF COMPUTATION

DELEGATION OF EXPRESSION TREE EVALUATION

SCHEDULER COMBINATORS

MULTIDIMENSIONAL GROUPING OPERATORS

EXTERNAL SERIALIZATION AND DESERIALIZATION

REACTIVE EXPRESSION GENERATION AND OPTIMIZATION

DYNAMICALLY TYPED QUERY EXPRESSIONS

DATA FLOW VISUALIZATION AND DEBUGGING

MULTIDIMENSIONAL DATA-CENTRIC SERVICE PROTOCOL