Compiladores

Parceria entre o DCC/UFMG e a Cadence Brasil proporciona nova disciplina optativa para os alunos da universidade

Compiladores, Compiladores, Laboratório, Notícia / Nathalie Rajão

O Departamento de Ciência da Computação (DCC) da UFMG, em parceria com a Cadence Brasil, ofereceu, no segundo semestre de 2024, a disciplina optativa “Verificação formal de hardware”. Valendo dois créditos e com um total de 30 horas, foi aberta aos alunos dos cursos de Ciência da Computação, Sistemas de Informação, Ciência de Dados e […]

Parceria entre o DCC/UFMG e a Cadence Brasil proporciona nova disciplina optativa para os alunos da universidade Read More »

Aluno e professor do DCC são premiados durante o SBLP 2024

Compiladores, Linguagens de Programação, Premiação / Nathalie Rajão

Na última semana, durante o XXVIII Simpósio Brasileiro de Linguagens de Programação (SBLP), evento realizado dentro do Congresso Brasileiro de Software: Teoria e Prática (CBSoft), o aluno do mestrado do Programa de Pós-graduação em Ciência da Computação (PPGCC) da UFMG, Caio Raposo, e o professor do Departamento de Ciência da Computação (DCC), Fernando Magno Quintão

Aluno e professor do DCC são premiados durante o SBLP 2024 Read More »

Coordenador do Laboratório de Compiladores do DCC/UFMG apresenta microcontrolador u32BR durante RISC-V Brasil

Compiladores, Compiladores, Laboratório, Palestra / Nathalie Rajão

O professor do Departamento de Ciência da Computação (DCC) da UFMG e coordenador coordenador do Laboratório de Compiladores, Fernando Pereira, na última sexta-feira, 14, apresentou, durante o RISC-V Brasil, o microcontrolador u32BR, um projeto de iniciativa nacional para o desenvolvimento de um microcontrolador com tecnologia 100% brasileira. O evento aconteceu no Instituto Eldorado de Pesquisas, em

Coordenador do Laboratório de Compiladores do DCC/UFMG apresenta microcontrolador u32BR durante RISC-V Brasil Read More »

Biblioteca SEPE para geração de funções hash especializadas é disponibilizada para o público

Compiladores, Compiladores, Laboratório / Nathalie Rajão

Os pesquisadores do Laboratório de Compiladores, do Departamento de Ciência da Computação da UFMG, tornaram pública a biblioteca SEPE, uma ferramenta para geração de funções hash. SEPE é um projeto financiado pela empresa Google Inc. e pela Fundação de Amparo à Pesquisa do Estado de Minas Gerais (FAPEMIG), que tem por objetivo gerar funções hash

Biblioteca SEPE para geração de funções hash especializadas é disponibilizada para o público Read More »

Artigo do aluno Léon Frenot, orientado pelo professor Fernando Quintão, é premiado em Conferência Internacional

Compiladores, Compiladores, Laboratório, Premiação / Nathalie Rajão

O estudante da École Normale Supérieure de Lyon, na França, Léon Frenot, sob orientação do professor do Departamento de Ciência da Computação (DCC) da UFMG, Fernando Quintão, ganhou o prêmio de melhor artigo na Conferência Internacional de Compiladores (CC 2024), com o trabalho “Reducing the Overhead of Exact Profiling by Reusing Affine Variables”, feito por

Artigo do aluno Léon Frenot, orientado pelo professor Fernando Quintão, é premiado em Conferência Internacional Read More »

Google financiará pesquisa no Laboratório de Compiladores do DCC/UFMG

Compiladores, Compiladores, Laboratório, Projeto / Nathalie Rajão

O Departamento de Ciência da Computação (DCC) da UFMG recebeu, neste mês, uma doação da empresa Google, que financiará pesquisas no Laboratório de Compiladores do departamento. O objetivo do projeto é sintetizar programas para testar sistemas operacionais, compiladores e arquiteturas de computação. Os alunos envolvidos irão conceituar, implementar e aplicar técnicas capazes de gerar programas

Google financiará pesquisa no Laboratório de Compiladores do DCC/UFMG Read More »

Alunos e professores do DCC são premiados no Simpósio Brasileiro de Linguagens de Programação

Compiladores, Laboratório, Linguagens de Programação / Nathalie Rajão

Durante a 27ª edição do Simpósio Brasileiro de Linguagens de Programação (SBLP), ocorrido junto com o Congresso Brasileiro de Software: Teoria e Prática (CBSoft), entre 25 e 29 de setembro, em Campo Grande, Mato Grosso do Sul, os professores do Departamento de Ciência da Computação (DCC) da UFMG, Fernando Magno Quintão Pereira e Frederico Ferreira

Alunos e professores do DCC são premiados no Simpósio Brasileiro de Linguagens de Programação Read More »

Aluno do DCC/UFMG implementa algoritmo que será usado pelo Apache TVM

Áreas de Pesquisa, Compiladores, Compiladores, Laboratório / Nathalie Rajão

No último sábado, 29, o algoritmo Droplet Search para otimização de kernel, projetado pelo aluno do Laboratório de Compiladores do Departamento de Ciência da Computação (DCC) da UFMG e do Programa de Pós-graduação em Ciência da Computação (PPGCC) da universidade, Michael Canesche, foi aceito no Apache TVM e estará disponível nas próximas versões do compilador.

Aluno do DCC/UFMG implementa algoritmo que será usado pelo Apache TVM Read More »

Acesso por PERFIL