Directive-based programming models, such as OpenACC and OpenMP, allow developers to
convert a sequential program into a parallel one with minimum human intervention …

Directive-based programming models, such as OpenACC and OpenMP arise today as
promising techniques to support the development of parallel applications. These systems …

This paper describes the design and implementation of a suit of static analyses and code
generation techniques to annotate programs with OpenMP pragmas for task parallelism …

Recent years have seen a surge in the popularity of Field-Programmable Gate Arrays
(FPGAs). Programmers can use them to develop high-performance systems that are not only …

公共数据的流通在制度化上, 包括技术标准, 法律法规两个兴奋点. 面对公共数据这样一个全新
领域, 法律法规实现流通的法定性, 稳定性和预见性不太切合现实, 需要引入更多灵活 …

This paper presents a technique to generate in-bounds inputs for arrays used in memory-
unsafe programming languages, such as C and C++. We show that most memory indexation …

Entre as técnicas emergentes para paralelização de código, sistemas de anotação se
destacam por sua simplicidade e eficiência. OpenACC é um dos exemplos mais …

This paper presents TaskMiner, a tool that automatically finds task parallelism in C code.
TaskMiner solves classic problems of irregular parallelism, such as finding the memory …

As placas de processamento gráfico (GPUs) revolucionaram a programação de alto
desempenho, pois elas reduziram o custo do hardware paralelo. A programação desses …

This dissertation describes the design and implementation of a suit of static analyses and
code generation techniques to annotate programs with OpenMP pragmas for task …