Patents by Inventor Vugranam Chakravarthy Sreedhar

Vugranam Chakravarthy Sreedhar 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).

  • Patent number: 8813033
    Abstract: A system and method for analyzing a program includes determining possible bug paths in a program based on statistical analysis of test cases. A static analysis is then performed only on the possible bug paths. The bugs are then located in the program.
    Type: Grant
    Filed: June 3, 2008
    Date of Patent: August 19, 2014
    Assignee: International Business Machines Corporation
    Inventor: Vugranam Chakravarthy Sreedhar
  • Patent number: 8543607
    Abstract: A system and method for program access control includes, for a typestate, providing typestate properties and assigning a role to the typestate in a program in accordance with the typestate properties. Access to operations is limited for the typestate in the program based on the role assigned to the typestate and an access permission level.
    Type: Grant
    Filed: August 22, 2008
    Date of Patent: September 24, 2013
    Assignee: International Business Machines Corporation
    Inventor: Vugranam Chakravarthy Sreedhar
  • Patent number: 7933925
    Abstract: A system and method for program access control includes, for a typestate, providing typestate properties and assigning a role to the typestate in a program in accordance with the typestate properties. Access to operations is limited for the typestate in the program based on the role assigned to the typestate and an access permission level.
    Type: Grant
    Filed: June 1, 2006
    Date of Patent: April 26, 2011
    Assignee: International Business Machines Corporation
    Inventor: Vugranam Chakravarthy Sreedhar
  • Publication number: 20080306958
    Abstract: A system and method for program access control includes, for a typestate, providing typestate properties and assigning a role to the typestate in a program in accordance with the typestate properties. Access to operations is limited for the typestate in the program based on the role assigned to the typestate and an access permission level.
    Type: Application
    Filed: August 22, 2008
    Publication date: December 11, 2008
    Inventor: Vugranam Chakravarthy Sreedhar
  • Publication number: 20080276228
    Abstract: A system and method for analyzing a program includes determining possible bug paths in a program based on statistical analysis of test cases. A static analysis is then performed only on the possible bug paths. The bugs are then located in the program.
    Type: Application
    Filed: June 3, 2008
    Publication date: November 6, 2008
    Inventor: Vugranam Chakravarthy Sreedhar
  • Publication number: 20070282841
    Abstract: A system and method for program access control includes, for a typestate, providing typestate properties and assigning a role to the typestate in a program in accordance with the typestate properties. Access to operations is limited for the typestate in the program based on the role assigned to the typestate and an access permission level.
    Type: Application
    Filed: June 1, 2006
    Publication date: December 6, 2007
    Inventor: Vugranam Chakravarthy Sreedhar