Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Oportunidade Investigação
Submeter candidatura Consultar edital
Oportunidade Investigação

Informática, Eletrónica e Sistemas Digitais

Descrição da Oportunidade

- Familiarização com o ecossistema LLVM / MLIR, especialmente com o estado atual das ferramentas in-house de compilação que irão ser alvo do trabalho - Estudar o método atual de linkagem, que conjuga código baixo nível (i.e., código LLVM-IR ou dialectos standard), originado por input C/C++, com código gerado através da DSL e dialecto customizados. - Propor e implementar uma melhoria ao processo de linkagem, para geração de binários RISC-V compatíveis com o sistema alvo - Propor e implementar a geração de código para um alvo adicional (e.g., RISC-V com extensão V), para demonstrar a reutilização das camadas intermediárias de compilação para diferentes alvos. - Escrever o relatório de atividades da bolsa.

Habilitações Académicas

Licenciatura em engenharia informática ou área afim. Estudante de mestrado em engenharia informática ou área afim

Requisitos Mínimos

- experiência de programação em linguagem C/C++

Fatores de Preferência

- experiência em compiladores (parsing, e IRs), e ecosistema LLVM e/ou MLIR - conhecimento básico de geração de assembly

Período de candidatura

Desde 27 Feb 2025 a 13 Mar 2025

Centro

Computação Centrada no Humano e Ciência da Informação

Orientador

João Bispo