Issued Patents All Time
Showing 1–15 of 15 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12277098 | Systems and methods for tracking data lineage and record lifecycle using distributed ledgers | Arthur G. Lynch, Zsolt Kalmar, Robert Falconer KEITH | 2025-04-15 |
| 12265789 | Language-agnostic computer program repair engine generator | Rohan Bavishi, José Pablo CAMBRONERO SÁNCHEZ, Anna FARIHA, Sumit Gulwani, Vu Minh Le +2 more | 2025-04-01 |
| 11947505 | Systems and methods for tracking data lineage and record lifecycle using distributed ledgers | Arthur G. Lynch, Zsolt Kalmar, Robert Falconer KEITH | 2024-04-02 |
| 11941372 | Edit automation using an anchor target list | Titus Barik, Gustavo Araujo Soares, Piyush Arora, Peter GROENEWEGEN, Sumit Gulwani +7 more | 2024-03-26 |
| 11934801 | Multi-modal program inference | Kiarash Rahmani, Mohammad H. Raza, Sumit Gulwani, Vu Minh Le, Daniel James Morris +2 more | 2024-03-19 |
| 11875136 | Edit automation using a temporal edit pattern | Gustavo Araujo Soares, Piyush Arora, Titus Barik, Peter GROENEWEGEN, Sumit Gulwani +7 more | 2024-01-16 |
| 11768759 | Method and system for automated testing of web service APIs | Brijendra Sharma | 2023-09-26 |
| 11651227 | Trusted neural network system | Shalini Ghosh, Patrick D. Lincoln, Susmit Jha | 2023-05-16 |
| 11513773 | Feedback-driven semi-supervised synthesis of program transformations | Shraddha Govind Barke, Xiang Gao, Sumit Gulwani, Alan Thomas Leung, Nachiappan Nagappan +3 more | 2022-11-29 |
| 11423247 | Identifying fixed bits of a bitstring format | Susmit Jha, Patrick D. Lincoln | 2022-08-23 |
| 11106458 | System and method for distributed ledger-based software supply chain management | Duncan Adams, Alex Hayzelden, Vaidyalingam Ramalingam, Trevor Collins, Andrew J. Muller +3 more | 2021-08-31 |
| 11074048 | Autosynthesized sublanguage snippet presentation | Mark Alistair WILSON-THOMAS, Ivan Radicek, Arjun Radhakrishna, Sumit Gulwani, Titus Barik | 2021-07-27 |
| 10977355 | Authentication method and device through face recognition | Sumit Gautam, Nitin Kumar, Ramesha S | 2021-04-13 |
| 7574334 | Formal methods for modeling and analysis of hybrid systems | Patrick D. Lincoln | 2009-08-11 |
| 7310423 | Processing multiple encrypted transport streams | Lance M. Hobrock, Boyko Boykov, Matthew Steven Herring, Mack S. Daily | 2007-12-18 |