Collaborated with:P.T.Devanbu M.A.Alipour C.Bird E.T.Barr M.Allamanis
Talks about:deep (2) network (1) neural (1) sourc (1) proof (1) natur (1) model (1) learn (1) infer (1) choic (1)
Person: Vincent J. Hellendoorn
DBLP: Hellendoorn:Vincent_J=
Contributed to:
20172018Wrote 3 papers:
- ESEC-FSE-2017-HellendoornD #modelling #network #question #source code
- Are deep neural networks the best choice for modeling source code? (VJH, PTD), pp. 763–773.
- ESEC-FSE-2018-HellendoornBBA #learning #type inference
- Deep learning type inference (VJH, CB, ETB, MA), pp. 152–162.
- ESEC-FSE-2018-HellendoornDA #on the #proving
- On the naturalness of proofs (VJH, PTD, MAA), pp. 724–728.