Learning a Static Bug Finder from Data

v1v2v3 (latest)

Learning a Static Bug Finder from Data

12 July 2019

ArXiv (abs)PDF HTML

Papers citing "Learning a Static Bug Finder from Data"

17 / 17 papers shown

Title
Learning Scalable and Precise Representation of Program Semantics Ke Wang NAI 50 28 0 13 May 2019
Graph Convolutional Neural Networks for Web-Scale Recommender Systems Rex Ying Ruining He Kaifeng Chen Pong Eksombatchai William L. Hamilton J. Leskovec GNN BDL 266 3,550 0 06 Jun 2018
A General Path-Based Representation for Predicting Program Properties Uri Alon Meital Zilberstein Omer Levy Eran Yahav 44 205 0 26 Mar 2018
code2vec: Learning Distributed Representations of Code Uri Alon Meital Zilberstein Omer Levy Eran Yahav 53 1,181 0 26 Mar 2018
Graph Partition Neural Networks for Semi-Supervised Classification Renjie Liao Marc Brockschmidt Daniel Tarlow Alexander L. Gaunt R. Urtasun R. Zemel GNN 59 76 0 16 Mar 2018
Dynamic Neural Program Embedding for Program Repair Ke Wang Rishabh Singh Z. Su NAI 59 136 0 20 Nov 2017
Learning to Represent Programs with Graphs Miltiadis Allamanis Marc Brockschmidt Mahmoud Khademi GNN NAI 123 804 0 01 Nov 2017
Attention Is All You Need Ashish Vaswani Noam M. Shazeer Niki Parmar Jakob Uszkoreit Llion Jones Aidan Gomez Lukasz Kaiser Illia Polosukhin 3DV 730 132,363 0 12 Jun 2017
Inductive Representation Learning on Large Graphs William L. Hamilton Z. Ying J. Leskovec 514 15,319 0 07 Jun 2017
End-to-End Prediction of Buffer Overruns from Raw Source Code via Neural Memory Networks Min-Je Choi S. Jeong Hakjoo Oh Jaegul Choo 58 65 0 07 Mar 2017
Scene Graph Generation by Iterative Message Passing Danfei Xu Yuke Zhu Chris Choy Li Fei-Fei GNN 3DV 100 1,224 0 10 Jan 2017
Semi-Supervised Classification with Graph Convolutional Networks Thomas Kipf Max Welling GNN SSL 654 29,154 0 09 Sep 2016
Gated Graph Sequence Neural Networks Yujia Li Daniel Tarlow Marc Brockschmidt R. Zemel GNN 347 3,288 0 17 Nov 2015
Adam: A Method for Stochastic Optimization Diederik P. Kingma Jimmy Ba ODL 2.0K 150,312 0 22 Dec 2014
On the Properties of Neural Machine Translation: Encoder-Decoder Approaches Kyunghyun Cho B. V. Merrienboer Dzmitry Bahdanau Yoshua Bengio AI4CE AIMat 257 6,784 0 03 Sep 2014
Structured Generative Models of Natural Source Code Chris J. Maddison Daniel Tarlow 92 171 0 02 Jan 2014
Efficient Estimation of Word Representations in Vector Space Tomas Mikolov Kai Chen G. Corrado J. Dean 3DV 680 31,544 0 16 Jan 2013