Zhenkai Zhang, Xenofon D. Koutsoukos. Improving the Precision of Abstract Interpretation Based Cache Persistence Analysis. In Sam H. Noh, Sebastian Fischmeister, Jason Xue, editors, Proceedings of the 16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems, LCTES 2015, CD-ROM, Portland, OR, USA, June 18 - 19, 2015. pages 10, ACM, 2015. [doi]
Abstract is missing.