Patents by Inventor Ende JIN

Ende JIN 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).

  • Systems, methods and media for dynamically shaped tensors using liquid types
    Patent number: 11275671
    Abstract: Systems, methods, and processor readable media are described for verifying software. A liquid type system is used by a programming language to allow source code to define tensor variables with dimensionality and/or shape dynamically defined at runtime. The dimensionality and shape of a tensor variable invoked in the source code, as well as the data type of the constituent elements of such a tensor variable, may be defined by a static type that may be verified at compile time.
    Type: Grant
    Filed: July 27, 2020
    Date of Patent: March 15, 2022
    Assignee: HUAWEI TECHNOLOGIES CO., LTD.
    Inventors: Ende Jin, Kai-Ting Amy Wang
  • SYSTEMS, METHODS AND MEDIA FOR DYNAMICALLY SHAPED TENSORS USING LIQUID TYPES
    Publication number: 20220027255
    Abstract: Systems, methods, and processor readable media are described for verifying software. A liquid type system is used by a programming language to allow source code to define tensor variables with dimensionality and/or shape dynamically defined at runtime. The dimensionality and shape of a tensor variable invoked in the source code, as well as the data type of the constituent elements of such a tensor variable, may be defined by a static type that may be verified at compile time.
    Type: Application
    Filed: July 27, 2020
    Publication date: January 27, 2022
    Inventors: Ende JIN, Kai-Ting Amy WANG