Issued Patents All Time
Showing 1–25 of 38 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11886848 | Binary translation using raw binary code with compiler produced metadata | Toshihiko Koju, Reid T. Copeland, David Kevin Siegwart, Jordan Ryan Zannier | 2024-01-30 |
| 11847434 | Fast search for search string instructions | Ying Chau Raymond Mak, Ka Yin Lam, John Michael Chase | 2023-12-19 |
| 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 |
| 10325844 | Modifying execution flow in save-to-return code scenarios | Iain A. Ireland, Muntasir A. Mallick | 2019-06-18 |
| 10255048 | Utilizing created character index for switch statements | Xing Xing Pan, Jiu Fu Guo, Xiao Feng Guan | 2019-04-09 |
| 10248394 | Utilizing created character index for switch statements | Xing Xing Pan, Jiu Fu Guo, Xiao Feng Guan | 2019-04-02 |
| 10248554 | Embedding profile tests into profile driven feedback generated binaries | Ramy Shahin, David Kevin Siegwart | 2019-04-02 |
| 10228988 | Detecting anomalies in program execution | Rachel E. Craik, Raymond Mak, Melanie Ullmer | 2019-03-12 |
| 10224271 | Modifying execution flow in save-to-return code scenarios | Iain A. Ireland, Muntasir A. Mallick | 2019-03-05 |
| 10216489 | Selecting COBOL perform statements for inlining | Iain A. Ireland, Artur Kink, Muntasir A. Mallick | 2019-02-26 |
| 10209964 | Selecting COBOL perform statements for inlining | Iain A. Ireland, Artur Kink, Muntasir A. Mallick | 2019-02-19 |
| 10025563 | Selecting COBOL perform statements for inlining | Iain A. Ireland, Artur Kink, Muntasir A. Mallick | 2018-07-17 |
| 9959101 | Conditional sequential selection of external reference solutions | Leona D. Baumgart, John R. Ehrman, Barry L. Lichtenstein | 2018-05-01 |
| 9952840 | Conditional sequential selection of external reference resolutions | Leona D. Baumgart, John R. Ehrman, Barry L. Lichtenstein | 2018-04-24 |
| 9921816 | Modifying execution flow in save-to-return code scenarios | Iain A. Ireland, Muntasir A. Mallick | 2018-03-20 |
| 9916141 | Modifying execution flow in save-to-return code scenarios | Iain A. Ireland, Muntasir A. Mallick | 2018-03-13 |
| 9904528 | Selecting cobol perform statements for inlining | Iain A. Ireland, Artur Kink, Muntasir A. Mallick | 2018-02-27 |
| 9798528 | Software solution for cooperative memory-side and processor-side data prefetching | Yaoqing Gao, Gheorghe C. Cascaval, Robert B. Tremaine, Michael Wazlowski, Lixin Zhang | 2017-10-24 |
| 9547483 | Feedback directed optimized compiling of optimized executable code | Alan S. Boxall, Steven Cooper, Trong Truong | 2017-01-17 |
| 8839217 | Efficiently solving the “use-def” problem involving label variables | — | 2014-09-16 |
| 8615748 | Control flow analysis using deductive reaching definitions | Patrick R. Doyle, Pramod Ramarao | 2013-12-24 |