Vitor Paisante

Publication Activity (10 Years)

Years Active: 2016-2018
Publications (10 Years): 3

Top Topics

Linear Inequalities

Natural Language Processing

Top Venues

Sci. Comput. Program.

Publications

Maroua Maalej, Vitor Paisante, Fernando Magno Quintão Pereira, Laure Gonnord
Combining range and inequality information for pointer disambiguation. Sci. Comput. Program. 152 (2018)
Maroua Maalej, Vitor Paisante, Pedro Ramos, Laure Gonnord, Fernando Magno Quintão Pereira
Pointer disambiguation via strict inequalities. CGO (2017)
Vitor Paisante, Maroua Maalej, Leonardo Barbosa e Oliveira, Laure Gonnord, Fernando Magno Quintão Pereira
Symbolic range analysis of pointers. CGO (2016)