Donald Syme

Person

Grantchester, GB

People

Patents Grantslast 30 patents

Information Patent Grant
Automatic return to synchronization context for asynchronous comput...
- Patent number 9,880,860
- Issue date Jan 30, 2018
- Microsoft Technology Licensing, LLC
- Donald Syme
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Asynchronous workflows
- Patent number 9,411,568
- Issue date Aug 9, 2016
- Microsoft Technology Licensing, LLC
- Donald Syme
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Static type checking against external data sources
- Patent number 8,813,027
- Issue date Aug 19, 2014
- Microsoft Corporation
- Timothy Yat Tim Ng
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Data type provider for a data store
- Patent number 8,776,010
- Issue date Jul 8, 2014
- Microsoft Corporation
- Jomo Fisher
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Efficient generic code in a dynamic execution environment
- Patent number 7,346,901
- Issue date Mar 18, 2008
- Microsoft Corporation
- Donald Robert Syme
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verifier to check intermediate language
- Patent number 7,171,655
- Issue date Jan 30, 2007
- Microsoft Corporation
- Andrew Gordon
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verifying intermediate language code
- Patent number 6,851,108
- Issue date Feb 1, 2005
- Microsoft Corporation
- Don Syme
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verifier to check intermediate language
- Patent number 6,560,774
- Issue date May 6, 2003
- Microsoft Corporation
- Andrew Gordon
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
DATA TYPE PROVIDER FOR AN OPERATING SYSTEM INSTRUMENTATION STORE
- Publication number 20120110548
- Publication date May 3, 2012
- Microsoft Corporation
- Jomo Fisher
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DATA TYPE PROVIDER FOR A WEB SEMANTIC STORE
- Publication number 20120110560
- Publication date May 3, 2012
- Microsoft Corporation
- Jomo Fisher
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATIC RETURN TO SYNCHRONIZATION CONTEXT FOR ASYNCHRONOUS COMPUT...
- Publication number 20110276983
- Publication date Nov 10, 2011
- Microsoft Corporation
- Donald Syme
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
NAME BINDING EXTENSIBILITY FOR TYPED PROGRAMMING LANGUAGE
- Publication number 20110276950
- Publication date Nov 10, 2011
- Microsoft Corporation
- Jomo A. Fisher
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ASYNCHRONOUS WORKFLOWS
- Publication number 20110258594
- Publication date Oct 20, 2011
- Microsoft Corporation
- Donald Syme
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
STATIC TYPE CHECKING AGAINST EXTERNAL DATA SOURCES
- Publication number 20110258593
- Publication date Oct 20, 2011
- Microsoft Corporation
- Timothy Yat Tim Ng
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Enhanced Prompting in a Visual Editor
- Publication number 20090138849
- Publication date May 28, 2009
- Microsoft Corporation
- Don Syme
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Verifier to check intermediate language
- Publication number 20030154468
- Publication date Aug 14, 2003
- Microsoft Corporation
- Andrew Gordon
- G06 - COMPUTING CALCULATING COUNTING

Donald Syme

Person

Patents Grantslast 30 patents

Automatic return to synchronization context for asynchronous comput...

Asynchronous workflows

Static type checking against external data sources

Data type provider for a data store

Efficient generic code in a dynamic execution environment

Verifier to check intermediate language

Verifying intermediate language code

Verifier to check intermediate language

Patents Applicationslast 30 patents

DATA TYPE PROVIDER FOR AN OPERATING SYSTEM INSTRUMENTATION STORE

DATA TYPE PROVIDER FOR A WEB SEMANTIC STORE

AUTOMATIC RETURN TO SYNCHRONIZATION CONTEXT FOR ASYNCHRONOUS COMPUT...

NAME BINDING EXTENSIBILITY FOR TYPED PROGRAMMING LANGUAGE

ASYNCHRONOUS WORKFLOWS

STATIC TYPE CHECKING AGAINST EXTERNAL DATA SOURCES

Enhanced Prompting in a Visual Editor

Verifier to check intermediate language