Issued Patents All Time
Showing 1–17 of 17 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11822459 | Automated function category detection | Mahinthan Chandramohan | 2023-11-21 |
| 11204746 | Encoding dependencies in call graphs | Sora Bae, Nathan Robert Albert Keynes | 2021-12-21 |
| 11030304 | Buffer overflow detection based on a synthesis of assertions from templates and k-induction | Francois Gauthier, Nathan Robert Albert Keynes, Padmanabhan Krishnan, Trung Quang Ta | 2021-06-08 |
| 10719425 | Happens-before-based dynamic concurrency analysis for actor-based programs | Nicholas John Allen, Yang Zhao, Nathan Robert Albert Keynes | 2020-07-21 |
| 10620660 | Efficient timestamp solution for analyzing concurrent software systems | Yang Zhao, Nicholas John Allen, Nathan Robert Albert Keynes | 2020-04-14 |
| 9208057 | Efficient model checking technique for finding software defects | Manuel Javier Valdiviezo Basauri | 2015-12-08 |
| 9189318 | Path-sensitive analysis framework for bug checking | Lian Li | 2015-11-17 |
| 8893102 | Method and system for performing backward-driven path-sensitive dataflow analysis | Nathan Robert Albert Keynes, Lian Li | 2014-11-18 |
| 8732669 | Efficient model checking technique for finding software defects | Manuel Javier Valdiviezo Basauri | 2014-05-20 |
| 8578343 | System and method for overflow detection using partial evaluations | Bernhard Scholz, Nathan Robert Albert Keynes | 2013-11-05 |
| 8527965 | Layered static program analysis framework for software testing | Bernhard Scholz | 2013-09-03 |
| 8516443 | Context-sensitive analysis framework using value flows | Lian Li, Nathan Robert Albert Keynes | 2013-08-20 |
| 8473927 | Points-to analysis using value flow | Lian Li, Nathan Robert Albert Keynes | 2013-06-25 |
| 8327339 | Method and system for fast static taint analysis | Bernhard Scholz, Chenyi Zhang | 2012-12-04 |
| 8302086 | System and method for overflow detection using symbolic analysis | Lian Li, Nathan Robert Albert Keynes | 2012-10-30 |
| 7689958 | Partitioning for a massively parallel simulation system | Michael S. Ball, Deepankar Bairagi | 2010-03-30 |
| 7346903 | Compiling and linking modules of a cycle-based logic design | Michael S. Ball, David Allison, Liang T. Chen, Ankur Narang | 2008-03-18 |