Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7634765 | Methods and apparatus to reduce a control flow graph using points-to information | Robert J. Cox, David C. Sehr | 2009-12-15 |
| 7257809 | Estimation of type-cast sets | David C. Sehr | 2007-08-14 |
| 7243342 | Methods and apparatus for determining if a user-defined software function is a memory allocation function during compile-time | Daniel Lavery, David C. Sehr | 2007-07-10 |
| 7127710 | Identifying pure pointers to disambiguate memory references | Daniel Lavery, David C. Sehr | 2006-10-24 |