Static analysis of Java enterprise applications: frameworks and caches, the elephants in the room. - Anastasios Antoniadis; Nikos Filippakis; Paddy Krishnan; Raghavendra Ramesh; Nicholas Allen; Yannis Smaragdakis (PLDI, 2020)