Issued Patents 2020
Showing 1–5 of 5 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10776255 | Automatic verification of optimization of high level constructs using test vectors | Iain A. Ireland, Reid T. Copeland, David Kevin Siegwart, Toshihiko Koju | 2020-09-15 |
| 10761914 | Replacing generated procedure calls with generated inter-process communication | Artur Kink | 2020-09-01 |
| 10747513 | Utilizing created character index for switch statements | Xing Xing Pan, Jiu Fu Guo, Xiao Feng Guan | 2020-08-18 |
| 10678557 | Generating a predicted profile for target code based on a profile of sampled code | David Kevin Siegwart | 2020-06-09 |
| 10558509 | Detecting anomalies in program execution | Rachel E. Craik, Ying Chau Raymond Mak, Melanie Ullmer | 2020-02-11 |