Vitor Paisante

According to our database, Vitor Paisante authored at least 3 papers between 2016 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

Combining range and inequality information for pointer disambiguation.

Maroua Maalej, Vitor Paisante, Fernando Magno Quintão Pereira, Laure Gonnord

Sci. Comput. Program., 2018

2017

Pointer disambiguation via strict inequalities.

Maroua Maalej, Vitor Paisante, Pedro Ramos, Laure Gonnord, Fernando Magno Quintão Pereira

Proceedings of the 2017 International Symposium on Code Generation and Optimization, 2017

2016

Symbolic range analysis of pointers.

Vitor Paisante, Maroua Maalej, Leonardo Barbosa e Oliveira, Laure Gonnord, Fernando Magno Quintão Pereira

Proceedings of the 2016 International Symposium on Code Generation and Optimization, 2016