Patents by Inventor Nathan Raymond Matthews

Nathan Raymond Matthews has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Patent number: 11880279
    Abstract: There is provided a computer implemented method, a system for performing the method, and a computer program for recreating a program state. In one aspect, the invention comprises associating a step counter with respective points in the progress of a program's execution and generating a snapshot by storing the set of program values associated with a first step counter value. The state of the program is subsequently recreated by recreating the program state from the snapshot preceding the point in the progress of the program execution associated with a query step counter value and executing the program from the recreated state of the program to the point in the progress of the program execution associated with the second index reference value, including using previously stored non-deterministic values.
    Type: Grant
    Filed: January 28, 2021
    Date of Patent: January 23, 2024
    Assignee: RETRACE SOFTWARE LIMITED
    Inventor: Nathan Raymond Matthews
  • Publication number: 20230080595
    Abstract: There is provided a computer implemented method, a system for performing the method, and a computer program for recreating a program state. In one aspect, the invention comprises associating a step counter with respective points in the progress of a program's execution and generating a snapshot by storing the set of program values associated with a first step counter value. The state of the program is subsequently recreated by recreating the program state from the snapshot preceding the point in the progress of the program execution associated with a query step counter value and executing the program from the recreated state of the program to the point in the progress of the program execution associated with the second index reference value, including using previously stored non-deterministic values.
    Type: Application
    Filed: January 28, 2021
    Publication date: March 16, 2023
    Inventor: Nathan Raymond Matthews