Patents by Inventor George Necula

George Necula 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).

  • Method and apparatus for enforcing safety properties of computer programs by generating and solving constraints
    Patent number: 7730455
    Abstract: A method and apparatus is disclosed herein for generating and solving constraints. In one embodiment, the method comprises modifying program code by inserting one or more dynamic annotations having unsolved variables, generating one or more constraints based on the one or more dynamic annotations using a verifier, solving the one or more generated constraints; and modifying the program code by inserting a dynamic annotation in place of an annotation containing an unsolved variable.
    Type: Grant
    Filed: November 7, 2005
    Date of Patent: June 1, 2010
    Assignee: NTT Docomo, Inc.
    Inventors: Ajay Chander, Nayeem Islam, David Espinosa, Peter Lee, George Necula
  • Performing checks on the resource usage of computer programs
    Patent number: 7574695
    Abstract: A method and apparatus for performing checks on program code. In one embodiment, the method comprises receiving program code and statically verifying information about one or more dynamic checks in the program code, where each of the one or more dynamic checks in the program code checks an operation in the program code.
    Type: Grant
    Filed: December 21, 2004
    Date of Patent: August 11, 2009
    Assignee: NTT DoCoMo, Inc.
    Inventors: Ajay Chander, Nayeem Islam, David Espinosa, George Necula, Peter Lee
  • Method and apparatus for enforcing safety properties of computer programs by generating and solving constraints
    Publication number: 20060168480
    Abstract: A method and apparatus is disclosed herein for generating and solving constraints. In one embodiment, the method comprises modifying program code by inserting one or more dynamic annotations having unsolved variables, generating one or more constraints based on the one or more dynamic annotations using a verifier, solving the one or more generated constraints; and modifying the program code by inserting a dynamic annotation in place of an annotation containing an unsolved variable.
    Type: Application
    Filed: November 7, 2005
    Publication date: July 27, 2006
    Inventors: Ajay Chandler, Nayeem Islam, David Espinosa, Peter Lee, George Necula
  • Performing checks on the resource usage of computer programs
    Publication number: 20050166095
    Abstract: A method and apparatus for performing checks on program code. In one embodiment, the method comprises receiving program codea nd statically verifying information about one or more dynamic checks in the program code, where each of the one or more dynamic checks in the program code checks an operation in the program code.
    Type: Application
    Filed: December 21, 2004
    Publication date: July 28, 2005
    Inventors: Ajay Chander, Nayeem Islam, David Espinosa, George Necula, Peter Lee