Eric Bodden. The secret sauce in efficient and precise static analysis: the beauty of distributive, summary-based static analyses (and how to master them). In Julian Dolby, William G. J. Halfond, Ashish Mishra, editors, Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, ISSTA 2018, Amsterdam, Netherlands, July 16-21, 2018. pages 85-93, ACM, 2018. [doi]
Abstract is missing.