Patents Examined by Amir Soltanzadeh
  • Patent number: 12360751
    Abstract: An approach for assessing a user experience with a product deployment. The approach embeds markers in documentation associated with a product. The approach embeds the markers in the product, correlated with the marker positions in the documentation. The approach calculates metrics, associated with timings between markers, based on deployment of the product by a user. The approach generates a report of an experience of the user in deploying the product.
    Type: Grant
    Filed: April 24, 2023
    Date of Patent: July 15, 2025
    Assignee: International Business Machines Corporation
    Inventors: Denilson Nastacio, Kevin M Lefebvre, Michele Chilanti, Sundari Voruganti
  • Patent number: 12353877
    Abstract: Some embodiments provide a method for identifying runtime complexity of a policy. The method receives, through a user interface (UI), a set of code defining a particular policy. For each variable in the particular policy, the method identifies a first occurrence of the variable in the particular policy to determine a number of values assigned to the variable. Variables determined to be assigned one value are separated from variables determined to be assigned more than one value. Based on the determinations for each variable, the method calculates a set of metrics that include at least time complexity, size complexity, and count complexity for the particular policy. The method then displays, through the UI, the calculated set of metrics along with a set of one or more suggestions for optimizing the particular policy based on the calculated set of metrics.
    Type: Grant
    Filed: December 5, 2022
    Date of Patent: July 8, 2025
    Assignee: STYRA, INC.
    Inventors: Ashutosh Narkar, Timothy L. Hinrichs
  • Patent number: 12346691
    Abstract: A method, computer system, and a computer program product for application modernization is provided. The present invention may include receiving operation data related to an application. The present invention may include identifying a plurality of entities based on the operation data related to the application. The present invention may include identifying one or more interactions between each of the plurality of entities. The present invention may include determining an energy consumption pattern for the application by analyzing a consumption of energy related to workload. The present invention may include determining a modernization scope for the application based on the energy consumption pattern.
    Type: Grant
    Filed: June 27, 2022
    Date of Patent: July 1, 2025
    Assignee: International Business Machines Corporation
    Inventors: Fan Jing Meng, Peng Hui Jiang, Cheng Fang Wang, Jun Su
  • Patent number: 12343622
    Abstract: Methods and apparatus provide for communications between an information processing device operated by a first user, which is connected via a network to another information processing device operated by a second user, where an application executing on the information processing device and generating an application image on a basis of operation information provided by the first user is transmitted to the other information processing device over the network.
    Type: Grant
    Filed: December 8, 2022
    Date of Patent: July 1, 2025
    Assignee: Sony Interactive Entertainment Inc.
    Inventors: Kenichi Imai, Shigeru Enomoto, Hiroshi Saito, Toshimasa Aoki, Satoshi Hashimoto
  • Patent number: 12340194
    Abstract: Systems and methods for streamlining risk modeling in software development using natively sourced kernels are described. The system may receive a native kernel for the first model, wherein the native kernel comprises a native code sample and a native description of the native code sample. The system may input the native code sample into an artificial intelligence model to generate a first output. The system may filter the first output based on the native description to generate a first validation assessment for the first model. The system may generate for display, in the user interface, the first validation assessment.
    Type: Grant
    Filed: December 18, 2023
    Date of Patent: June 24, 2025
    Assignee: Citibank, N.A.
    Inventors: Miriam Silver, Nimrod Barak, Prag Sharma, Avi Gefen
  • Patent number: 12292819
    Abstract: Embodiments of the invention are directed to computer-implemented methods of analyzing a web-based software application. A non-limiting example of the computer implemented method includes generating, using a processor system, a set of to-be-tested element-event pairs of the web-based software application. A set of compatibility tests is received at the processor system, where the set of compatibility tests is operable to perform compatibility testing of a corresponding set of element-event pairs. A comparison is performed between the set of to-be-tested element-event pairs and the corresponding set of element-event pairs. A compatibility testing recommendation is generated based at least in part on a result of the comparison.
    Type: Grant
    Filed: September 21, 2022
    Date of Patent: May 6, 2025
    Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATION
    Inventors: Hong Liang Zhao, Qi Li, Yan Hui Wang, Jia Lei Rui, Qun Wei, Yun Juan Yang
  • Patent number: 12293173
    Abstract: Software systems and methods convert algorithms and software codes into time affecting linear pathways (TALPs) via decomposition and convert paired Input/Output (I/O) datasets into TALPs via Value Complexity polynomials. Generated TALPs can be enhanced through merging with other TALPs. TALPs can be grouped by matching the outputs of the TALP-associated prediction polynomials with some set of given criteria into families and cross-families that are useful in a new type of software optimization that allows for output values of grouped TALPs to be modeled, pooled, discretized and optimized to enhance goals or meet user goals.
    Type: Grant
    Filed: October 24, 2024
    Date of Patent: May 6, 2025
    Assignee: C SQUARED IP HOLDINGS LLC
    Inventors: Scott Andrew Smith, Christopher Graham Smith, Kevin David Howard
  • Patent number: 12287726
    Abstract: A method for verifying a set of computer-executable instructions using at least one failing test generated by a test-case generator is disclosed herein. The method comprises verifying the set of computer-executable instructions by a verification module using a plurality of predefined verification conditions; determining if the verification is successful; in response to successful verification, label the set of computer-executable instructions as successful; and in response to unsuccessful verification, generate at least one counterexample, with respect to a proof failure and corresponding to at least one failed verification condition of the plurality of the predefined verification conditions, and generate a failing test, by a test-case generator, based on at least one counterexample. A program verification tool for testing the set of computer-executable instructions is also disclosed.
    Type: Grant
    Filed: August 8, 2022
    Date of Patent: April 29, 2025
    Assignee: Constructor Education and Research Genossenschaft
    Inventors: Huang Li, Bertrand Meyer
  • Patent number: 12271718
    Abstract: Systems and methods for performing binary translation include a system that is capable of translating binaries written for use in a source execution environment to binaries compatible with a target execution environment. Consistent with some embodiments, a binary translation system includes a system service and a runtime code module that exists in an application memory address space. The binary translation system translates object-level binaries corresponding to executables, linkers, libraries, and the like and stores the translation in a translation cache that is cryptographically secured to ensure that only a system having a specific key is able to access the translations. If the application or application binary has been modified since the translation was performed, the system service will ensure that the translation is removed from the cache, a new translation is performed, and all threads accessing that translation are updated to the new translation.
    Type: Grant
    Filed: June 9, 2021
    Date of Patent: April 8, 2025
    Assignee: Apple Inc.
    Inventors: Cameron Zwarich, Denis Palmans
  • Patent number: 12271723
    Abstract: This disclosure relates to a method for managing installation of applications, where the method includes receiving, from a first computing device associated with an administrator of an organization, a pin request to attach an application, provided by an application store platform, with a version of the application, initiating, in response to the pin request, transfer of a copy of the version of the application from the application store platform to a data storage device, generating an application identifier that identifies a location of the version of the application stored in the data storage device, and transmitting installation data to a second computing device that is managed by the organization. The installation data includes the application identifier, which is used by the second computing device to install the version of the application from the data storage device.
    Type: Grant
    Filed: September 15, 2022
    Date of Patent: April 8, 2025
    Assignee: Google LLC
    Inventors: Anuj Goyal, Benjamin Ackerman, Marcus Köhler, Apisada Petchtes, Qingle Yao, Dan Chen, Ligeng Dong, David Shangni Li, Oleg Davydov
  • Patent number: 12248767
    Abstract: A deep learning model trained to learn to predict source code is tuned for a target source code generation task through reinforcement learning using a reward score that considers the quality of the source code predicted during the tuning process. The reward score is adjusted to consider code-quality factors and source code metrics. The code-quality factors account for the predicted source code having syntactic correctness, successful compilation, successful execution, successful invocation, readability, functional correctness, and coverage. The source code metrics generate a score based on how close the predicted source code is to a ground truth code.
    Type: Grant
    Filed: February 20, 2024
    Date of Patent: March 11, 2025
    Assignee: Microsoft Technology Licensing, LLC.
    Inventors: Shao Kun Deng, Neelakantan Sundaresan, Alexey Svyatkovskiy, Michele Tufano
  • Patent number: 12223296
    Abstract: The present application relates to the technical field of computers, and discloses a micro-front-end-based page internationalization configuration method and apparatus, a device and a medium. The method includes: creating an internationalized page in a micro-front-end main application, and configuring the internationalized page to obtain a configured internationalized page; persisting data in the configured internationalized page; and reading the data and transmitting the data to at least one micro-front-end sub-application for any one of the micro-front-end sub-applications to perform page translation according to the data.
    Type: Grant
    Filed: February 25, 2022
    Date of Patent: February 11, 2025
    Assignee: SUZHOU METABRAIN INTELLIGENT TECHNOLOGY CO., LTD.
    Inventor: Lei Xu
  • Patent number: 12204435
    Abstract: A method of validating a regulated application by generating, on a local data processing system, an automated agent to oversee a validation process of the regulated application on the local data processing system regardless of a local or web-based nature of the regulated application.
    Type: Grant
    Filed: September 2, 2022
    Date of Patent: January 21, 2025
    Inventors: Dawn Elaine Keller, Martin Dean Johnson, Jeremy C. Zerbe, Duane Long, Michael J. Yeaney
  • Patent number: 12190249
    Abstract: A method may include obtaining, for each period within a time interval, raw performance metric values for a performance metric of a service, encoding the raw performance metric values to generate inferred performance metric values for the performance metric, and selecting a portion of the inferred performance metric values. The portion corresponds to a representative period. The may method further include obtaining a service request for the service, generating a simulated response to the service request, and transmitting the simulated response using the portion of the inferred performance metric values.
    Type: Grant
    Filed: May 28, 2021
    Date of Patent: January 7, 2025
    Assignee: Intuit Inc.
    Inventor: Shreeshankar Chatterjee
  • Patent number: 12190107
    Abstract: An architecture analysis apparatus (106) receives an architecture model input by a user, and analyzes a plurality of modules included in the architecture model to obtain a call relationship between the modules. Then, the plurality of modules are allocated to different layers based on an architecture setting entered by the user, whether a call relationship between the plurality of modules complies with a call rule is detected, and a detection result is displayed to the user by using an interface.
    Type: Grant
    Filed: April 14, 2022
    Date of Patent: January 7, 2025
    Assignee: HUAWEI CLOUD COMPUTING TECHNOLOGIES CO., LTD.
    Inventor: Shaobing Yang
  • Patent number: 12175220
    Abstract: A code insertion engine predicts one or more statements of a programming language to be inserted at an insertion point in between existing source code statements of a source code program being edited. The code insertion engine extracts the surrounding context of the insertion point which includes the source code immediately preceding and the source code immediately following the insertion point. The code insertion engine uses a neural expansion model and a neural selector model to predict the one or more statements most likely to be inserted into the insertion point that are syntactically and semantically consistent with the surrounding context of the existing program.
    Type: Grant
    Filed: June 16, 2022
    Date of Patent: December 24, 2024
    Assignee: Microsoft Technology Licensing, LLC.
    Inventors: Neelakantan Sundaresan, Alexey Svyatkovskiy
  • Patent number: 12175224
    Abstract: Software systems and methods convert algorithms and software codes into time affecting linear pathways (TALPs) via decomposition and convert paired Input/Output (I/O) datasets into TALPs via Value Complexity polynomials. Generated TALPs can be enhanced through merging with other TALPs. TALPs can be grouped by matching the outputs of the TALP-associated prediction polynomials with some set of given criteria into families and cross-families that are useful in a new type of software optimization that allows for output values of grouped TALPs to be modeled, pooled, discretized and optimized to enhance goals or meet user goals.
    Type: Grant
    Filed: February 25, 2024
    Date of Patent: December 24, 2024
    Assignee: C SQUARED IP HOLDINGS LLC
    Inventors: Scott Andrew Smith, Christopher Graham Smith, Kevin David Howard
  • Patent number: 12174733
    Abstract: Mutation testing can indicate whether mutants of a software application, created by intentionally altering source code of the software application, are successfully “killed” by test cases executed against the mutants. Mutation testing can be performed via parallel threads by, within each parallel thread, modifying individual source code class files and recompiling the modified class files to generate and test mutants. Individual mutation test results produced within each of the parallel threads can be aggregated to generate an aggregated test result report that indicates overall testing metrics associated with the mutation testing across the parallel threads.
    Type: Grant
    Filed: September 13, 2023
    Date of Patent: December 24, 2024
    Assignee: State Farm Mutual Automobile Insurance Company
    Inventors: Andrew L Pearson, Nate Shepherd
  • Patent number: 12175375
    Abstract: The subject technology provides receiving a neural network (NN) model to be executed on a target platform, the NN model including multiple layers that include operations and some of the operations being executable on multiple processors of the target platform. The subject technology further sorts the operations from the multiple layers in a particular order based at least in part on grouping the operations that are executable by a particular processor of the multiple processors. The subject technology determines, based at least in part on a cost of transferring the operations between the multiple processors, an assignment of one of the multiple processors for each of the sorted operations of each of the layers in a manner that minimizes a total cost of executing the operations. Further, for each layer of the NN model, the subject technology includes an annotation to indicate the processor assigned for each of the operations.
    Type: Grant
    Filed: September 6, 2022
    Date of Patent: December 24, 2024
    Assignee: Apple Inc.
    Inventors: Gaurav Kapoor, Cecile M. Foret, Francesco Rossi, Kit-Man Wan, Umesh S. Vaishampayan, Etienne Belanger, Albert Antony, Alexey Marinichev, Marco Zuliani, Xiaojin Shi
  • Patent number: 12174732
    Abstract: Systems, methods, and machine-readable media may facilitate one or a combination of the following. A software change operation within a deployment pipeline for testing and deploying a software change to a production computing service may be processed. The software change operation may be identified as corresponding to a software change with the deployment pipeline, where the software change may be identified as being configured to make a pipeline change to a configuration of the deployment pipeline itself. Responsive to the identifying, a regression suite configured to run a plurality of test applications on the deployment pipeline to test the deployment pipeline with respect to the software change may be invoked, and the plurality of test applications may be run with the software change. The running the plurality of test applications may include simulating pipeline runs with a plurality of use cases.
    Type: Grant
    Filed: February 24, 2023
    Date of Patent: December 24, 2024
    Assignee: DISH Wireless L.L.C.
    Inventors: William Walker, Matthew Johnson