| 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 |
