Patents by Inventor Ridhi Jain

Ridhi Jain 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).

  • Publication number: 20240202098
    Abstract: An example embodiment includes a method for model checking a program. The method includes performing, by a processor, static analysis of source code of the program to inductively determine at least one invariant present in interleavings of by the program, and performing, by the processor, static instrumentation of the source code of program to generate an instrumented equivalent version of the program. The instrumented equivalent version of the program comprises locks to avoid execution of a subset of the interleavings corresponding to the at least one invariant. The instrumented equivalent version of the program is configured for enumerative model checking that avoids execution of the subset of the interleavings.
    Type: Application
    Filed: December 16, 2022
    Publication date: June 20, 2024
    Applicant: Technology Innovation Institute - Sole Proprietorship LLC
    Inventor: Ridhi Jain
  • Publication number: 20230409417
    Abstract: Described are techniques for exposing an endpoint for a software function used by microservices. The techniques include obtaining software classes of a plurality of microservices and analyzing the software classes to identify a software function that is eligible for conversion to an application programming interface (API) format. The techniques further include determining a server microservice, which hosts a software class that includes the software function, and one or more client microservices that use the software function. The techniques further include generating deployable source code implementing an API that exposes the software function hosted by the server microservice to the one or more client microservices. The API uses a software wrapper to encapsulate software function semantics used by a monolith application refactored into the plurality of microservices.
    Type: Application
    Filed: June 14, 2022
    Publication date: December 21, 2023
    Inventors: Vini Kanvar, Ridhi Jain, Srikanth Govindaraj Tamilselvam, Amith Singhee, Shivali Agarwal