Compiladores

Aluno do DCC cria teclado ergonômico que combate tendinite e promove conforto na digitação

Compiladores, Destaque, Inovação / Nathalie Rajão

Kael Soares Augusto, estudante do curso de Ciência da Computação no Departamento de Ciência da Computação (DCC) da UFMG, desenvolveu uma inovação que promete transformar a experiência de digitar: o teclado ergonômico Kaly42.

Aluno do DCC cria teclado ergonômico que combate tendinite e promove conforto na digitação Read More »

Painel promovido pelo DCC/UFMG reúne especialistas da indústria de verificação formal de hardware

Compiladores, Palestra, Verificação Formal / Nathalie Rajão

No próximo dia 28 de janeiro, terça-feira, às 13 horas, na sala 2077 do Instituto de Ciências Exatas (ICEx), o Departamento de Ciência da Computação (DCC) da UFMG, irá promover o painel “Histórias de sucesso de especialistas da indústria de verificação formal de hardware”. O painel será composto pelos ex-alunos do departamento, Antônio Caldeira, engenheiro

Painel promovido pelo DCC/UFMG reúne especialistas da indústria de verificação formal de hardware Read More »

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 »

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 »

Laboratório de Compiladores do DCC/UFMG participa de projeto para criar microprocessador

Compiladores / Nathalie Rajão

O Laboratório de Compiladores do Departamento de Ciência da Computação (DCC) da UFMG, sob a coordenação do professor Fernando Pereira, está desenvolvendo, junto aos pesquisadores de outros estados brasileiros, um microprocessador de 32 bits com tecnologia inteiramente nacional. O projeto Micro32 é coordenado pelo professor João Batista, da Universidade Federal de Santa Maria. O projeto

Laboratório de Compiladores do DCC/UFMG participa de projeto para criar microprocessador 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 »

Podcast Elixir em Foco entrevista professor e alunos do DCC

Compiladores, Notícia / Nathalie Rajão

Está disponível a partir de hoje, 6, no Youtube e nas plataformas de áudio, o 30º episódio do Podcast Elixir em Foco, que teve a participação do professor do Departamento de Ciência da Computação (DCC) da UFMG, Fernando Magno Quintão Pereira, do aluno de mestrado Vinícius Pacheco e do aluno da graduação Kael Soares. O

Podcast Elixir em Foco entrevista professor e alunos do DCC 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