Compiladores

Pesquisadores do DCC participam do Simpósio Brasileiro de Linguagens de Programação

Compiladores, Compiladores, Destaque, Evento, Laboratório /

Entre os dias 24 e 26 de setembro, em Recife (PE), foi realizada a 29ª edição do Simpósio Brasileiro de Linguagens de Programação, parte do Congresso Brasileiro de Software, Teoria e Prática (CBSoft). Na ocasião, o estudante de Ciência de Dados do Departamento de Ciência da Computação (DCC) da UFMG e do Laboratório de Compiladores, Gabriel Guimarães, apresentou o artigo “On the Practicality of LLM-Based Compiler Fuzzing”.

Pesquisadores do DCC participam do Simpósio Brasileiro de Linguagens de Programação Read More »

Entre os dias 24 e 26 de setembro, em Recife (PE), foi realizada a 29ª edição do Simpósio Brasileiro de Linguagens de Programação, parte do Congresso Brasileiro de Software, Teoria e Prática (CBSoft). Na ocasião, o estudante de Ciência de Dados do Departamento de Ciência da Computação (DCC) da UFMG e do Laboratório de Compiladores, Gabriel Guimarães, apresentou o artigo “On the Practicality of LLM-Based Compiler Fuzzing”.

Seminários Avançados de Pós-graduação tem palestra com pesquisador de Universidade do Canadá

Compiladores, Palestra /

Na sexta-feira, 27, na sala 2077 do Instituto de Ciências Exatas (ICEx), como parte da série de seminários avançados da pós-graduação, promovida pelo Programa de Pós-graduação em Ciência da Computação da UFMG, haverá a palestra com o professor da University of Alberta, no Canadá, J. Nelson Amaral.

Seminários Avançados de Pós-graduação tem palestra com pesquisador de Universidade do Canadá Read More »

Na sexta-feira, 27, na sala 2077 do Instituto de Ciências Exatas (ICEx), como parte da série de seminários avançados da pós-graduação, promovida pelo Programa de Pós-graduação em Ciência da Computação da UFMG, haverá a palestra com o professor da University of Alberta, no Canadá, J. Nelson Amaral.

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

Compiladores, Inovaçã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 »

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.

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

Compiladores, Palestra, Verificação Formal /

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 »

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

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

Compiladores, Compiladores, Laboratório, Notícia /

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 »

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

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

Compiladores, Compiladores, Laboratório, Palestra /

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 »

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

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

Compiladores, Compiladores, Laboratório /

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 »

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

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

Compiladores, Compiladores, Laboratório, Premiaçã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 »

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

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

Compiladores /

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 »

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

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

Compiladores, Compiladores, Laboratório, Projeto /

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 »

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

Acesso por PERFIL

Aluno de graduação
Aluno de pós-graduação
Empresa
Ex-aluno
Funcionário
Futuro aluno
Pós-doutor
Professor
Atendimento a Jornalista e Imprensa

VAGAS

x
Ir para o conteúdo