Patents

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