Patents by Inventor Andrew Ralph Calvano

Andrew Ralph Calvano 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).

  • Function summarization via type inference
    Patent number: 11620119
    Abstract: A system and method for function summarization. In some embodiments, the method includes: identifying a basic function called by a first function, the first function having a signature; determining a first type, the first type being a type of an argument of the basic function or a type of a return value of the basic function; and propagating the first type, to determine a first portion of the signature of the first function.
    Type: Grant
    Filed: March 12, 2020
    Date of Patent: April 4, 2023
    Assignee: RAYTHEON COMPANY
    Inventors: Andrew Ralph Calvano, Timothy Bryant
  • FUNCTION SUMMARIZATION VIA TYPE INFERENCE
    Publication number: 20210286600
    Abstract: A system and method for function summarization. In some embodiments, the method includes: identifying a basic function called by a first function, the first function having a signature; determining a first type, the first type being a type of an argument of the basic function or a type of a return value of the basic function; and propagating the first type, to determine a first portion of the signature of the first function.
    Type: Application
    Filed: March 12, 2020
    Publication date: September 16, 2021
    Inventors: Andrew Ralph Calvano, Timothy Bryant