公开(公告)号：US20220197881A1

公开(公告)日：2022-06-23

申请号：US17644946

申请日：2021-12-17

Applicant: SRI International

Inventor： Bruno Dutertre ,  Susmit Jha ,  Huascar Sanchez ,  Patrick Lincoln ,  Eric M. Pearson ,  Richard Dean ,  Ian A. Mason

IPC: G06F16/22 ,  G06F16/2453 ,  G06F16/242

Abstract: Processing circuitry is configured to obtain a data structure that defines a plurality of conversions of data between pairs of fields; perform a search to identify a plurality of paths from a source node of the data structure to a destination node of the data structure, wherein the source node corresponds to a first field of the fields and the destination node corresponds to a second field of the fields; convert, for each path of the plurality of paths, transforms represented by corresponding edges of the path to a sequence of transforms that conform to a solver format; process the sequence of transforms for each path to determine whether all paths of the plurality of paths are equivalent up to an equivalence relation; and output an indication of whether all paths of the plurality of paths are equivalent up to an equivalence relation.

公开(公告)号：US11610173B2

公开(公告)日：2023-03-21

申请号：US16751048

申请日：2020-01-23

Applicant: SRI International

Inventor： Daniel J. Sanchez ,  Huascar Sanchez ,  Hassen Saidi

IPC: G06Q10/06 ,  G06F8/77 ,  G06Q10/10 ,  G06Q10/0639 ,  G06Q10/0631 ,  G06Q10/101

Abstract: Techniques are disclosed for intelligently managing software development. In one example, a method for managing software development, includes receiving, by a computing system, a request to review source code written by a first developer, determining, by the computing system, a software skill set for the source code review, selecting, by the computing system, one or more selected source code reviewers from the pool of source code reviewers based on the software skill set and respective reputation scores for a pool of source code reviewers, assigning, by the computing system, one or more portions of the source code for code review to each of the selected source code reviewers, and determining, by the computing system, a consensus verification output on the code review based on review input from a majority of the selected source code reviewers.