Patents by Inventor Sriram Sankarnarayanan

Sriram Sankarnarayanan 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).

  • System and method for generating error traces for concurrency bugs
    Patent number: 8527976
    Abstract: A system and method for program verification includes generating a product transaction graph for a concurrent program, which captures warnings for potential errors. The warnings are filtered to remove bogus warnings, by using constraints from synchronization primitives and invariants that are derived by performing one or more dataflow analysis methods for concurrent programs. The dataflow analysis methods are applied in order of overhead expense. Concrete execution traces are generated for remaining warnings using model checking.
    Type: Grant
    Filed: September 30, 2008
    Date of Patent: September 3, 2013
    Assignee: NEC Laboratories America, Inc.
    Inventors: Vineet Kahlon, Sriram Sankarnarayanan, Aarti Gupta
  • SYSTEM AND METHOD FOR GENERATING ERROR TRACES FOR CONCURRENCY BUGS
    Publication number: 20090125887
    Abstract: A system and method for program verification includes generating a product transaction graph for a concurrent program, which captures warnings for potential errors. The warnings are filtered to remove bogus warnings, by using constraints from synchronization primitives and invariants that are derived by performing one or more dataflow analysis methods for concurrent programs. The dataflow analysis methods are applied in order of overhead expense. Concrete execution traces are generated for remaining warnings using model checking.
    Type: Application
    Filed: September 30, 2008
    Publication date: May 14, 2009
    Applicant: NEC LABORATORIES AMERICA, INC.
    Inventors: Vineet Kahlon, Sriram Sankarnarayanan, Aarti Gupta