Patents by Inventor Cristina Nicole Cifuentes

Cristina Nicole Cifuentes 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).

  • Happens-before-based dynamic concurrency analysis for actor-based programs
    Patent number: 10719425
    Abstract: A method may include generating, for a concurrent application, an execution trace that includes operations, extracting actor pairs from the execution trace, assigning each of the operations to an actor pair, and generating vector clocks for the operations. Each vector clock may include a clock value for each of the actor pairs.
    Type: Grant
    Filed: June 13, 2018
    Date of Patent: July 21, 2020
    Assignee: Oracle International Corporation
    Inventors: Nicholas John Allen, Yang Zhao, Cristina Nicole Cifuentes, Nathan Robert Albert Keynes
  • Efficient timestamp solution for analyzing concurrent software systems
    Patent number: 10620660
    Abstract: A method may include obtaining a concurrent application including processes, each including operations, and obtaining an initial hybrid timestamp for an initial operation of a process. The initial hybrid timestamp may include a vector list timestamp including vector clocks, each including a clock value for each of the processes. The method may further include determining a synchronization category for a next operation of the process, and in response to the synchronization category indicating that the next operation does not require inter-process synchronization, generating a next hybrid timestamp for the next operation. The next hybrid timestamp may include a differential timestamp relative to the initial hybrid timestamp.
    Type: Grant
    Filed: March 26, 2018
    Date of Patent: April 14, 2020
    Assignee: Oracle International Corporation
    Inventors: Yang Zhao, Nicholas John Allen, Cristina Nicole Cifuentes, Nathan Robert Albert Keynes
  • HAPPENS-BEFORE-BASED DYNAMIC CONCURRENCY ANALYSIS FOR ACTOR-BASED PROGRAMS
    Publication number: 20190384695
    Abstract: A method may include generating, for a concurrent application, an execution trace that includes operations, extracting actor pairs from the execution trace, assigning each of the operations to an actor pair, and generating vector clocks for the operations. Each vector clock may include a clock value for each of the actor pairs.
    Type: Application
    Filed: June 13, 2018
    Publication date: December 19, 2019
    Inventors: Nicholas John Allen, Yang Zhao, Cristina Nicole Cifuentes, Nathan Robert Albert Keynes
  • EFFICIENT TIMESTAMP SOLUTION FOR ANALYZING CONCURRENT SOFTWARE SYSTEMS
    Publication number: 20190294205
    Abstract: A method may include obtaining a concurrent application including processes, each including operations, and obtaining an initial hybrid timestamp for an initial operation of a process. The initial hybrid timestamp may include a vector list timestamp including vector clocks, each including a clock value for each of the processes. The method may further include determining a synchronization category for a next operation of the process, and in response to the synchronization category indicating that the next operation does not require inter-process synchronization, generating a next hybrid timestamp for the next operation. The next hybrid timestamp may include a differential timestamp relative to the initial hybrid timestamp.
    Type: Application
    Filed: March 26, 2018
    Publication date: September 26, 2019
    Applicant: ORACLE INTERNATIONAL CORPORATION
    Inventors: Yang ZHAO, Nicholas John Allen, Cristina Nicole Cifuentes, Nathan Robert Albert Keynes