1. Improving the Precision of Abstract Interpretation Based Cache Persistence Analysis;ACM SIGPLAN Notices;2015-07-22
2. Improving the Precision of Abstract Interpretation Based Cache Persistence Analysis;Proceedings of the 16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2015 CD-ROM;2015-06-04
3. WCET analysis with MRU cache;ACM Transactions on Embedded Computing Systems;2014-07
4. Cache persistence analysis;ACM Transactions on Embedded Computing Systems;2013-03