| Number |
Title |
Inventors |
Assignee |
Filing Date |
Issue Date |
| US 7,861,231 |
System and method of identification of dangling pointers |
Kumar Rangarajan, Satish Chandra Gupta, Ziv Glazberg, Ishai Rabinovitz |
IBM |
09 Mar 2007 |
28 Dec 2010 |
| US 7,990,980 |
Modeling non-deterministic priority queues for efficient model checking |
Ziv Glazberg, Janees Elamkulam, Satish Chandra Gupta, Sandeep Kohli, Ishai Rabinovitz |
IBM |
27 Dec 2007 |
02 Aug 2011 |
| US 8,185,880 |
Optimizing heap memory usage |
Satish Chandra Gupta, Kumar Rangarajan |
IBM |
04 Oct 2007 |
22 May 2012 |
| US 8,245,209 |
Detecting dangling pointers and memory leaks within software |
Satish Chandra Gupta |
IBM |
29 May 2007 |
14 Aug 2012 |