Issued Patents All Time
Showing 1–7 of 7 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8719790 | Donut domains—efficient non-convex domains for abstract interpretation | Khalil Ghorbal, Franjo Ivancic, Naoto Maeda | 2014-05-06 |
| 8719802 | Interprocedural exception method | Naoto Maeda, Prakash Prabhu, Franjo Ivancic, Aarti Gupta | 2014-05-06 |
| 8707278 | Embedding class hierarchy into object models for multiple class inheritance | Naoto Maeda, Franjo Ivancic, Nishant Sinha, Aarti Gupta, Jing Yang | 2014-04-22 |
| 8601459 | Control structure refinement of loops using static analysis | Sriram Sankaranarayanan, Aarti Gupta | 2013-12-03 |
| 8522226 | Control structure refinement of loops using static analysis | Sriram Sankaranarayanan, Aarti Gupta | 2013-08-27 |
| 8402440 | Program verification through symbolic enumeration of control path programs | Sriram Sankaranarayanan, Franjo Ivancic, William R. Harris, Aarti Gupta | 2013-03-19 |
| 8365152 | Path-sensitive analysis through infeasible-path detection and syntactic language refinement | Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta | 2013-01-29 |