program analysis

Self-Supervised Bug Detection and Repair NeurIPS 2021 LEARNING EXECUTION THROUGH NEURAL CODE FUSION ICLR 2020 Rex: Preventing Bugs and Misconfiguration in Large Services Using Correlated Change Analysis NSDI 2020 Neural Attribution for Semantic Bug-Localization in Student Programs NeurIPS 2019 SDC-causing Error Detection Based on Lightweight Vulnerability Prediction ACML 2019 Dynamic Neural Program Embeddings for Program Repair ICLR 2018 Neural Code Comprehension: A Learnable Representation of Code Semantics NeurIPS 2018 Semantic Representation of Data Science Programs IJCAI 2018 Synthesizing Pattern Programs from Examples IJCAI 2018 End-to-End Prediction of Buffer Overruns from Raw Source Code via Neural Memory Networks IJCAI 2017 The Impact of Treewidth on ASP Grounding and Solving IJCAI 2017 Efficiently Sampling Probabilistic Programs via Program Analysis AISTATS 2013 Nonstandard Interpretations of Probabilistic Programs for Efficient Inference NeurIPS 2011 Predicting Execution Time of Computer Programs Using Sparse Polynomial Regression NeurIPS 2010 Static Analysis of Binary Executables Using Structural SVMs NeurIPS 2010