John Duffy

Person

Mercer Island, WA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Mutable type builder
- Patent number 11,113,190
- Issue date Sep 7, 2021
- Microsoft Technology Licensing, LLC
- John J. Duffy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Concurrent mutation of isolated object graphs
- Patent number 10,901,808
- Issue date Jan 26, 2021
- Microsoft Technology Licensing, LLC
- John J. Duffy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Partitioning and repartitioning for data parallel operations
- Patent number 10,831,758
- Issue date Nov 10, 2020
- Microsoft Technology Licensing, LLC
- John Duffy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Cross-library framework architecture feature sets
- Patent number 10,152,309
- Issue date Dec 11, 2018
- Microsoft Technology Licensing, LLC
- Mircea Trofin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Reference attribute annotation signifying no external reference
- Patent number 9,971,578
- Issue date May 15, 2018
- Microsoft Technology Licensing, LLC
- John J. Duffy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Lock-free barrier with dynamic updating of participant count using...
- Patent number 9,952,912
- Issue date Apr 24, 2018
- Microsoft Technology Licensing, LLC
- Emad Omara
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Stack overflow prevention in parallel execution runtime
- Patent number 9,928,105
- Issue date Mar 27, 2018
- Microsoft Technology Licensing, LLC
- Huseyin S. Yildiz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Composable and cancelable dataflow continuation passing
- Patent number 9,772,887
- Issue date Sep 26, 2017
- Microsoft Technology Learning, LLC
- John Duffy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Partitioning and repartitioning for data parallel operations
- Patent number 9,740,742
- Issue date Aug 22, 2017
- Microsoft Technology Licensing, LLC
- John Duffy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Resource access safety through immutable object types
- Patent number 9,740,460
- Issue date Aug 22, 2017
- Microsoft Technology Licensing, LLC
- John J. Duffy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Concurrent mutation of isolated object graphs
- Patent number 9,569,282
- Issue date Feb 14, 2017
- Microsoft Technology Licensing, LLC
- John J. Duffy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Providing lock-based access to nodes in a concurrent linked list
- Patent number 9,519,524
- Issue date Dec 13, 2016
- Microsoft Technology Licensing, LLC
- Chunyan Song
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Cross-library framework architecture feature sets
- Patent number 9,430,200
- Issue date Aug 30, 2016
- Microsoft Technology Licensing LLC
- Mircea Trofin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Enumeration of a concurrent data structure
- Patent number 9,418,175
- Issue date Aug 16, 2016
- Microsoft Technology Licensing, LLC
- Emad Omara
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Parallel nested transactions in transactional memory
- Patent number 9,411,635
- Issue date Aug 9, 2016
- Microsoft Technology Licensing, LLC
- Michael M. Magruder
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Handling exceptions in a data parallel system
- Patent number 9,304,778
- Issue date Apr 5, 2016
- Microsoft Technology Licensing, LLC
- John Duffy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Operating system support for contracts
- Patent number 9,286,039
- Issue date Mar 15, 2016
- Microsoft Technology Licensing, LLC
- John J. Duffy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Data parallel searching
- Patent number 9,251,291
- Issue date Feb 2, 2016
- Microsoft Technology Licensing, LLC
- John Duffy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Partitioning and repartitioning for data parallel operations
- Patent number 9,251,207
- Issue date Feb 2, 2016
- Microsoft Technology Licensing, LLC
- John Duffy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for generating vehicle drive cycle profiles
- Patent number 9,239,995
- Issue date Jan 19, 2016
- PACCAR Inc.
- Kevin S. Oshiro
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Performing a wait operation to wait for one or more tasks to complete
- Patent number 9,229,788
- Issue date Jan 5, 2016
- Microsoft Technology Licensing, LLC
- Stephen H. Toub
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Object graph partial immutability and isolation enforcement
- Patent number 9,229,959
- Issue date Jan 5, 2016
- Microsoft Technology Licensing, LLC
- G. Shon Katzenberger
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Immutable sharable zero-copy data and streaming
- Patent number 9,189,446
- Issue date Nov 17, 2015
- Microsoft Technology Licensing, LLC
- Jason Todd Hunter
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Plug-in task scheduler
- Patent number 9,141,422
- Issue date Sep 22, 2015
- Microsoft Technology Licensing, LLC
- Stephen H. Toub
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method to ensure resource access safety with immutable o...
- Patent number 9,098,269
- Issue date Aug 4, 2015
- Microsoft Technology Licensing, LLC
- John J. Duffy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Immutable types in imperitive language
- Patent number 9,026,993
- Issue date May 5, 2015
- Microsoft Technology Licensing, LLC
- John Duffy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Scalable thread locking with customizable spinning
- Patent number 8,997,101
- Issue date Mar 31, 2015
- Microsoft Corporation
- Emad A. Omara
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Parallel processing of an ordered data stream
- Patent number 8,996,556
- Issue date Mar 31, 2015
- Microsoft Technology Licensing, LLC
- Igor Ostrovsky
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Lock-free barrier with dynamic updating of participant count
- Patent number 8,924,984
- Issue date Dec 30, 2014
- Microsoft Corporation
- Emad Omara
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Parallel execution of a loop
- Patent number 8,799,629
- Issue date Aug 5, 2014
- Microsoft Corporation
- Huseyin S. Yildiz
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
MUTABLE TYPE BUILDER
- Publication number 20180137049
- Publication date May 17, 2018
- Microsoft Technology Licensing, LLC
- John J. Duffy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PARTITIONING AND REPARTITIONING FOR DATA PARALLEL OPERATIONS
- Publication number 20180129709
- Publication date May 10, 2018
- Microsoft Technology Licensing, LLC
- John Duffy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROVIDING LOCK-BASED ACCESS TO NODES IN A CONCURRENT LINKED LIST
- Publication number 20170235780
- Publication date Aug 17, 2017
- Microsoft Technology Licensing, LLC
- Chunyan Song
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CONCURRENT MUTATION OF ISOLATED OBJECT GRAPHS
- Publication number 20170147412
- Publication date May 25, 2017
- Microsoft Technology Licensing, LLC
- John J. Duffy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CROSS-LIBRARY FRAMEWORK ARCHITECTURE FEATURE SETS
- Publication number 20160357531
- Publication date Dec 8, 2016
- Microsoft Technology Licensing, LLC
- Mircea Trofin
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PARTITIONING AND REPARTITIONING FOR DATA PARALLEL OPERATIONS
- Publication number 20160188669
- Publication date Jun 30, 2016
- Microsoft Technology Licensing, LLC
- John Duffy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
RESOURCE ACCESS SAFETY THROUGH IMMUTABLE OBJECT TYPES
- Publication number 20150324175
- Publication date Nov 12, 2015
- Microsoft Technology Licensing, LLC
- John J. Duffy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
LOCK-FREE BARRIER WITH DYNAMIC UPDATING OF PARTICIPANT COUNT
- Publication number 20150186190
- Publication date Jul 2, 2015
- Microsoft Corporation
- Emad Omara
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
IN-TRUCK FUEL ECONOMY ESTIMATOR
- Publication number 20140277971
- Publication date Sep 18, 2014
- PACCAR Inc
- Kevin S. Oshiro
- B60 - VEHICLES IN GENERAL
Information Patent Application
OPERATING SYSTEM SUPPORT FOR CONTRACTS
- Publication number 20140282448
- Publication date Sep 18, 2014
- Microsoft Corporation
- John J. Duffy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
IMMUTABLE OBJECT TYPES
- Publication number 20140196008
- Publication date Jul 10, 2014
- Microsoft Corporation
- John J. Duffy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SOFTWARE SYSTEMS BY MINIMIZING ERROR RECOVERY LOGIC
- Publication number 20140195862
- Publication date Jul 10, 2014
- Microsoft Corporation
- Martin Taillefer
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
OBJECT GRAPH PARTIAL IMMUTABILITY AND ISOLATION ENFORCEMENT
- Publication number 20140195563
- Publication date Jul 10, 2014
- Microsoft Corporation
- G. Shon Katzenberger
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
IMMUTABLE SHARABLE ZERO-COPY DATA AND STREAMING
- Publication number 20140195632
- Publication date Jul 10, 2014
- Microsoft Corporation
- Jason Todd Hunter
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DECLARATION OF LIFETIME OF RESOURCE REFERENCE
- Publication number 20140196015
- Publication date Jul 10, 2014
- Microsoft Corporation
- Jared Porter Parsons
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SCALABLE THREAD LOCKING WITH CUSTOMIZABLE SPINNING
- Publication number 20140189699
- Publication date Jul 3, 2014
- Emad A. Omara
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
REFERENCE ATTRIBUTE ANNOTATION SIGNIFYING NO EXTERNAL REFERENCE
- Publication number 20140108438
- Publication date Apr 17, 2014
- Microsoft Corporation
- John J. Duffy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
HANDLING EXCEPTIONS IN A DATA PARALLEL SYSTEM
- Publication number 20130145136
- Publication date Jun 6, 2013
- Microsoft Corporation
- John Duffy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PARALLEL NESTED TRANSACTIONS IN TRANSACTIONAL MEMORY
- Publication number 20130018860
- Publication date Jan 17, 2013
- Microsoft Corporation
- Michael M. Magruder
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR GENERATING VEHICLE DRIVE CYCLE PROFILES
- Publication number 20120330479
- Publication date Dec 27, 2012
- PACCAR Inc
- Kevin S. Oshiro
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROVIDING LOCK-BASED ACCESS TO NODES IN A CONCURRENT LINKED LIST
- Publication number 20120254139
- Publication date Oct 4, 2012
- Microsoft Corporation
- Chunyan Song
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
STACK OVERFLOW PREVENTION IN PARALLEL EXECUTION RUNTIME
- Publication number 20110321059
- Publication date Dec 29, 2011
- Microsoft Corporation
- Huseyin S. Yildiz
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
USING TYPE STABILITY TO FACILITATE CONTENTION MANAGEMENT
- Publication number 20110289288
- Publication date Nov 24, 2011
- Microsoft Corporation
- David Detlefs
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
EXTENSIBLE TASK SCHEDULER
- Publication number 20110289503
- Publication date Nov 24, 2011
- Microsoft Corporation
- Stephen H. Toub
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PARALLELIZING SEQUENTIAL FRAMEWORKS USING TRANSACTIONS
- Publication number 20110283091
- Publication date Nov 17, 2011
- Microsoft Corporation
- John Joseph Duffy
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PERFORMING A WAIT OPERATION TO WAIT FOR ONE OR MORE TASKS TO COMPLETE
- Publication number 20110239217
- Publication date Sep 29, 2011
- Microsoft Corporation
- Stephen H. Toub
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CANCELLATION OF CONCURRENT WORKER OBJECTS
- Publication number 20110231861
- Publication date Sep 22, 2011
- Microsoft Corporation
- Mike Liddell
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MARSHALING RESULTS OF NESTED TASKS
- Publication number 20110219380
- Publication date Sep 8, 2011
- Microsoft Corporation
- Stephen H. Toub
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ARRAY-BASED THREAD COUNTDOWN
- Publication number 20110191775
- Publication date Aug 4, 2011
- Microsoft Corporation
- Emad A. Omara
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PARALLEL QUERY ENGINE WITH DYNAMIC NUMBER OF WORKERS
- Publication number 20110185358
- Publication date Jul 28, 2011
- Microsoft Corporation
- Igor Ostrovsky
- G06 - COMPUTING CALCULATING COUNTING

Person

Patents Grantslast 30 patents

Mutable type builder

Concurrent mutation of isolated object graphs

Partitioning and repartitioning for data parallel operations

Cross-library framework architecture feature sets

Reference attribute annotation signifying no external reference

Lock-free barrier with dynamic updating of participant count using...

Stack overflow prevention in parallel execution runtime

Composable and cancelable dataflow continuation passing

Partitioning and repartitioning for data parallel operations

Resource access safety through immutable object types

Concurrent mutation of isolated object graphs

Providing lock-based access to nodes in a concurrent linked list

Cross-library framework architecture feature sets

Enumeration of a concurrent data structure

Parallel nested transactions in transactional memory

Handling exceptions in a data parallel system

Operating system support for contracts

Data parallel searching

Partitioning and repartitioning for data parallel operations

System and method for generating vehicle drive cycle profiles

Performing a wait operation to wait for one or more tasks to complete

Object graph partial immutability and isolation enforcement

Immutable sharable zero-copy data and streaming

Plug-in task scheduler

System and method to ensure resource access safety with immutable o...

Immutable types in imperitive language

Scalable thread locking with customizable spinning

Parallel processing of an ordered data stream

Lock-free barrier with dynamic updating of participant count

Parallel execution of a loop

Patents Applicationslast 30 patents

MUTABLE TYPE BUILDER

PARTITIONING AND REPARTITIONING FOR DATA PARALLEL OPERATIONS

PROVIDING LOCK-BASED ACCESS TO NODES IN A CONCURRENT LINKED LIST

CONCURRENT MUTATION OF ISOLATED OBJECT GRAPHS

CROSS-LIBRARY FRAMEWORK ARCHITECTURE FEATURE SETS

PARTITIONING AND REPARTITIONING FOR DATA PARALLEL OPERATIONS

RESOURCE ACCESS SAFETY THROUGH IMMUTABLE OBJECT TYPES

LOCK-FREE BARRIER WITH DYNAMIC UPDATING OF PARTICIPANT COUNT

IN-TRUCK FUEL ECONOMY ESTIMATOR

OPERATING SYSTEM SUPPORT FOR CONTRACTS

IMMUTABLE OBJECT TYPES

SOFTWARE SYSTEMS BY MINIMIZING ERROR RECOVERY LOGIC

OBJECT GRAPH PARTIAL IMMUTABILITY AND ISOLATION ENFORCEMENT

IMMUTABLE SHARABLE ZERO-COPY DATA AND STREAMING

DECLARATION OF LIFETIME OF RESOURCE REFERENCE

SCALABLE THREAD LOCKING WITH CUSTOMIZABLE SPINNING

REFERENCE ATTRIBUTE ANNOTATION SIGNIFYING NO EXTERNAL REFERENCE

HANDLING EXCEPTIONS IN A DATA PARALLEL SYSTEM

PARALLEL NESTED TRANSACTIONS IN TRANSACTIONAL MEMORY

SYSTEM AND METHOD FOR GENERATING VEHICLE DRIVE CYCLE PROFILES

PROVIDING LOCK-BASED ACCESS TO NODES IN A CONCURRENT LINKED LIST

STACK OVERFLOW PREVENTION IN PARALLEL EXECUTION RUNTIME

USING TYPE STABILITY TO FACILITATE CONTENTION MANAGEMENT

EXTENSIBLE TASK SCHEDULER

PARALLELIZING SEQUENTIAL FRAMEWORKS USING TRANSACTIONS

PERFORMING A WAIT OPERATION TO WAIT FOR ONE OR MORE TASKS TO COMPLETE

CANCELLATION OF CONCURRENT WORKER OBJECTS

MARSHALING RESULTS OF NESTED TASKS

ARRAY-BASED THREAD COUNTDOWN

PARALLEL QUERY ENGINE WITH DYNAMIC NUMBER OF WORKERS