conftrace_

program analysis

33 papers

Explore in graph

Co-occurring keywords

large language model (13587) static analysis (30) semantic reasoning (56) bug detection (23) code understanding (52) probabilistic programming (87) machine learning (436) program synthesis (233) bayesian inference (1907) domain adaptation (4595)

Papers

Semantic Representation of Data Science Programs IJCAI 2018
Synthesizing Pattern Programs from Examples IJCAI 2018
The Impact of Treewidth on ASP Grounding and Solving IJCAI 2017
End-to-End Prediction of Buffer Overruns from Raw Source Code via Neural Memory Networks IJCAI 2017
Efficiently Sampling Probabilistic Programs via Program Analysis AISTATS 2013
Nonstandard Interpretations of Probabilistic Programs for Efficient Inference NIPS 2011
Predicting Execution Time of Computer Programs Using Sparse Polynomial Regression NIPS 2010
Static Analysis of Binary Executables Using Structural SVMs NIPS 2010