Fernando Magno Quintão Pereira

◀ ▶ joint publications with Victor Hugo Sperle Campos

> Home > Persons > Fernando Magno Quintão Pereira

Publications

2016
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/cc/CamposASP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cc/CamposASP16
Victor Hugo Sperle Campos, Péricles Rafael Oliveira Alves, Henrique Nazaré Santos, Fernando Magno Quintão Pereira:
Restrictification of function arguments. CC 2016: 163-173
2013
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/cgo/RodriguesCP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cgo/RodriguesCP13
Raphael Ernani Rodrigues, Victor Hugo Sperle Campos, Fernando Magno Quintão Pereira:
A fast and low-overhead technique to secure programs against integer overflows. CGO 2013: 33:1-33:11
2012
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/sblp/CamposRCP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sblp/CamposRCP12
Victor Hugo Sperle Campos, Raphael Ernani Rodrigues, Igor Rafael de Assis Costa, Fernando Magno Quintão Pereira:
Speed and Precision in Range Analysis. SBLP 2012: 42-56

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.