Patents by Inventor Michael Emmi

Michael Emmi 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).

  • Compositional code analysis
    Patent number: 12754819
    Abstract: A system generates one or more finite state models based on one or more programming policies. The system analyzes a first element of source code by applying the one or more finite state models to the first element, and stores a summary of the analysis. The system analyzes a second element of the source code, where the second element references the first element, using the finite state models and the stored summary. The system generates a report to indicate the source code's conformity to the programming policies based on the analysis of the first and second elements.
    Type: Grant
    Filed: September 26, 2022
    Date of Patent: October 6, 2026
    Assignee: Amazon Technologies, Inc.
    Inventors: Aritra Sengupta, Michael Emmi, Liana Sorina Hadarean, Martin Schaef, Nicolas Leandro Rosner, Lee Pike, Willem Conradie Visser, Peixuan Li