Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8510722 | Detecting data race and atomicity violation via typestate-guided static analysis | Yue Yang, Anna Gringauze, Henning Korsholm Rohde | 2013-08-13 |
| 7316005 | Data race detection using sequential program analysis | Shaz Qadeer | 2008-01-01 |