Fetching the paper…
Reading the bibliography…
We present an alternative approach to creating static bug finders.
Control Flow Analysis. In Proceedings of a Symposium on Compiler Optimization . ACM, New York, NY, USA, 1–19
Frances E. Allen. 1970 · 1970
Earlier work this paper cites.
Program Slicing. In Proceedings of the 5th International Conference on Software Engineering (ICSE ’81) . IEEE Press, Piscataway, NJ, USA, 439–449
Mark Weiser. 1981 · 1981
Earlier work this paper cites.
Introduction to multi-layer feed-forward neural networks
Daniel Svozil, Vladimir Kvasnicka, and Jiri Pospichal. 1997 · 1997
Earlier work this paper cites.
The SLAM Project: Debugging System Software via Static Analysis
Thomas Ball and Sriram K. Rajamani. 2002 · 2002
Earlier work this paper cites.
Lazy Abstraction. In Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL ’02) . ACM, New York, NY, USA, 58–70
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, and Grégoire Sutre. 2002 · 2002
Earlier work this paper cites.
Behavioral Consistency of C and Verilog Programs Using Bounded Model Checking. In Proceedings of the 40th Annual Design Automation Conference (DAC ’03) . ACM, New York, NY, USA, 368–371
Edmund Clarke, Daniel Kroening, and Karen Yorav. 2003 · 2003
Earlier work this paper cites.
Distributed computing: fundamentals, simulations, and advanced topics . Vol. 19
Hagit Attiya and Jennifer Welch. 2004 · 2004
Earlier work this paper cites.
Predicate Abstraction of ANSI-C Programs Using SAT
Edmund Clarke, Daniel Kroening, Natasha Sharygina, and Karen Yorav. 2004 · 2004
Earlier work this paper cites.
Finding Bugs is Easy
David Hovemeyer and William Pugh. 2004 · 2004
Earlier work this paper cites.
A new model for learning in graph domains. In Proceedings. 2005 IEEE International Joint Conference on Neural Networks, 2005. , Vol. 2. IEEE, 729–734
Marco Gori, Gabriele Monfardini, and Franco Scarselli. 2005 · 2005
Earlier work this paper cites.
Scalable Error Detection Using Boolean Satisfiability. In Proceedings of the 32Nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL ’05) . ACM, New York, NY, USA, 351–363
Yichen Xie and Alex Aiken. 2005 · 2005
Earlier work this paper cites.
Smallfoot: Modular Automatic Assertion Checking with Separation Logic. In Proceedings of the 4th International Conference on Formal Methods for Components and Objects (FMCO’05) . Springer-Verlag, Berlin, Heidelberg, 115–137
Josh Berdine, Cristiano Calcagno, and Peter W. O'Hearn. 2006 · 2006
Earlier work this paper cites.
DECKARD: Scalable and Accurate Tree-Based Detection of Code Clones. In 29th International Conference on Software Engineering (ICSE’07) . 96–105
L. Jiang, G. Misherghi, Z. Su, and S. Glondu. 2007 · 2007
Earlier work this paper cites.
Sound, Complete and Scalable Path-sensitive Analysis. In Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI ’08) . ACM, New York, NY, USA, 270–280
Isil Dillig, Thomas Dillig, and Alex Aiken. 2008 · 2008
Cited alongside, same era.
The graph neural network model
Franco Scarselli, Marco Gori, Ah Chung Tsoi, Markus Hagenbuchner, and Gabriele Monfardini. 2008 · 2008
Cited alongside, same era.
Precise and Compact Modular Procedure Summaries for Heap Manipulating Programs. In Proceedings of the 32Nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI ’11) . ACM, New York, NY, USA, 567–577
Isil Dillig, Thomas Dillig, Alex Aiken, and Mooly Sagiv. 2011 · 2011
Cited alongside, same era.
Efficient estimation of word representations in vector space
Tomas Mikolov, Kai Chen, Greg Corrado, and Jeffrey Dean. 2013 · 2013
Cited alongside, same era.
Automatically learning semantic features for defect prediction. In 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE) . IEEE, 297–308
Song Wang, Taiyue Liu, and Lin Tan. 2016 · 2016
Later among the works it cites.
Learning to represent programs with graphs
Miltiadis Allamanis, Marc Brockschmidt, and Mahmoud Khademi. 2017 · 2017
Later among the works it cites.
Diffusion convolutional recurrent neural network: Data-driven traffic forecasting
Yaguang Li, Rose Yu, Cyrus Shahabi, and Yan Liu. 2017 · 2017
Later among the works it cites.
Attention is all you need. In Advances in neural information processing systems . 5998–6008
Ashish Vaswani, Noam Shazeer, Niki Parmar, Jakob Uszkoreit, Llion Jones, Aidan N Gomez, Łukasz Kaiser, and Illia Polosukhin. 2017 · 2017
Later among the works it cites.
Scene graph generation by iterative message passing. In Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition . 5410–5419
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Kyunghyun Cho, Bart Van Merriënboer, Dzmitry Bahdanau, and Yoshua Bengio. 2014 · 2014
Cited alongside, same era.
Defects4J: A database of existing faults to enable controlled testing studies for Java programs. In Proceedings of the 2014 International Symposium on Software Testing and Analysis . ACM, 437–440
René Just, Darioush Jalali, and Michael D Ernst. 2014 · 2014
Cited alongside, same era.
Adam: A method for stochastic optimization
Diederik P Kingma and Jimmy Ba. 2014 · 2014
Cited alongside, same era.
Learning to rank relevant files for bug reports using domain knowledge. In Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering . ACM, 689–699
Xin Ye, Razvan Bunescu, and Chang Liu. 2014 · 2014
Cited alongside, same era.
Moving Fast with Software Verification. In NASA Formal Methods , Klaus Havelund, Gerard Holzmann, and Rajeev Joshi (Eds.). Springer International Publishing, Cham, 3–11
Cristiano Calcagno, Dino Distefano, Jeremy Dubreil, Dominik Gabi, Pieter Hooimeijer, Martino Luca, Peter O’Hearn, Irene Papakonstantinou, Jim Purbrick, and Dulma Rodriguez. 2015 · 2015
Cited alongside, same era.
Gated graph sequence neural networks
Yujia Li, Daniel Tarlow, Marc Brockschmidt, and Richard Zemel. 2015 · 2015
Cited alongside, same era.
In defense of soundiness: a manifesto
Benjamin Livshits, Manu Sridharan, Yannis Smaragdakis, Ondřej Lhoták, J Nelson Amaral, Bor-Yuh Evan Chang, Samuel Z Guyer, Uday P Khedker, Anders Møller, and Dimitrios Vardoulakis. 2015 · 2015
Cited alongside, same era.
Spoon: A Library for Implementing Analyses and Transformations of Java Source Code
Renaud Pawlak, Martin Monperrus, Nicolas Petitprez, Carlos Noguera, and Lionel Seinturier. 2015 · 2015
Cited alongside, same era.
Danfei Xu, Yuke Zhu, Christopher B Choy, and Li Fei-Fei. 2017 · 2017
Later among the works it cites.
How Many of All Bugs Do We Find? A Study of Static Bug Detectors. In Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering (ASE 2018) . ACM, New York, NY, USA, 317–328
Andrew Habib and Michael Pradel. 2018 · 2018
Later among the works it cites.
Deepbugs: a learning approach to name-based bug detection
Michael Pradel and Koushik Sen. 2018 · 2018
Later among the works it cites.
Bugs. jar: a large-scale, diverse dataset of real-world java bugs. In 2018 IEEE/ACM 15th International Conference on Mining Software Repositories (MSR) . IEEE, 10–13
Ripon Saha, Yingjun Lyu, Wing Lam, Hiroaki Yoshida, and Mukul Prasad. 2018 · 2018
Later among the works it cites.
Pinpoint: fast and precise sparse value flow analysis for million lines of code. In Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation . ACM, 693–706
Qingkai Shi, Xiao Xiao, Rongxin Wu, Jinguo Zhou, Gang Fan, and Charles Zhang. 2018 · 2018
Later among the works it cites.
Learning loop invariants for program verification. In Advances in Neural Information Processing Systems . 7751–7762
Xujie Si, Hanjun Dai, Mukund Raghothaman, Mayur Naik, and Le Song. 2018 · 2018
Later among the works it cites.
Rex Ying, Ruining He, Kaifeng Chen, Pong Eksombatchai, William L. Hamilton, and Jure Leskovec. 2018 · 2018
Later among the works it cites.
Getafix: Learning to fix bugs automatically
Andrew Scott, Johannes Bader, and Satish Chandra. 2019 · 2019
Closest in time.
Bugswarm: mining and continuously growing a dataset of reproducible failures and fixes. In 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE) . IEEE, 339–349
David A Tomassi, Naji Dmeiri, Yichen Wang, Antara Bhowmick, Yen-Chuan Liu, Premkumar T Devanbu, Bogdan Vasilescu, and Cindy Rubio-González. 2019 · 2019
Closest in time.