Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12229549 | Scalable code testing and benchmarking | Julian Thome, Isaac Dawson, Dinesh Bolkensteyn, Michael Henriksen, Mark Art | 2025-02-18 |
| 12086271 | Vulnerability tracking using smatch values of scopes | Julian Thome, Lucas Charles | 2024-09-10 |
| 11983091 | Adaptively generated program model | Julian Thome, Isaac Dawson, Zach Rice, Daniel Searles, Lucas Charles +4 more | 2024-05-14 |
| 11868482 | Vulnerability tracing using scope and offset | Julian Thome, Lucas Charles | 2024-01-09 |
| 8321370 | Method and system for translating logical constraints to linear constraints | Sidnie Feit | 2012-11-27 |