Doutorado no Laboratório de Compiladores do DCC/UFMG, venha fazer parte desse time!

O Laboratório de Compiladores (LaC) do DCC/UFMG desenvolve algoritmos e ferramentas que melhorem os programas de computador automaticamente. Os produtos da pesquisa realizada no LaC contribuem para aumentar a produtividade dos programadores, que podem usar linguagens cada vez mais expressivas enquanto obtêm todos os benefícios de computadores cada vez mais complexos e eficientes.

Linhas de pesquisa:

● Segurança: os pesquisadores do LaC desenvolvem diversas técnicas de análise estática e dinâmica de programas com o objetivo de encontrar vulnerabilidades em software. Entre essas técnicas, citam-se mecanismos para certificar algoritmos de criptografia (https://github.com/lac-dcc/lif e http://cuda.dcc.ufmg.br/inspectorj/) e para analisar códigos binários (https://github.com/rimsa/CFGgrind).

● Eficiência: no LaC são desenvolvidas várias técnicas de geração de código que visam tornar programas mais eficientes, seja do ponto de vista de tempo de execução, ou consumo de memória, ou gasto energético. Entre essas técnicas, citam-se ideas que hoje fazem parte de compiladores importantes, como a análise de divergências, hoje em LLVM (https://llvm.org/doxygen/LegacyDivergenceAnalysis_8cpp_source.html), a especialização de valores em tempo de execução, usada no TraceMonkey da Mozilla ou o profiler estático Vespa (https://engineering.fb.com/2022/03/15/developer-tools/vespa/).

● Programabilidade: diversas técnicas que melhoram o desenvolvimento de programas foram desenvolvidas no Laboratório de Compiladores. Entre essas técnicas citam-se o primeiro inferidor de tipos para C (https://github.com/ltcmelo/psychec) , a Linguagem Hapi para especificação de políticas de acessos em serviços de nuvem (http://cuda.dcc.ufmg.br/hapidoc/) , ou a ferramenta DawnCC (https://github.com/gleisonsdm/DawnCC-Compiler) , que anota programas com diretivas OpenMP sem qualquer intervenção de usuários humanos.

Patrocínios
A maior parte dos projetos desenvolvidos no LaC é financiada por empresas privadas, como a Intel, a Meta, a LG Electronics, a Google, a Cadence, a Cyral e a Dashbit. Vários dos alunos formados no LaC, hoje trabalham como líderes de tecnologia e inovação nessas empresas.

 

Interessados, entrar em contato com o Prof. Fernando: fernando@dcc.ufmg.br