Laboratório

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

Compiladores, Compiladores, Destaque, 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 »

Equipe do GoDeep visita CENPES e Petrobras

Aprendizado Profundo, UAI / Luciana

Os professores Flavio, Renato e Pedro (DCC), Alexei (PUC-MG) e a gerente de projetos Patrícia foram visitar o CENPES (Centro de Pesquisas, Desenvolvimento e Inovação Leopoldo Américo Miguez de Mello).Na sede da Petrobras, durante três dias, os professores e os alunos participaram, remoto e presencialmente, de reuniões para discutir questões técnicas e gerenciais no escopo

Equipe do GoDeep visita CENPES e Petrobras 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 professor do DCC vencem challenge promovido durante o ICIP 2023

Aprendizado de Máquina, PATREO, Premiação, Visão Computacional / Nathalie Rajão

Os alunos do Departamento de Ciência da Computação da UFMG, Camila Laranjeira e Daniel Andrade, doutorado e graduação em Ciência da Computação, respectivamente, além do professor Jefersson A. dos Santos, ficaram em primeiro lugar no Grande Desafio ICIP 2023 – Detecção Automática de Criadouros de Mosquitos, ocorrido durante o IEEE International Conference on Image Processing

Alunos e professor do DCC vencem challenge promovido durante o ICIP 2023 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 »

Constrained Horn Clauses for Program Verification

Heurística, Palestra, Teoria dos Grafos, TREX, Verificação Formal / Luciana

05 de setembro às 16h na sala 6321 (DCC)

Constrained Horn Clauses for Program Verification Read More »

05 de setembro às 16h na sala 6321 (DCC)

Projeto de pesquisa em redes 5G coordenado pelo DCC é avaliado em workshop interno

Evento, Laboratório, Redes, Redes sem Fio, WINet / Nathalie Rajão

O Departamento de Ciência da Computação (DCC) da UFMG promoveu, nesta segunda e terça-feira, 31/07 e 1º/08, o 2º workshop interno do Projeto de Pesquisa Temático “Programabilidade, ORquestração e VIRtualização de Redes em 5G” – PORVIR-5G. O projeto é fruto de acordos de cooperação entre MCTIC/CGI – Cooperação Científica e Tecnológica e FAPESP – Projeto

Projeto de pesquisa em redes 5G coordenado pelo DCC é avaliado em workshop interno Read More »

Artigo produzido por alunos e professor do DCC é apresentado na Espanha

Redes, WINet / Nathalie Rajão

O aluno de doutorado do Departamento de Ciência da Computação (DCC) da UFMG, Marcos Carvalho, apresentou, na última semana, durante a 9ª Conferência Internacional IEEE sobre Software de Rede, ocorrido em Madri, na Espanha, o artigo “Transfer Learning-Based QoE estimation for different cloud gaming context”. O trabalho tem como autores, além do Marcos, o também

Artigo produzido por alunos e professor do DCC é apresentado na Espanha Read More »

Projeto da UFMG leva internet a aldeias Maxakalis do Vale do Mucuri

Áreas de Pesquisa, Notícia, Redes sem Fio, WINet / Nathalie Rajão

Iniciativa nasceu de demanda surgida no início da pandemia de covid-19; conexão é feita por satélite Durante a pandemia de covid-19, a UFMG precisou se reestruturar para que as aulas da graduação e da pós-graduação fossem ofertadas remotamente. O maior desafio educacional relacionado ao distanciamento foi o acesso dos estudantes à internet, visto que muitos

Projeto da UFMG leva internet a aldeias Maxakalis do Vale do Mucuri Read More »

Acesso por PERFIL