Issued Patents 2017
Showing 1–5 of 5 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9760348 | Verification of a dataflow representation of a program through static type-checking | Michael L. Chu | 2017-09-12 |
| 9736243 | Multiple transaction logs in a distributed storage system | Manish Chablani, Jegan Devaraju, Yikang Xu, Muhammad Junaid Shahid, Andrew James Edwards +5 more | 2017-08-15 |
| 9658890 | Runtime agnostic representation of user code for execution with selected execution runtime | Michael L. Chu | 2017-05-23 |
| 9600250 | Declarative programming model with a native programming language | Michael L. Chu | 2017-03-21 |
| 9600255 | Dynamic data and compute resource elasticity | Michael L. Chu | 2017-03-21 |