Travelled to:1 × USA
Collaborated with:A.J.Maas B.Liblit I.Maffra W.Santos L.Barbosa L.Gonnord F.M.Q.Pereira
Talks about:librari (1) symbol (1) memori (1) length (1) analys (1) access (1) valid (1) infer (1) array (1) bind (1)
Person: Henrique Nazaré
DBLP: Nazar=eacute=:Henrique
Contributed to:
2014
2016Wrote 2 papers:
- OOPSLA-2014-NazareMSBGP #analysis #memory management #validation
- Validation of memory accesses through symbolic analyses (HN, IM, WS, LB, LG, FMQP), pp. 791–809.
- ASE-2016-MaasNL #array #c #library
- Array length inference for C library bindings (AJM, HN, BL), pp. 461–471.