Code Generation Patents (Class 717/106)
  • Patent number: 10769209
    Abstract: An apparatus has a processor and a memory connected to the processor. The memory stores instructions executed by the processor to ingest and store a semi-structured document within a database. A template is suggested based upon an evaluation of the semi-structured document. The template includes a context specification of a template path that corresponds to a path within the semi-structured document. The template further includes an index specification characterizing data to be extracted from the semi-structured document. A template selection is received. The template selection is executed to form an index entry for the semi-structured document within an index.
    Type: Grant
    Filed: January 13, 2017
    Date of Patent: September 8, 2020
    Assignee: MarkLogic Corporation
    Inventors: Fayez Saliba, Christopher Lindblad
  • Patent number: 10761504
    Abstract: A method for modifying an industrial control program is provided, the industrial control program comprising a first program element having a safety classification and a second program element not having the safety classification. The method comprises: identifying, in program source code of the first program element, a call to the second program element, and generating a modified program source code, comprising replacing, in the program source code, the call to the second program element by an auxiliary program element, the auxiliary program element being compliant with the safety classification.
    Type: Grant
    Filed: October 10, 2018
    Date of Patent: September 1, 2020
    Assignee: CODESYS Holding GmbH
    Inventor: Stefan Riedl
  • Patent number: 10761817
    Abstract: In certain embodiments, an instance-specific user interface may be facilitated via entity-associated application metadata. In some embodiments, access information associated with an entity may be provided to one or more servers via a first executable instance of a same user application during a launch of the first executable instance. Based on the access information, application metadata associated with the entity may be obtained via the first executable instance from among a set of application metadata during the launch of the first executable instance, where the application metadata indicates data fields that correspond to data accessible to the entity. Based on the application metadata, the data fields may be loaded for a user interface of the first executable instance during the launch of the first executable instance. One or more of the data fields may be presented via the user interface of the first executable instance.
    Type: Grant
    Filed: October 15, 2018
    Date of Patent: September 1, 2020
    Assignee: PERSHING LLC
    Inventors: FathimaFazlina Rahmathali, Akilla Duraiswami, Laxmi Narsimham Vedula, Sridhar Lakshmipathy, Prasanna Sivakumar
  • Patent number: 10761697
    Abstract: An electronic mail (email) system generates an email user interface display, that allows the user to enter message content. A context-sensitive calendar preview can be triggered and displayed on the email user interface display. The email system detects a user drag and drop input dragging at least a portion of the message content onto the calendar preview, and automatically generates a calendar event based upon the detected drag and drop input, and the particular portion of the message content dragged onto the context-sensitive calendar preview.
    Type: Grant
    Filed: June 30, 2016
    Date of Patent: September 1, 2020
    Assignee: Microsoft Technology Licensing, LLC
    Inventors: Lin Zhong, Andrew James Peacock, Shahil Soni
  • Patent number: 10754628
    Abstract: Embodiments disclosed herein are related to computing systems, and methods for extracting web API endpoint data from source code. Source code for various web services may be accessed. The source code may include portions of web Application Programming Interface (API) endpoint data that includes data necessary to invoke the underlying API. The source code may be automatically parsed to identify the portions of web API endpoint data. The identified portions of web API endpoint data may be translated into a format different from the source code that is usable by various applications that interact with the web services via the web API endpoint data.
    Type: Grant
    Filed: November 2, 2018
    Date of Patent: August 25, 2020
    Assignee: MICROSOFT TECHNOLOGY LICENSING, LLC
    Inventors: Shawn Valentine Hernan, Michael Hendrickx
  • Patent number: 10754709
    Abstract: Scalable task scheduling systems and methods for cyclic interdependent tasks using semantic analysis include, for a software application including a plurality of tasks which are cyclic interdependent tasks, segmenting the plurality of tasks into a task graph with vertices including the plurality of tasks and edges including interdependencies between the plurality of tasks; processing the task graph into a dependency graph which is a Directed Acyclic Graph (DAG); and causing execution of the plurality of tasks in a parallel manner based on the dependency graph.
    Type: Grant
    Filed: November 8, 2018
    Date of Patent: August 25, 2020
    Assignee: Ciena Corporation
    Inventors: Mudit Jain, Pravin Tripathi, Rahul Pande, Pankaj Kumar Joshi
  • Patent number: 10732937
    Abstract: According to an aspect of an embodiment, a method may include receiving vocal input that includes conversational language describing a computer program to be generated. The method may also include generating input text based on the vocal input. The input text may be representative of the conversational language describing the computer program. The method may additionally include generating an intent layout based on the input text. The method may include generating an execution layout based on the intent layout. The execution layout may include computer programming language based on the intent layout. The method may also include generating the computer program based on the computer programming language included in the execution layout.
    Type: Grant
    Filed: October 31, 2017
    Date of Patent: August 4, 2020
    Assignee: FUJITSU LIMITED
    Inventors: Ramya Malur Srinivasan, Ajay Chander
  • Patent number: 10725836
    Abstract: A service platform for routing intent-based API requests to the most relevant APIs, comprising: a data ingestion subsystem, configured to retrieve API schema definitions and context information from external sources and store them in an API schema library; an ontology mining subsystem, configured to identify ontologies for said stored APIs, cluster the identified ontologies hierarchically and label said hierarchies with meaningful labels; an evaluation subsystem, configured to evaluate a set of APIs based on chosen datasets and metrics or by externally provided quality signals; an API dispatcher subsystem, configured to receive an intent-based request and identify the API schema and API Endpoint that match the request; and an API integration subsystem, configured to receive said intent-based request and said matched API schema and API Endpoint and synthesize an integration code.
    Type: Grant
    Filed: April 3, 2018
    Date of Patent: July 28, 2020
    Assignee: INTENTO INC.
    Inventors: Konstantin Savenkov, Grigory Sapunov
  • Patent number: 10698664
    Abstract: A method may include extracting information regarding a software project based on source code of the software project, where the information includes a description of the source code and computer-readable source code. The method may also include identifying at least two application programming interface (API) calls within the information, and extracting metadata regarding at least one of the APIs from the information. The method may additionally include, using the metadata, analyzing the computer-readable source code to determine a correlation between the two API calls. The method may also include, based on the correlation and using a first of the two API calls, generating computer source code that combines the first API call and an additional API call in an API mashup.
    Type: Grant
    Filed: December 21, 2017
    Date of Patent: June 30, 2020
    Assignee: FUJITSU LIMITED
    Inventors: Mehdi Bahrami, Lei Liu, Wei-Peng Chen
  • Patent number: 10698954
    Abstract: Various embodiments include a classification platform system. A user can define a classification experiment on the classification platform system. For example, the user can define an input data space by selecting at least one of data sources interfaced with the classification platform system and defining a workflow configuration including a directed graph (DG) connecting a plurality of transformation blocks to represent an experiment workflow. The DG can specify how one or more outputs of each of the transformation blocks are fed into one or more other transformation blocks. The DG can be executed by various types of computation platforms. The classification platform system can schedule the experiment workflow to be executed on a distributed computation platform according to the input data space and the workflow configuration.
    Type: Grant
    Filed: June 30, 2016
    Date of Patent: June 30, 2020
    Assignee: Facebook, Inc.
    Inventors: Szymon Piechowicz, Barak Reuven Naveh, Annie Hsin-Wen Liu, Ashish Gupta
  • Patent number: 10685295
    Abstract: A method for allocating resources for a machine learning model is disclosed. A machine learning model to be executed on a special purpose machine learning model processor is received. A computational data graph is generated from the machine learning model. The computational dataflow graph represents the machine learning model which includes nodes, connector directed edges, and parameter directed edges. The operations of the computational dataflow graph is scheduled and then compiled using a deterministic instruction set architecture that specifies functionality of a special purpose machine learning model processor. An amount of resources required to execute the computational dataflow graph is determined. Resources are allocated based on the determined amounts of resources required to execute the machine learning model represented by the computational dataflow graph.
    Type: Grant
    Filed: December 29, 2017
    Date of Patent: June 16, 2020
    Assignee: X Development LLC
    Inventors: Jonathan Ross, John Michael Stivoric
  • Patent number: 10680896
    Abstract: A computing system comprising a monitoring engine to generate and save a plurality of monitoring rules based on virtualized network function (VNF) types and VNF components. Each monitoring rule corresponds to a unique combination of a VNF type and a VNF component. The monitoring engine further receives a VNF monitoring notification for monitoring a new VNF provisioned in a network function virtualization environment. The VNF monitoring notification indicates a key performance indicator (KPI) to be monitored for the new VNF and KPI parameters corresponding to the KPI. Further, the monitoring engine determines a monitoring rule corresponding to the new VNF, from among the plurality of monitoring rules, based on the KPI. The monitoring engine subsequently executes the monitoring rule corresponding to the new VNF for monitoring KPIs for determining performance of the new VNF.
    Type: Grant
    Filed: November 10, 2015
    Date of Patent: June 9, 2020
    Assignee: Hewlett Packard Enterprise Development LP
    Inventors: Kumaresan Ellappan, Ulhas Dhramarao Gourgonda, Gajendra Subramanyam
  • Patent number: 10671383
    Abstract: Techniques for inferring code deprecation from module deprecation are disclosed. A system detects a reference to a type. The system determines that a particular module, in a plurality of modules in a module system, exposes the referenced type. The system determines that the particular module is associated with a deprecation status. Responsive to determining that the particular module is associated with the deprecation status, the system presents information indicating that the reference references a deprecated module.
    Type: Grant
    Filed: December 4, 2017
    Date of Patent: June 2, 2020
    Assignee: Oracle International Corporation
    Inventors: Chris Hegarty, Alexander R. Buckley, Stuart Warren Marks
  • Patent number: 10671354
    Abstract: A method of automatically generating a source code for implementing a function in hardware according to specifications defining a communication protocol includes: obtaining input data including the specifications; preprocessing the input data by extracting a table including a plurality of fields from the input data and classifying the table; generating structured data by performing lexical analysis on values of the plurality of fields according to a desired rule; and generating the source code from the structured data.
    Type: Grant
    Filed: November 6, 2018
    Date of Patent: June 2, 2020
    Assignee: Samsung Electronics Co., Ltd.
    Inventors: Han-kyeol Shin, Jong-han Kim, Tae-hee Lee
  • Patent number: 10664254
    Abstract: Systems, methods, and software can be used to analyzing binary software components utilizing multiple instruction sets. In some aspects, one computer-implemented method includes identifying a program section in a binary software component; performing a first disassembly process according to a first instruction set on the program section to produce a first disassembly result; performing a second disassembly process according to a second instruction set different from the first instruction set on the program section to produce a second disassembly result; comparing the first disassembly result to the second disassembly result; and determining a utilized instruction set associated with the program section based at least in part on comparing the first disassembly result to the second disassembly result, wherein the utilized instruction set is either the first instruction set or the second instruction set.
    Type: Grant
    Filed: October 22, 2018
    Date of Patent: May 26, 2020
    Assignee: BlackBerry Limited
    Inventor: William James McCourt
  • Patent number: 10656922
    Abstract: Methods and systems for providing an application transformation tool are presented. The application transformation tool may include a transformation engine and a template repository that stores transformation templates. Each of the transformation templates may be associated with a type of transformation and may define a set of transformation operations. The transformation engine may provide a user interface for receiving a request to transform an application. Based on the request to transform an application, the transformation engine may select one or more transformation templates from the template repository and may transform the application based on the selected transformation template(s).
    Type: Grant
    Filed: May 25, 2018
    Date of Patent: May 19, 2020
    Assignee: PayPal, Inc.
    Inventors: Fabio Silva Carvalho, Santosh Jaipal Daryani
  • Patent number: 10656636
    Abstract: An evaluation system includes an acquisition module that acquires a safety program, an instruction extraction module that extracts an instruction directed to processing for causing a target device to operate with safety maintained, a signal extraction module that extracts an input signal and an output signal related to the instruction, a setting module that displays the extracted input signal and the extracted output signal in association with each other, and receives a setting of an expected output value for the displayed output signal, the expected output value being a value for causing the target device to operate with safety maintained, and an evaluation module that changes a value of the extracted input signal and determines whether a value of the output signal calculated by an operation in accordance with the safety program, in response to change of the value of the input signal, is identical to the expected output value.
    Type: Grant
    Filed: January 27, 2017
    Date of Patent: May 19, 2020
    Assignee: OMRON CORPORATION
    Inventors: Ryosuke Fujimura, Nobuyuki Takuma, Hiromu Suganuma, Asahi Matsui, Masaya Inoue
  • Patent number: 10656971
    Abstract: A software development platform comprising one or more user-selectable modular units containing a vertical stack of back-end business logic. One or more user-selectable modular units containing domain model components. One or more user-selectable modular units containing front end presentation components. A virtual appliance comprising application-specific logic that includes one or more of the modular units containing the vertical stack of back-end business logic, one or more of the user-selectable modular units containing the domain model components and one or more of the user-selectable modular units containing front end presentation components.
    Type: Grant
    Filed: January 31, 2014
    Date of Patent: May 19, 2020
    Assignee: DELL PRODUCTS L.P.
    Inventors: Stanley K. Poon, Maisa C. Manoel, Yao Lu, Gavin D. Scott, Andrew T. Miller, Michael D. Condon, Kevin S. Borden, Praharsh S. Shah, Roger W. Faulkner, James Watt
  • Patent number: 10635420
    Abstract: Overriding a migrated method in an updated type is described. Instructions to invoke a particular method, in a sub-type, that overrides a migrated method, in a super-type, are identified. The instructions may invoke the particular method using a set of arguments associated with a particular set of types. The particular set of types is different from the set of parameter types associated with the particular method as defined in the sub-type. Additionally or alternatively, the instructions may include returning a value of a particular type from the particular method. The particular type is different from the return type associated with the particular method as defined in the sub-type. A new method is generated. The new method includes instructions for (a) converting the set of arguments and/or (b) converting the value returned from the particular method. The new method is stored in a runtime environment and executed.
    Type: Grant
    Filed: February 7, 2017
    Date of Patent: April 28, 2020
    Assignee: Oracle International Corporation
    Inventors: Brian Goetz, John R. Rose, Gavin Mark Bierman
  • Patent number: 10628282
    Abstract: A computer-implemented method includes generating a raw flow graph based on execution of a program. A semantic flow graph is generated based on the raw flow graph and based on an ontology in a subject matter-domain associated with the program. The semantic flow graph illustrates one or more semantic concepts of the program.
    Type: Grant
    Filed: June 28, 2018
    Date of Patent: April 21, 2020
    Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATION
    Inventors: Ioana Monica Baldini Soares, Aleksandra Mojsilovic, Evan Patterson, Kush Raj Varshney
  • Patent number: 10620937
    Abstract: Systems and techniques are described to allow an ADP to be dynamically updated to provide backward compatibility with existing functions in a manner that both intuitive to user experience and provides advantages to the way in which computing systems implement updates to ensure that users with limited technical expertise can update applications. In some implementations, data indicating a first version of a function to be executed by applications developed on a post-update application development platform is obtained. A second version of the function that is associated with a pre-update application development platform is identified. An association between the first version of the function and the second version of the function is generated. A determination that an application developed using the pre-update application development platform is associated with the second version of the function is made.
    Type: Grant
    Filed: June 1, 2018
    Date of Patent: April 14, 2020
    Assignee: Appian Corporation
    Inventors: Edward Bross, Matthew Hillard
  • Patent number: 10606585
    Abstract: In order to facilitate automatic roll-forward updates, embodiments include detecting a failure in a software package. In response to the failure, data indicative of a current version of a software package is extracted from a release directory. In response to the application data, a base repository with a version history of the application is cloned. In response to the cloning, a prior set of changes from the base repository in the temporary directory, where the prior set of changes form an old application version of the application, is imported. In response to the import of the prior set of changes, the current version is overwritten with the prior set of changes to generate a new version. The new version is pushed directly to the base repository and a deployment API causes the new version to replace the current version.
    Type: Grant
    Filed: November 12, 2019
    Date of Patent: March 31, 2020
    Assignee: Capital One Services, LLC
    Inventors: Daniel Vincent Safronoff, James Louis Laiche, Bradley Clarke Dellinger, Ron Meck
  • Patent number: 10592225
    Abstract: Embodiments of the present disclosure provide methods, systems, apparatuses, and computer program products that provide for an improved and more efficient system of networked computing devices. The embodiments disclose an apparatus and system that enable client devices to install integrations of a third party application that supports variable host address identification. The apparatus and methods further enable a user of the client device to modify the host address identification associated with an installed integration. In this manner, the group-based communication system establishes communication links with network locations that vary from integration to integration and that may vary over time. To implement the invention, the group-based communication system supports the creation of a blueprint application, with an associated blueprint row that serves as the basis from which a plurality of differing integrations are generated. Further, the blueprint row stores variable host address identifications.
    Type: Grant
    Filed: May 11, 2018
    Date of Patent: March 17, 2020
    Assignee: Slack Technologies, Inc.
    Inventors: Liza Gurtin, Sachin Ranchod, Elizabeth Catherine Harrigan, Jammie Mountz, John Agan
  • Patent number: 10572207
    Abstract: A method provides a graphical interface for a computer system and includes receiving window information from each domain of multiple domains in which applications execute. Based on the received window information, the method builds the graphical interface on a graphics device of the computer system from graphics data provided from the multiple domains to the graphics device. The graphics device includes a GPU and graphics memory having multiple graphics memory portions, where each domain is dedicated a respective different graphics memory portion and is given write access thereto. The building issues commands to the graphics device that instruct the GPU to composition together graphics data from graphics memory portion(s) to thereby composition together graphics data from each of two of more domains of the multiple domains. The method also includes issuing commands to the graphics device to output the graphical interface to a set of one or more display devices.
    Type: Grant
    Filed: June 27, 2018
    Date of Patent: February 25, 2020
    Assignee: ASSURED INFORMATION SECURITY, INC.
    Inventors: Brendan Kerrigan, Maurice Gale, Rian Quinn, Rodney Forbes, Sandy Stutsman, Jonathan Farrell
  • Patent number: 10574517
    Abstract: A computer-implemented method includes: receiving a web service definition file that identifies multiple web services; parsing the web service definition file; identifying respective voice commands to associate with each of the multiple web service based on the parsing; generating a skillset utterances file that maps the respective voice commands to the multiple web services; generating a skillset implementation file that maps the multiple web services to a respective set of instructions, wherein each of the respective set of instructions is used to invoke a corresponding web service; receiving an input voice command from a user via a user device; identifying a particular web service, of the multiple web services, associated with the input voice command based on information included in the skillset utterances file; and invoking the particular web service in accordance with the set of instructions associated with the particular web service included in the skillset implementation file.
    Type: Grant
    Filed: April 24, 2017
    Date of Patent: February 25, 2020
    Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATION
    Inventors: Bryce A. Curtis, Abraham G. Guerra, Stewart Nickolas
  • Patent number: 10567316
    Abstract: Code creation and revision requires optimal error detection and correction and collaboration among programmers. One example method of operation may include receiving and processing a comment associated with a first user profile, identifying a context of the comment, identifying at least one previously submitted comment with a context that matches the context of the comment, retrieving the at least one previously submitted comment, identifying a second user profile associated with the previously submitted comment, and invoking a communication session and including the first user profile and the second use profile in the communication session.
    Type: Grant
    Filed: June 14, 2016
    Date of Patent: February 18, 2020
    Assignee: OPEN INVENTION NETWORK LLC
    Inventor: David Gerard Ledet
  • Patent number: 10564950
    Abstract: Embodiments of the present invention provide a method, a system, and a computer program product for disassembly code generation during debugging. In the method, a first disassembly code is obtained based on a source code of a computer program. Runtime information of the computer program is obtained from a debugging engine. And a second disassembly code is generated based on the first disassembly code and the runtime information. Computing works about generating disassembly code are distributed in different phases. When the user requests a view of the disassembly code, the response time will be reduced.
    Type: Grant
    Filed: September 12, 2018
    Date of Patent: February 18, 2020
    Assignee: International Business Machines Corporation
    Inventors: Tie Liu, Heng Wang, Qi Liang, Xiao Ling Chen, Xue Yong Zhang
  • Patent number: 10565390
    Abstract: An automation control system is provided that includes an interface device configured to enable a user to monitor, control, or monitor and control processes of the automation control system. The interface device includes a display that presents a graphical-user-interface that enables the user to monitor, control, or monitor and control the process of the automation control system. Further, a processor renders a plurality of interface screens to the display. The processor determines a current set of access rights of a protected interface screen of the plurality of interface screens, at least one object of the protected interface screen, or both. The access rights are inherited from access rights associated with one or more of the plurality of interface screens, a folder containing the at least one interface screen, or both. Further, the processor provides access, via the protected interface screen, to monitor, control, or monitor and control the processes based upon the set of access rights.
    Type: Grant
    Filed: April 6, 2016
    Date of Patent: February 18, 2020
    Assignee: Rockwell Automation Technologies, Inc.
    Inventors: Michael A. Bush, Robert A. Brandt, Ronald E. Bliss, Michael B. Miller
  • Patent number: 10552540
    Abstract: An application automatically composed using natural language processing. A natural language input comprising one or more application requirements is received via an interface. The natural language input is parsed to extract one or more chunks, each chunk representing one of the application requirements, and at least one of the chunks representing at least one of one or more main functionalities described by the application requirements. A coarse architecture logically arranging the main functionalities to satisfy the application requirements is inferred according to the chunks. Existing assets corresponding to the chunks are identified, each asset associated with at least one of the main functionalities. The identified assets are assembled according to the coarse architecture. The assembled assets are deployed as an application.
    Type: Grant
    Filed: November 27, 2017
    Date of Patent: February 4, 2020
    Assignee: International Business Machines Corporation
    Inventors: Alice-Maria Marascu, Charles A. Jochim, Carlos A. Alzate Perez, Radu Marinescu, John E. Wittern
  • Patent number: 10524010
    Abstract: In response to a first user input in connection with a displayed video, a social interaction toolbar is displayed along an edge of a viewing area. The social interaction toolbar includes a plurality of buttons, each corresponding to a social interaction feature. Simultaneously, the video is displayed across substantially all of the viewing area. In response to receiving a selection of a button in the social interaction toolbar, a user interface of the social interaction feature corresponding to the selected button is displayed.
    Type: Grant
    Filed: November 7, 2017
    Date of Patent: December 31, 2019
    Assignee: Facebook, Inc.
    Inventor: Alex Douglas Cornell
  • Patent number: 10521224
    Abstract: The disclosed method may include accessing features including feature information of one or more candidate target projects and of a subject project, in which the candidate target projects and the subject project are software programs. The method may include determining a similarity score between the feature information of each of the candidate target projects and the feature information of the subject project, in which a similarity score is determined for each feature of each of the candidate target projects. The method may include aggregating the similarity scores of the feature information of each feature in the candidate target projects to create an aggregate similarity score for each of the candidate target projects and generate a set of similar target projects. The method may include modifying the subject project by implementing recommended code, based on the similar target projects, in the subject project to repair a defect.
    Type: Grant
    Filed: February 28, 2018
    Date of Patent: December 31, 2019
    Assignee: FUJITSU LIMITED
    Inventors: Ripon K. Saha, Mukul R. Prasad
  • Patent number: 10521335
    Abstract: Software applications are tested in different contexts, such as on different devices and under different conditions. During initial testing of an application, conditions of contexts are selected randomly, and the application is tested in each resulting context. After obtaining results from a sufficient number of contexts, the results are analyzed to create a predictive model indicating, for any postulated context, whether testing of the application is most likely to fail or to otherwise produce negative test results. The model is then analyzed to identify contexts that are most likely to produce negative results or failures, and those contexts are emphasized in subsequent application testing.
    Type: Grant
    Filed: January 29, 2018
    Date of Patent: December 31, 2019
    Assignee: T-Mobile USA, Inc.
    Inventors: Michael J. Mitchell, Peter P. Myron, Samson Kim-Sun Kwong
  • Patent number: 10514792
    Abstract: A display device includes a first display unit and a first sensor unit provided on one surface of the first display unit, a second display unit and a second sensor unit provided on one surface of the second display unit, a third sensor unit provided between the first sensor unit and the second sensor unit and a driver unit including a display driver which controls the first display unit and the second display unit, a sensor driver which controls the first, second and third sensor units, and a mapping controller which maps a position information of a touch input detected from a sensing signal of the second sensor unit into a corresponding position information on the first display unit.
    Type: Grant
    Filed: October 25, 2017
    Date of Patent: December 24, 2019
    Assignee: SAMSUNG DISPLAY CO., LTD.
    Inventor: Sun Hwa Kim
  • Patent number: 10503628
    Abstract: A method for model checking path reduction based on interpolation comprises: reading a C program, performing grammatical and semantic analysis on the C program, and extracting CFG from an abstract syntax tree; adding safety (S) interpolation and error (E) interpolation to the CFG and extending the CFG; in a process of generating ARG according to the CFG, determining, in each state, whether the safety interpolation and the error interpolation are implied by current path formula. The method improves the verification efficiency by computing the S interpolation and the E interpolation, which makes the algorithm of the model checking a better use in large-scale programs. The S interpolation can be used to avoid the unnecessary traversal, greatly reducing the number of ARG state. The E interpolation can be used to quickly determine whether there is a true counterexample in the program, accelerating the program's verification and improving the efficiency.
    Type: Grant
    Filed: March 6, 2018
    Date of Patent: December 10, 2019
    Assignee: XIDIAN UNIVERSITY
    Inventors: Cong Tian, Zhao Duan, Zhenhua Duan
  • Patent number: 10503488
    Abstract: Examples of a system and method for updating a payment processing system to conform with a standard are generally described. A method may include generating an update code configured to replace or be inserted into an executable code file. The method may include sending the update code to a payment processing system for implementation in the payment processing system. The update code may include validation code or mapping code. The payment processing system may include validation rules or mapping rules.
    Type: Grant
    Filed: April 18, 2017
    Date of Patent: December 10, 2019
    Assignee: NCR Corporation
    Inventors: Francesco Maria Lettieri, Mervin Amos, Monish Meiappan
  • Patent number: 10496605
    Abstract: An application development and deployment system allows an application developer to develop applications for a distributed data intake and query system. The application may include information that associates portions of the application with particular server groups of the distributed data intake and query system. The application may be partitioned to generate target application packages for each of the server groups of the data intake and query system.
    Type: Grant
    Filed: April 29, 2016
    Date of Patent: December 3, 2019
    Assignee: SPLUNK INC.
    Inventors: Grigori Melnik, David Searle Noble, Itay Alfred Neeman, Cecelia Campbell
  • Patent number: 10489151
    Abstract: A method, system and computer program product for locating business rules in application source code. Static code analysis is performed on the application source code to collect variable usage and statement information, which is stored in a repository. Variables that are used in conditions and computational statements are identified using the stored information, including determining the usage distribution of these variables in such conditions and computational statements and whether such conditions and computational statements are within copybooks. A score is assigned to these identified variables based on usage and if their usage is shared in copybooks. Those variables with a score exceeding a threshold value are selected to be inserted in a list of business terms. Usage locations of the variables in the list are extracted. The business rules in the application source code containing the logic using these variables are then identified based on the extracted usage locations.
    Type: Grant
    Filed: September 24, 2018
    Date of Patent: November 26, 2019
    Assignee: International Business Machines Corporation
    Inventors: Rami Katan, Michael J. A. Johnson, William Alexander
  • Patent number: 10489129
    Abstract: An application that includes intrinsics defined in one architecture is to execute without change on a different architecture. Program code that depends on vector element ordering is obtained, and that program code is part of an application including one or more intrinsics. The one or more intrinsics are mapped from a first system architecture for which the application was written to a second system architecture. One or more operations of the program code are then converted from a first data layout to a second data layout. The application, including the mapped intrinsics and the converted data layout, is to be executed on a processor of the different architecture.
    Type: Grant
    Filed: April 2, 2018
    Date of Patent: November 26, 2019
    Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATION
    Inventors: Michael K. Gschwind, Ronald I. McIntosh
  • Patent number: 10489213
    Abstract: Systems and methods are disclosed for executing a clustered method at a cluster of nodes. An example method includes identifying an annotated class included in an application that is deployed on the cluster of nodes. An annotation of the class indicates that a clustered method associated with the annotated class is executed at each node in the cluster. The method also includes creating an instance of the annotated class and coordinating execution of the clustered method with one or more other nodes in the cluster. The method further includes executing, based on the coordinating, the clustered method using the respective node's instance of the annotated class.
    Type: Grant
    Filed: October 1, 2014
    Date of Patent: November 26, 2019
    Assignee: RED HAT, INC.
    Inventors: Lenka Vaskova, Martin Vecera
  • Patent number: 10489120
    Abstract: The systems and methods disclosed here allow for repeated use of the code generator, and continued integration and development of computer generated code and human generated code. A version control module creates a generator branch and a development branch, where the generator branch tracks various versions of the computer generated code, and the development branch tracks various versions of code containing the computer generated code along with the human made modifications and/or additions to the code. The version control module automatically integrates a version of the computer generated code with a corresponding version of the code to produce a source code. This process of development and integration can be repeated infinitely many times, and allows for flexible design and/or architecture changes.
    Type: Grant
    Filed: June 22, 2018
    Date of Patent: November 26, 2019
    Assignee: Alchemy Cloud, Inc.
    Inventors: Dusko Vesin, Marko Gacesa, Nikola Milinkovic
  • Patent number: 10467210
    Abstract: Embodiments of the disclosure provide a method and system of interpreting HL7 segments of an HL7 message. The method includes: electronically obtaining and interpreting a grammar definition to determine a prescribed hierarchy of HL7 segment definitions; creating a resulting segment hierarchy data structure, the resulting segment hierarchy data structure comprising a top segment; performing steps: (a) obtaining an HL7 segment from a plurality of HL7 segments in the HL7 message, (b) determining a parent-child relationship for the HL7 segment, and (c) adding the HL7 segment to the resulting segment hierarchy data structure; and, continuing to perform steps (a), (b), and (c) on remaining HL7 segments of the plurality of HL7 segments until all HL7 segments of the HL7 message have been added to the resulting segment hierarchy data structure.
    Type: Grant
    Filed: March 28, 2017
    Date of Patent: November 5, 2019
    Assignee: Health Catalyst, Inc.
    Inventors: Steven E. Dwire, Hong Gao, Sarika Kandaprabhu, Michael Godinez, Hassan Khan
  • Patent number: 10466997
    Abstract: An apparatus and method for modifying an application are provided. The method for modifying an application according to one embodiment of the present disclosure includes: decomposing an original application; adding a dynamic library to the decomposed application; and inserting information about the dynamic library into an application executable area of the decomposed application.
    Type: Grant
    Filed: December 29, 2017
    Date of Patent: November 5, 2019
    Assignee: SAMSUNG SDS CO., LTD.
    Inventors: Dae-Hyuck Im, Jong-Gurl Moon, Dong-Moon Kim
  • Patent number: 10466974
    Abstract: In one embodiment, a user interface system may execute an independent expression in a secondary code set to facilitate taking a dynamic object reading for a target composition object. The user interface system may execute a primary code thread and a secondary code thread for a user interface. The primary code thread may generate an independent expression resident in the secondary code thread. The independent expression may gather an input set resident in the secondary code thread for a target composition object. The secondary code thread may render the target composition object based on the input set.
    Type: Grant
    Filed: April 14, 2015
    Date of Patent: November 5, 2019
    Assignee: Microsoft Technology Licensing, LLC
    Inventors: Anthony Young, Luciano Baretta Mandryk, Lucas Haines, Mark Aldham
  • Patent number: 10469613
    Abstract: A single user can be provided multiple user profiles. When a user logs in to a computing device, the user can be given the option of selecting one of the multiple user profiles and/or the option to create a new user profile. The user can therefore select a user profile that is most appropriate for a particular situation. By employing a layering system, these multiple user profiles can be provided in various types of virtualization environments and independently of the operating system version.
    Type: Grant
    Filed: November 10, 2016
    Date of Patent: November 5, 2019
    Assignee: Wyse Technology L.L.C.
    Inventors: Ravi Santhehalli Keshava Iyengar, Prasant Kumar Das
  • Patent number: 10459702
    Abstract: The present invention discloses a method of flow control in a computing device, for processing of flow control statements to adapt a data structure of a program running on the computing device and a computer program product storing the method. The invention thereby allows the integration of the kernels into the main program when compiling. The whole parsing of the CPU program parts and the kernels is done by 10 one single standard compiler. The actual compiler for the device can be linked as a library and does not need to do any parsing. The invention further allows loops and if-clauses to be used in language-embedded GPGPU programming, enabling full general-purpose programming of the device in a way that is fully embedded in an ordinary programming language. The device can be a highly parallel computing 15 device, such as a video card, or some other computing device.
    Type: Grant
    Filed: March 3, 2016
    Date of Patent: October 29, 2019
    Inventor: Ingo Josopait
  • Patent number: 10452650
    Abstract: A view gateway is configured to receive a first query in a first programming language from a client. The view gateway is configured to select a template from a plurality of templates. A view gateway is configured to compile the first query and the selected template into a second query. A view gateway is configured to send the second query to a data store for processing. A view gateway is configured to receive a query result that is responsive to the second query; and send the query result to the client.
    Type: Grant
    Filed: September 8, 2016
    Date of Patent: October 22, 2019
    Assignee: Google LLC
    Inventors: Gokulnath Babu Monaharan, Stephan Joerg Ellner, Stephan Gudmundson, Apurv Gupta, Sridatta Ghegu
  • Patent number: 10445755
    Abstract: Methods, systems, and computer program products are included for categorizing and filtering content. A comment is stored in one or more data structures. The one or more data structures are modified to associate the comment with a tag and a password. The amount of comments that are associated with the tag are determined and compared with a threshold amount of comments. Based on the amount of comments exceeding the threshold, access is restricted to the comments that are associated with the tag.
    Type: Grant
    Filed: December 30, 2015
    Date of Patent: October 15, 2019
    Assignee: PayPal, Inc.
    Inventor: Saumil Gandhi
  • Patent number: 10437572
    Abstract: Methods, systems, and computer readable media for compiling concise expressive design patterns within computer software source code are described. Some implementations can include methods and systems that resolve some problems of implementing design patterns in an OO and/or AO program. The disclosed technique facilitates writing programs that apply design patterns to its structure and behavior, in an easy manner. Some programming language constructs (associated with new keywords, syntax, and semantics) are disclosed that convey the goal of some design patterns in order to allow programmers to implement design patterns simply and concisely. These constructs are added as extensions to a compiler and a compiler-based approach to concise expressive design pattern source code is described.
    Type: Grant
    Filed: August 3, 2018
    Date of Patent: October 8, 2019
    Assignee: King Fahd University of Petroleum and Minerals
    Inventors: Taher Ahmed Ghaleb, Khalid Abdullah Aljasser, Musab A. Alturki
  • Patent number: 10430441
    Abstract: Certain embodiments of the systems and methods described herein are directed to tagging resources of a remote computing service based on locality. In some embodiments, the locality tags may be used to indicate a locality of the resource and/or to identify resources of the remote computing service based on a specified type of locality (e.g., network, geographic, etc.). A user may receive a listing of resources based on the specified locality, which may allow the user to more effectively or efficiently initiate or execute actions using the remote computing service. In some embodiments, the remote computing service may generate a locality graph using the listing of the resources and may provide services based on the locality graph, such as automatic access control of resources and/or configuration of dynamic alarms associated with the resources.
    Type: Grant
    Filed: August 19, 2015
    Date of Patent: October 1, 2019
    Assignee: Amazon Technologies, Inc.
    Inventor: Jeffrey Cicero Canton
  • Patent number: 10430250
    Abstract: A method transforms a monolithic application into microservices. The method groups application classes and methods into clusters, each corresponding to a respective microservice. The method determines a number of function calls to and from each clustered class and method. The method presents processing options for at least the one of the clustered classes and the methods that has a maximum value for the number of functions calls. The options include: create a new cluster with the at least of the classes and the methods; merge the at least one of the classes and the methods into a different cluster; duplicate the at least one of the classes and the methods into clusters having caller or callee classes or methods; and remain the at least one of the classes and the methods. The method processes the at least one of the classes and the methods based on the user selected option.
    Type: Grant
    Filed: October 11, 2017
    Date of Patent: October 1, 2019
    Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATION
    Inventors: Miki Ishikawa, Rina Nakazawa, Takanori Ueda