Re: Banerjee inequality

George Neuner <gneuner2/@/>
Mon, 05 Nov 2007 09:47:16 -0500

          From comp.compilers

Related articles
Banerjee inequality (=?ISO-8859-1?Q?Pertti_Kellom=E4ki?=) (2007-11-02)
Re: Banerjee inequality (rcmetzger) (2007-11-04)
Re: Banerjee inequality (2007-11-05)
Re: Banerjee inequality gneuner2/@/ (George Neuner) (2007-11-05)
Re: Banerjee inequality (=?ISO-8859-1?Q?Pertti_Kellom=E4ki?=) (2007-11-06)
Re: Banerjee inequality (=?ISO-8859-1?Q?Pertti_Kellom=E4ki?=) (2007-11-08)
| List of all articles for this month |

From: George Neuner <gneuner2/@/>
Newsgroups: comp.compilers
Date: Mon, 05 Nov 2007 09:47:16 -0500
Organization: Compilers Central
References: 07-11-006
Keywords: analysis
Posted-Date: 06 Nov 2007 10:40:05 EST

On Fri, 02 Nov 2007 11:32:01 +0200, Pertti Kellomdki <> wrote:

>I am trying to wrap my head around the Banerjee inequality (a basis
>for a particular form of dependence testing in loops). While I
>understand the gross outline, I am trying to work out the details to
>convince myself. However, the proofs in Allen and Kennedy's Optimizing
>Compilers for Modern Architectures are given in such high level that I
>am having a hard time filling in some of the gaps.
>Does anyone know of sources where the proofs would be spelled
>out in more detail?

You might try:

David Klappholz, Kleanthis Psarris, and Xiangyun Kong, "On the perfect
accuracy of an approximate subscript analysis test", ACM SIGARCH
Computer Architecture News , Proceedings of the 4th international
conference on Supercomputing ICS '90, Volume 18 Issue 3b, June 1990.


Kleanthis Psarris, David Klappholz, and Xiangyun Kong, On the
Accuracy of the Banerjee Test, Journal of Parallel and Distributed
Computing, Special Issue on Shared Memory Multiprocessors, Vol. 12,
No. 2, June 1991.

ACM has the first paper. I haven't found the second one - it came up
in the bibliography of another paper on dependency analysis.


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.