A gauge theory for continuous spin particles

In this dissertation we explore the features of a Gauge Field Theory formulation for continuous spin particles (CSP). To make our discussion as self-contained as possible, we begin by introducing all the basics of Group Theory - and representation theory - which are necessary to understand where the CSP come from. We then apply what we learn from Group Theory to the study of the Lorentz and Poincaré groups, to the point where we are able to construct the CSP representation. Finally, after a brief review of the Higher-Spin formalism, through the Schwinger-Fronsdal actions, we enter the realm of CSP Field Theory. We study and explore all the local symmetries of the CSP action, as well as all of the nuances associated with the introduction of an enlarged spacetime, which is used to formulate the CSP action. We end our discussion by showing that the physical contents of the CSP action are precisely what we expected them to be, in comparison to our Group Theoretical approach.

Automatização do processo de seleção de transformações para otimização do tempo de execução por meio de aprendizado de máquina no arcabouço da LLVM.

A rápida evolução do hardware demanda uma evolução contínua dos compiladores. Um processo de ajuste deve ser realizado pelos projetistas de compiladores para garantir que o código gerado pelo compilador mantenha uma determinada qualidade, seja em termos de tempo de processamento ou outra característica pré-definida. Este trabalho visou automatizar o processo de ajuste de compiladores por meio de técnicas de aprendizado de máquina. Como resultado os planos de compilação obtidos usando aprendizado de máquina com as características propostas produziram código para programas cujos valores para os tempos de execução se aproximaram daqueles seguindo o plano padrão utilizado pela LLVM.