Victor Campos, MSc

Last modified: October 2016

For the past 5 years I have been working with Code Analysis and Optimization.

Currently interning in LG Electronics USA in an automatic parallelization project.

Developed the current state-of-the-art compiler pass for static range analysis in LLVM.

In 2015 I worked in a Code Optimization project by LG Electronics and the Federal University of Minas Gerais, Brazil.

In 2016 I was involved in an Automatic Parallelization project by IBM and the University of Alberta, Canada.

Bio

Open Source Projects

Most relevant publications

[0] Victor Hugo Sperle Campos, Péricles Rafael Alves, Henrique Nazaré Santos, Fernando Magno Quintão Pereira. Restrictification of Function Arguments. International Conference on Compiler Construction (CC) 2016.

[1] Raphael Ernani Rodrigues, Victor Hugo Sperle Campos, Fernando Magno Quintão Pereira. A fast and low-overhead technique to secure programs against integer overflows. International Symposium on Code Generation and Optimization (CGO) 2013.

[2] Victor Hugo Sperle Campos, Raphael Ernani Rodrigues, Igor Rafael de Assis Costa, Fernando Magno Quintão Pereira. 2012. Speed and precision in range analysis. Brazilian Conference on Programming Languages (SBLP) 2012.

Contact

Real Time Analytics