Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9880860 | Automatic return to synchronization context for asynchronous computations | Lucas J. Hoban, Dmitry Lomov, Timothy Yat Tim Ng | 2018-01-30 |
| 9411568 | Asynchronous workflows | Luke Hoban, Timothy Yat Tim Ng, Dmitry Lomov | 2016-08-09 |
| 8813027 | Static type checking against external data sources | Timothy Yat Tim Ng, Jomo Fisher, Lucas J. Hoban | 2014-08-19 |
| 8776010 | Data type provider for a data store | Jomo Fisher, Luke Hoban, Timothy Yat Tim Ng, Matteo Taveggia | 2014-07-08 |
| 7346901 | Efficient generic code in a dynamic execution environment | Andrew Kennedy | 2008-03-18 |
| 7171655 | Verifier to check intermediate language | Andrew D. Gordon, Jonathon Forbes, Vance Morrison | 2007-01-30 |
| 6560774 | Verifier to check intermediate language | Andrew D. Gordon, Jonathon Forbes, Vance Morrison | 2003-05-06 |