Victor Hugo Sperle Campos

Idiomas

Áreas de atuação

Produções bibliográficas

• Campos, Victor Hugo Sperle ; Rodrigues, Raphael Ernani ; Assis Costa, Igor Rafael ; Pereira, Fernando Magno Quintão . Speed and Precision in Range Analysis. Lecture Notes in Computer Science. 1ed.: Springer Berlin Heidelberg, 2012, v. 7554, p. 42-56.

• Rodrigues, Raphael Ernani ; SPERLE CAMPOS, VICTOR HUGO ; QUINTAO PEREIRA, FERNANDO MAGNO . A fast and low-overhead technique to secure programs against integer overflows. In: 2013 IEEE/ACM International Symposium on Code Generation and Optimization (CGO), 2013, Shenzhen. Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization (CGO), 2013. p. 1-11.

Projetos de pesquisa

• 2011 - 2012

  Análise de intervalos em programas inteiros, Descrição: O objetivo deste projeto é implementar um algoritmo inter-procedural de análise de intervalos que escala até programas com milhões de linhas de código. Ao contrário de muitas técnicas anteriores, lidamos com comparações entre as variáveis​​, sem recorrer a reticulados relacionais ou algoritmos caros. Alcançamos sensibilidade de caminho utilizando Extended Single Assignment, de Bodik, como representação intermediária. Nós mostramos que através do processamento dos componentes fortemente conexos que constituem o gráfico de dependências entre variáveis​​, obtemos um ganho não só em tempo de execução, como também em precisão dos resultados. Nós implementamos a nossa técnica em LLVM, um compilador de força industrial, e tal implementação tem sido capaz de processar mais de 4 milhões de instruções assembly em poucos segundos.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Victor Hugo Sperle Campos - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Fundação de Amparo à Pesquisa do Estado de Minas Gerais - Bolsa., Número de produções C, T & A: 1