The Experts below are selected from a list of 12 Experts worldwide ranked by ideXlab platform

Seth Copen Goldstein - One of the best experts on this subject based on the ideXlab platform.

  • Abstract Programmer Specified Pointer Independence
    2008
    Co-Authors: David Koes, Mihai Budiu, Girish Venkataramani, Seth Copen Goldstein
    Abstract:

    Good alias analysis is essential in order to achieve high performance on modern processors, yet precise interprocedural analysis does not scale well. We present a source code annotation, #pragma independent, which is a more flexible, intuitive and useful way for the programmer to provide pointer aliasing information than the current C99 Restrict Keyword. We describe a tool which highlights the most important and most likely correct locations at which a programmer can insert the pragmas. We analyze the effect of the improved alias information using a range of compilers and architectures.

  • Programmer specified pointer independence
    ACM Press, 2004
    Co-Authors: David Koes, Mihai Budiu, Girish Venkataramani, Seth Copen Goldstein
    Abstract:

    Good alias analysis is essential in order to achieve high performance on modern processors, yet interprocedural analysis does not scale well. We present a source code annotation,#pragma independent, which is a more flexible, intuitive and useful way for the programmer to provide pointer aliasing information than the current C99 Restrict Keyword. We describe a tool which highlights the most important and most likely correct locations at which a programmer can insert the pragmas. We show that such annotations can be used effectively in compilers to achieve speedups of up to 1.2x. This research was funded by National Science Foundation grants no. CCR-9876248 and no. IIS-0117658 and a Hewlett-Packard project funded by the Defense Advanced Projects Agency. Any opinions, findings and conclusions or recommendations expressed in this publication are those of the authors and do not necessarily reflect those of the sponsors

  • Programmer Specified Pointer Independence
    ACM Press, 2003
    Co-Authors: David Koes, Mihai Budiu, Girish Venkataramani, Seth Copen Goldstein
    Abstract:

    Good alias analysis is essential in order to achieve high performance on modern processors, yet interprocedural analysis does not scale well. We present a source code annotation, #pragma independent, which is a more flexible, intuitive and useful way for the programmer to provide pointer aliasing information than the current C99 Restrict Keyword. We describe a tool which highlights the most important and most likely correct locations at which a programmer can insert the pragmas. We show that such annotations can be used effectively in compilers to achieve speedups of up to 1.2x

David Koes - One of the best experts on this subject based on the ideXlab platform.

  • Abstract Programmer Specified Pointer Independence
    2008
    Co-Authors: David Koes, Mihai Budiu, Girish Venkataramani, Seth Copen Goldstein
    Abstract:

    Good alias analysis is essential in order to achieve high performance on modern processors, yet precise interprocedural analysis does not scale well. We present a source code annotation, #pragma independent, which is a more flexible, intuitive and useful way for the programmer to provide pointer aliasing information than the current C99 Restrict Keyword. We describe a tool which highlights the most important and most likely correct locations at which a programmer can insert the pragmas. We analyze the effect of the improved alias information using a range of compilers and architectures.

  • Programmer specified pointer independence
    ACM Press, 2004
    Co-Authors: David Koes, Mihai Budiu, Girish Venkataramani, Seth Copen Goldstein
    Abstract:

    Good alias analysis is essential in order to achieve high performance on modern processors, yet interprocedural analysis does not scale well. We present a source code annotation,#pragma independent, which is a more flexible, intuitive and useful way for the programmer to provide pointer aliasing information than the current C99 Restrict Keyword. We describe a tool which highlights the most important and most likely correct locations at which a programmer can insert the pragmas. We show that such annotations can be used effectively in compilers to achieve speedups of up to 1.2x. This research was funded by National Science Foundation grants no. CCR-9876248 and no. IIS-0117658 and a Hewlett-Packard project funded by the Defense Advanced Projects Agency. Any opinions, findings and conclusions or recommendations expressed in this publication are those of the authors and do not necessarily reflect those of the sponsors

  • Programmer Specified Pointer Independence
    ACM Press, 2003
    Co-Authors: David Koes, Mihai Budiu, Girish Venkataramani, Seth Copen Goldstein
    Abstract:

    Good alias analysis is essential in order to achieve high performance on modern processors, yet interprocedural analysis does not scale well. We present a source code annotation, #pragma independent, which is a more flexible, intuitive and useful way for the programmer to provide pointer aliasing information than the current C99 Restrict Keyword. We describe a tool which highlights the most important and most likely correct locations at which a programmer can insert the pragmas. We show that such annotations can be used effectively in compilers to achieve speedups of up to 1.2x

Mihai Budiu - One of the best experts on this subject based on the ideXlab platform.

  • Abstract Programmer Specified Pointer Independence
    2008
    Co-Authors: David Koes, Mihai Budiu, Girish Venkataramani, Seth Copen Goldstein
    Abstract:

    Good alias analysis is essential in order to achieve high performance on modern processors, yet precise interprocedural analysis does not scale well. We present a source code annotation, #pragma independent, which is a more flexible, intuitive and useful way for the programmer to provide pointer aliasing information than the current C99 Restrict Keyword. We describe a tool which highlights the most important and most likely correct locations at which a programmer can insert the pragmas. We analyze the effect of the improved alias information using a range of compilers and architectures.

  • Programmer specified pointer independence
    ACM Press, 2004
    Co-Authors: David Koes, Mihai Budiu, Girish Venkataramani, Seth Copen Goldstein
    Abstract:

    Good alias analysis is essential in order to achieve high performance on modern processors, yet interprocedural analysis does not scale well. We present a source code annotation,#pragma independent, which is a more flexible, intuitive and useful way for the programmer to provide pointer aliasing information than the current C99 Restrict Keyword. We describe a tool which highlights the most important and most likely correct locations at which a programmer can insert the pragmas. We show that such annotations can be used effectively in compilers to achieve speedups of up to 1.2x. This research was funded by National Science Foundation grants no. CCR-9876248 and no. IIS-0117658 and a Hewlett-Packard project funded by the Defense Advanced Projects Agency. Any opinions, findings and conclusions or recommendations expressed in this publication are those of the authors and do not necessarily reflect those of the sponsors

  • Programmer Specified Pointer Independence
    ACM Press, 2003
    Co-Authors: David Koes, Mihai Budiu, Girish Venkataramani, Seth Copen Goldstein
    Abstract:

    Good alias analysis is essential in order to achieve high performance on modern processors, yet interprocedural analysis does not scale well. We present a source code annotation, #pragma independent, which is a more flexible, intuitive and useful way for the programmer to provide pointer aliasing information than the current C99 Restrict Keyword. We describe a tool which highlights the most important and most likely correct locations at which a programmer can insert the pragmas. We show that such annotations can be used effectively in compilers to achieve speedups of up to 1.2x

Girish Venkataramani - One of the best experts on this subject based on the ideXlab platform.

  • Abstract Programmer Specified Pointer Independence
    2008
    Co-Authors: David Koes, Mihai Budiu, Girish Venkataramani, Seth Copen Goldstein
    Abstract:

    Good alias analysis is essential in order to achieve high performance on modern processors, yet precise interprocedural analysis does not scale well. We present a source code annotation, #pragma independent, which is a more flexible, intuitive and useful way for the programmer to provide pointer aliasing information than the current C99 Restrict Keyword. We describe a tool which highlights the most important and most likely correct locations at which a programmer can insert the pragmas. We analyze the effect of the improved alias information using a range of compilers and architectures.

  • Programmer specified pointer independence
    ACM Press, 2004
    Co-Authors: David Koes, Mihai Budiu, Girish Venkataramani, Seth Copen Goldstein
    Abstract:

    Good alias analysis is essential in order to achieve high performance on modern processors, yet interprocedural analysis does not scale well. We present a source code annotation,#pragma independent, which is a more flexible, intuitive and useful way for the programmer to provide pointer aliasing information than the current C99 Restrict Keyword. We describe a tool which highlights the most important and most likely correct locations at which a programmer can insert the pragmas. We show that such annotations can be used effectively in compilers to achieve speedups of up to 1.2x. This research was funded by National Science Foundation grants no. CCR-9876248 and no. IIS-0117658 and a Hewlett-Packard project funded by the Defense Advanced Projects Agency. Any opinions, findings and conclusions or recommendations expressed in this publication are those of the authors and do not necessarily reflect those of the sponsors

  • Programmer Specified Pointer Independence
    ACM Press, 2003
    Co-Authors: David Koes, Mihai Budiu, Girish Venkataramani, Seth Copen Goldstein
    Abstract:

    Good alias analysis is essential in order to achieve high performance on modern processors, yet interprocedural analysis does not scale well. We present a source code annotation, #pragma independent, which is a more flexible, intuitive and useful way for the programmer to provide pointer aliasing information than the current C99 Restrict Keyword. We describe a tool which highlights the most important and most likely correct locations at which a programmer can insert the pragmas. We show that such annotations can be used effectively in compilers to achieve speedups of up to 1.2x

Victor Hugo Sperle Campos - One of the best experts on this subject based on the ideXlab platform.

  • Restrictification of function arguments
    'Revista da Faculdade de Direito da UFMG', 2016
    Co-Authors: Victor Hugo Sperle Campos
    Abstract:

    Exportado OPUSMade available in DSpace on 2019-08-11T17:08:27Z (GMT). No. of bitstreams: 1 victorcampos.pdf: 2720526 bytes, checksum: f4c39db06c7b590b9e2cd86e0eadc77b (MD5) Previous issue date: 26Aliasing de ponteiros ainda prejudica as otimizações de compiladores apesar de anos de pesquisa em desambiguação de ponteiros. Por causa da dificuldade em realizar a desambiguação, diversas linguagens de programação oferecem aos programadores mecanismos para distinguir referências à memória, como a palavra-chave Restrict nalinguagem C. Entretanto, o uso de tais mecanismos é sujeito a erros humanos. Nesta dissertação, apresentamos um conjunto de técnicas automáticas para mitigar o problema. Nós desenvolvemos e testamos três diferentes formas de desambiguar ponteiros passadoscomo argumentos de funções. Nossas técnicas combinam análises estáticas para inferir limites simbólicos de regiões de memória e versionamento de código. Geramos um clone para cada função cujos argumentos podem ser desambiguados e o otimizamosassumindo que os parâmetros formais da função não são alias. Em tempo de execução, usamos os resultados de comparações simbólicas para decidir qual versão da função será executada: a original, não otimizada, ou o clone restritificado. A implementação dos nossos métodos, feita sobre o LLVM, mostra que podemos vetorizar até 63% mais operações do que o nível mais alto de otimização do compilador, -O3. A aplicação da técnica sobre uma biblioteca de uso bastante difundido, a OpenCV, resultou em melhorias no tempo de execução de até 40%.Pointer aliasing still hinders compiler optimizations, despite years of research on pointer disambiguation. Several programming languages offer to coders mechanisms to distinguish memory references, such as the 'Restrict' Keyword in C. However, the use of such mechanisms is prone to human mistakes. This work presents a suite of automatic techniques that mitigate this problem: three different ways to disambiguate pointers passed as arguments of functions. These techniques combine static analyses to infer symbolic bounds of memory regions and code versioning. Functions whose pointers are distinct can be aggressively optimized whereas they wouldn't otherwise. An implementation of the Restrictification methods in the LLVM compiler shows that we can vectorize up to 63% more operations than what could be accomplished using the highest optimization level of said compiler. When applying the optimization on OpenCV benchmarks, a widely used library, we have observed speedups as great as 40%