Sarkar Vivek

Person

People

Patents Grantslast 30 patents

Information Patent Grant
Automatic verification of determinism for parallel programs
- Patent number 9,069,893
- Issue date Jun 30, 2015
- International Business Machines Corporation
- Martin Vechev
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for efficient and precise datarace detection f...
- Patent number 8,464,223
- Issue date Jun 11, 2013
- International Business Machines Corporation
- Jong-Deok Choi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for efficient and precise datarace detection f...
- Patent number 7,516,446
- Issue date Apr 7, 2009
- International Business Machines Corporation
- Jong-Deok Choi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Static detection of a datarace condition for multithreaded object-o...
- Patent number 7,469,403
- Issue date Dec 23, 2008
- International Business Machines Corporation
- Jong-Deok Choi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Retargeting optimized code by matching tree patterns in directed ac...
- Patent number 6,292,938
- Issue date Sep 18, 2001
- International Business Machines Corporation
- Vivek Sarkar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method of, system for, and computer program product for performing...
- Patent number 6,058,266
- Issue date May 2, 2000
- International Business Machines Corporation
- Nimrod Megiddo
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System, method, and program product for loop instruction scheduling...
- Patent number 6,044,222
- Issue date Mar 28, 2000
- International Business Machines Corporation
- Barbara Bluestein Simons
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method of, system for, and computer program product for providing q...
- Patent number 6,041,181
- Issue date Mar 21, 2000
- International Business Machines Corporation
- Dz Ching Ju
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for generating compact code for the loop unrollin...
- Patent number 6,035,125
- Issue date Mar 7, 2000
- International Business Machines Corporation
- Khoa Nguyen
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method of, system for, and computer program product for minimizing...
- Patent number 5,953,531
- Issue date Sep 14, 1999
- International Business Machines Corporation
- Nimrod Megiddo
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System, method, and program product for instruction scheduling in t...
- Patent number 5,887,174
- Issue date Mar 23, 1999
- International Business Machines Corporation
- Barbara Bluestein Simons
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method of, system for, and computer program product for efficient i...
- Patent number 5,790,859
- Issue date Aug 4, 1998
- International Business Machines Corporation
- Vivek Sarkar
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Automatic Verification of Determinism for Parallel Programs
- Publication number 20120246662
- Publication date Sep 27, 2012
- Martin Vechev
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND APPARATUS FOR EFFICIENT AND PRECISE DATARACE DETECTION F...
- Publication number 20090199162
- Publication date Aug 6, 2009
- International Business Machines Corporation
- Jong-Deok Choi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Method and apparatus for efficient and precise datarace detection f...
- Publication number 20030236951
- Publication date Dec 25, 2003
- International Business Machines Corporation
- Jong-Deok Choi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Static datarace detection for multithreaded object-oriented applica...
- Publication number 20020188651
- Publication date Dec 12, 2002
- International Business Machines Corporation
- Jong-Deok Choi
- G06 - COMPUTING CALCULATING COUNTING

Sarkar Vivek

Person

Patents Grantslast 30 patents

Automatic verification of determinism for parallel programs

Method and apparatus for efficient and precise datarace detection f...

Method and apparatus for efficient and precise datarace detection f...

Static detection of a datarace condition for multithreaded object-o...

Retargeting optimized code by matching tree patterns in directed ac...

Method of, system for, and computer program product for performing...

System, method, and program product for loop instruction scheduling...

Method of, system for, and computer program product for providing q...

Method and system for generating compact code for the loop unrollin...

Method of, system for, and computer program product for minimizing...

System, method, and program product for instruction scheduling in t...

Method of, system for, and computer program product for efficient i...

Patents Applicationslast 30 patents

Automatic Verification of Determinism for Parallel Programs

METHOD AND APPARATUS FOR EFFICIENT AND PRECISE DATARACE DETECTION F...

Method and apparatus for efficient and precise datarace detection f...

Static datarace detection for multithreaded object-oriented applica...