Amanda Silver

Person

Seattle, WA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Thread-agile execution of dynamic programming language programs
- Patent number 10,417,011
- Issue date Sep 17, 2019
- Microsoft Technology Licensing, LLC
- Stefan R. Batres
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Modifiable high-level intermediate representation of source code
- Patent number 9,697,021
- Issue date Jul 4, 2017
- Microsoft Technology Licensing, LLC
- Harish Kantamneni
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Thread-agile execution of dynamic programming language programs
- Patent number 9,529,608
- Issue date Dec 27, 2016
- Microsoft Technology Licensing, LLC
- Stefan R. Batres
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Componentization of compiler functionality
- Patent number 9,170,787
- Issue date Oct 27, 2015
- Microsoft Technology Licensing, LLC
- Avner Y. Aharoni
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Dynamic token resolution during compilation
- Patent number 9,052,913
- Issue date Jun 9, 2015
- Microsoft Technology Licensing, LLC
- Harish Kantamneni
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Type inference and type-directed late binding
- Patent number 8,732,732
- Issue date May 20, 2014
- Microsoft Corporation
- Henricus Johannes Maria Meijer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Thread-agile execution of dynamic programming language programs
- Patent number 8,694,961
- Issue date Apr 8, 2014
- Microsoft Corporation
- Stefan R. Batres
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Embedding expressions in XML literals
- Patent number 8,533,693
- Issue date Sep 10, 2013
- Microsoft Corporation
- Henricus Johannes Maria Meijer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Compiler in a managed application context
- Patent number 8,479,178
- Issue date Jul 2, 2013
- Microsoft Corporation
- Avner Y. Aharoni
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Type inference and type-directed late binding
- Patent number 8,473,971
- Issue date Jun 25, 2013
- Microsoft Corporation
- Henricus Johannes Maria Meijer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Declarative object identity
- Patent number 8,347,266
- Issue date Jan 1, 2013
- Microsoft Corporation
- Henricus J. Meijer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Late bound programmatic assistance
- Patent number 8,321,836
- Issue date Nov 27, 2012
- Microsoft Corporation
- Henricus Johannes Maria Meijer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Translating late bound LINQ expressions into database queries
- Patent number 8,255,883
- Issue date Aug 28, 2012
- Microsoft Corporation
- David E Sceppa
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Explicit delimitation of semantic scope
- Patent number 8,171,453
- Issue date May 1, 2012
- Microsoft Corporation
- Henricus Johannes Maria Meijer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Type extensions
- Patent number 8,032,859
- Issue date Oct 4, 2011
- Microsoft Corporation
- Henricus Johannes Maria Meijer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Embedding expression in XML literals
- Patent number 7,945,904
- Issue date May 17, 2011
- Microsoft Corporation
- Henricus Johannes Maria Meijer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Type inference for object-oriented languages
- Patent number 7,873,592
- Issue date Jan 18, 2011
- Microsoft Corporation
- Henricus Johannes Maria Meijer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Compositional query comprehensions
- Patent number 7,865,533
- Issue date Jan 4, 2011
- Microsoft Corporation
- Henricus Johannes Maria Meijer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Query pattern to enable type flow of element types
- Patent number 7,805,456
- Issue date Sep 28, 2010
- Microsoft Corporation
- Henricus Johannes Maria Meijer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Anonymous types
- Patent number 7,788,651
- Issue date Aug 31, 2010
- Microsoft Corporation
- Henricus Johannes Maria Meijer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Data interfaces
- Patent number 7,779,397
- Issue date Aug 17, 2010
- Microsoft Corporation
- Henricus Johannes Maria Meijer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Efficient execution of aggregation queries
- Patent number 7,769,755
- Issue date Aug 3, 2010
- Microsoft Corporation
- Henricus Johannes Maria Meijer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Query comprehensions
- Patent number 7,730,079
- Issue date Jun 1, 2010
- Microsoft Corporation
- Henricus Johannes Maria Meijer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Nullable and late binding
- Patent number 7,716,656
- Issue date May 11, 2010
- Microsoft Corporation
- Henricus Johannes Maria Meijer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Readers and scanner design pattern
- Patent number 7,624,374
- Issue date Nov 24, 2009
- Microsoft Corporation
- Henricus Johannes Maria Meijer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Resolving operators with user defined operands
- Patent number 7,620,944
- Issue date Nov 17, 2009
- Microsoft Corporation
- Cameron Beccario
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for creating, managing and using code segments
- Patent number 7,526,753
- Issue date Apr 28, 2009
- Microsoft Corporation
- Sam Spencer
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
THREAD-AGILE EXECUTION OF DYNAMIC PROGRAMMING LANGUAGE PROGRAMS
- Publication number 20170168843
- Publication date Jun 15, 2017
- Microsoft Technology Licensing, LLC
- Stefan R. Batres
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
THREAD-AGILE EXECUTION OF DYNAMIC PROGRAMMING LANGUAGE PROGRAMS
- Publication number 20140196053
- Publication date Jul 10, 2014
- Stefan R. Batres
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TYPE INFERENCE AND TYPE-DIRECTED LATE BINDING
- Publication number 20130290987
- Publication date Oct 31, 2013
- Henricus Johannes Maria Meijer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
THREAD-AGILE EXECUTION OF DYNAMIC PROGRAMMING LANGUAGE PROGRAMS
- Publication number 20130263087
- Publication date Oct 3, 2013
- Microsoft Corporation
- Stefan R. Batres
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DYNAMIC TOKEN RESOLUTION DURING COMPILATION
- Publication number 20110276953
- Publication date Nov 10, 2011
- Microsoft Corporation
- Harish Kantamneni
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MODIFIABLE HIGH-LEVEL INTERMEDIATE REPRESENTATION OF SOURCE CODE
- Publication number 20110271261
- Publication date Nov 3, 2011
- Microsoft Corporation
- Harish Kantamneni
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EMBEDDING EXPRESSIONS IN XML LITERALS
- Publication number 20110072413
- Publication date Mar 24, 2011
- Microsoft Corporation
- Henricus Johannes Maria Meijer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
COMPILER IN A MANAGED APPLICATION CONTEXT
- Publication number 20090328012
- Publication date Dec 31, 2009
- Microsoft Corporation
- Avner Y. Aharoni
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
COMPONENTIZATION OF COMPILER FUNCTIONALITY
- Publication number 20090328013
- Publication date Dec 31, 2009
- Microsoft Corporation
- Avner Y. Aharoni
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DECLARATIVE OBJECT IDENTITY
- Publication number 20090150864
- Publication date Jun 11, 2009
- Microsoft Corporation
- Henricus J. Meijer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
STATIC QUERY OPTIMIZATION FOR LINQ
- Publication number 20090144229
- Publication date Jun 4, 2009
- Microsoft Corporation
- Henricus Johannes Maria Meijer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
LATE BOUND PROGRAMMATIC ASSISTANCE
- Publication number 20080320444
- Publication date Dec 25, 2008
- Microsoft Corporation
- Henricus Johannes Maria Meijer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TYPE INFERENCE AND LATE BINDING
- Publication number 20080320453
- Publication date Dec 25, 2008
- Microsoft Corporation
- Henricus Johannes Maria Meijer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EXPLICIT DELIMITATION OF SEMANTIC SCOPE
- Publication number 20080295083
- Publication date Nov 27, 2008
- Microsoft Corporation
- Henricus Johannes Maria Meijer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TRANSLATING LATE BOUND LINQ EXPRESSIONS INTO DATABASE QUERIES
- Publication number 20080263063
- Publication date Oct 23, 2008
- Microsoft Corporation
- David E. Sceppa
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TYPE INFERENCE FOR OBJECT-ORIENTED LANGUAGES
- Publication number 20080262992
- Publication date Oct 23, 2008
- Microsoft Corporation
- Henricus Johannes Maria Meijer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATIC RUNTIME CONTROL BINDING
- Publication number 20080263531
- Publication date Oct 23, 2008
- Microsoft Corporation
- Carl Yates Perry
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VARIABLE CAPTURE IN OBJECT ORIENTED LANGUAGES
- Publication number 20080244516
- Publication date Oct 2, 2008
- Microsoft Corporation
- Henricus Johannes Maria Meijer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
COMPOSITIONAL QUERY COMPREHENSIONS
- Publication number 20080189258
- Publication date Aug 7, 2008
- Microsoft Corporation
- Henricus Johannes Maria Miejer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
QUERY PATTERN TO ENABLE TYPE FLOW OF ELEMENT TYPES
- Publication number 20080189277
- Publication date Aug 7, 2008
- Microsoft Corporation
- Henricus Johannes Maria Meijer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EFFICIENT EXECUTION OF AGGREGATION QUERIES
- Publication number 20080133492
- Publication date Jun 5, 2008
- Microsoft Corporation
- Henricus Johannes Maria Meijer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Data interfaces
- Publication number 20070094647
- Publication date Apr 26, 2007
- Microsoft Corporation
- Henricus Johannes Maria Meijer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Readers and scanner design pattern
- Publication number 20070074162
- Publication date Mar 29, 2007
- Microsoft Corporation
- Henricus Johannes Maria Meijer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Identifier expressions
- Publication number 20070074185
- Publication date Mar 29, 2007
- Microsoft Corporation
- Henricus Johannes Maria Meijer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Type inference and type-directed late binding
- Publication number 20070055978
- Publication date Mar 8, 2007
- Microsoft Corporation
- Henricus Johannes Maria Meijer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Anonymous types
- Publication number 20070055962
- Publication date Mar 8, 2007
- Microsoft Corporation
- Henricus Johannes Maria Meijer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Programmatic query assistance
- Publication number 20070050348
- Publication date Mar 1, 2007
- Microsoft Corporation
- Avner Y. Aharoni
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Nullable and late binding
- Publication number 20070050380
- Publication date Mar 1, 2007
- Microsoft Corporation
- Henricus Johannes Maria Meijer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Query comprehensions
- Publication number 20070050347
- Publication date Mar 1, 2007
- Microsoft Corporation
- Henricus Johannes Maria Meijer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Type extensions
- Publication number 20070050168
- Publication date Mar 1, 2007
- Microsoft Corporation
- Henricus Johannes Maria Meijer
- G06 - COMPUTING CALCULATING COUNTING

Amanda Silver

Person

Patents Grantslast 30 patents

Thread-agile execution of dynamic programming language programs

Modifiable high-level intermediate representation of source code

Thread-agile execution of dynamic programming language programs

Componentization of compiler functionality

Dynamic token resolution during compilation

Type inference and type-directed late binding

Thread-agile execution of dynamic programming language programs

Embedding expressions in XML literals

Compiler in a managed application context

Type inference and type-directed late binding

Declarative object identity

Late bound programmatic assistance

Translating late bound LINQ expressions into database queries

Explicit delimitation of semantic scope

Type extensions

Embedding expression in XML literals

Type inference for object-oriented languages

Compositional query comprehensions

Query pattern to enable type flow of element types

Anonymous types

Data interfaces

Efficient execution of aggregation queries

Query comprehensions

Nullable and late binding

Readers and scanner design pattern

Resolving operators with user defined operands

System and method for creating, managing and using code segments

Patents Applicationslast 30 patents

THREAD-AGILE EXECUTION OF DYNAMIC PROGRAMMING LANGUAGE PROGRAMS

THREAD-AGILE EXECUTION OF DYNAMIC PROGRAMMING LANGUAGE PROGRAMS

TYPE INFERENCE AND TYPE-DIRECTED LATE BINDING

THREAD-AGILE EXECUTION OF DYNAMIC PROGRAMMING LANGUAGE PROGRAMS

DYNAMIC TOKEN RESOLUTION DURING COMPILATION

MODIFIABLE HIGH-LEVEL INTERMEDIATE REPRESENTATION OF SOURCE CODE

EMBEDDING EXPRESSIONS IN XML LITERALS

COMPILER IN A MANAGED APPLICATION CONTEXT

COMPONENTIZATION OF COMPILER FUNCTIONALITY

DECLARATIVE OBJECT IDENTITY

STATIC QUERY OPTIMIZATION FOR LINQ

LATE BOUND PROGRAMMATIC ASSISTANCE

TYPE INFERENCE AND LATE BINDING

EXPLICIT DELIMITATION OF SEMANTIC SCOPE

TRANSLATING LATE BOUND LINQ EXPRESSIONS INTO DATABASE QUERIES

TYPE INFERENCE FOR OBJECT-ORIENTED LANGUAGES

AUTOMATIC RUNTIME CONTROL BINDING

VARIABLE CAPTURE IN OBJECT ORIENTED LANGUAGES

COMPOSITIONAL QUERY COMPREHENSIONS

QUERY PATTERN TO ENABLE TYPE FLOW OF ELEMENT TYPES

EFFICIENT EXECUTION OF AGGREGATION QUERIES

Data interfaces

Readers and scanner design pattern

Identifier expressions

Type inference and type-directed late binding

Anonymous types

Programmatic query assistance

Nullable and late binding

Query comprehensions

Type extensions