Issued Patents All Time
Showing 1–13 of 13 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12159211 | Automated merge conflict resolution with transformers | Christian Alma Bird, Todd Mytkowicz, Neelakantan Sundaresan, ALEXEY SVYATKOVSKIY | 2024-12-03 |
| 11599345 | Language interoperability to automate code analysis | Shao Kun Deng, MATTHEW GLENN JIN, Xiaoyu Liu, Xin Shi, Neelakantan Sundaresan | 2023-03-07 |
| 11175897 | Language interoperability to automate code analysis | Shao Kun Deng, MATTHEW GLENN JIN, Xiaoyu Liu, Xin Shi, Neelakantan Sundaresan | 2021-11-16 |
| 10241904 | Test components factorization in a build system | Suresh Thummalapenta, Jacek A. Czerwonka, Nikolaj S. Bjorner, August Shi | 2019-03-26 |
| 9904541 | Semantic baselining | Manuel A. Fahndrich, Francesco Logozzo, Sam Blackshear | 2018-02-27 |
| 9883412 | Verification of a wireless protocol implementation | Ranveer Chandra, Jinghao Shi, Sam Sarmast, Mark Champion | 2018-01-30 |
| 8843908 | Compiler validation via program verification | Chris Hawblitzel | 2014-09-23 |
| 8813043 | Unifying type checking and property checking for low level programs | Jeremy P. Condit, Shaz Qadeer | 2014-08-19 |
| 8793664 | Reducing false alarms for static analysis of concurrent programs | Saurabh Bhanuprasad Joshi, Akash Lal | 2014-07-29 |
| 8578344 | Incremental compositional dynamic test generation | Patrice Godefroid, Cindy Rubio-Gonzalez | 2013-11-05 |
| 8185874 | Automatic and systematic detection of race conditions and atomicity violations | Thomas J. Ball, Yuan Yu | 2012-05-22 |
| 7596534 | Computer implemented methods for solving difference and non-difference linear constraints | Madanlal Musuvathi | 2009-09-29 |
| 7587707 | Predicate abstraction via symbolic decision procedures | Thomas J. Ball | 2009-09-08 |