Xin Zhang, Xujie Si, Mayur Naik. Combining the logical and the probabilistic in program analysis. In Tatiana Shpeisman, Justin Gottschlich, editors, Proceedings of the 1st ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, MAPL@PLDI 2017, Barcelona, Spain, June 18, 2017. pages 27-34, ACM, 2017. [doi]
Abstract is missing.