Gagandeep Singh, Markus PĆ¼schel, Martin T. Vechev. Fast polyhedra abstract domain. In Giuseppe Castagna, Andrew D. Gordon, editors, Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017. pages 46-59, ACM, 2017. [doi]
Abstract is missing.