@inproceedings{octeau2016combining,
  title={Combining Static Analysis with Probabilistic Models to Enable Market-Scale Android Inter-component Analysis},
  author={Octeau, Damien and Jha, Somesh and Dering, Matthew and Mcdaniel, Patrick and Bartel, Alexandre and Li, Li and Klein, Jacques and Le Traon, Yves},
  booktitle={Proceedings of the 43th Symposium on Principles of Programming Languages (POPL 2016)},
  year={2016}
}