Patents by Inventor Darius Amir Hodaei

Darius Amir Hodaei 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).

  • Compiler with type inference and target code generation
    Patent number: 10698667
    Abstract: Systems and methods for a compiler with type inference is described herein. The compiler includes a computer program having one or more variables and context of the variables. The compiler has a type selector to infer a type of the variable using the context of the variable and dereference the variable using the inferred type. Prior to executing the computer program, the compiler carries out a type check of the variable by accessing a recommended type of the variable and comparing the recommended type and the types associated with the context of the variable.
    Type: Grant
    Filed: October 5, 2018
    Date of Patent: June 30, 2020
    Assignee: Microsoft Technology Licensing, LLC
    Inventors: Darius Amir Hodaei, Triinu Viilup
  • COMPILER WITH TYPE INFERENCE
    Publication number: 20190155587
    Abstract: A compiler is described which has a processor configured to receive a computer program comprising a plurality of instructions, the instructions comprising one or more variables and context of the variables. The compiler has a type selector configured, upon evaluation of an instruction comprising a variable by the compiler, to infer a type of the variable using the context of the variable and dereference the variable using the inferred type.
    Type: Application
    Filed: October 5, 2018
    Publication date: May 23, 2019
    Inventors: Darius Amir HODAEI, Triinu VIILUP
  • Compiler with type inference and target code generation
    Patent number: 10203940
    Abstract: Systems and methods for a compiler with type inference is described herein. The compiler includes a computer program having one or more variables and context of the variables. The compiler has a type selector to infer a type of the variable using the context of the variable and dereference the variable using the inferred type. Prior to executing the computer program, the compiler carries out a type check of the variable by accessing a recommended type of the variable and comparing the recommended type and the types associated with the context of the variable.
    Type: Grant
    Filed: December 15, 2016
    Date of Patent: February 12, 2019
    Assignee: Microsoft Technology Licensing, LLC
    Inventors: Darius Amir Hodaei, Triinu Viilup
  • COMPILER WITH TYPE INFERENCE
    Publication number: 20180173506
    Abstract: A compiler is described which has a processor configured to receive a computer program comprising a plurality of instructions, the instructions comprising one or more variables and context of the variables. The compiler has a type selector configured, upon evaluation of an instruction comprising a variable by the compiler, to infer a type of the variable using the context of the variable and dereference the variable using the inferred type.
    Type: Application
    Filed: December 15, 2016
    Publication date: June 21, 2018
    Inventors: Darius Amir Hodaei, Triinu Viilup