Issued Patents All Time
Showing 25 most recent of 35 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10901808 | Concurrent mutation of isolated object graphs | John Duffy, Vance Morrison | 2021-01-26 |
| 9753698 | Language-based model for isolating shared state | Artur Laksberg, Joshua Phillips | 2017-09-05 |
| 9690604 | Language-based model for asynchronous operations | Geoffrey M. Kizer | 2017-06-27 |
| 9569282 | Concurrent mutation of isolated object graphs | John Duffy, Vance Morrison | 2017-02-14 |
| 9547511 | Language-based model for asynchronous operations | Geoffrey M. Kizer | 2017-01-17 |
| 9378062 | Interface between a resource manager and a scheduler in a process | Paul F. Ringseth, William R. Messmer, Genevieve Fernandes, Marko Radmilac | 2016-06-28 |
| 9367350 | Meta-scheduler with meta-contexts | Paul F. Ringseth, William R. Messmer, Joseph L. Hellerstein | 2016-06-14 |
| 9003377 | Efficient resumption of co-routines on a linear stack | Neal M. Gafter, Mads Torgersen, Henricus Johannes Maria Meijer | 2015-04-07 |
| 8959517 | Cancellation mechanism for cancellable tasks including stolen task and descendent of stolen tasks from the cancellable taskgroup | William R. Messmer, David Callahan, Paul F. Ringseth | 2015-02-17 |
| 8918767 | Pattern-based compilation of asynchronous consumption | Stephen H. Toub, Mads Torgersen, Lucian Jules Wischik, Anders Hejlsberg, Dmitry Lomov +1 more | 2014-12-23 |
| 8887162 | Persistent local storage for processor resources | Paul F. Ringseth, Rick Molloy, David Callahan | 2014-11-11 |
| 8856792 | Cancelable and faultable dataflow nodes | Zlatko Michailov, Daniela Cristina Manu, Stephen H. Toub | 2014-10-07 |
| 8843927 | Monitoring and updating tasks arrival and completion statistics without data locking synchronization | Marko Radmilac, Paul F. Ringseth, Genevieve Fernandes, William R. Messmer | 2014-09-23 |
| 8695003 | Method for managing data accessibility by scheduling three types of executable agents associated with pre-defined access rights within a domain | Artur Laksberg, Joshua Phillips | 2014-04-08 |
| 8650570 | Method of assigning instructions in a process to a plurality of scheduler instances based on the instruction, in which each scheduler instance is allocated a set of negoitaited processor resources | Paul F. Ringseth, Genevieve Fernandes, Rick Molloy, Rahul Patil, Philip Lucido | 2014-02-11 |
| 8566830 | Local collections of tasks in a scheduler | Paul F. Ringseth, Genevieve Fernandes | 2013-10-22 |
| 8566544 | Compiler-enforced agent access restriction | Artur Laksberg, Joshua Phillips, John Duffy | 2013-10-22 |
| 8561072 | Scheduling collections in a scheduler | Paul F. Ringseth, Genevieve Fernandes, Rick Molloy | 2013-10-15 |
| 8549506 | Resumable methods | Henricus Johannes Maria Meijer, Mads Torgersen, Neal M. Gafter | 2013-10-01 |
| 8407728 | Data flow network | David Callahan | 2013-03-26 |
| 8316369 | Dataflow component scheduling using reader/writer semantics | Artur Laksberg, Joshua Phillips | 2012-11-20 |
| 8291426 | Memory allocators corresponding to processor resources | Paul F. Ringseth, Philip Lucido | 2012-10-16 |
| 8220002 | Isolation of user-interactive components | John Rivard, David Paul Hill | 2012-07-10 |
| 8006055 | Fine granularity hierarchiacal memory protection | Bradley M. Waters | 2011-08-23 |
| 7934207 | Data schemata in programming language contracts | John Lawrence Hamby, Patrick James Helland | 2011-04-26 |