Issued Patents All Time
Showing 1–14 of 14 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11947940 | Training data augmentation via program simplification | Sahil Suneja, Yufan Zhuang, Alessandro Morari, Jim A. Laredo | 2024-04-02 |
| 11762758 | Source code fault detection | Shiwan Zhao, Bo Yang, HongLei Guo, Zhong Su, Jim A. Laredo +2 more | 2023-09-19 |
| 11765193 | Contextual embeddings for improving static analyzer output | Saurabh Pujar, Luca Buratti, Alessandro Morari, Jim A. Laredo, Mihaela Ancuta Bornea +1 more | 2023-09-19 |
| 11663110 | Analysis to check web API code usage and specification | Julian Timothy Dolby, Jim A. Laredo, John E. Wittern, Annie T. T. Ying | 2023-05-30 |
| 11194908 | Synthesizing sanitization code for applications based upon probabilistic prediction model | Peng Liu, Marco Pistoia, Omer Tripp | 2021-12-07 |
| 11113029 | Probabilistic matching of web application program interface code usage to specifications | Annie T. T. Ying, Christopher Charles Young, John E. Wittern, Jim A. Laredo, Aleksander Slominski | 2021-09-07 |
| 11074158 | Gray-box testing based on concrete usages | Jim A. Laredo, Aleksander Slominski, John E. Wittern, Annie T. T. Ying, Christopher Charles Young | 2021-07-27 |
| 11048505 | Approach to summarize code usage | Jim A. Laredo, Aleksander Slominski, John E. Wittern, Annie T. T. Ying, Christopher Charles Young | 2021-06-29 |
| 10620949 | Approach to summarize code usage | Jim A. Laredo, Aleksander Slominski, John E. Wittern, Annie T. T. Ying, Christopher Charles Young | 2020-04-14 |
| 10558459 | Approach to summarize code usage | Jim A. Laredo, Aleksander Slominski, John E. Wittern, Annie T. T. Ying, Christopher Charles Young | 2020-02-11 |
| 10409711 | Automatically running tests against WEB APIs based on specifications | Julian Timothy Dolby, Jim A. Laredo, Aleksander Slominski, John E. Wittern, Annie T. T. Ying +1 more | 2019-09-10 |
| 8144312 | Telescope with a wide field of view internal optical scanner | John James Degnan, III | 2012-03-27 |
| 8115925 | Polarization switching lidar device and method | Savyasachee Liptarag Mathur, Edward Lee Leventhal | 2012-02-14 |
| 8054464 | Polarization switching lidar device and method | Savyasachee Liptarag Mathur, Edward Lee Leventhal | 2011-11-08 |