Patents by Inventor Swarat Chaudhuri

Swarat Chaudhuri 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).

  • Symbolic reduction of dynamic executions of concurrent programs
    Patent number: 8359578
    Abstract: A computer implemented method for the verification of concurrent software programs wherein the concurrent software program is partitioned into subsets named concurrent trace programs (CTPs) and each of the CTPs is evaluated using a satisfiability-based (SAT) symbolic analysis. By applying the SAT analysis to individual CTPs in isolation the symbolic analysis is advantageously more scalable and efficient.
    Type: Grant
    Filed: October 1, 2009
    Date of Patent: January 22, 2013
    Assignee: NEC Laboratories America, Inc.
    Inventors: Chao Wang, Aarti Gupta, Swarat Chaudhuri, Yu Yang
  • SYMBOLIC REDUCTION OF DYNAMIC EXECUTIONS OF CONCURRENT PROGRAMS
    Publication number: 20100088681
    Abstract: A computer implemented method for the verification of concurrent software programs wherein the concurrent software program is partitioned into subsets named concurrent trace programs (CTPs) and each of the CTPs is evaluated using a satisfiability-based (SAT) symbolic analysis. By applying the SAT analysis to individual CTPs in isolation the symbolic analysis is advantageously more scalable and efficient.
    Type: Application
    Filed: October 1, 2009
    Publication date: April 8, 2010
    Applicant: NEC LABORATORIES AMERICA INC
    Inventors: Chao WANG, Aarti GUPTA, Swarat CHAUDHURI, Yu YANG