@inproceedings{137, author = {Zhenkai Zhang and Xenofon Kousoukos}, title = {Improving the Precision of Abstract Interpretation Based Cache Persistence Analysis}, year = {2015}, journal = {16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES)}, month = {06/2015}, address = {Portland, OR, USA}, }