-
1
-
2
-
3
A scalable learning algorithm for data-driven program analysis
Veröffentlicht in Information and software technology
VolltextArtikel -
4
-
5
-
6
-
7
Data-driven context-sensitivity for points-to analysis
Veröffentlicht in Proceedings of ACM on programming languages
VolltextArtikel -
8
-
9
-
10
-
11
-
12
-
13
-
14
Diophantine avoidance and small-height primitive elements in ideals of number fields
Veröffentlicht in arXiv.org
VolltextArtikel -
15
Integral zeros of quadratic polynomials avoiding sublattices
Veröffentlicht in arXiv.org
VolltextArtikel -
16
-
17
-
18
-
19
End-to-End Prediction of Buffer Overruns from Raw Source Code via Neural Memory Networks
Veröffentlicht in arXiv.org
VolltextArtikel -
20