Issued Patents All Time
Showing 26–50 of 83 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9098269 | System and method to ensure resource access safety with immutable object types | Jared Porter Parsons, Michael Sinz, Alexander Daniel Bromfield, Krzysztof J. Cwalina | 2015-08-04 |
| 9026993 | Immutable types in imperitive language | Anders Hejlsberg | 2015-05-05 |
| 8997101 | Scalable thread locking with customizable spinning | Emad Omara | 2015-03-31 |
| 8996556 | Parallel processing of an ordered data stream | Igor Ostrovsky, Mike Liddell | 2015-03-31 |
| 8924984 | Lock-free barrier with dynamic updating of participant count | Emad Omara | 2014-12-30 |
| 8799629 | Parallel execution of a loop | Huseyin S. Yildiz, Stephen Toub, Paul F. Ringseth | 2014-08-05 |
| 8683470 | Scalable thread locking with customizable spinning | Emad Omara | 2014-03-25 |
| 8607237 | Collection with local lists for a multi-processor system | Stephen H. Toub | 2013-12-10 |
| 8601456 | Software transactional protection of managed pointers | Michael M. Magruder, Goetz Graefe, David L. Detlefs | 2013-12-03 |
| 8578105 | Using type stability to facilitate contention management | David L. Detlefs, Michael M. Magruder | 2013-11-05 |
| 8566544 | Compiler-enforced agent access restriction | Niklas Gustafsson, Artur Laksberg, Joshua Phillips | 2013-10-22 |
| 8495329 | Type system support for memory isolation permissions | Steven Lucco, Anders Hejlsberg, Martin Taillefer | 2013-07-23 |
| 8402447 | Parallelizing sequential frameworks using transactions | Jan Gray, Yosseff Levanoni | 2013-03-19 |
| 8392922 | Marshaling results of nested tasks | Stephen H. Toub, Joseph E. Hoag, Danny S. Shih | 2013-03-05 |
| 8392920 | Parallel query engine with dynamic number of workers | Igor Ostrovsky, Stephen H. Toub | 2013-03-05 |
| 8365198 | Handling exceptions in a data parallel system | — | 2013-01-29 |
| 8359604 | Propagating unobserved exceptions in a parallel system | Stephen H. Toub, Huseyin S. Yildiz, Mike Liddell | 2013-01-22 |
| 8352456 | Producer/consumer optimization | Henricus Johannes Maria Meijer | 2013-01-08 |
| 8327383 | Cancellation of concurrent worker objects | Mike Liddell | 2012-12-04 |
| 8326886 | Per-thread, per-instance data storage | Stephen H. Toub, Emad Omara | 2012-12-04 |
| 8290930 | Query result generation based on query category and data source category | Igor Ostrovsky | 2012-10-16 |
| 8290917 | Reordering of data elements in a data parallel system | Igor Ostrovsky | 2012-10-16 |
| 8276111 | Providing access to a dataset in a type-safe manner | Igor Ostrovsky | 2012-09-25 |
| 8271464 | Parallel nested transactions in transactional memory | Michael M. Magruder, David L. Detlefs, Goetz Graefe, Vinod Grover | 2012-09-18 |
| 8271465 | Parallel nested transactions in transactional memory | Michael M. Magruder, David L. Detlefs, Goetz Graefe, Vinod Grover | 2012-09-18 |